{"entities":{"Q5740444":{"pageid":7769996,"ns":120,"title":"Item:Q5740444","lastrevid":52581485,"modified":"2026-01-23T00:58:49Z","type":"item","id":"Q5740444","labels":{"en":{"language":"en","value":"Model counting: a new stategy for obtaining good bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606373"}},"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":"Q5740444$07E3071D-916C-4F05-A11B-883AEBC17603","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66a7bc0f9b79b1db6cbf8dfff05aac082d0e7aed","datavalue":{"value":"1341.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740444$6221673A-60D9-44EC-958F-CB544209E7F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dc48f6482cafbc4c9db96d1df1775b795a5c68d","datavalue":{"value":{"entity-type":"item","numeric-id":456410,"id":"Q456410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740444$B3314019-082F-46A7-A4AD-2E1A02B2E95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0a6e2901f37f07f61955e71608f708a4ec7051","datavalue":{"value":{"entity-type":"item","numeric-id":456408,"id":"Q456408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740444$F2C82E1E-CAB3-4BB6-9B0D-54105A15D9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e474d80fb8e3e25b0903af1e87b38ff443f35798","datavalue":{"value":{"entity-type":"item","numeric-id":545552,"id":"Q545552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740444$7CDE3206-0CE6-4BAB-8F83-BC61283FB9FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f68c40e94bd0774ffce1c64b5329d163d095033","datavalue":{"value":{"time":"+2016-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740444$64F29986-D18D-4DFB-A714-7A7FA1A991C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740444$24C694DE-4D87-408B-A7B3-3856E7EC547B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740444$DEB45280-1660-4B71-A640-AAF9886A64BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c56159382808d5bcbf13a91a1b3a23e964400f92","datavalue":{"value":"6606373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740444$29266214-415D-48EA-BE33-39C010C9F647","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5740444$02D971ED-27C6-447F-9042-54F8566E15CD","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":"Q5740444$0761EF54-6FE1-4535-A6FA-FE90863BF4B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7a9b1202f959a90559b3da8deb74226c04dd7fb","datavalue":{"value":{"entity-type":"item","numeric-id":1680238,"id":"Q1680238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65426d47b54480139c2a44b21e3a3b6b183e4576","datavalue":{"value":{"amount":"+0.8560463190078735","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":"Q5740444$829D030F-A88F-4957-9DBE-E6BCD3B058A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f7245c35784967c7fc3fe38c47475dc9dc08dd","datavalue":{"value":{"entity-type":"item","numeric-id":545553,"id":"Q545553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f1ae9230928d2d21a950f960575be9ec09e4f1a","datavalue":{"value":{"amount":"+0.841787576675415","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":"Q5740444$54875872-14F8-45BC-BD01-3B06EBC448C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"834beb0e54f4c34369dd8586b7e1a3f1e043f9a8","datavalue":{"value":{"entity-type":"item","numeric-id":3612459,"id":"Q3612459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae11100406094e850f878606d87d70bb898c529","datavalue":{"value":{"amount":"+0.8408247828483582","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":"Q5740444$12D0074E-56A1-4CC1-9A13-7A40DB223163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e77509bb0debeb0b43ca9261de3f29f62c4b286","datavalue":{"value":{"entity-type":"item","numeric-id":5387627,"id":"Q5387627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5ff8859c16c53411743772b7abeea908ca1deb1","datavalue":{"value":{"amount":"+0.835915744304657","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":"Q5740444$C02D85B9-430F-4E69-ACBB-BDC9C8D8B7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27ff0b1b081ce4c0de994a3ba60a78067aeed1a","datavalue":{"value":{"entity-type":"item","numeric-id":1656574,"id":"Q1656574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f2f05226bdbbb9a5f38b3ef549caa14f785d80c","datavalue":{"value":{"amount":"+0.8283881545066833","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":"Q5740444$5BCE4DC5-926C-44DF-BE3A-B046536F7273","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5740444","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5740444"}}}}}