{"entities":{"Q987797":{"pageid":989645,"ns":120,"title":"Item:Q987797","lastrevid":51057629,"modified":"2026-01-16T10:36:10Z","type":"item","id":"Q987797","labels":{"en":{"language":"en","value":"A direct construction of polynomial-size OBDD proof of pigeon hole problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5771243"}},"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":"Q987797$4EA90A13-470C-443C-97CD-C4B8E69DDA91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f138b0127c92fd6bbadde622c2821ed902bfbf85","datavalue":{"value":{"text":"A direct construction of polynomial-size OBDD proof of pigeon hole problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q987797$647C4486-91B1-4CD8-96F6-AA1234FF09ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bc16c07185fdc7a11d8533f9a6035c0c3221fe8","datavalue":{"value":"1217.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987797$F6F1FB5F-D488-4CAF-97A3-F852941C2B4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987797$A7918DD1-1815-4891-85C3-5FC31F331F12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ab1a23b33b6c3db0ddd484ed90ac34e13f69d9a","datavalue":{"value":{"time":"+2010-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q987797$9F4886F1-772B-4FC8-BDDC-2C06EEE03F4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987797$5B7C56AF-573B-4FBD-8B38-A20B01FDC249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987797$5C3E50E0-E63F-411F-B850-9B9D43F448B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18b35b4b6ad02a8b57ad88f305ef38069402e4cf","datavalue":{"value":"5771243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987797$12F42E1E-1D25-4F4D-8889-32ACE0338288","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b24e51e460d663f6ecf18860b761adb8bb29e572","datavalue":{"value":"propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q987797$F405C5DB-D18A-47E9-B103-42A42A65EA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q987797$56CED875-3D07-49A8-B992-325292BAD402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da0e9d0620439bf34a43faa3e85c21c599fbb434","datavalue":{"value":"pigeonhole problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q987797$F589868D-4FE4-4295-A743-F13098F2EB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q987797$9AA5E18D-B6BF-4340-917D-36FE78946BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q987797$E731E55B-8419-4E08-ABA9-7E4BDA88968C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81d2e30a2b8e9fe6a6e3778ab63aedcfb8d76a50","datavalue":{"value":{"entity-type":"item","numeric-id":282124,"id":"Q282124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987797$3F1797F3-018D-4154-9C3F-B99502FAB5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"700a7ab3c2173bf5b546ffeb63a43807e035e8a6","datavalue":{"value":{"entity-type":"item","numeric-id":250171,"id":"Q250171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987797$3ED77ECD-D168-4930-84C3-C7191ED5D406","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987797$DDC5C6E5-FB89-4F10-B7E6-CF00210B0D49","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":"Q987797$2D09EC39-5AF5-412B-993A-45138D16B84C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bae2a5c3e832e00bee4be12ead784a0e32668514","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2009.01.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q987797$E3F3092E-6151-4FF1-AA6C-54B1623F5A01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3b9837a5c2f3a5a8562be9ad0590622254a7fba","datavalue":{"value":"W2035447984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987797$44D63857-32F9-4C21-B790-8333C8323EF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4690405eee8895f3745c3a69ec2e82721cd12da","datavalue":{"value":{"entity-type":"item","numeric-id":5900286,"id":"Q5900286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987797$8C64E146-4744-4D0E-8B1D-64EC238D47B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987797$9F73936D-44AF-4E11-9191-222FA724362C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987797$DB901389-A720-462D-8869-F074BD6FA566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc572d627a83eaa191f68127ff59e387905680","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987797$384B9E5C-CF96-44EB-A2A1-8475EA563CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0758251afe6a76a41e18f7daffbd45a12fb82b","datavalue":{"value":{"entity-type":"item","numeric-id":1408378,"id":"Q1408378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987797$8249D062-2524-4C0B-88D0-4898EC8F14BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"441f5812e34a559e1a1e9ab89e4cf3751977c625","datavalue":{"value":{"entity-type":"item","numeric-id":5387310,"id":"Q5387310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987797$74CC005C-DE5B-44BA-BF59-0FD0C7457DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a929277efd80b0c6ba91fc0f436f87626358b5","datavalue":{"value":{"entity-type":"item","numeric-id":862403,"id":"Q862403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987797$42FD7A74-8EEA-40DE-9EAA-4D3884FE398D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987797$456CACF3-6704-4699-8D47-30BA4234C97B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36ca5c6dd21e5f177fefa61ac6f3f29d0770932c","datavalue":{"value":"10.1016/J.IPL.2009.01.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987797$52A4897C-1130-4A91-8933-DD6660CC174A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e7036203ff91a735f5ded6de1fedc2f4aaee29","datavalue":{"value":{"entity-type":"item","numeric-id":3006476,"id":"Q3006476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3b2e7eec9369ca97cf8b08e43096b119bcb6ac","datavalue":{"value":{"amount":"+0.8403069376945496","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":"Q987797$1E897A18-F39A-4CAF-AF2B-389B8CAF7CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a9053cd0221d8b2d7979e401c42852b126cc7e0","datavalue":{"value":{"entity-type":"item","numeric-id":5121904,"id":"Q5121904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"588914ee2b6722496f18903d5f9cacc0ea5bfecb","datavalue":{"value":{"amount":"+0.8070793747901917","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":"Q987797$992BCDC3-E9F2-4B72-A872-7DCEF42CD32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a031041be2d3201c96b1788bde5872167c8453b","datavalue":{"value":{"entity-type":"item","numeric-id":5056355,"id":"Q5056355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6798a64c0825e38282e4a7b9c485635f8e13acd8","datavalue":{"value":{"amount":"+0.8041730523109436","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":"Q987797$E672E219-530F-4868-9D96-BA272CE38A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"391c1c693c44ddcc7bd2a422a8e7a3438960a5db","datavalue":{"value":{"entity-type":"item","numeric-id":4636642,"id":"Q4636642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d38aeada23a7c9ce35215c8bfabff326554a8b03","datavalue":{"value":{"amount":"+0.7882235646247864","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":"Q987797$009961A9-FCBE-4635-8072-4CDB3B0AFB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c42251eb8c74163d8a65918642b6681c353a8233","datavalue":{"value":{"entity-type":"item","numeric-id":5148102,"id":"Q5148102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92247ec12316171c5018fe54339ab01bcc81f561","datavalue":{"value":{"amount":"+0.7804576754570007","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":"Q987797$F6C3330D-2E20-4089-8374-64665781A6DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:987797","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:987797"}}}}}