{"entities":{"Q765341":{"pageid":767190,"ns":120,"title":"Item:Q765341","lastrevid":64165812,"modified":"2026-04-11T18:04:43Z","type":"item","id":"Q765341","labels":{"en":{"language":"en","value":"Estimating satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6015786"}},"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":"Q765341$786F2280-F54A-466A-B3B3-8D2E9AAB599C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96c6552692315e2e3c1d2ec9997a42427e0602c5","datavalue":{"value":{"text":"Estimating satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q765341$F290A300-A9F0-4D51-9333-439062092AC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4222cef567f80545d9bee63c23efe5ddfe0172e3","datavalue":{"value":"1252.90069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q765341$6822AF06-59BF-43A5-BEB3-9E76069B5045","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7aa50cb090133c1276a20a5c3fcef5cf7557266","datavalue":{"value":{"entity-type":"item","numeric-id":765339,"id":"Q765339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765341$EB066C6C-2E21-412E-BBC9-0A074D79F793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7be3e51aba66e113e5c2907e4f4823601551024b","datavalue":{"value":{"entity-type":"item","numeric-id":765340,"id":"Q765340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765341$E9D2FF79-0AA8-42EB-AED2-343A3CA5093B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765341$65CFD87C-4BDA-4919-A7C8-F55945A14C5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3a09f4fda9fcd4791a88e88ca245a42392f6906","datavalue":{"value":{"time":"+2012-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q765341$D01799B0-E073-430F-B08B-1F221FC38B3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q765341$9C73C0E4-4FDC-46A3-AA7E-6BDAB39666E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"748e9d7c8996ad0dbbdd60d2b47a226d6d147fdc","datavalue":{"value":"6015786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q765341$58766161-9AFD-4DD0-A266-8CCA0429F095","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a348f9efcaabdd35d491583f05dde8d8e0eb673","datavalue":{"value":"constraint satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q765341$F46FB4B1-43B9-42E6-B0F7-8F89DCC7EBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q765341$B0A239C8-B9AC-47D1-A177-0E66F79BD7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ab70b171b273cc393a8ea811470a6eada04fac8","datavalue":{"value":"first moment method","type":"string"},"datatype":"string"},"type":"statement","id":"Q765341$718EB158-09B7-4FF2-B313-C45C73ED3E9D","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":"Q765341$54BF4FC5-502B-4C09-BDCC-5D3D65420D7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35cd683be6be7e48d60d8ce5e6ffd0be1e06ded7","datavalue":{"value":"https://doi.org/10.1016/j.dam.2011.10.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q765341$D14FC825-7812-488F-8F4F-844628160031","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d942d97c3964f5a2ad59368afa2cc6994b54431","datavalue":{"value":"W2912723616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q765341$954FC2D7-27DA-45DA-B4DA-12D7B3CA0BD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f50de414e97412628ed64941e2b3c8f9b6dceaf9","datavalue":{"value":{"entity-type":"item","numeric-id":1298442,"id":"Q1298442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765341$0B42F0BA-FBA1-4510-8AA8-F9679DB3A812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74085eb261946d9cfc01da3e4dd21f07746ae16a","datavalue":{"value":{"entity-type":"item","numeric-id":5949018,"id":"Q5949018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765341$7A410BEE-9DF0-48DE-A63C-ED470A421328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03ed455aa03a39582e8642c14989042ccc1554e","datavalue":{"value":{"entity-type":"item","numeric-id":5891921,"id":"Q5891921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765341$EEDF6991-4BAA-4CDC-A04F-AED68B86F228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4799e5a32c687eea79d573479ff8c58240f3cb62","datavalue":{"value":{"entity-type":"item","numeric-id":4004078,"id":"Q4004078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765341$BD8959E9-1FB4-4719-A5D8-1A85FA9FF122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78be779432a58ff19d610ae47c1765af407d6163","datavalue":{"value":{"entity-type":"item","numeric-id":1025925,"id":"Q1025925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765341$A86CD2B9-82EB-45D0-8985-F18415F2F186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f447976122ca4f3916aeb0218a8715b9ef8e87c","datavalue":{"value":{"entity-type":"item","numeric-id":862410,"id":"Q862410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765341$7E4E7216-9C52-42CD-B2CB-A51DB96427BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5440daa98123032af3d605fdd93c0e52628f6f48","datavalue":{"value":{"entity-type":"item","numeric-id":4930582,"id":"Q4930582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765341$0E9342F2-70BA-49E0-838A-4D673DDFAF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ab5428b9311d289af7c342defd2d6767de6574","datavalue":{"value":{"entity-type":"item","numeric-id":2271431,"id":"Q2271431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765341$12EA8DAA-A8A8-487C-96D7-799A28D9416F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3150ccd621fbcc6deb9315c7b7f04d84e34b19c","datavalue":{"value":{"entity-type":"item","numeric-id":4360139,"id":"Q4360139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765341$7059AA99-7FB4-48F0-9C51-C8701E2E9566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87839e9cce21429fa5c0660242873028f18a79f","datavalue":{"value":{"entity-type":"item","numeric-id":4952608,"id":"Q4952608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765341$10D2F113-5C19-427B-9031-9149480A4391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a504233a997a0376458e299e1a23ac6f83ce5c","datavalue":{"value":{"entity-type":"item","numeric-id":4847396,"id":"Q4847396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765341$CF3A510D-AE51-43B0-97D4-A70ECF2A2A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0a7374bca659a899751abf921f96f3058a7c997","datavalue":{"value":{"entity-type":"item","numeric-id":2643297,"id":"Q2643297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765341$3F9B20EF-42CE-48C7-9A8A-7133CA30A2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3600a0afe71e9b9c22e19ee4b5b7bb726dd22d1","datavalue":{"value":{"entity-type":"item","numeric-id":4240602,"id":"Q4240602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765341$FCEEAC4E-CF2E-4B1D-A7B8-BEDB4CED580C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e7d90d80651ef73449b528c0f193c9108d01731","datavalue":{"value":{"entity-type":"item","numeric-id":3546340,"id":"Q3546340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765341$3981A952-C820-43EE-8FC7-8C3222AEA6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cb7fa317da754aa616b0bb87da23f0f84db101c","datavalue":{"value":{"entity-type":"item","numeric-id":955013,"id":"Q955013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q765341$94D83C5F-DBDF-4D02-9D28-B4A821CB1D2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc43089e1e9eb142a5b26e20fa32bb0802864890","datavalue":{"value":"10.1016/J.DAM.2011.10.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q765341$3601E305-7913-43AB-B690-37C6CD0CA532","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4289397083f984f5e90ae7055cfa2ae188c07ef","datavalue":{"value":{"entity-type":"item","numeric-id":2462633,"id":"Q2462633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127c0ef5449f7cdcc8138bf90092a67292b2930c","datavalue":{"value":{"amount":"+0.7713115811347961","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":"Q765341$43CD2948-5BB4-440A-A1DC-EE194D1040A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f9d5c1c1d06187860be72bbea8eedf8978e3ed","datavalue":{"value":{"entity-type":"item","numeric-id":5711544,"id":"Q5711544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85b28547e14e853692d18166acfa985d92a07313","datavalue":{"value":{"amount":"+0.7675402164459229","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":"Q765341$EAE89191-2975-45EF-A0F1-946961E23D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f203b3270de23ebf92e994684fd33b176f9db70","datavalue":{"value":{"entity-type":"item","numeric-id":1861906,"id":"Q1861906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ffa9f8a3c8271513d385dc79ea37b2e59a21a8a","datavalue":{"value":{"amount":"+0.7556489706039429","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":"Q765341$3F15916F-59F8-455A-A7BE-78F3E7B55584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85307005f9aa7b14e41627295230e50fdc5b2df7","datavalue":{"value":{"entity-type":"item","numeric-id":4808676,"id":"Q4808676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c607a12b07d3fe7aa86a28c2643dac2fc1c4944c","datavalue":{"value":{"amount":"+0.7506616711616516","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":"Q765341$0D10CE78-EA78-4530-80A9-66F5C2951FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f686a8c6c9e3faf5b6937c78280e8d18e7ebfbae","datavalue":{"value":{"entity-type":"item","numeric-id":3434542,"id":"Q3434542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad705806e8a2df7a6b70ce40515aac103809d40","datavalue":{"value":{"amount":"+0.7493084669113159","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":"Q765341$687629F1-CD61-4FB0-83E8-303BDEFCF845","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Estimating satisfiability","badges":[]}}}}}