{"entities":{"Q3081241":{"pageid":3091956,"ns":120,"title":"Item:Q3081241","lastrevid":86433629,"modified":"2026-06-03T21:00:54Z","type":"item","id":"Q3081241","labels":{"en":{"language":"en","value":"Propositional proof compressions and DNF logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5861994"}},"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":"Q3081241$FF4CAECD-58C0-4D09-AA1F-17F3E17A4E6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa4735f8d2eaf8be65b9a0e5b6c65003fa0a3c04","datavalue":{"value":{"text":"Propositional proof compressions and DNF logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3081241$D91FC17E-12BA-4340-9D43-F7FC602FA386","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48e0fa9d29f46068200d977046e76cda1e72ad5c","datavalue":{"value":"1214.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081241$D9504E7A-45B2-422B-BBFA-AFB256FDD807","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18d153db87c8aa6053edbe5427a634df51843ee4","datavalue":{"value":{"time":"+2011-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3081241$1BD2D8A7-41E9-4824-B50C-16260098F38A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081241$A8CB01E4-2C2B-4DBA-AA51-29B241D13376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081241$368735A2-87B6-4A15-BD1C-2401EAE2BBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081241$644BDE75-2AE4-47CD-A4FA-6415DAD2AF55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b2130d5f3930893afdcba7d59dfe4a98b3cf136","datavalue":{"value":"5861994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081241$9AC0F29C-B234-4FCA-B59D-B2FA722F668A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081241$3EA5D46B-8ACE-447E-9C02-91B730C1E03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8dfee61d9a60ba454ee2675aa1b029fe5f82492","datavalue":{"value":"propositional complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081241$BF3987C8-5CAD-45F9-B9D3-CABEAD55C8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0faca75b646c46d3206d569a4059726e99c225e","datavalue":{"value":"dag-like derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081241$843380E2-D8F1-427F-A6FA-3CF4F2870A15","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":"Q3081241$81695885-D11D-4EFC-BB59-EBDD10D6B4AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6cf5eda010ed9daf3484e80c917df6b05a5dbe5","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzq003","type":"string"},"datatype":"url"},"type":"statement","id":"Q3081241$9730750F-C1FB-40FE-9328-C77E12921AC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d03e35a031f0b9105aa07d317fa891a53c199e58","datavalue":{"value":"W2063200450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081241$1494026D-F9AF-4CF5-ACA6-236D10AA2061","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56483f3f4ab4e7a0fb00fd5e4778f0343128093d","datavalue":{"value":"10.1093/JIGPAL/JZQ003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081241$BCF2E095-2924-4A5D-9E7F-F735AE568A6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081241$A8F6C9F9-6C98-41CA-BD59-2904C126519C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e01a1a87e9e21661fc2d247dde7f3d538b8883f","datavalue":{"value":{"entity-type":"item","numeric-id":2631644,"id":"Q2631644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3dcb0248f3caae4d51a62af2b888732bf89d0ab","datavalue":{"value":{"amount":"+0.7733553647994995","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":"Q3081241$CA438AD6-5B07-459E-96BF-A47AC10FEFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5fb60d72e16ad991c6665a764621288819fa42","datavalue":{"value":{"entity-type":"item","numeric-id":843604,"id":"Q843604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b259bcca6adbeaabdda6af6c97a875a33e989c","datavalue":{"value":{"amount":"+0.7496172785758972","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":"Q3081241$8334B03C-8701-4FCD-9230-8F9C35A54A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8006c5a161a0741eb573aaf650fd1d8f168640c2","datavalue":{"value":{"entity-type":"item","numeric-id":5147748,"id":"Q5147748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d29bc7b76583bb0ae9510f673b9801b138c9e76","datavalue":{"value":{"amount":"+0.7459660172462463","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":"Q3081241$E58441EB-DE33-4855-ACC9-E4B2D8B61622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70c7c6cc56bc304adf4c26e41735c161bfeeaf9","datavalue":{"value":{"entity-type":"item","numeric-id":5178991,"id":"Q5178991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a4f50ccacf4497caa93438c979a7b666951b20","datavalue":{"value":{"amount":"+0.7452310919761658","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":"Q3081241$745F8B9D-62A9-4C59-B292-82517BFBAF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fdec3ab308473cca68117624ded442a9fa5df31","datavalue":{"value":{"entity-type":"item","numeric-id":4524786,"id":"Q4524786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b81f601cf21cde9963e9ddb7c5947139498f8fe","datavalue":{"value":{"amount":"+0.7380578517913818","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":"Q3081241$8F862121-0D7C-4E9B-BE4A-3C376EF24AED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional proof compressions and DNF logic","badges":[]}}}}}