{"entities":{"Q3436752":{"pageid":3447455,"ns":120,"title":"Item:Q3436752","lastrevid":50091982,"modified":"2026-01-12T22:15:23Z","type":"item","id":"Q3436752","labels":{"en":{"language":"en","value":"Disjoint NP-pairs and propositional proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5152044"}},"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":"Q3436752$91D9B896-9725-4E3B-B8F0-3BDE70F49CA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66faa737b5e7ab3ccc2b5effe6333329bd2e6a2f","datavalue":{"value":"1119.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3436752$5DF695C4-D4BB-41A9-BCE3-184828C747DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f204cca5cb3a5d17167bf45cc964ea1212f0eef1","datavalue":{"value":{"entity-type":"item","numeric-id":553295,"id":"Q553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3436752$EB883323-DE1E-4AEC-A89E-21AB01AD380D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbd0eb8b100807c851c8df9ae7f8fa5376f95dfe","datavalue":{"value":{"time":"+2007-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3436752$751257CC-748D-4035-BA29-48D6378E5F1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3436752$87B15F45-E3D4-4C60-9E99-86BE047EB074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3436752$FC690797-03BC-40A2-BC11-21580B6DDBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3436752$B5CFE9D0-95C6-485B-8A3A-47F88C2E64AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3436752$634E18E4-D415-4FC9-8D82-61135C7834CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3436752$0A7BCF44-492B-4B9F-B7C0-8AAF8DB24AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3436752$DF01A375-BE40-4FB1-890B-57AED78AC530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3436752$4EAD5AFE-9969-4EED-9EB6-7F4F3F91ABC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd37e8547d5dbd402ac42384a4420698e581991d","datavalue":{"value":"5152044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3436752$1159CF57-DA02-4790-AE3D-D93BAE161182","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beacc345177607df4ab1f59f0170626c9d1a1d90","datavalue":{"value":"propositional proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3436752$99DB8CE4-65A6-4875-8973-F7A0B98D37BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3b279760df11662980b736532df7fbeff43d8ab","datavalue":{"value":"disjoint NP-pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3436752$048D62DA-1CC7-4712-806E-20D518548E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8db1726c03c7059c08d69b8aca64a6baa1151a9","datavalue":{"value":"complexity class","type":"string"},"datatype":"string"},"type":"statement","id":"Q3436752$64B1340A-607E-42F0-B887-3E5E87305DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3436752$CA5BD965-587D-4240-83B8-2E66B1831ED6","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":"Q3436752$E81E71E0-8E1C-4EB7-AA18-7A03254724F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3826ad06e418714f7e857c35ab8ff93ef3e11e84","datavalue":{"value":{"entity-type":"item","numeric-id":5898879,"id":"Q5898879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7618bf32db3f6c0093ca4b5541dbba2049e09f1b","datavalue":{"value":{"amount":"+0.9262909293174744","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":"Q3436752$40150FBE-B817-4CAF-8F47-7B81EE31192B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce423eb2359d8cf8a3ad5f1962a5da988ed1e05","datavalue":{"value":{"entity-type":"item","numeric-id":3434684,"id":"Q3434684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81dc71b86409372ca7b7092d91c886ae5b5f0186","datavalue":{"value":{"amount":"+0.9185639023780824","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":"Q3436752$1DEB3625-77CE-43B1-999E-49D14503F208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc244ea229a75710606da2fca68723340c271cc1","datavalue":{"value":{"entity-type":"item","numeric-id":929286,"id":"Q929286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cfa77eb5c9b719ee2a8a50b9f2f54d757414084","datavalue":{"value":{"amount":"+0.9152984619140624","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":"Q3436752$69FA69AB-5C45-4D93-848D-2055B9E3C3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b229f27005b3ddd16863d120c83416fe77a57c","datavalue":{"value":{"entity-type":"item","numeric-id":5492875,"id":"Q5492875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8899f2dae0d57903f0abfd6ae4354c60cb6af82e","datavalue":{"value":{"amount":"+0.8973405361175537","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":"Q3436752$9EE8473C-2F41-44F6-A33A-26A739F95215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613783461e0ed794462d84c60679b85594e71d3e","datavalue":{"value":{"entity-type":"item","numeric-id":884465,"id":"Q884465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff6ec7ae54063d8ec1e486173fc4f14a908a19b5","datavalue":{"value":{"amount":"+0.8908509016036987","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":"Q3436752$2BFCB772-CB2E-46A9-8EE8-68E089B91CB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3436752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3436752"}}}}}