{"entities":{"Q3025332":{"pageid":3036048,"ns":120,"title":"Item:Q3025332","lastrevid":48513055,"modified":"2026-01-05T01:47:31Z","type":"item","id":"Q3025332","labels":{"en":{"language":"en","value":"Probabilistic \u00a0-calculus and Quantitative Program Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2187127"}},"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":"Q3025332$09B1465E-5323-40C7-ACDB-8DB14CA6BB28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83e6d0fb7b4bb3a31d7f445acadf79b94a3ded03","datavalue":{"value":{"text":"Probabilistic \u00a0-calculus and Quantitative Program Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3025332$25414A30-2364-4941-8371-8CD659824A29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c10db4584ae6896dddb1f1c96a3a2baa24cb679","datavalue":{"value":"1070.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025332$0222DB43-B15C-424B-827D-A597271D035E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d12ed68b215b89bb1e6155c11dc2566959288f9","datavalue":{"value":{"entity-type":"item","numeric-id":557885,"id":"Q557885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025332$B270E3CB-E8B6-407C-B44A-03A4A967C063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82e2200fdb29131c1330c17b4b47a8012d0d0d76","datavalue":{"value":{"entity-type":"item","numeric-id":488869,"id":"Q488869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025332$5112D5E8-D0F7-4E24-B6B4-C152FB4F92F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be24026bb8f11663f1e58706bb29fcb008aa3b77","datavalue":{"value":{"entity-type":"item","numeric-id":557886,"id":"Q557886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025332$474A980B-BA56-4810-95E8-59627E0ED1B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f460ecd3e2e10668e6c23b104091f0f56f4b7683","datavalue":{"value":{"time":"+2005-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3025332$DC4135A7-4DA8-4664-B7A8-3650D386B3B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025332$368CEFB1-8C52-466B-B41D-2D5408A8F082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025332$BE73975F-8188-4725-BDD4-B6D017356242","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"414eabd9a7f5d836fb62feba5e5eddf3399f4b3d","datavalue":{"value":"2187127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025332$F9B24868-ABEA-44C9-A5D9-8A467A408094","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0ce36239dbd08766601c3263a7891046c0723a","datavalue":{"value":"Lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025332$5AD7C884-C187-43C7-9B41-CDB59034DCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025332$7D3F5235-933E-4891-B9E2-2EDB5EC340F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87a290b0d7a88e47b9d055d95d6d3a6e7544dde4","datavalue":{"value":"probabilistic abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025332$42BAEA16-F463-4883-8FD9-6414EF322102","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":"Q3025332$F1E1D786-868D-482F-B59A-350E2528D905","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d3dfbae5a6d7b9e3dfefcae14a58af2880c7337","datavalue":{"value":"https://doi.org/10.1093/logcom/exi008","type":"string"},"datatype":"url"},"type":"statement","id":"Q3025332$5462B4C9-959E-40C1-9AD1-E69869592138","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6c274084f711c5d6b2a200a90a72bfa15113e27","datavalue":{"value":"W2121382061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025332$EA15B620-BA5D-4E9D-A793-E23307394721","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bfdd2cb8f5607beba2ec268ab09164a425fda87","datavalue":{"value":"10.1093/LOGCOM/EXI008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025332$737FC3A4-67C9-44F4-9EDA-95C64BE4F585","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025332$8BB2E33B-8A88-48BF-A3C7-9AF65CDB6550","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7800bf016fbbb7bfeb7d99e744a1b0d71a8f763","datavalue":{"value":{"entity-type":"item","numeric-id":2849843,"id":"Q2849843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22fbef7f4a20b48fd25d7c465b8954c6da9a1aa8","datavalue":{"value":{"amount":"+0.9747631549835204","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":"Q3025332$2124925D-ED04-4738-A6CD-ECD9EB8B20C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ab4fd71ad51ac082fbb6f91bbebab080cc6650c","datavalue":{"value":{"entity-type":"item","numeric-id":1675793,"id":"Q1675793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"691bc8e6c2a216f4056c22c508208e3c7a2dd301","datavalue":{"value":{"amount":"+0.8323612809181213","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":"Q3025332$84D0E018-1D6B-473A-9795-7AB160B0EBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d02ae4e2f6c1a09d84ea37b2923286c41e7e6fc3","datavalue":{"value":{"entity-type":"item","numeric-id":2905328,"id":"Q2905328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4baaae266135da3663062e21a404f69ff9ba36db","datavalue":{"value":{"amount":"+0.8107986450195312","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":"Q3025332$B02BCE4F-FAC0-460F-A023-7489F7867909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bdd46ffe3a9cb63dde62f6e717ec872fb044f9","datavalue":{"value":{"entity-type":"item","numeric-id":2722069,"id":"Q2722069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b15c7d0aa13a5c893dc1385e63eb1ab66d6725","datavalue":{"value":{"amount":"+0.7998223304748535","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":"Q3025332$2D083493-69A1-43F2-91F9-7524E429B1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2601d4afdd1556d86174b4a5b95c93c45e093463","datavalue":{"value":{"entity-type":"item","numeric-id":2870284,"id":"Q2870284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b15c7d0aa13a5c893dc1385e63eb1ab66d6725","datavalue":{"value":{"amount":"+0.7998223304748535","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":"Q3025332$C6E2C045-D717-44A7-98C9-0CC759F7390B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3025332","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3025332"}}}}}