{"entities":{"Q4873893":{"pageid":6903472,"ns":120,"title":"Item:Q4873893","lastrevid":41024705,"modified":"2025-04-17T19:37:51Z","type":"item","id":"Q4873893","labels":{"en":{"language":"en","value":"The Complexity of Propositional                                                   Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 867882"}},"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":"Q4873893$C99B486D-969A-44BF-AB8C-3DF952918F87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42deabda123bd4e3679061dec7b7bf954825b32a","datavalue":{"value":{"text":"The Complexity of Propositional                                                   Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4873893$8F60931F-1FE6-4BD5-8D19-56CE27F9B8B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"374b22d12b2e43a258e6c31117f29bf98be12e0a","datavalue":{"value":"0845.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873893$24EC1423-76F3-47DB-A332-52ED083D9C62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fb58d052c60ad8497cdce52b81eb161b393ac5f","datavalue":{"value":"10.2307/421131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873893$F6CA6EDA-C629-4D5B-9858-335ECA852714","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd6a40ad54574dfdc72407e5223fefee18b3ec7","datavalue":{"value":{"entity-type":"item","numeric-id":647404,"id":"Q647404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4873893$4CF3B0F6-B518-4B0B-BA41-0445C6821412","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7380b342754565b1fe6f8bbda4db1865e307a4c7","datavalue":{"value":{"time":"+1996-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4873893$80CAEE49-43BE-4042-ACB3-7CCA7A1DBF09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"660e1d82eb1ff8f87ce3d4b79905dc19e899158e","datavalue":{"value":"https://semanticscholar.org/paper/39dae84f0899bf3ddde5946e3678af9015a0b960","type":"string"},"datatype":"url"},"type":"statement","id":"Q4873893$FD8E74CA-40DC-4A7C-997B-B6F3C7024B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a42968f7756c7096eadec354d69cd329ee6f86b5","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0104-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4873893$435703D8-8534-4BC9-ADCE-327201E53D80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873893$83104644-07A7-491A-841B-14D1D53655DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873893$C146D40A-B384-4961-9487-EEC48D075DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873893$587B41DB-14D6-4965-B394-AF1832B9DA88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c52a9d26c31ceef6073cc0ac9f037e5b2fca4461","datavalue":{"value":"867882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873893$76F43379-A68A-443C-AF8C-C9570341BE3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c494c1a29951f3bd8e69d7649cd35be49f6a86e7","datavalue":{"value":"\\(k\\)-valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873893$D1EE6A87-FA6A-4DED-9312-4DD1751E305E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67092c47867106d09c4cf34434c78997561075ae","datavalue":{"value":"classical propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873893$5899ADF1-5422-4D09-8943-DDCBFBE93BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873893$BA314C1C-285B-4BFB-8393-5773886CB8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873893$7816328D-26C9-4A03-82D0-D55B12ACF99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4908130fad200c533896629f09c6eb4da5e3c07","datavalue":{"value":"Gentzen systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873893$707B0877-4071-4E24-80E7-724D76E96DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873893$2AD384DC-95B5-41CE-84D3-8F917514A288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de1e03143afb19b74de1846a458abc199da371fa","datavalue":{"value":"resolutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873893$4716394D-495E-402B-8B12-85C0805EECA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c423e539a455785afc553926b0d64ac7c46cbcd","datavalue":{"value":"truth tables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873893$131464F3-9E78-4568-90B9-C4AC406EF514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873893$7250FA6A-18B8-4382-B7EE-729CB382E024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee539f3c66b5148353f42975573a39b50c5340f","datavalue":{"value":"complexity of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873893$960E8E8F-599F-4813-8104-6EDFDEF926C4","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":"Q4873893$ABE415FA-E0E2-4258-A83B-3D89DB1EE8F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"008135f7e4e8a72a0b658254297ffc2f2101ba7a","datavalue":{"value":"W1940223960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873893$19E463A2-2725-49CD-BFF0-4D8174670F4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e652befa7c235b176c2003d479759743e719a31b","datavalue":{"value":{"entity-type":"item","numeric-id":3194704,"id":"Q3194704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27887fe7279af7e1b2246f95900eafefbb678c27","datavalue":{"value":{"amount":"+0.86235046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4873893$163163D0-EAD5-42B4-AF46-9712C78E462D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cccaac9b36deb25402bd0f6ccff787ac830afb","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1ff31404c57c1c3ec03e6172e64bfc5b1bc147a","datavalue":{"value":{"amount":"+0.8553007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4873893$5F582E60-5F90-40A6-81EA-BE203CB05900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2277ff7c41191c25c17b3cafdb32706d5effd7a","datavalue":{"value":{"entity-type":"item","numeric-id":4010371,"id":"Q4010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6ae36be209500649f6e5b93ee2df04402e7139","datavalue":{"value":{"amount":"+0.8329516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4873893$9E0B69CE-41D3-4F3B-B1E7-27E786CF29D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9fc9cb488237bf3ac279cecea915052f5966f77","datavalue":{"value":{"entity-type":"item","numeric-id":4395611,"id":"Q4395611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f94849ea84eaa76ce666213d946a85e93a981cf5","datavalue":{"value":{"amount":"+0.8304878","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4873893$1A673ECF-9CE1-4277-BE93-6D58A4D715BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c0a75c4f1131ee866cde9f99c88c11d29350aa","datavalue":{"value":{"entity-type":"item","numeric-id":4850552,"id":"Q4850552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6c450786a81cef8259464669e34fe6a0942a102","datavalue":{"value":{"amount":"+0.82489806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4873893$D35ADA61-78DA-4936-AB3A-7D9368292925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24bd61806512267ccdbf17961278609211f2dac","datavalue":{"value":{"entity-type":"item","numeric-id":4629797,"id":"Q4629797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11ac38a62a93ca1278caf0a17c18bfe55764f938","datavalue":{"value":{"amount":"+0.8221569","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4873893$0F2721D7-6194-4A78-BDEE-CDE343A8CE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e331e7636c8648fd1c371b70d78f20a86032157","datavalue":{"value":{"entity-type":"item","numeric-id":4893137,"id":"Q4893137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a34031e1266c9402dc038eeb83c7d0d5f7a527","datavalue":{"value":{"amount":"+0.8193191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4873893$1C64A3AB-91EB-43ED-AC49-D884DC888CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ee24e5941a980d341edec213329522344ee401","datavalue":{"value":{"entity-type":"item","numeric-id":4818823,"id":"Q4818823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7cf6a7dd8f58560989d0818387ae03716c20b38","datavalue":{"value":{"amount":"+0.8115987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4873893$407347E4-CCA4-485F-B330-5617CB7C7B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fc27712d30af9d8b9fb1c8d39d6bd3cb0e51131","datavalue":{"value":{"entity-type":"item","numeric-id":3072543,"id":"Q3072543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b204416ffa7350c43504dbb0b918d1d7fe9c83","datavalue":{"value":{"amount":"+0.80089307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4873893$BE5EEB0E-665D-4C2A-B3CF-0BFFAA16D363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8619ab5791ecf083dffaaaa18e3233c03cbac4","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa49399cd70ea5fe215e42b3858e291e46c6e7b5","datavalue":{"value":{"amount":"+0.80074567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4873893$E9779610-3D7B-46FD-BC65-25506177E533","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4873893$3B16CAC0-E1C7-4385-A9DA-F205300B7A83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4873893","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4873893"}}}}}