{"entities":{"Q5457670":{"pageid":7487229,"ns":120,"title":"Item:Q5457670","lastrevid":50336309,"modified":"2026-01-13T20:35:22Z","type":"item","id":"Q5457670","labels":{"en":{"language":"en","value":"On the complexity of propositional calculus formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5263420"}},"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":"Q5457670$2EB3E727-4E21-4BC4-A580-2A638D874AA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd36e47d00b6d07a8258e90fb97ca2c0d8953ec6","datavalue":{"value":"1134.68373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457670$5A8CE43F-ADA9-4E56-8757-CF76C41131D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eb0440f4d24a09bc01fb2b6999ed5812e4a2e1e","datavalue":{"value":{"entity-type":"item","numeric-id":1037241,"id":"Q1037241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5457670$59CD73FA-6290-4ED2-B2EC-122E89E9F6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2540178697b58dd136cb7ba48e7c917ff812943","datavalue":{"value":{"entity-type":"item","numeric-id":206766,"id":"Q206766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5457670$03594893-2F54-4819-AB4C-C83FAD467919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6493006e5dc4df6facd68b3840ef167dd62bd21","datavalue":{"value":{"entity-type":"item","numeric-id":916649,"id":"Q916649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5457670$7A55E61B-848C-4FE1-A877-04381A89C94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa9402f715b9fea0d94178167e84e3f540b68dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1037240,"id":"Q1037240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5457670$AC0CB14D-F8FC-4226-BC36-7DDE4F33167D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f9febd79edc09e0529544fa9ed79527a572db90","datavalue":{"value":{"time":"+2008-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5457670$229682D1-049A-44CB-93A4-8947485D2FD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457670$A9B6EAA0-B8A8-411D-8A3E-17B45A072E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457670$F016F3B8-8643-45A6-8288-2386E75834D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457670$49E676BF-62D4-4763-B2F2-59392E7F49DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457670$B6EBC1D5-D498-4084-85E8-97692FCE941D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"597b8b19f2d42e07f334a0a2fed3391a738eda51","datavalue":{"value":"5263420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457670$31AF5AE7-4DA9-4ABD-92EA-2A4990B4CD66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda8adfe9c4ab11c750628a084b106cb264d8b98","datavalue":{"value":"resolution algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457670$735624DB-EC08-4B40-979B-1811E12ADF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37b57984955ed17b77cf34826089801b2b7bb63b","datavalue":{"value":"resolvents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457670$D6AF85B1-D6B3-4FDA-9E18-48084FC26D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b0c01dfad80d190f1d70cc001caeb384694779a","datavalue":{"value":"Krom clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457670$D743E1C9-57D2-4B92-8971-C5ACF07BC683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457670$B504E8CA-48C5-4441-8D60-A69C39DD691E","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":"Q5457670$6BCFA6D1-BD47-4434-8EAA-33EC128D0F1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04415b4acfa317c05592d9e4057f2a56b8a072ef","datavalue":{"value":{"entity-type":"item","numeric-id":3815282,"id":"Q3815282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa378825d089d58f1d20b8797666fed53f79b818","datavalue":{"value":{"amount":"+0.8029638528823853","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":"Q5457670$DEF3A827-70CF-46A8-8500-794EB2ED61E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"510b265ea165e0d6552a3dd321cab1d3b9a34f43","datavalue":{"value":{"entity-type":"item","numeric-id":4315881,"id":"Q4315881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e36b057f2804058ac7d3eca6d6951392736040ca","datavalue":{"value":{"amount":"+0.7911642789840698","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":"Q5457670$7458CDBD-4270-4DCA-A1E3-89EDD9D68F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a13204615f85c9fa4953a0f158a78851a47c05","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176e8be809e328aa7b5f3c0e5abc04b79164006f","datavalue":{"value":{"amount":"+0.7907018065452576","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":"Q5457670$52D915AA-C253-47F2-80F3-F660DBC057B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e41bc392bbf873b7e6b49ac417668859cf4ec2a","datavalue":{"value":{"entity-type":"item","numeric-id":1117918,"id":"Q1117918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271f15675e42d79abd44a47df17c396b028e34bc","datavalue":{"value":{"amount":"+0.7791423201560974","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":"Q5457670$2F1E9B38-D0EC-4DF6-AAAB-DA2F9FD6556A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6998c936108abd7bd709a773ce14ea6acbfea98a","datavalue":{"value":{"entity-type":"item","numeric-id":1380411,"id":"Q1380411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8fcf0139c5c4e81478188632fb581162264d597","datavalue":{"value":{"amount":"+0.7772470712661743","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":"Q5457670$8BB711F9-92DE-45ED-90BF-5D46588C1428","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5457670","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5457670"}}}}}