{"entities":{"Q3000643":{"pageid":3011367,"ns":120,"title":"Item:Q3000643","lastrevid":51249317,"modified":"2026-01-17T10:56:10Z","type":"item","id":"Q3000643","labels":{"en":{"language":"en","value":"Generalized Craig interpolation for stochastic Boolean satisfiability problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897403"}},"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":"Q3000643$F8DE3F5A-A915-4C22-8F7D-59363BEE5D68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7b2b1f7cd9b96c8c8382234de366e387b97b51f","datavalue":{"value":{"text":"Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000643$6CE43827-D5AE-4E95-A48F-14DB45F667A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56597263633eb8188e7d4d93ae07246e28215af6","datavalue":{"value":"1315.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000643$6013E715-3751-4C7A-973C-954A5E91BFD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ca7ef2591a769593f56e9683b00e530b4799199","datavalue":{"value":"10.1007/978-3-642-19835-9_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000643$ADE27013-7156-4D66-80D0-18AB271947F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"018b85db19ecd3a912145159db4a3476bdaf0189","datavalue":{"value":{"entity-type":"item","numeric-id":547914,"id":"Q547914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000643$8BF5ED5E-6E3A-41D4-A6E0-AE57EFF0F90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a014e6ba9fde789e090c1a340d6af73ab4b427b1","datavalue":{"value":{"entity-type":"item","numeric-id":394331,"id":"Q394331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000643$8D68A8C2-379D-4419-8B65-B5D3BF4636F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000643$9670CB2C-16FF-43B7-8FC0-EE604B6432E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-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":"Q3000643$FA597522-400D-45E0-8E5D-25487C007E11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000643$620C379E-9A07-4814-87EE-6D230420FE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000643$95811F70-9277-4BB2-BDE1-37D002F5988C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000643$92C72351-F9D6-453E-81F1-FF6C73898CB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de276e3ba8e798cfed65a5735c5f1230e094b97d","datavalue":{"value":"5897403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000643$276E56A4-9AEF-48AD-8239-CE854563B0F7","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":"Q3000643$E9D8A41A-AA34-4E3F-9002-DFB18A01041F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06ebac125007d815a7130e9e521e96e5317c8fa8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19835-9_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000643$A0D29518-F64A-4E0C-BE37-F624EEB08768","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"476f1a60941a303d7b464573942798f6573e3212","datavalue":{"value":"W1592721539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000643$4B43F32D-AC21-496D-BE5E-F86535703911","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0e56df9db89377069ef2057d2ac5bcfceb74c1","datavalue":{"value":{"entity-type":"item","numeric-id":1069296,"id":"Q1069296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000643$6EFB8F37-D820-4FCA-932E-6E7A9E8880F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d12a2da8cc8af5999bca8a117656b85079f985e","datavalue":{"value":{"entity-type":"item","numeric-id":5956121,"id":"Q5956121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000643$38DAEC13-93D4-467D-AA45-CD02912C731B","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":"Q3000643$7C8752EE-09DC-4C0D-AD38-8EA9892FB938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e4ac15b3cd895ddf8775dc4121fd07e552d6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3523106,"id":"Q3523106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000643$133E99D7-7699-4524-8FE9-EAB1DD1EA840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09849c4eb11967a9e4442779b1517cff28a99686","datavalue":{"value":{"entity-type":"item","numeric-id":547916,"id":"Q547916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000643$3EF90A6C-451A-4475-8665-278A24070D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000643$878EB4EC-5A39-47F2-BBFD-59F384784C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000643$E1FDD9F7-FCEB-445A-B80B-11852EADC234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000643$3F88180E-4DC0-4C77-83F2-2E4EE5EA577E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000643$68DEC913-DF8A-41E7-96C6-C0C255A4F7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c1f155437f940b09cdb130e76c4ba92074359b","datavalue":{"value":{"entity-type":"item","numeric-id":4933336,"id":"Q4933336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000643$1E5EE6A0-7788-46EB-B01F-4C23B48B5F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000643$99D94F91-849D-456D-8B4F-A03C0E2B99B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000643$F1B63C63-3695-4CFB-B379-17CC0B8B0543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f54bc0e2f92beb50e9c6902664de23aa76daffd","datavalue":{"value":{"entity-type":"item","numeric-id":5703754,"id":"Q5703754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000643$D25E1C7B-5F19-4025-8F1A-29C9DDC03FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c894df33c139a27345d25c835a72fb847bd186f","datavalue":{"value":{"entity-type":"item","numeric-id":3000643,"id":"Q3000643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000643$5AEB2712-5312-438A-91C2-0FDD6AEF866C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000643$9742C7DB-AF60-4030-B46F-2CAFBA79F6E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c26e187be2cfe9cdd455f006141175e71978d0","datavalue":{"value":{"entity-type":"item","numeric-id":2895477,"id":"Q2895477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e522afcf8fb5fe07ba0c59172b5ac4251ff8f0e1","datavalue":{"value":{"amount":"+0.9460210204124452","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":"Q3000643$98B89290-E39E-4A42-8DB6-0898CC78D67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a0ec5b971ba7424e52b2aa8060ab76c42d476d","datavalue":{"value":{"entity-type":"item","numeric-id":3447707,"id":"Q3447707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4df28349873e6cc0598dba706acf5d96b9c741be","datavalue":{"value":{"amount":"+0.9229914546012878","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":"Q3000643$12C33151-0752-4BBD-964D-1AB6C5988BBB","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":"f66b410d05d0094f7af4d081023070480095ce27","datavalue":{"value":{"amount":"+0.8354357481002808","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":"Q3000643$BD3E3CF3-523D-402A-9967-FBBF9AC6125F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45dd440df75f6c635ba254138a56ee3d488dded","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12aec62fa4f2da0dba23a22a89863330c0bf060c","datavalue":{"value":{"amount":"+0.7850372791290283","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":"Q3000643$086BFBA0-A8E7-4A02-8F44-CCC51B3F6A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5e44f140dab8a31109329358c415520b0ce897","datavalue":{"value":{"entity-type":"item","numeric-id":5166692,"id":"Q5166692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd0612042984cfdcd985b93077fea10cebb35f55","datavalue":{"value":{"amount":"+0.7725213170051575","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":"Q3000643$CC6A8655-C39F-4E4F-834F-796F5EBAD39A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000643"}}}}}