{"entities":{"Q4194955":{"pageid":6224556,"ns":120,"title":"Item:Q4194955","lastrevid":32089963,"modified":"2024-03-19T21:01:42Z","type":"item","id":"Q4194955","labels":{"en":{"language":"en","value":"The relative efficiency of propositional proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3634252"}},"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":"Q4194955$D05B98C7-62FE-4F8B-987B-3D28654225F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83ae33ff7f6d51584d3351157d27b0af82766066","datavalue":{"value":{"text":"The relative efficiency of propositional proof systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4194955$3DA99E78-C5C6-4BA4-AB36-F7644695ABA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06df98b809cbbe1ed5ab3f0d4134cd510e78f0cc","datavalue":{"value":"0408.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194955$B6973FAA-9865-458F-8BB6-F6A5513D5321","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df043c796c902af61748ef5cd40b9c3e6c52c407","datavalue":{"value":"10.2307/2273702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194955$A76D3D5D-DA51-43A5-802F-D5A4A765CCD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87b0d1e8ef15a53333be1bbcbd6074d9f5727fd0","datavalue":{"value":{"entity-type":"item","numeric-id":1825649,"id":"Q1825649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4194955$37D18D03-B080-43A7-88F2-26F49BDFB703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00ef32c5864b607ccf80c983c44b8c3fc4484c5b","datavalue":{"value":{"entity-type":"item","numeric-id":1096389,"id":"Q1096389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4194955$AE3F0A82-C6EF-4FFB-9A9D-F7C015432C4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4194955$9A273B59-F308-4528-8107-04D95B2C2EC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4194955$AE866F90-F7AF-4AFA-8F86-105D0CD48925","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194955$A0EFD2E8-AC0B-4868-86E5-10AB4DE221C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194955$038CF1F9-CDE9-4DC0-B436-E05C562E63B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85a9c956e7e78ba35e17447daee2a35e64a89fcd","datavalue":{"value":"3634252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194955$529AE639-FDB1-4D72-98B6-3EE8A95E89FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2f8c93c2fb95bcecf461380254b8421841ddd00","datavalue":{"value":"Complexity of Proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4194955$63922F8B-049A-4519-9DB7-AF8C8979EDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f253b5ee33db7d12bf534a62da834f4663ab9b1","datavalue":{"value":"Propositional Proof System","type":"string"},"datatype":"string"},"type":"statement","id":"Q4194955$7B7DEA44-C5ED-486F-91BD-42AA2F23DC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae24b519377dc125e4464920ff9df535cc8d7ecd","datavalue":{"value":"Propositional Tautology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4194955$F9B3570B-22C0-4663-B7B2-A4AA26DCAFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf499b0b475edae5265963148425e45d84f87ba","datavalue":{"value":"Natural Deduction Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4194955$708A156F-4796-47E8-B5D5-23AC0D00BED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbd9ab904f7d1cefff86e9cb65f1c3e2d57e4ed2","datavalue":{"value":"Extended Frege Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4194955$CF53E700-EB22-4B65-82B8-92E316EE9DA7","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":"Q4194955$12BB2AE7-0297-4855-ADF3-4202E6D2A54E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa29a2a0fb21e2fa66c29049b2d11511dc9f5791","datavalue":{"value":"https://doi.org/10.2307/2273702","type":"string"},"datatype":"url"},"type":"statement","id":"Q4194955$7FA1DB14-DBE6-4712-874E-54EF35F9B346","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca4d64503588b9521cd96ee3e64174725729f211","datavalue":{"value":"W1988083342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194955$CF488CB1-0661-494D-9006-68F5CD31E05B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4194955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4194955"}}}}}