{"entities":{"Q1853507":{"pageid":1864249,"ns":120,"title":"Item:Q1853507","lastrevid":74321793,"modified":"2026-04-14T19:31:44Z","type":"item","id":"Q1853507","labels":{"en":{"language":"en","value":"On an optimal propositional proof system and the structure of easy subsets of TAUT."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857045"}},"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":"Q1853507$2CA8A839-D493-47F5-AD43-0FB18E6A8AC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"947aa755ad3f733902b894d1f58499c19c444b55","datavalue":{"value":{"text":"On an optimal propositional proof system and the structure of easy subsets of TAUT.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853507$4F41FF92-D8EB-4A0E-A4E3-42853363C65F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b2a682c6fd1edc706553edd756085b6b1463727","datavalue":{"value":"1061.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853507$0A642007-D9F1-4A11-A9B5-31A50AE9FB5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"408291ee507b5ec53c0f02a6876571acc1add2cd","datavalue":{"value":"10.1016/S0304-3975(01)00155-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853507$39EBD54E-F77D-47A5-B8BD-616387E688AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4917cb263d468f2111b70d8f28f6f11a5fc4ba96","datavalue":{"value":{"entity-type":"item","numeric-id":1853506,"id":"Q1853506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853507$1EAF74C2-F96D-49E1-BDFC-B943A3B3652C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853507$77741903-83BF-4B7A-8B4E-C22E6CA649D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853507$C73E6511-6E4F-483E-98C1-3E094F562AD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853507$5497F7B4-2416-4292-922D-0BBAF4543189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853507$A0C05AEE-3173-43D4-AB7A-3AF6CD2B41D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853507$7CF60503-FA89-4C6B-9046-45EA0A7E1E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853507$89F3EAE5-FE70-46E2-AA97-C32EC6327667","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82f29fa7bbe8ab23c75d11bc0cbf69843fe7f14c","datavalue":{"value":"1857045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853507$94750528-6DE0-4ED7-89C8-2DEFB80BDC89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc553ab0ac8cf32ce2beb6108ba5d9ac09d0e84c","datavalue":{"value":"Classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853507$7544B210-E59E-4BDF-8931-1570604DE2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27adde2b8dd8131a5c41725a739e8b0f402b6a0c","datavalue":{"value":"Complexity of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853507$79D64D39-D438-46BE-BACD-BB419A5F69AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5810378ede06bc75a283d8e00aa1e3f140ca886f","datavalue":{"value":"Complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853507$3512E98F-C683-4836-B683-F4F3352ACE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7b2bc609d5e1c6f2aeafe2c971fd0054cecbfbd","datavalue":{"value":"Complexity of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853507$12A02417-D5AC-48F0-A683-D1AEB1C9A4EB","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":"Q1853507$D0CF94C7-7E5D-4F58-8A0C-7E4E14294142","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0a936d29cdb004405e9ceab9ae0698c1fa987d","datavalue":{"value":{"entity-type":"item","numeric-id":4321931,"id":"Q4321931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853507$8BDB4F35-FB99-463C-85DD-C516A737E3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853507$C1EED736-2462-4B7A-85D6-E2FE29424645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853507$3386102D-DEC9-4BFB-AD72-9D06E157944F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd07bc9a9b69ce8a80cf38ac60dbedf570ebf67d","datavalue":{"value":{"entity-type":"item","numeric-id":1109566,"id":"Q1109566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853507$A4CDA224-61E1-40C7-95DB-6BB66D1BA54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d33a8bea03e38d0829c039acfebe8d2d278a62","datavalue":{"value":{"entity-type":"item","numeric-id":3676130,"id":"Q3676130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853507$0AA0AF1D-8196-497C-B94B-557FB740A02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4e03bf5b3e8f3211abc8ec442c9eefd10dbc8c","datavalue":{"value":{"entity-type":"item","numeric-id":4258579,"id":"Q4258579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853507$3D6B9D34-F785-4E8A-A46A-B36DF561DC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853507$EEE6A1E7-37BA-4C3E-A19B-9F0D4F036BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece2270b16b9fbc48e0a9ac072c1cea045ecd584","datavalue":{"value":{"entity-type":"item","numeric-id":1162811,"id":"Q1162811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853507$7E6CDC3C-1438-4553-8F14-738F24B0F7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42569ded690c444cc0d97eab2621ddecf895fa6f","datavalue":{"value":{"entity-type":"item","numeric-id":4251070,"id":"Q4251070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853507$49C0741A-F293-43FB-9D5B-50122083D3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c3df03f1a2987977466dbdd6d02f2af5a8e45b","datavalue":{"value":{"entity-type":"item","numeric-id":4381398,"id":"Q4381398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853507$5969D867-FF90-4662-8CCB-76FC7676C4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853507$B12A0AFA-E348-4646-B6AA-CD6B2AA63E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e129a2d157f11eb104b6683d0c548da586ae805","datavalue":{"value":{"entity-type":"item","numeric-id":5823276,"id":"Q5823276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853507$463A8BCD-A043-46C1-B27B-15AE39864220","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfe776d3fe927c40ec99f1c0a53436cc939d25ea","datavalue":{"value":{"entity-type":"item","numeric-id":4381398,"id":"Q4381398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7159c6003149589ef7e6b2c18b45fde6aa81b8de","datavalue":{"value":{"amount":"+0.8674221634864807","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":"Q1853507$89A7883F-4549-48D6-AB1E-79A401F08962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd1018e4305d1f7805c1760e3db7749c14f5f93e","datavalue":{"value":{"entity-type":"item","numeric-id":4251070,"id":"Q4251070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7159c6003149589ef7e6b2c18b45fde6aa81b8de","datavalue":{"value":{"amount":"+0.8674221634864807","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":"Q1853507$68B2FB62-FBA2-4255-A0D1-4B9304AC7F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eee996fa620e61bdbac66b043c815f7f9f78887","datavalue":{"value":{"entity-type":"item","numeric-id":4530008,"id":"Q4530008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e85ffb0a95da13e4c84e9d9ce79d87b92ac83b4","datavalue":{"value":{"amount":"+0.8494004607200623","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":"Q1853507$696A0876-D4CC-450D-9C45-E526F57041D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527312893e352577d61e0bfa81bb2b7bd8852f54","datavalue":{"value":{"entity-type":"item","numeric-id":5422270,"id":"Q5422270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756b12e5124d495da5eeece2f876080217f894d8","datavalue":{"value":{"amount":"+0.8417105078697205","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":"Q1853507$1EA0879E-F3C3-41A6-BF4E-AC418FF5DE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf87d6b1b612449170fc743effb994c46d6cddee","datavalue":{"value":{"entity-type":"item","numeric-id":4472459,"id":"Q4472459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a31256d8f2aca37d3cc3a01791c45a2598471af","datavalue":{"value":{"amount":"+0.8264936208724976","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":"Q1853507$A3664627-7040-490A-BC7D-A6DE0119A61D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On an optimal propositional proof system and the structure of easy subsets of TAUT.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_an_optimal_propositional_proof_system_and_the_structure_of_easy_subsets_of_TAUT."}}}}}