{"entities":{"Q3638188":{"pageid":5668094,"ns":120,"title":"Item:Q3638188","lastrevid":87539024,"modified":"2026-06-04T11:56:07Z","type":"item","id":"Q3638188","labels":{"en":{"language":"en","value":"Probabilistic Reasoning by SAT Solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5574082"}},"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":"Q3638188$6CA88078-A675-4510-AB73-EDE56F3458AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d34f143d1c21af41b0ca1f93ce0aae3530ab6e8e","datavalue":{"value":{"text":"Probabilistic Reasoning by SAT Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638188$5A45067E-AF7E-493A-86FC-95E0EE5E2AB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d2522927ffbd9ef75fdfa9cdf588f42fcd1b0b7","datavalue":{"value":"1245.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638188$31F3FE11-0627-4B22-84F3-B45E37061388","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe4120af7c034cb4d039d8e8894959bf7f7a92f3","datavalue":{"value":"10.1007/978-3-642-02906-6_57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638188$72455E34-D872-4FA8-AABA-CED0A0059FC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d363538501fb1928897a0382d60ea671eeefff01","datavalue":{"value":{"entity-type":"item","numeric-id":866737,"id":"Q866737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$88C508A1-3509-4EE1-B85D-7CB78E044BCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$0A85CDFE-95B0-4D59-8A7B-0C596025C14B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f2e3fc7575081ebb3b175707a32845a6955dc2","datavalue":{"value":{"time":"+2009-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3638188$E519BAD2-666B-4D69-9538-F6DE55CE3469","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638188$3E4C878B-0566-48C7-99B0-CAC394815793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638188$DCB58D8E-5C5C-40FB-AAF6-9D556140C0E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03bf2fec468c76c6a657b6b87519e757bf6f7766","datavalue":{"value":"5574082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638188$D6B64CF9-53C4-41A8-9506-B76CFB16F3D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"503825d68ed5a35842f88c1c76dc6088e21c1efa","datavalue":{"value":{"entity-type":"item","numeric-id":19763,"id":"Q19763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$3896AA1A-F446-4EF8-84FD-8101E69173C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$8B169F7C-5BD4-40FB-AEC7-F195F9CF9D1B","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":"Q3638188$C06F271F-BE00-469A-B6E6-96FB29E126F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76ac783251b9382eb85c1a8339d9353dd9f57a86","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02906-6_57","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638188$E7B9C21A-E4B3-4DBE-AA8C-1149D75787DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0dea86eb0433828756984241d648189cd8287c6b","datavalue":{"value":"W1855805902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638188$186622A9-E1E4-4639-9E69-04571A4B538E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9042ea9facddc8784b59cfee28dd7cc10c84d59d","datavalue":{"value":{"entity-type":"item","numeric-id":4256521,"id":"Q4256521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$BC947D22-87E1-45F8-85A3-D5CBFE2AFDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad4db1d3dbd42116620e185986a69fbfb9e425f1","datavalue":{"value":{"entity-type":"item","numeric-id":1402751,"id":"Q1402751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$ED4EDECF-3A1C-45FC-9341-3B759A36B122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$FA7379F2-46D8-4F04-9F0B-809A9FDB5540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca836191187cfe0b6a41958544cf85f8e4f0514","datavalue":{"value":{"entity-type":"item","numeric-id":4275262,"id":"Q4275262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$806695A1-FB91-424A-A4B2-3B56C34FAF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c7d0fcce172bfc08bee9ba0fa79c71c72be739","datavalue":{"value":{"entity-type":"item","numeric-id":861709,"id":"Q861709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$B87412BA-68F6-4362-8C0D-CF5E3E671415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0850fea071eeb746de213743329a7ceeda8fd6de","datavalue":{"value":{"entity-type":"item","numeric-id":814472,"id":"Q814472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$B1B536DD-33A9-46B2-8329-E26773F10F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37387566f646692f4437e797a73cc91de63a312b","datavalue":{"value":{"entity-type":"item","numeric-id":5277823,"id":"Q5277823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$82C59179-D355-4604-BEE9-DDA10F679EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b9d9579952d5cb20c7eee1e484c5ede7b57668","datavalue":{"value":{"entity-type":"item","numeric-id":72343,"id":"Q72343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$A60A167C-C66C-45D1-B6B3-04E258B25B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7398f4cae4cec658516c98c457f600d9de99e9","datavalue":{"value":{"entity-type":"item","numeric-id":814607,"id":"Q814607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$F0833439-9F8E-4422-BDC0-EA9BBDEFC488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16b33c3da3eb624223f69f0a943fc41c96153f8f","datavalue":{"value":{"entity-type":"item","numeric-id":4215779,"id":"Q4215779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$5A3BCEF5-E7DD-4E76-AE58-BE612019B694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8e3438dc1c6f006d68174f559eb0ffc3e96837","datavalue":{"value":{"entity-type":"item","numeric-id":814473,"id":"Q814473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$2E30F3C7-0111-41F0-B495-58B6547BA6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f44c2ce70190d0395c06aeaa7aa593fa6aa7a9e","datavalue":{"value":{"entity-type":"item","numeric-id":5475779,"id":"Q5475779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$29343DE5-57CE-41E2-B4DA-987F9E7DB85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94f0f67d27fd5d97c4c88da45a33552e5b641f8e","datavalue":{"value":{"entity-type":"item","numeric-id":2642628,"id":"Q2642628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$7914E41E-5A6A-4AC0-BF5B-CA0D4A9BA488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ec4035a9b07780c835b32590d440963d4c75cb8","datavalue":{"value":{"entity-type":"item","numeric-id":3533148,"id":"Q3533148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$73775B9A-6FD1-47BD-A691-970E0ED348A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ceb17265d09d77d9866e8b4779ec57df1491dff","datavalue":{"value":{"entity-type":"item","numeric-id":3524928,"id":"Q3524928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$40C8D232-7180-4313-9963-4B09DFFC2CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753129546bd0aaa2e2952b86d2337ab941f23ba9","datavalue":{"value":{"entity-type":"item","numeric-id":3534675,"id":"Q3534675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$9D1F82AE-01C2-4CCB-8CB0-CE8B3C28EABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa1e45bb11e7a9ebbc3bf1af113be1e59cfadbe","datavalue":{"value":{"entity-type":"item","numeric-id":5940779,"id":"Q5940779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$37A06665-F80A-4D9B-83ED-6DC40529C768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104f264562ff3723f9a8bb83607328bb57647ca0","datavalue":{"value":{"entity-type":"item","numeric-id":5297630,"id":"Q5297630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638188$90FA65EF-B86D-4240-BFA7-A6236B27C754","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddbe55fd990a4d9558b18206075204802791d5df","datavalue":{"value":{"entity-type":"item","numeric-id":5473711,"id":"Q5473711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a7c7805d4e39fe3ecffe0ba9e16c78d69e34f7","datavalue":{"value":{"amount":"+0.7723565101623535","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":"Q3638188$5072BBE1-2E52-4F0A-8C62-F458F238381E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a75f9327400aa6a45089e2052fde0a98c324c99e","datavalue":{"value":{"entity-type":"item","numeric-id":814473,"id":"Q814473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c478b9ceb29fa4ee532358d9d23204d82562dfe","datavalue":{"value":{"amount":"+0.7686077952384949","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":"Q3638188$D10D0620-3621-4257-9991-740E1208DE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1b9024cc6ad82168e3bc650ec292b62d03d4642","datavalue":{"value":{"entity-type":"item","numeric-id":997058,"id":"Q997058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8dd65ebf24875f32667dc343e0bbed54b5a1d6a","datavalue":{"value":{"amount":"+0.762363851070404","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":"Q3638188$4AB68982-CBA4-4388-8BBF-139891960590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a655929a3f9bec1c0a2dac90f181cf53308035e5","datavalue":{"value":{"entity-type":"item","numeric-id":4933336,"id":"Q4933336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b505b13f1a966ca8e785da55dcdd054ffed77a0","datavalue":{"value":{"amount":"+0.7493888735771179","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":"Q3638188$F9FA1DA4-91D8-45D4-854E-638139DD0F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b91ca97086d9f884255edbbcd731340f2d9579","datavalue":{"value":{"entity-type":"item","numeric-id":5717462,"id":"Q5717462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb89ba33d62346a5c3ff530cc8bc3b6b942e663","datavalue":{"value":{"amount":"+0.7493319511413574","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":"Q3638188$F4A19CA4-FDF3-4E3C-A35E-34D5DD8B21BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic Reasoning by SAT Solvers","badges":[]}}}}}