{"entities":{"Q5216078":{"pageid":7245648,"ns":120,"title":"Item:Q5216078","lastrevid":91598999,"modified":"2026-06-04T23:35:08Z","type":"item","id":"Q5216078","labels":{"en":{"language":"en","value":"On-the-fly probabilistic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7167586"}},"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":"Q5216078$67A728DA-8270-47E3-9EF3-0AC905137AFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42096833ca252fe612e4c07cf23c5222210f9c2a","datavalue":{"value":"1433.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216078$0B11DB2D-A447-49F7-8E66-8ADED0E00C3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"478c5d203cda1eac5cd92bfbe3b380bfa8a8508e","datavalue":{"value":{"entity-type":"item","numeric-id":384932,"id":"Q384932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216078$86097F26-0503-40D0-B7A4-7589655AEAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"992447f4f05b4fb37f79c072df9892acd6383aa4","datavalue":{"value":{"entity-type":"item","numeric-id":995463,"id":"Q995463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216078$703DC6C4-2B55-44F4-9155-6731A31F9336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"366bac7ca69609c1193e693fe737e2f5bd5c012f","datavalue":{"value":{"entity-type":"item","numeric-id":995464,"id":"Q995464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216078$9E19135A-4BB7-4F80-874F-B71952235DAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b35024051bbc5cca042bf1b78be69bcce3c6e02d","datavalue":{"value":{"time":"+2020-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5216078$1712D207-9A49-4029-8C31-1220708ED39D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61eb1ad86089d83e409557641becca4c39a32f8c","datavalue":{"value":"https://arxiv.org/abs/1410.7469","type":"string"},"datatype":"url"},"type":"statement","id":"Q5216078$6299AA72-42BB-467F-8FAE-86E6E8EBF53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"805ab6b836b0b60bfc31544f33103a3b1ee5f0eb","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2014.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5216078$52870154-AA7D-49EE-BC01-95EB86CFA1F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216078$D17505B2-166B-4C8B-BD63-DF7120309186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216078$66D3DDF8-6F14-438D-A74E-8E5A98D650F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72999e1244b2397ee046365234e34fa5e6aa59a6","datavalue":{"value":"7167586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216078$70F8CD30-5C13-465F-99A3-32D900124AF0","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":"Q5216078$C5369C34-145D-4FC2-A58E-03112FF2CBAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76c61d8166bce02b44852c13511e936db0f3a16d","datavalue":{"value":{"entity-type":"item","numeric-id":2830041,"id":"Q2830041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a1910ffcd56b5e8e002266e7119502d2097825","datavalue":{"value":{"amount":"+0.825533926486969","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":"Q5216078$9854CC97-C99B-4157-9837-890ECFEB9FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89da0729a847f4865c3e8aa8ea876ecab447aae1","datavalue":{"value":{"entity-type":"item","numeric-id":4571974,"id":"Q4571974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9af011805c60377f67f8bba8bf83b61f0253d6c","datavalue":{"value":{"amount":"+0.810948371887207","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":"Q5216078$3D994445-A080-4562-8DCC-043CEF3ABCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320b564d9f4f19744106617d05644e9d8840469a","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a38aecd0c164c707b825389c88fef3ef941ab534","datavalue":{"value":{"amount":"+0.8098996877670288","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":"Q5216078$7C9589E8-2F2A-4A01-90BF-E8A564FDA609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313d0dae2625133f96ad04f51eb7cdccd127f47b","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf976ad2bf659497c7b1a44ec35864ed17750fad","datavalue":{"value":{"amount":"+0.803354024887085","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":"Q5216078$75CF3DB2-AA86-4506-8564-6F3A7EBC4C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d493e274da9100ce86bb5b7d0f63352b7e13c52","datavalue":{"value":{"entity-type":"item","numeric-id":6162102,"id":"Q6162102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b111bcf1192031f3ab95d12ae46a74cd2bdd64","datavalue":{"value":{"amount":"+0.8026701211929321","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":"Q5216078$740BA800-FFC5-46CB-B575-8669A70EA6B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On-the-fly probabilistic model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On-the-fly_probabilistic_model_checking"}}}}}