{"entities":{"Q6979510":{"pageid":21380103,"ns":120,"title":"Item:Q6979510","lastrevid":84029792,"modified":"2026-05-08T08:00:56Z","type":"item","id":"Q6979510","labels":{"en":{"language":"en","value":"The relative efficiency of propositional proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8045188"}},"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":"Q6979510$FEB94605-1D1E-4535-9705-97FDC7BE8C8C","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":"Q6979510$38CD827F-FA32-4245-B7F4-C8DDA6EDE9A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1025ee5bb49043b9b32fc5f64ae1e4bccab16f6e","datavalue":{"value":"10.1145/3588287.3588299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979510$EF5B476D-B80E-451F-B5E7-1C04ACEA801B","rank":"normal"}],"P16":[{"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":"Q6979510$D3854FEB-7E56-44AD-B1C4-CE746503FE64","rank":"normal"},{"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":"Q6979510$95D77F64-B543-49CF-ABD2-3EFA2B60651F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ac151b60e8b10403741c3e79a2b957e91bb7920","datavalue":{"value":{"time":"+2025-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6979510$359BDCA2-0588-4797-A71A-CC8847FA5EC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979510$62A9482E-AFA0-4975-BF30-9351B3A44733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979510$B828A7C4-07B0-4D88-BF6C-000B783B42D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979510$7B5D288C-80C3-4DF9-98BB-F59C8291B1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979510$0973697D-DB4F-4F33-84F2-62905000C9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979510$9AA82750-66DF-4D8B-9D75-4BA24BC2D6D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03990dff32842f7e26c85286bc0f511ec6b56c09","datavalue":{"value":"8045188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979510$E936EB34-951E-4448-922A-A6E5D182722D","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":"Q6979510$D2E6E030-B4CD-4147-81FE-270BD8BFB3CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979510$4A99F7B1-C6C5-46ED-B095-AB6DB3D4E373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979510$DBED397B-2274-482E-895B-B311A713EC16","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":"Q6979510$A54F9B30-8883-4CD5-8123-567AE5E8B598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979510$C2312E97-232E-411F-B9B8-8D2A241BFEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979510$9957B82E-35F1-42F7-AA27-87F78ACE2756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26022cc155f26ceff06b638a8d396e36e3440c5f","datavalue":{"value":{"entity-type":"item","numeric-id":1444438,"id":"Q1444438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979510$655B45F7-078D-4A97-AA59-1CF179C3C1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979510$C9D8A3F6-96DC-4C74-8655-23D878ECC71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d053b9add83a4b6a0158d11a7705ba5eb1ce5f","datavalue":{"value":{"entity-type":"item","numeric-id":3882451,"id":"Q3882451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979510$CD1200C4-4291-42B3-A928-6E1B796826D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6b871d25a3f2bcc10ef5d12d2a6df59054c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":5604434,"id":"Q5604434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979510$D30432CE-48FF-443D-B579-2E3121928CF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The relative efficiency of propositional proof systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_relative_efficiency_of_propositional_proof_systems"}}}}}