{"entities":{"Q2349813":{"pageid":2360556,"ns":120,"title":"Item:Q2349813","lastrevid":52283156,"modified":"2026-01-21T08:40:23Z","type":"item","id":"Q2349813","labels":{"en":{"language":"en","value":"Easy cases of probabilistic satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6446862"}},"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":"Q2349813$5CDEC292-67EF-4E84-8569-95FF6177D619","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e53d0ccb8eae586da8a223adb1a8c9688dd8ccc","datavalue":{"value":{"text":"Easy cases of probabilistic satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2349813$D4BF8871-178B-4FE5-AA6F-DC3074096899","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85e6b8547ee55c81e1ef6f95ffdf5bd2ce893f4d","datavalue":{"value":"1314.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349813$0F286F65-B932-451D-A57A-CD0AB998BEFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"068ca99f53ffdd18b4a67129900d3c86916d4f1d","datavalue":{"value":"10.1023/A:1012332915908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349813$BA45D381-46D5-4589-9671-955E8E0525F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2349813$34E6E3CF-D323-4288-9237-5E51D2FBCF02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c92fe4975a3a4bbe64ba97c9e0188942b4ac2585","datavalue":{"value":{"time":"+2015-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2349813$21525173-BFEE-43B2-8000-F17EF2DDE0BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349813$A4B493A5-9FCF-4A4C-9BE2-4C11BA723784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349813$6BC94069-0917-4A46-B217-9FAE80379DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349813$666845BF-6A26-4134-BE1E-D26E2EC76A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349813$94421DCB-E1AE-43C7-BE63-C66C36C8B3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2d4f4e28fa9ca38421c473fcb6ba728a44de59a","datavalue":{"value":"90C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349813$B21589C6-F29F-4535-BD96-F89EC9AF8279","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0d2b1cffc670d0f8440e0075f55ec71d5cecbdc","datavalue":{"value":"6446862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349813$3EC41C2E-3DA7-4A64-806E-4CC8AB435A57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0317477367ae79331429816cdf41fc9d8aa5557","datavalue":{"value":"probabilistic satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2349813$461B8ED2-83CD-43AC-88A8-FE169355C221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4edc983c61d36c1459b56a24ad03d26c05e200eb","datavalue":{"value":"CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2349813$D1BEC5E9-EEB6-4BA9-8F00-BD7655FD49DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7339a29bf09525ad0735952a5c2d822a98c0f372","datavalue":{"value":"directed hypergraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2349813$8B02C628-DFCC-4818-B373-DF4C54A71B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d513ea86e07d84f3f9dda0396f023e654afd263","datavalue":{"value":"partial \\(k\\)-trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2349813$0041CEE8-9BD2-47C5-8D7D-DEEA7FA40C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d097d1bb37226d7aafcc66811a076073a21a26f","datavalue":{"value":"balanced matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2349813$59E4F5CA-5CD1-4DAE-B6C9-B343D0668AE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd1eead78f6ee257a16c9b5586fd5996c8d8569","datavalue":{"value":{"entity-type":"item","numeric-id":732916,"id":"Q732916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2349813$BE537F33-4E65-4350-890C-92C960DE4572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e1a293a9ce82b4253e6b403cab38fbc131fcb98","datavalue":{"value":{"entity-type":"item","numeric-id":613475,"id":"Q613475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2349813$30B79BE6-95AB-4683-8702-10F8B2DAC7F3","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":"Q2349813$E4F41371-C408-42F5-A6BD-FDD97101554F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"96be69a75141d2e106e85afbae518ed1a9e25385","datavalue":{"value":"Q113957469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349813$8E14CAFD-FB39-49F6-935F-F8A9A6A91E13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9097002a43a4a1813f2c9eb46ac2936cf8982f45","datavalue":{"value":"https://doi.org/10.1023/a:1012332915908","type":"string"},"datatype":"url"},"type":"statement","id":"Q2349813$754EFC43-6278-415D-9683-7D69AA9DB132","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b5602a08323211b615c4c691e1d52ca50623b95","datavalue":{"value":"W1532097860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349813$B69A5AEE-C7E5-4537-84B2-4C3BF5121EF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0d8f0005bd239dca15c7977a3d150ff006b025","datavalue":{"value":{"entity-type":"item","numeric-id":1104751,"id":"Q1104751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3182d118a32f69a9f59fbdf297877da75c4b9671","datavalue":{"value":{"amount":"+0.8226286768913269","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":"Q2349813$B94E65F4-6913-43DC-9522-69BB18B57CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404bc6db8b25274eecfd8f39e60d62a620f47b44","datavalue":{"value":{"entity-type":"item","numeric-id":1777404,"id":"Q1777404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6746a6b69694d4843fbd96241dc8980d32021972","datavalue":{"value":{"amount":"+0.8207802772521973","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":"Q2349813$555E658B-537A-4B6B-AADE-88BC9D362272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49075fa60d643316b5dad196b105c43e8dae388e","datavalue":{"value":{"entity-type":"item","numeric-id":1744442,"id":"Q1744442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a31c326cb182e4a8b472eb989cf83e8d490bfd","datavalue":{"value":{"amount":"+0.8168932199478149","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":"Q2349813$C9B8D247-81A9-4669-B1EE-D02CFE18DC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607bf7058e6a368aac5e69f87b046b93aaa555d9","datavalue":{"value":{"entity-type":"item","numeric-id":2752129,"id":"Q2752129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1142f47c1c1ec077962247ff11f9ba4f0a0696ec","datavalue":{"value":{"amount":"+0.8165883421897888","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":"Q2349813$834F1DC3-3DD7-4DB6-9A09-7657ADD10E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a8df3d53ad6db367cc3d192d7733a26dd085b5","datavalue":{"value":{"entity-type":"item","numeric-id":1356219,"id":"Q1356219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1142f47c1c1ec077962247ff11f9ba4f0a0696ec","datavalue":{"value":{"amount":"+0.8165883421897888","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":"Q2349813$8AAD0DE8-075D-4C89-8498-AB040182EE82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2349813","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2349813"}}}}}