{"entities":{"Q5326414":{"pageid":7355988,"ns":120,"title":"Item:Q5326414","lastrevid":51791213,"modified":"2026-01-20T01:35:53Z","type":"item","id":"Q5326414","labels":{"en":{"language":"en","value":"Probabilistic satisfiability and coherence checking through integer programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6195148"}},"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":"Q5326414$17EC86E2-237C-427C-BD10-31780C35D875","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23113e55e9845932f354266f4fa1d60ecbffc11c","datavalue":{"value":{"text":"Probabilistic Satisfiability and Coherence Checking through Integer Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326414$A2966AAE-A12C-4888-9E3B-25E7B49A9D37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da2c47c5eb02918ad69d52e6e1622df10234b31e","datavalue":{"value":"1390.68591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326414$81EA20C7-D646-4997-987A-5BA2A3BE65AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30ac8083bc7a51b7002807f10c322c758e581748","datavalue":{"value":"10.1007/978-3-642-39091-3_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326414$1AF87894-A826-49F2-9D44-8BB82E2C437F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92f6cb39c7aab74c3ea333e48bcd6c0571ad73c5","datavalue":{"value":{"entity-type":"item","numeric-id":518626,"id":"Q518626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326414$87030A50-AB56-426C-9779-32E671A5A46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ca9c6e88edcaa5abb474658d5d0eedf06ca2855","datavalue":{"value":{"entity-type":"item","numeric-id":2344364,"id":"Q2344364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326414$E7F12A8B-7771-4B93-811F-2B414AC635A5","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":"Q5326414$1DF5DAF9-0874-435E-96B4-8AD545F6650A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326414$C407E5D8-B048-40C7-AE21-BAD25DB58B84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326414$64A86F6B-3595-4547-B976-AD3ABC8BC547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326414$DCAEEBBC-99F1-4723-A7C8-4350E53352E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e94e5d00ef96b6170d0be1c77281019922889b29","datavalue":{"value":"6195148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326414$931333EB-5CD8-4ADC-AF64-A7195EA9B621","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":"Q5326414$38B78095-8430-4244-9645-EFE0B1CDD445","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a8a2a90a68e391745ec38cf501a02461c4a7451","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39091-3_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326414$95E36297-518D-4E33-8E35-17D55A537D67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03e5f9fe3a295518c4f4b6e1a89016b4b8a8af25","datavalue":{"value":"W131918717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326414$D39D6292-7487-4E35-8378-70722934D641","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"238203ddcdde3ba5eece319d83a1a5e201968c8e","datavalue":{"value":{"entity-type":"item","numeric-id":2344365,"id":"Q2344365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b64a4869d15f515a9b53a19088dcb884e852d4f","datavalue":{"value":{"amount":"+0.9889959692955016","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":"Q5326414$F5EA1142-C30F-4073-8E02-E95808E6F395","rank":"normal"},{"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":"bd756c1583e55c1785e59a0c35f65b12d92716ae","datavalue":{"value":{"amount":"+0.7911502122879028","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":"Q5326414$02963069-37D6-430B-AA05-F4F48002BE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f136c4bf3f0c82abea0547742c01399b1200d8e","datavalue":{"value":{"entity-type":"item","numeric-id":819942,"id":"Q819942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd756c1583e55c1785e59a0c35f65b12d92716ae","datavalue":{"value":{"amount":"+0.7911502122879028","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":"Q5326414$ECB7B0B2-E560-4529-AEF6-E32AB23C20E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e99729b7bbf8fa731cd77531b3bdb111ad56d26c","datavalue":{"value":{"entity-type":"item","numeric-id":1605686,"id":"Q1605686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7612045edcf5029f2833c828a435322a55e0582","datavalue":{"value":{"amount":"+0.7736514210700989","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":"Q5326414$9E7EFFF4-0FE5-40FC-A339-D631C21C3896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ec002119439da40f3674afc4e0800acc485481b","datavalue":{"value":{"entity-type":"item","numeric-id":533175,"id":"Q533175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de78300cb872997c33f3a9ee2385399e53cdafc3","datavalue":{"value":{"amount":"+0.7681741118431091","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":"Q5326414$FD1DFFE0-FFE7-413F-819A-B402DE165AA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326414","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326414"}}}}}