{"entities":{"Q5200036":{"pageid":7229607,"ns":120,"title":"Item:Q5200036","lastrevid":51306863,"modified":"2026-01-17T16:51:53Z","type":"item","id":"Q5200036","labels":{"en":{"language":"en","value":"A hybrid method for probabilistic satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934362"}},"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":"Q5200036$2CD95015-8EA4-4C1B-8697-237CA56C1C17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da84af44f5008b5184e897acc2aa56183922b1fd","datavalue":{"value":{"text":"A Hybrid Method for Probabilistic Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200036$87D04F3B-8CD7-4AE6-A033-20672850E002","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32dc448a247585d82dd68ecdd6d7203f142df8ef","datavalue":{"value":"1341.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200036$43E48781-D9ED-4027-890C-ADFB0D0648CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1002eebcb9ce0440a4ab5f5ce01b5652b590f226","datavalue":{"value":"10.1007/978-3-642-22438-6_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200036$AE81A868-B1A9-40D6-9F2E-4CB8F8554485","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d33cca5f320a402cfb4d88fdc1e1370df2429cc","datavalue":{"value":{"entity-type":"item","numeric-id":4933322,"id":"Q4933322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200036$F6B10362-5C0F-4449-9CB4-430E6ED5B226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71649538e92e6af9961ef79cc27d6e03df017ada","datavalue":{"value":{"entity-type":"item","numeric-id":1655483,"id":"Q1655483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200036$B629350A-ABFB-4E5B-AD99-D700959BEC17","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":"Q5200036$1CBCDD87-5456-4E7F-BD81-01B3F03667D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5200036$0AA086C5-6A0A-44C3-9580-F2C7ECE483CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200036$5262E128-41D3-4FD6-B8F8-33E2212374E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200036$BC9A50A1-1576-428A-ACC7-B6ECDAB5FCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200036$37A32CB4-D7BF-4A08-A7DC-CC98391C592A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200036$48BE7D4F-3A7A-4148-806E-CC04D6036E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200036$7B717F16-01A4-420C-815A-646A78BB05B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9177edca0ce8bce85e8738c32f555b565314b4fe","datavalue":{"value":"5934362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200036$A0FD3817-693C-4D0C-805F-2D85A633E802","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2401d939235d16408479f759cf86bb78a50fdb4","datavalue":{"value":"column generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200036$119EBF09-ABCF-4E3F-A11E-67442B81A934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0317477367ae79331429816cdf41fc9d8aa5557","datavalue":{"value":"probabilistic satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200036$1E5173D6-BF73-4687-974A-EBEAB7DF5A63","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9de48e5ed16a4f1b19ddac063d5ea05707ecb87","datavalue":{"value":{"entity-type":"item","numeric-id":19082,"id":"Q19082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200036$BCD0E651-F034-42EC-8D20-93350C6A4B68","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":"Q5200036$AC126C01-BDA2-4C3C-8BDE-484EA3452A20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff3140c15c6ff375064996c6bd186eb1d81ed8c0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22438-6_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200036$8097C271-4445-4896-877F-47466690D870","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7da3d1ece26569f91e36062657ec7340e3ea2ab5","datavalue":{"value":"W2113726481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200036$9D703CF6-DCF1-4010-ACAE-114F322C05F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae4e8e5fc5dea5d70b31244e516b548dae2583a","datavalue":{"value":{"entity-type":"item","numeric-id":2752129,"id":"Q2752129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200036$09EDF3E4-97AC-414F-9E9E-B2BC44A6EAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110f3666bd1ca4779dcee15ea4bd0f09a4e46719","datavalue":{"value":{"entity-type":"item","numeric-id":2270380,"id":"Q2270380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200036$A8D9B984-E02E-435C-A5B7-0DA852D35291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd144a71b7a7373dae527a03a211972a57a8ef2","datavalue":{"value":{"entity-type":"item","numeric-id":4025903,"id":"Q4025903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200036$7126DD88-0600-45EB-BFFB-B500F080D644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7284c4a2cddf4bb92dd4b491c3f7e4c161ee4ecc","datavalue":{"value":{"entity-type":"item","numeric-id":5507385,"id":"Q5507385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200036$E7F2BFA8-2257-48E5-AF3C-7A341EB2D36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487476d40d678a158ae9ba828dfa2c79074f1552","datavalue":{"value":{"entity-type":"item","numeric-id":4933323,"id":"Q4933323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200036$742C6DF1-F46C-49A1-8F1F-66883332A81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c331f66e04585255e5fab17e1ee1c2e6aaf7024","datavalue":{"value":{"entity-type":"item","numeric-id":2389639,"id":"Q2389639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200036$6AE00DD8-73A1-41EF-AC5D-910D04EBCD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8bc6627635c436dcd562e9662052656a8c07a4","datavalue":{"value":{"entity-type":"item","numeric-id":1073782,"id":"Q1073782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200036$0C323658-0DA5-43E9-9D1A-396F186D6B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200036$1C7B7EED-B39F-44D3-8D8E-B8275D54399B","rank":"normal"}],"P1643":[{"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":"82cee0827b09b5ed6eb1896156fc4598a385fdb0","datavalue":{"value":{"amount":"+0.8203240633010864","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":"Q5200036$3F9BBD5E-16A8-49B3-A5E9-9AB3D40BA79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc2b58d8c1476b286e54e4bb573ec76f373ca082","datavalue":{"value":{"entity-type":"item","numeric-id":4666424,"id":"Q4666424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82cee0827b09b5ed6eb1896156fc4598a385fdb0","datavalue":{"value":{"amount":"+0.8203240633010864","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":"Q5200036$0C27C6F6-77C8-45BF-B3AB-20D3BF89E69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b508135543a81e05c5e6f3b0d1cf1829b62e99","datavalue":{"value":{"entity-type":"item","numeric-id":2349813,"id":"Q2349813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1573a66e939c752dc62ca9ca7d321dd9516ab839","datavalue":{"value":{"amount":"+0.7903622984886169","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":"Q5200036$8E773EFA-971E-454E-959A-9D635CC46F1C","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":"9577cbea991500884310646fb81593c27181e340","datavalue":{"value":{"amount":"+0.7882652878761292","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":"Q5200036$9C14C3C1-296C-4C08-B734-B777DBD51B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c928af91bdf00558a835a020516ff49e0ee052","datavalue":{"value":{"entity-type":"item","numeric-id":1296804,"id":"Q1296804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a131844d0a04358c327c539d3b605a1e9543bda","datavalue":{"value":{"amount":"+0.7672614455223083","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":"Q5200036$368A430D-BD8B-47E4-9C40-A9C1F6DFB04F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5200036","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5200036"}}}}}