{"entities":{"Q2819834":{"pageid":2830572,"ns":120,"title":"Item:Q2819834","lastrevid":42207465,"modified":"2025-05-27T21:13:18Z","type":"item","id":"Q2819834","labels":{"en":{"language":"en","value":"Probabilistic termination: soundness, completeness, and compositionality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631324"}},"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":"Q2819834$472EEBA0-BD55-4771-A239-CA6617D4D130","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d3a0a97673ce56fa2ac7aafd0707857bd972f91","datavalue":{"value":"1345.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819834$6047D075-A8B0-4093-A44D-51DDA9304198","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52e4c88d5f1152c612f7749769a4c4a5e0bf5335","datavalue":{"value":"10.1145/2676726.2677001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819834$90D62F6F-051F-4AB1-AFDD-24E866783342","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20729f229ffec9de81c066537b24905752a0ed56","datavalue":{"value":{"entity-type":"item","numeric-id":282102,"id":"Q282102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819834$A71364B1-F0BA-46F8-AFD5-71F309D40BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819834$F7BDDDFA-F53B-4599-B123-D007A9206F95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b9100613eb4830bb977ae5cf1435a6c53e940dc2","datavalue":{"value":{"entity-type":"item","numeric-id":2819782,"id":"Q2819782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819834$6A9A4411-30C6-4FE7-8771-DDFFEA23F63A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-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":"Q2819834$80D9D22D-EA53-4824-B97F-93B692342F9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819834$D3307572-12D7-4A54-A1CD-CAA94ADBAA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"88c8d0405ee76c2940780cfb4e0febabc9eae933","datavalue":{"value":"60G48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819834$76AC9FB6-5FF1-41BF-92A5-DDF1D61C3FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819834$2D4C147A-9E13-4907-B9D4-5D60CC404DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819834$B491F871-767A-47A8-9FAC-C4CCECC15E40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3433b9362dd55bc983b8b26eebac69234bf605a8","datavalue":{"value":"6631324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819834$FD6C0C1E-16D2-45FF-9FE3-1929FC2B0BC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819834$8A55E701-B36C-4A0D-9A0E-195A7AF07080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819834$52178ED9-624E-4E81-AC65-C7FC8185B2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90ce1adafd83ed840ca9d9dcde899d5e2d15f351","datavalue":{"value":"supermartingales","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819834$3116A084-B2A9-4917-96FB-77A7BA4EC221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819834$6D789145-7947-4335-8665-BD657B0DB686","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":"Q2819834$D96E6EC7-C16C-45DD-8284-96BD02E15330","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1e52956e6ab37891fade6065d3a986d0160f0cc","datavalue":{"value":"https://doi.org/10.1145/2676726.2677001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819834$692F97DD-FE01-473E-A7D4-0B46B0E9F2D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"749badfe63a78c4ded03f787d0241fd6e30d2f5c","datavalue":{"value":"W2166496828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819834$BDE91F86-9B4F-4471-B37F-36C51419099D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f33a981c479f63a69152c68141f6a6e02836b99","datavalue":{"value":{"entity-type":"item","numeric-id":3829054,"id":"Q3829054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c2647a75a463a8224697ede7d85359a206c3e1b","datavalue":{"value":{"amount":"+0.9285405","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":"Q2819834$CA11A2CB-7633-4AD6-BA3D-F03AB189983D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ec1900901eec5499abc240c89be504f822fd6e","datavalue":{"value":{"entity-type":"item","numeric-id":3806793,"id":"Q3806793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c2647a75a463a8224697ede7d85359a206c3e1b","datavalue":{"value":{"amount":"+0.9285405","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":"Q2819834$E88A6C39-3FFD-4AE4-830D-EA8040F9C0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca0e16081ebb566f5707aa8bf9f857a9fa78b02d","datavalue":{"value":{"entity-type":"item","numeric-id":4484343,"id":"Q4484343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f592c982def68d922bb39154ec5ae3c5afed7356","datavalue":{"value":{"amount":"+0.9266841","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":"Q2819834$0CB7AFBE-6805-4C7A-8BCF-A573A945DA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec629da896fbe8be5bf6b60b93a81eae5e1c771","datavalue":{"value":{"entity-type":"item","numeric-id":6487312,"id":"Q6487312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a1e3a96efdbccceb4a0d98139748454f1a2b96","datavalue":{"value":{"amount":"+0.90918636","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":"Q2819834$0BAF1F1A-BD85-4170-B589-3AA52AC80053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ff16d64fe4d89d095f2c0f8846c09b5d767656","datavalue":{"value":{"entity-type":"item","numeric-id":6166145,"id":"Q6166145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82896fb086e8b31eace05fdd84ce85561678a432","datavalue":{"value":{"amount":"+0.90887064","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":"Q2819834$9EB919FD-5CC4-4E97-8663-82377BEE4EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f6577f8901b49706f96ee68996b13a9290caf85","datavalue":{"value":{"entity-type":"item","numeric-id":5129945,"id":"Q5129945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf1b14ff7366aace55eafe6863ef13da1f7465f","datavalue":{"value":{"amount":"+0.9062853","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":"Q2819834$75A569FF-9B2F-4509-96C2-BC7DCA4EB208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afd952b571a9dd36818cd864b91bdf80b817f282","datavalue":{"value":{"entity-type":"item","numeric-id":4633524,"id":"Q4633524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b1073bccfd2cdc43e8a52378c0f28104dfa014e","datavalue":{"value":{"amount":"+0.9059766","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":"Q2819834$BF6B6E31-8DF8-4D47-8926-CDCF99DB35F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"166a8858962728707710dc92403e698332eaa570","datavalue":{"value":{"entity-type":"item","numeric-id":6488476,"id":"Q6488476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4490434d57a40178740f6d3405ad0a8d261a6146","datavalue":{"value":{"amount":"+0.9023654","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":"Q2819834$7E1D79DA-7302-4A08-88F7-29C4B7B59D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0ad65784cafc906c770c5a88349840c6fe705f3","datavalue":{"value":{"entity-type":"item","numeric-id":2287109,"id":"Q2287109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6dc27e0c9da60672b504bca96099c1c8c4c0924","datavalue":{"value":{"amount":"+0.89895993","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":"Q2819834$A82F3E1A-7AFD-4D45-92D3-540F2A07D6E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc889638b719bbce1ebb8a25409f4e72c4f51bd4","datavalue":{"value":{"text":"Probabilistic termination: soundness, completeness, and compositionality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819834$A1A469C4-15AA-47DF-9CAC-CD97D75AED8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2819834","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2819834"}}}}}