{"entities":{"Q56813874":{"pageid":56734720,"ns":0,"title":"Q56813874","lastrevid":2221577447,"modified":"2024-08-05T15:18:30Z","type":"item","id":"Q56813874","labels":{"en":{"language":"en","value":"The Complexity of Boolean Formula Minimization"},"nl":{"language":"nl","value":"The Complexity of Boolean Formula Minimization"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0443 2008"},"en":{"language":"en","value":"article"},"ml":{"language":"ml","value":"\u0d32\u0d47\u0d16\u0d28\u0d02"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 2008"},"hy":{"language":"hy","value":"\u0570\u0578\u0564\u057e\u0561\u056e"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"a052e62a3b41279b830d934c14640d9e0e57c254","datavalue":{"value":"10.1007/978-3-540-70575-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56813874$3F99E82D-331D-46E6-8D5B-30768BE0CC5F","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56813874$AC2839CE-D007-4286-8BA9-FE7D47CEFCF6","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"5ccd96f805c3369f0a359960f31cef12edcf8d5c","datavalue":{"value":{"text":"The Complexity of Boolean Formula Minimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q56813874$20C93257-06F4-401A-8024-A5C2C36ABB61","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"6409670d5aebf8523cddd736147429f6077aa2b5","datavalue":{"value":"24-35","type":"string"},"datatype":"string"},"type":"statement","id":"Q56813874$A2C8D6A5-EA7A-469E-8F59-62EC3908E54A","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"a4af72ab332a04e35fd1ff4bef8549f600418a3d","datavalue":{"value":{"time":"+2008-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":"Q56813874$C71C1A20-B5F6-424C-BA47-2697392D99F1","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"3015693f9abc71841a3bdca0db9bc5206d5c0b4c","datavalue":{"value":{"entity-type":"item","numeric-id":924044,"id":"Q924044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56813874$50D1C608-C2BE-43AD-B1F3-A99EA1CAB598","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"f224b4ad701af35cc9c060b710483a0b502d7441","datavalue":{"value":"David Buchfuhrer","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q56813874$5A7F7364-4ADD-4354-89FA-79F28B8D5AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"d44f3b6e42b5e1d71fe57a56adac2e80ba3cae0d","datavalue":{"value":"Christopher Umans","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q56813874$843BA452-EBB7-4BCF-97A2-3A8D30916592","rank":"normal"}],"P407":[{"mainsnak":{"snaktype":"value","property":"P407","hash":"daf1c4fcb58181b02dff9cc89deb084004ddae4b","datavalue":{"value":{"entity-type":"item","numeric-id":1860,"id":"Q1860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56813874$660D6D25-3A85-42F8-AB9A-967D14F1A316","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"1b8eb97f519b563b3cffb66a4f2b9e871c09bf2c","datavalue":{"value":"conf/icalp/BuchfuhrerU08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56813874$108DC18C-4393-411E-88F7-1704FE8811CF","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}],"P1104":[{"mainsnak":{"snaktype":"value","property":"P1104","hash":"6e0dd97ab98a851ba14eccf9c1477f8401953004","datavalue":{"value":{"amount":"+12","unit":"1"},"type":"quantity"},"datatype":"quantity"},"type":"statement","id":"Q56813874$42063240-2B99-4715-9175-B75B313A06FE","rank":"normal","references":[{"hash":"40fce3ab36b4480c47d9e8bc986521996506f2dc","snaks":{"P887":[{"snaktype":"value","property":"P887","hash":"82cfe67f9f867837ae01ad53eb2ec999c910cc6f","datavalue":{"value":{"entity-type":"item","numeric-id":110768064,"id":"Q110768064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P887"]}]}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"402b913c0735fdc9c246d74df173c62d9ddf2caf","datavalue":{"value":"1152.68445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56813874$696B8D6D-DB5D-4D52-86E1-96D2D9428FE8","rank":"normal"}],"P6104":[{"mainsnak":{"snaktype":"value","property":"P6104","hash":"a27c5fdb35b42381f12b2a603711e56d98dd77fd","datavalue":{"value":{"entity-type":"item","numeric-id":8487137,"id":"Q8487137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56813874$BF7EF227-C569-418A-B3D5-C09699B36267","rank":"normal"}]},"sitelinks":{}}}}