SteamTexx
Deductum

nonpop · nonpop

Deductum

gameAppID 3862840Veröffentlicht
Release-Datum05.08.2025

Game Charts

Spielerstatistiken

Standard: letzte 7 Tage, stündlich. · Veraltet · Zeitraum: 20.6.2026, 05:40:44 - 17.8.2026, 14:37:44

Aktuelle Spieler0
24h Peak0
All-Time Peak3
24h Player-Hours0 h

Spielerhistorie

PeriodeAvg. PlayersGain (total)Gain (%)Peak Players
Letzte 24 Stunden000%0
Letzte 7 Tage0-0,93-100%0
Letzte 30 Tage0,570,011,71%3
Letzte 12 Monate0,5600%3
2026-080,640,1324,64%3
2026-070,52-0,03-5,75%2
2026-060,5500%2

Details

Entwicklernonpop
Publishernonpop
KostenlosNo
AlterKeine

Minimalistic puzzle game where you build formal logical proofs.

In this minimalistic puzzle game, you're given a set of premises and a conclusion, and your task is to use the fundamental rules of logic to formally prove, step by step, that the conclusion follows. Tutorials introduce you to the world of proofs and the game mechanics. The early problems are simple, but the difficulty gradually increases until eventually you might not even know where to begin. Still, every problem has a solution, and if you think deeply enough, you'll never need to guess! Simple controls. No timers. No distractions. Just logic. 111 problems to solve, including classic theorems like De Morgan's Laws and the Law of the Excluded Middle Sandbox mode: enter any claim (with proposition symbols A–H) and see if you can prove it!

Genres und Kategorien

CasualIndieStrategySingle-playerSteam AchievementsCustom Volume ControlsMouse Only OptionPlayable without Timed InputTouch Only OptionSteam CloudFamily Sharing

Plattformen und Anforderungen

windows: yesmac: nolinux: yes
PC
{
  "minimum": "<strong>Minimum:</strong><br><ul class=\"bb_ul\"><li>Requires a 64-bit processor and operating system<br></li><li><strong>OS:</strong> 7<br></li><li><strong>Processor:</strong> x86-64<br></li><li><strong>Memory:</strong> 2 GB RAM<br></li><li><strong>Graphics:</strong> Full OpenGL 3.3 support or Direct3D 11 support<br></li><li><strong>DirectX:</strong> Version 11<br></li><li><strong>Storage:</strong> 200 MB available space</li></ul>",
  "recommended": "<strong>Recommended:</strong><br><ul class=\"bb_ul\"><li>Requires a 64-bit processor and operating system</li></ul>"
}
Mac
{
  "minimum": "<strong>Minimum:</strong><br><ul class=\"bb_ul\"></ul>",
  "recommended": "<strong>Recommended:</strong><br><ul class=\"bb_ul\"></ul>"
}
Linux
{
  "minimum": "<strong>Minimum:</strong><br><ul class=\"bb_ul\"><li><strong>OS:</strong> Released after 2016<br></li><li><strong>Processor:</strong> x86-64<br></li><li><strong>Memory:</strong> 2 GB RAM<br></li><li><strong>Graphics:</strong> Full OpenGL 3.3 support<br></li><li><strong>Storage:</strong> 200 MB available space</li></ul>",
  "recommended": "<strong>Recommended:</strong><br><ul class=\"bb_ul\"></ul>"
}

Altersfreigaben und Inhalte

dejus{"rating_generated":"1","rating":"l","required_age":"0","banned":"0","use_age_gate":"0","descriptors":""}
steam_germany{"rating_generated":"1","rating":"0","required_age":"0","banned":"0","use_age_gate":"0","descriptors":""}
igrs{"rating_generated":"1","rating":"3","required_age":"0","banned":"0","use_age_gate":"0","descriptors":""}

Ausgewählte Änderung

Release-Datum · 03.07.2026, 07:46

Vorher
{"coming_soon":false,"date":"Aug 5, 2025"}
Aktuell
{"coming_soon":false,"date":"5 Aug, 2025"}
Raw AppDetails anzeigen
{
  "3862840": {
    "success": true,
    "data": {
      "type": "game",
      "name": "Deductum",
      "steam_appid": 3862840,
      "required_age": 0,
      "is_free": false,
      "detailed_description": "<p class=\"bb_paragraph\" >In this minimalistic puzzle game, you're given a set of premises and a conclusion, and your task is to use the fundamental rules of logic to <strong>formally prove</strong>, step by step, that the conclusion follows.</p><p class=\"bb_paragraph\" >Tutorials introduce you to the world of proofs and the game mechanics. The early problems are simple, but the difficulty gradually increases until eventually you might not even know where to begin. Still, every problem has a solution, and if you think deeply enough, you'll never need to guess!</p><ul class=\"bb_ul\"><li><p class=\"bb_paragraph\" >Simple controls. No timers. No distractions. Just logic.</p></li><li><p class=\"bb_paragraph\" >111 problems to solve, including classic theorems like De Morgan's Laws and the Law of the Excluded Middle</p></li><li><p class=\"bb_paragraph\" >Sandbox mode: enter any claim (with proposition symbols A–H) and see if you can prove it!</p></li></ul><p class=\"bb_paragraph\" ></p>",
      "about_the_game": "<p class=\"bb_paragraph\" >In this minimalistic puzzle game, you're given a set of premises and a conclusion, and your task is to use the fundamental rules of logic to <strong>formally prove</strong>, step by step, that the conclusion follows.</p><p class=\"bb_paragraph\" >Tutorials introduce you to the world of proofs and the game mechanics. The early problems are simple, but the difficulty gradually increases until eventually you might not even know where to begin. Still, every problem has a solution, and if you think deeply enough, you'll never need to guess!</p><ul class=\"bb_ul\"><li><p class=\"bb_paragraph\" >Simple controls. No timers. No distractions. Just logic.</p></li><li><p class=\"bb_paragraph\" >111 problems to solve, including classic theorems like De Morgan's Laws and the Law of the Excluded Middle</p></li><li><p class=\"bb_paragraph\" >Sandbox mode: enter any claim (with proposition symbols A–H) and see if you can prove it!</p></li></ul><p class=\"bb_paragraph\" ></p>",
      "short_description": "Minimalistic puzzle game where you build formal logical proofs.",
      "supported_languages": "English",
      "header_image": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/594c5a76d7012a5c2b5dc1a323c475fdb3fe72b2/header.jpg?t=1767372396",
      "capsule_image": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/0ca004a580b2b8ca7ccf885938cb225b89b5ad7e/capsule_231x87.jpg?t=1767372396",
      "capsule_imagev5": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/0ca004a580b2b8ca7ccf885938cb225b89b5ad7e/capsule_184x69.jpg?t=1767372396",
      "website": null,
      "pc_requirements": {
        "minimum": "<strong>Minimum:</strong><br><ul class=\"bb_ul\"><li>Requires a 64-bit processor and operating system<br></li><li><strong>OS:</strong> 7<br></li><li><strong>Processor:</strong> x86-64<br></li><li><strong>Memory:</strong> 2 GB RAM<br></li><li><strong>Graphics:</strong> Full OpenGL 3.3 support or Direct3D 11 support<br></li><li><strong>DirectX:</strong> Version 11<br></li><li><strong>Storage:</strong> 200 MB available space</li></ul>",
        "recommended": "<strong>Recommended:</strong><br><ul class=\"bb_ul\"><li>Requires a 64-bit processor and operating system</li></ul>"
      },
      "mac_requirements": {
        "minimum": "<strong>Minimum:</strong><br><ul class=\"bb_ul\"></ul>",
        "recommended": "<strong>Recommended:</strong><br><ul class=\"bb_ul\"></ul>"
      },
      "linux_requirements": {
        "minimum": "<strong>Minimum:</strong><br><ul class=\"bb_ul\"><li><strong>OS:</strong> Released after 2016<br></li><li><strong>Processor:</strong> x86-64<br></li><li><strong>Memory:</strong> 2 GB RAM<br></li><li><strong>Graphics:</strong> Full OpenGL 3.3 support<br></li><li><strong>Storage:</strong> 200 MB available space</li></ul>",
        "recommended": "<strong>Recommended:</strong><br><ul class=\"bb_ul\"></ul>"
      },
      "developers": [
        "nonpop"
      ],
      "publishers": [
        "nonpop"
      ],
      "demos": [
        {
          "appid": 3889590,
          "description": ""
        }
      ],
      "price_overview": {
        "currency": "EUR",
        "initial": 499,
        "final": 124,
        "discount_percent": 75,
        "initial_formatted": "4,99€",
        "final_formatted": "1,24€"
      },
      "packages": [
        1358057
      ],
      "package_groups": [
        {
          "name": "default",
          "title": "Buy Deductum",
          "description": "",
          "selection_text": "Select a purchase option",
          "save_text": "",
          "display_type": 0,
          "is_recurring_subscription": "false",
          "subs": [
            {
              "packageid": 1358057,
              "percent_savings_text": "-75% ",
              "percent_savings": 0,
              "option_text": "Deductum - <span class=\"discount_original_price\">4,99€</span> 1,24€",
              "option_description": "",
              "can_get_free_license": "0",
              "is_free_license": false,
              "price_in_cents_with_discount": 124
            }
          ]
        }
      ],
      "platforms": {
        "windows": true,
        "mac": false,
        "linux": true
      },
      "categories": [
        {
          "id": 2,
          "description": "Single-player"
        },
        {
          "id": 22,
          "description": "Steam Achievements"
        },
        {
          "id": 68,
          "description": "Custom Volume Controls"
        },
        {
          "id": 76,
          "description": "Mouse Only Option"
        },
        {
          "id": 74,
          "description": "Playable without Timed Input"
        },
        {
          "id": 77,
          "description": "Touch Only Option"
        },
        {
          "id": 23,
          "description": "Steam Cloud"
        },
        {
          "id": 62,
          "description": "Family Sharing"
        }
      ],
      "genres": [
        {
          "id": "4",
          "description": "Casual"
        },
        {
          "id": "23",
          "description": "Indie"
        },
        {
          "id": "2",
          "description": "Strategy"
        }
      ],
      "screenshots": [
        {
          "id": 0,
          "path_thumbnail": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/092b418310a052d96f2f61d6fd773a0eca37c5cf/ss_092b418310a052d96f2f61d6fd773a0eca37c5cf.600x338.jpg?t=1767372396",
          "path_full": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/092b418310a052d96f2f61d6fd773a0eca37c5cf/ss_092b418310a052d96f2f61d6fd773a0eca37c5cf.1920x1080.jpg?t=1767372396"
        },
        {
          "id": 1,
          "path_thumbnail": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/dc1e3cace9a5455d97c9f4036b472e2e127edc88/ss_dc1e3cace9a5455d97c9f4036b472e2e127edc88.600x338.jpg?t=1767372396",
          "path_full": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/dc1e3cace9a5455d97c9f4036b472e2e127edc88/ss_dc1e3cace9a5455d97c9f4036b472e2e127edc88.1920x1080.jpg?t=1767372396"
        },
        {
          "id": 2,
          "path_thumbnail": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/3386434d75e875e593555f504ffd389daa61b1af/ss_3386434d75e875e593555f504ffd389daa61b1af.600x338.jpg?t=1767372396",
          "path_full": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/3386434d75e875e593555f504ffd389daa61b1af/ss_3386434d75e875e593555f504ffd389daa61b1af.1920x1080.jpg?t=1767372396"
        },
        {
          "id": 3,
          "path_thumbnail": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/cf7b4406f109d455cd319c699186cfddd50e1374/ss_cf7b4406f109d455cd319c699186cfddd50e1374.600x338.jpg?t=1767372396",
          "path_full": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/cf7b4406f109d455cd319c699186cfddd50e1374/ss_cf7b4406f109d455cd319c699186cfddd50e1374.1920x1080.jpg?t=1767372396"
        },
        {
          "id": 4,
          "path_thumbnail": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/a81585181c68bb559e21953b36fb1d6e1b9b440e/ss_a81585181c68bb559e21953b36fb1d6e1b9b440e.600x338.jpg?t=1767372396",
          "path_full": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/a81585181c68bb559e21953b36fb1d6e1b9b440e/ss_a81585181c68bb559e21953b36fb1d6e1b9b440e.1920x1080.jpg?t=1767372396"
        }
      ],
      "movies": [
        {
          "id": 257167759,
          "name": "Gameplap",
          "thumbnail": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/257167759/7f7fa7197aebb4c11a58ebb20167f8bff70faec7/movie_600x337.jpg?t=1752778435",
          "dash_av1": "https://video.akamai.steamstatic.com/store_trailers/3862840/2046205966/fa58dd063ef1c3389098f2c4fabc31db640708e2/1752237130/dash_av1.mpd?t=1752778435",
          "dash_h264": "https://video.akamai.steamstatic.com/store_trailers/3862840/2046205966/fa58dd063ef1c3389098f2c4fabc31db640708e2/1752237130/dash_h264.mpd?t=1752778435",
          "hls_h264": "https://video.akamai.steamstatic.com/store_trailers/3862840/2046205966/fa58dd063ef1c3389098f2c4fabc31db640708e2/1752237130/hls_264_master.m3u8?t=1752778435",
          "highlight": true
        }
      ],
      "achievements": {
        "total": 8,
        "highlighted": [
          {
            "icon": "28fca9d8a4129ef6d7f3bee761816205b0654ae1.jpg",
            "localized_name": "Conjoiner",
            "name": "Conjoiner",
            "path": "https://shared.akamai.steamstatic.com/community_assets/images/apps/3862840/28fca9d8a4129ef6d7f3bee761816205b0654ae1.jpg"
          },
          {
            "icon": "ba37889fbcd82b1199b2df950d175b2bfa6cc96c.jpg",
            "localized_name": "Implier",
            "name": "Implier",
            "path": "https://shared.akamai.steamstatic.com/community_assets/images/apps/3862840/ba37889fbcd82b1199b2df950d175b2bfa6cc96c.jpg"
          },
          {
            "icon": "839c20de2d3e9cf706fa10abbd906f59c9f7dcee.jpg",
            "localized_name": "Disjoiner",
            "name": "Disjoiner",
            "path": "https://shared.akamai.steamstatic.com/community_assets/images/apps/3862840/839c20de2d3e9cf706fa10abbd906f59c9f7dcee.jpg"
          },
          {
            "icon": "6ad5ea763666a40e86569f3553917fc0eaaa63a1.jpg",
            "localized_name": "Negater",
            "name": "Negater",
            "path": "https://shared.akamai.steamstatic.com/community_assets/images/apps/3862840/6ad5ea763666a40e86569f3553917fc0eaaa63a1.jpg"
          },
          {
            "icon": "1a183315ef96f7a850d80da8ba2071e3b4f32af7.jpg",
            "localized_name": "Bachelor",
            "name": "Bachelor",
            "path": "https://shared.akamai.steamstatic.com/community_assets/images/apps/3862840/1a183315ef96f7a850d80da8ba2071e3b4f32af7.jpg"
          },
          {
            "icon": "e8180bbbff96cfe2757a1ebfa5572737a14f324f.jpg",
            "localized_name": "Master",
            "name": "Master",
            "path": "https://shared.akamai.steamstatic.com/community_assets/images/apps/3862840/e8180bbbff96cfe2757a1ebfa5572737a14f324f.jpg"
          },
          {
            "icon": "8e339be9bf56f98b4dc1bae66b2eaa18f49c4868.jpg",
            "localized_name": "Doctor",
            "name": "Doctor",
            "path": "https://shared.akamai.steamstatic.com/community_assets/images/apps/3862840/8e339be9bf56f98b4dc1bae66b2eaa18f49c4868.jpg"
          },
          {
            "icon": "c48c53a8a9ed9eb9f92a4c7e165cf46d3f6be55c.jpg",
            "localized_name": "Professor",
            "name": "Professor",
            "path": "https://shared.akamai.steamstatic.com/community_assets/images/apps/3862840/c48c53a8a9ed9eb9f92a4c7e165cf46d3f6be55c.jpg"
          }
        ]
      },
      "release_date": {
        "coming_soon": false,
        "date": "5 Aug, 2025"
      },
      "support_info": {
        "url": "",
        "email": "nonpopgames@gmail.com"
      },
      "background": "https://store.akamai.steamstatic.com/images/storepagebackground/app/3862840?t=1767372396",
      "background_raw": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/111b0c44c5ace90fe7b979b87a7e101651dd078e/page_bg_raw.jpg?t=1767372396",
      "content_descriptors": {
        "ids": [],
        "notes": null
      },
      "ratings": {
        "dejus": {
          "rating_generated": "1",
          "rating": "l",
          "required_age": "0",
          "banned": "0",
          "use_age_gate": "0",
          "descriptors": ""
        },
        "steam_germany": {
          "rating_generated": "1",
          "rating": "0",
          "required_age": "0",
          "banned": "0",
          "use_age_gate": "0",
          "descriptors": ""
        },
        "igrs": {
          "rating_generated": "1",
          "rating": "3",
          "required_age": "0",
          "banned": "0",
          "use_age_gate": "0",
          "descriptors": ""
        }
      }
    }
  }
}