{"entities":{"Q5194954":{"pageid":7224526,"ns":120,"title":"Item:Q5194954","lastrevid":41897605,"modified":"2025-05-09T13:18:32Z","type":"item","id":"Q5194954","labels":{"en":{"language":"en","value":"Approximate Counting in SMT and Value Estimation for Probabilistic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105951"}},"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":"Q5194954$DE5ABE45-15B3-453A-83D0-E19F9EE6471B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a57072217f980cc0f12510514bba2b7966538a95","datavalue":{"value":{"text":"Approximate Counting in SMT and Value Estimation for Probabilistic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5194954$8817A0EC-7EDC-4F96-8B26-000746A99619","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3c41b37881e3a280b7555c859edd56a014ef1b3","datavalue":{"value":"1420.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194954$86680127-C583-424B-A361-5B0C3D72132A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc2a2e7a073eee2fedd061b0d808e91c598609c8","datavalue":{"value":"10.1007/978-3-662-46681-0_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194954$AFF0935C-4557-49FD-BC73-F086AD540A91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7327543f3fd83acc38c0b22bf0231e3136bbbf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1683927,"id":"Q1683927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194954$55806540-72F2-428C-8BF6-11EAE390BF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194954$75F03A9E-3474-49C6-AFB1-22F568637F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bc30e36f07191a4ecd36454fc0cca4e25306420","datavalue":{"value":{"entity-type":"item","numeric-id":1683926,"id":"Q1683926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194954$0492473D-45C3-403A-82D0-F120F7569DD9","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":"Q5194954$E12B75B2-803A-4749-8994-976DF0962D01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5194954$8B6F4DBF-9559-4DF9-90DB-DFA6A8E6E4CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08c107a935c57606580a1c92107e490769458367","datavalue":{"value":"https://link.springer.com/article/10.1007%2Fs00236-017-0297-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5194954$CE65C9CE-56AA-4C4E-B8AC-EEF33FF65ABE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194954$A133F4C2-441B-450A-95A6-C33B66394094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194954$F8545973-A4D7-4D0E-B6A3-410CFE971429","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12d5c3928ddced1e368b85621364b7a94e606f7b","datavalue":{"value":"7105951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194954$412980AD-5F3A-4714-B0F7-59324437B303","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4328b4cc36b17348e112d3a732b528b5cb5fa05c","datavalue":{"value":"hash function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194954$06DD0859-12E0-4386-832E-05467F73A188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c28c97778fbb68f4b3d21d002e4e8a64c7d17bf","datavalue":{"value":"Boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194954$C5F095F5-59A5-4FD9-8207-A10D2123AEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"731bc61ee730a4a0d7a8ee25fad475b5ff252ce7","datavalue":{"value":"probabilistic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194954$9B491244-561C-42EF-BD9F-28490396D9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"259a2cafed808c05536b7b20540365e0b4edda5e","datavalue":{"value":"satisfying assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194954$5C3F2C5C-8E58-4601-9DD2-1F3670AD9D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97e440dbdf4e2e0e7ed379f5b792b2776387d3b7","datavalue":{"value":"integer arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194954$C12A5E3E-99E6-4876-928D-E378CAD85D6E","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":"Q5194954$0699ED8C-C59D-47C5-8A5D-846EDEA545B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4dcad609ad7ea0cbd6af0f505f328d9df6a62a1","datavalue":{"value":"W1528660673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194954$A77DA2CC-34A5-4533-8267-9DCEA42E87EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1db8002b6915e68a9f0bc0f41875e6e57a8367","datavalue":{"value":{"entity-type":"item","numeric-id":1683928,"id":"Q1683928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194954$CDDB341C-E760-4992-9B67-79CF239C21B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"206dd86ef76260c6f10d1d50a17bc186dad76cb0","datavalue":{"value":{"entity-type":"item","numeric-id":1931626,"id":"Q1931626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4e0bfe8d30d24cd589dca1cc20234aa4166597","datavalue":{"value":{"amount":"+0.8854561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194954$D7BF2992-4FB8-4C7C-B139-AF07F25F4BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ddb4b90909657427177a1fb743e34984704f1f6","datavalue":{"value":{"entity-type":"item","numeric-id":5501946,"id":"Q5501946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b4603f4807ae43fa8f6b7d9a178f016717c0f4","datavalue":{"value":{"amount":"+0.8786623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194954$28A38C20-F5BC-4169-8A89-420D681B2257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c5032e3bbe0a8231a4821c7a55eeebb44711373","datavalue":{"value":{"entity-type":"item","numeric-id":307930,"id":"Q307930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c2ec76da4503c49322d8d191c48c962d0fc9030","datavalue":{"value":{"amount":"+0.860417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194954$80ECE5BE-6531-4A2B-BE6E-2A07E1E7F768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b89ad8ed93a1116fd0253662c436807224aeb5","datavalue":{"value":{"entity-type":"item","numeric-id":5150947,"id":"Q5150947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ef6c7a2dd770ca126b01f1d7098f05eac1b60e","datavalue":{"value":{"amount":"+0.85726875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194954$6D2DA55C-C4A4-4DBF-B6E8-D2E74718DE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9e20076a29920716309cab1079d398be674dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3025332,"id":"Q3025332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a3ad6dd068e6320bc5282d9a5d5bc9224920006","datavalue":{"value":{"amount":"+0.8551756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194954$90988350-DC9C-47CC-B82B-1BF4BE32FB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ed0f5464968f1c3ddbe9cd1c73a72a4f75dde7","datavalue":{"value":{"entity-type":"item","numeric-id":2848656,"id":"Q2848656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8189862dc1b45a7b650c8a5d25251e23c3220c3c","datavalue":{"value":{"amount":"+0.8544685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194954$702914D0-137A-49C8-AFD5-49DDC3CBF5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11151f9884af4846a2c2083068fabda4e8fe0464","datavalue":{"value":{"entity-type":"item","numeric-id":2478551,"id":"Q2478551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dde3050f5756bd01b791f909815fa750d3def9d8","datavalue":{"value":{"amount":"+0.8541642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194954$2F325E0B-2B6F-435B-975A-BF99D62FBAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b63e1ef12172f4500386c2fa3000aea9b65558c0","datavalue":{"value":{"entity-type":"item","numeric-id":5897481,"id":"Q5897481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce7eef8f9f2098d26fcdde311a32387e9aa570b","datavalue":{"value":{"amount":"+0.85355324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194954$476C5C70-5D4F-4638-8205-90DDA65437AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5194954","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5194954"}}}}}