{"entities":{"Q5942588":{"pageid":8119390,"ns":120,"title":"Item:Q5942588","lastrevid":47662759,"modified":"2026-01-02T09:11:48Z","type":"item","id":"Q5942588","labels":{"en":{"language":"en","value":"Complexity of deductions in a system of classical propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1639548"}},"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":"Q5942588$A39BF449-6E7B-4E5D-8AA5-4E0D1D153F31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bab2c87aecf527430dac378e6872b38e88a2f6d5","datavalue":{"value":{"text":"Complexity of deductions in a system of classical propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5942588$9E59A1C5-DA35-4EA1-8650-322B74DAA529","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa42152bc3279ac9204792078d38d522f68e1c41","datavalue":{"value":"1003.03509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5942588$614D631B-A595-439A-A0D9-959DE1E7B822","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d354541ed65d6f3be7130f59cb42a32c2582f15","datavalue":{"value":{"entity-type":"item","numeric-id":200962,"id":"Q200962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5942588$C6398404-F631-4C99-A714-9E9F004583CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1140ec887dccda5e7cf6373b784a94bd7ebcb9b9","datavalue":{"value":{"entity-type":"item","numeric-id":171193,"id":"Q171193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5942588$D5F440CB-693B-4FBA-B403-0CB0F10319FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e47d735b40be96797b5c483fc98ce9be3ac31b3","datavalue":{"value":{"time":"+2001-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5942588$68DDF8BA-9ABE-4ECF-B628-0EDDE27F42A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5942588$489555BA-B158-4A49-A807-A911CA63CBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5942588$47BAC5B9-CE45-47E3-9190-C13530A0376F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"253010c81d37dbb81c131a5353a49503402a920a","datavalue":{"value":"1639548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5942588$E4F2EC9B-9220-4494-988B-8D091193D3F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee539f3c66b5148353f42975573a39b50c5340f","datavalue":{"value":"complexity of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5942588$C609FE9D-5F28-4C97-B59A-53D1EEF96FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e45de5f0961d0cf7470a7b0dd939d5c4c581f3","datavalue":{"value":"classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5942588$AB96CA73-F392-4A24-87BA-9376EDF464B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb20c6aaf89b6ecb959794d062eab3ad7cc6878c","datavalue":{"value":"complete axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5942588$7047CB97-354E-431B-928E-932BC5D42C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b673b20dc24b9fde87cc481eda646ca2667bdc54","datavalue":{"value":"tautology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5942588$D9C50996-9A2B-4BF6-972F-204E4A985261","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":"Q5942588$253342BB-50BB-4875-8059-FA451D17FF68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc26583b64fc9b53b7a02007f2089eb749293d24","datavalue":{"value":{"entity-type":"item","numeric-id":3724329,"id":"Q3724329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e67d88658a72c04c922a3d1a6e7c8e57f885cbc","datavalue":{"value":{"amount":"+0.7782298922538757","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":"Q5942588$1236C70B-D002-4BEB-98F7-63D6D5D5E8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96dc708fbd1384cb0999928a24e57600bbe45be5","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2f1cb0cfd275d2a51febdbd1231bfcd22122606","datavalue":{"value":{"amount":"+0.7727523446083069","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":"Q5942588$75F4E29E-6180-4AD4-8A22-7485E241AC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"892e0567a9b1fa2350db876f360145d289bd76e9","datavalue":{"value":{"entity-type":"item","numeric-id":5697716,"id":"Q5697716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea9e43d916e8a770b49fcf9e9edcfa483a951b1","datavalue":{"value":{"amount":"+0.7709947228431702","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":"Q5942588$6C06765A-A407-4375-983F-4B8C44578CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f95f76e953b56bf0130e14d725876146035256","datavalue":{"value":{"entity-type":"item","numeric-id":2488582,"id":"Q2488582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c42c5965f0dbcc4652cf490d6f183ad3b7510e39","datavalue":{"value":{"amount":"+0.765060544013977","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":"Q5942588$48704447-664F-46A8-86D8-864187C3F3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e55b61410f38e6a1b24aaa79cfee91f308ed35","datavalue":{"value":{"entity-type":"item","numeric-id":4934563,"id":"Q4934563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ee5f93ae2d8c01a47ac587a513af6ff204e17b","datavalue":{"value":{"amount":"+0.7551692128181458","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":"Q5942588$7110450C-D919-4408-8BB1-2F3096D822FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5942588","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5942588"}}}}}