{"entities":{"Q2056985":{"pageid":2067727,"ns":120,"title":"Item:Q2056985","lastrevid":73991802,"modified":"2026-04-14T17:58:39Z","type":"item","id":"Q2056985","labels":{"en":{"language":"en","value":"Bayesian inference by symbolic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7440823"}},"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":"Q2056985$4C2BB489-4B38-45C4-92B7-48C6B671A786","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a3d369e9c8d94d8ea07dc0934cc0f08d823c17c","datavalue":{"value":{"text":"Bayesian inference by symbolic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2056985$37BDCA33-D0A5-4041-88F1-96620D9C2E1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94cc4ff476ad45043af6586f6fb5ebc44c2c5e39","datavalue":{"value":"1483.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056985$3BE02E43-57B8-49D3-92C8-C5281DD0396B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbd3b628492ce64939a77b19289e7c052fb1860f","datavalue":{"value":"10.1007/978-3-030-59854-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056985$F851B804-2C0E-4226-BA2A-29F6B2CFDE4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4087ae2fc569b82020d4368aa18ff459f86729ad","datavalue":{"value":{"entity-type":"item","numeric-id":2056984,"id":"Q2056984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2056985$A33B521D-F051-4BD1-B8D3-FB8FA1759DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2056985$1EF7BEF4-4E30-4FE4-BC8C-DC921ECF6711","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea0e72645421785937dbfd645828cb25e2fe7e","datavalue":{"value":{"time":"+2021-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2056985$09DC52A5-E777-4619-98CB-FB4D24E50CC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"123a4bfb7641562b13478a64ca1c9b6d13f570a2","datavalue":{"value":"https://arxiv.org/abs/2007.15071","type":"string"},"datatype":"url"},"type":"statement","id":"Q2056985$FAA55307-6AE3-49B6-89D2-297A2C013522","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056985$9BFD5C89-6DC9-4EF1-9D8D-58DBE4FCC958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056985$006ED1BE-9446-42FC-B08F-B66D909D9E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25eea5e981896c7d51341ea7b254fd09e6f26268","datavalue":{"value":"62H22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056985$AB4C6225-583D-4510-811B-D11F86C7D97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056985$D365222C-A73D-4902-89CA-CBEBC585B3E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4edc9acc5ed1a66c535ac1208039f3fd8d1c8299","datavalue":{"value":"7440823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056985$9F9156C8-3F76-4303-80CF-A36E712EF12A","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":"Q2056985$1736F5B2-C626-4989-9CB7-43852FE7F31A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83e8a5f251d3c47ea8de8008e2fe25c6a81a066a","datavalue":{"value":"W3109856706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056985$AC8EC413-06E0-4E96-B2D3-4D4812144B73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8b0745cd5ce3b3a50d8657bf28a15531cbf687","datavalue":{"value":{"entity-type":"item","numeric-id":6104816,"id":"Q6104816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74eb866c815287f15c837188e7b08d8c7d80bdd","datavalue":{"value":{"amount":"+0.8059316277503967","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":"Q2056985$AEA827C6-B29C-4CB0-B6CB-69C7D306E159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2188222fe8e7c1a625ec376c75529c1fb193f043","datavalue":{"value":{"entity-type":"item","numeric-id":1990523,"id":"Q1990523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b11e8ba7dc1fb1086182305286bb532b938141","datavalue":{"value":{"amount":"+0.8009923100471497","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":"Q2056985$EE17638B-67CA-4287-8DD9-4E17532C0E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9395a1592809e3a660ca28f9afb9fb00f0af819","datavalue":{"value":{"entity-type":"item","numeric-id":3632890,"id":"Q3632890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db84127c68cabe1ae5b0eb79aacbf2869126d737","datavalue":{"value":{"amount":"+0.7843698859214783","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":"Q2056985$05EA4C6A-50E4-4285-8A06-5C78140C2F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54e583d9dc19b7fcafa7a6a4dd36cb4ca4b37e9","datavalue":{"value":{"entity-type":"item","numeric-id":832295,"id":"Q832295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3013f96c0e1c3036db54115c0589372e0d59069","datavalue":{"value":{"amount":"+0.7777611017227173","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":"Q2056985$00A269A2-7823-42C0-8B7F-3CA2B54FF623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc43a5dc5a7530e50fa68ef6b99ab60dc019166","datavalue":{"value":{"entity-type":"item","numeric-id":4811581,"id":"Q4811581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35a1fccee55e26b532cc87376ba43ce35ac36617","datavalue":{"value":{"amount":"+0.7544638514518738","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":"Q2056985$B99A0AA7-7EEF-44B3-B618-D662A9928DA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bayesian inference by symbolic model checking","badges":[]}}}}}