{"entities":{"Q1332641":{"pageid":1343386,"ns":120,"title":"Item:Q1332641","lastrevid":70734429,"modified":"2026-04-13T16:24:17Z","type":"item","id":"Q1332641","labels":{"en":{"language":"en","value":"Tractability through symmetries in propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 627563"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332641$B86C3716-D9EA-4A40-BC3A-04223937F28F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f775b6ba378232e6b3d04852533694b2304b1e03","datavalue":{"value":{"text":"Tractability through symmetries in propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1332641$B7D15B55-0090-4870-A09B-333686E4C4D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3da7613581adfa1d1158357a0ffdb6af890d459","datavalue":{"value":"0804.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332641$3A696A5D-8901-4A20-8FC8-E0261E122A75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32c918524246da1ebe4587867395ef90561551f6","datavalue":{"value":"10.1007/BF00881844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332641$66C905EF-BDF9-4229-9329-C65A0F8387EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332641$265001CE-A5AC-447D-A556-9C6D7834FE52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb7328fa250b0e22157c1a026d2aa10f157d3ba9","datavalue":{"value":{"time":"+1994-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1332641$52C6D247-5341-4350-856E-DCEFC5707FD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332641$661B8996-ABC6-4A98-BD70-EA09BEA7F826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332641$BE1D876E-1327-4E3F-9BB6-2B1851602617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332641$BCF75615-CACF-4B7A-B83E-492475FF7562","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cfb906b306e30dfdc2ba998a83cc6fa0f6c434e","datavalue":{"value":"627563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332641$4781870C-34E2-45AA-8312-13ECBB3BF2A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332641$93E110D8-B2E2-4A1A-B032-7FF7046469E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332641$087B6C32-051E-4031-A467-A4EFD6CFB865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e77f9655f91e78614e2e5b6e37753d7aaba8e2a2","datavalue":{"value":"symmetries","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332641$62F7EE7B-6345-4D4F-8499-6A977C5A7A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"588fe7046e7c4fa6cfcf5f49bf7209a89dba37f4","datavalue":{"value":"unsatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332641$A940BD4C-42D6-4CC0-97AD-04EEE5D8DFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29c11c9d601ef4a44c27a37c8e12134fb76a7e12","datavalue":{"value":"Ramsey's problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332641$EF9B1334-0D55-4DBB-BBFB-D0D194A78F04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"600753bca549340fb431ecc9b427de0a3a645934","datavalue":{"value":{"entity-type":"item","numeric-id":438579,"id":"Q438579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332641$4A42D554-B949-43BC-A37C-708EAD5902EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a1d5a8e56d6b30e8a20d7354b7c9976e279101","datavalue":{"value":{"entity-type":"item","numeric-id":427559,"id":"Q427559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332641$EFAE79B2-5327-4CBF-B4A7-7505761F518C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332641$4F6C8136-ECBB-42CF-A376-4B142F624EB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332641$A5DCCA42-FA72-4301-A5C3-BD918CFB5CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9039c5b03ce44bd1ae984dac18752d8859c6d482","datavalue":{"value":{"entity-type":"item","numeric-id":800909,"id":"Q800909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332641$880D4BD3-52F6-42E1-90CC-03581ED7B912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbf5d4c6cedd5848e03816494729378cde53a8e","datavalue":{"value":{"entity-type":"item","numeric-id":2551698,"id":"Q2551698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332641$A69EC18E-70D3-49DB-83D5-449DD7AB0BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc22e82df66b894e32f3a281f6d3ae48dc7ceb96","datavalue":{"value":{"entity-type":"item","numeric-id":5553251,"id":"Q5553251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332641$E117CB8E-3BE8-4184-9BD7-4FEBB427E68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695c64ba1f0098ba7c9ca62512ea792a8e250c00","datavalue":{"value":{"entity-type":"item","numeric-id":915494,"id":"Q915494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332641$ACC0B659-5827-4B4F-AF7E-322DE2C29FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90601d0b0ec17fae254a188da26310d3555e4b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5548828,"id":"Q5548828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332641$850756DA-71FE-432F-8523-268B402FF184","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"451e423e8d6b8dd1588a3312d2c708d3b01241e6","datavalue":{"value":"https://doi.org/10.1007/bf00881844","type":"string"},"datatype":"url"},"type":"statement","id":"Q1332641$C850E4C2-A0DC-448D-B514-9F3E2506DEBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbb7d9f2eadb6077b44dfef64ef33d1a7cfcd032","datavalue":{"value":"W2037593836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332641$CBF1B6AA-A0FC-40FC-85D7-617C51A35A30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc9aef774386ccbf6024985cd7c37c9123be9e4c","datavalue":{"value":{"entity-type":"item","numeric-id":4264722,"id":"Q4264722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53de70c0e6d73aab396b212b68388bb5ca896415","datavalue":{"value":{"amount":"+0.9809644818305968","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332641$4FEBEE85-CFB9-4E6C-9F58-9D769E329F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d579205d2998b795a7b267cd791346565b9b1da7","datavalue":{"value":{"entity-type":"item","numeric-id":2751534,"id":"Q2751534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36840a8867642f4b42d1527451be63cbdc23af82","datavalue":{"value":{"amount":"+0.8211533427238464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332641$2C27DDC5-53F6-40B6-8D6C-CE92355F3E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71dffc636bbcd3c5a67d6c16300f69edcd1ce5f0","datavalue":{"value":{"entity-type":"item","numeric-id":800909,"id":"Q800909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1aa87e55a32b0e79173d690af0f91593aed312d","datavalue":{"value":{"amount":"+0.8106832504272461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332641$466854F4-7234-4016-A72A-AFE3627949F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978aaa6bd41dd861db1c8203a087e01f8c2c05af","datavalue":{"value":{"entity-type":"item","numeric-id":4282509,"id":"Q4282509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ae95ec775a9f3727c6c1e54890ab01210e5722e","datavalue":{"value":{"amount":"+0.8083594441413879","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332641$26C9D2FA-6F24-4D05-A264-9E923B941599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2358e39ed0ddeec0e70be90b5233c75d6251e39","datavalue":{"value":{"entity-type":"item","numeric-id":1961453,"id":"Q1961453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4880c4d369dd1667f68cfe00d4b60eca3f5745b7","datavalue":{"value":{"amount":"+0.7925196886062622","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332641$95E149DF-54CC-4C26-9F38-FB559F37A964","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tractability through symmetries in propositional calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tractability_through_symmetries_in_propositional_calculus"}}}}}