{"entities":{"Q5357715":{"pageid":7387289,"ns":120,"title":"Item:Q5357715","lastrevid":58540641,"modified":"2026-04-05T16:16:09Z","type":"item","id":"Q5357715","labels":{"en":{"language":"en","value":"Lazy probabilistic model checking without determinisation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6774223"}},"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":"Q5357715$C2B9B5C9-8241-41CE-A36E-763FE9F12E0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f780d58406accea4e3be39084e3af6db7eebda0","datavalue":{"value":"1374.68290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357715$DAD403E8-4D4E-484C-ABFA-48FA68B67166","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dffa8575a90582a7e362ce4ca416eabc864ff69c","datavalue":{"value":{"entity-type":"item","numeric-id":389834,"id":"Q389834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357715$7B358636-27A4-46C5-8AE1-06D35E1679BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1310a7522ae15ea77c4f1edac90b85b7fc7b49a4","datavalue":{"value":{"entity-type":"item","numeric-id":920978,"id":"Q920978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357715$29F9CEC3-1657-49C4-9556-BB96AEF38985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90739aea32371d507efc0d485d2e862d23543168","datavalue":{"value":{"entity-type":"item","numeric-id":259050,"id":"Q259050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357715$02504154-F4FC-4FE1-A1A8-7B6E16B7D1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7df2d49a710f5b21adfbbe3b8775543132e5a670","datavalue":{"value":{"entity-type":"item","numeric-id":282104,"id":"Q282104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357715$7F50724A-922E-4199-894F-AAAA3608F1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357715$5E187285-219E-41B6-B28F-BD3D976AFA31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5357715$3ACE28FF-7FB5-4AFA-9BFA-2F0ED3F8F2CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"724dcc0c859ffec831b740593b61cd31ee1c8e1a","datavalue":{"value":"https://arxiv.org/abs/1311.2928","type":"string"},"datatype":"url"},"type":"statement","id":"Q5357715$373A3550-8C5C-48A9-86D7-FA7616331346","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357715$5C0064B3-1A6E-43C0-B312-32E7201B0953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357715$F0BA0970-1090-42D9-8A41-5E2723C6B035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357715$F15939B2-0440-4E35-9B63-420685769D90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"427cb8d073bc319921dd0742bb4cbb4b3781b284","datavalue":{"value":"6774223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357715$3CD1D666-3D7D-48D8-A6BF-EFA910F4C01C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd1f99995fb6a13da62a377ba6327166316e976","datavalue":{"value":"Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357715$53234D19-8D95-4B1E-B2B6-21353025109B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357715$11668181-BBE7-434C-9EE1-B6321FD802B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d477bae6484d1655f6fb735ccfa879f921bc1494","datavalue":{"value":"PLTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357715$BEF32E85-B497-4B45-9846-23FCC42C6262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60856e43fe079d8f45dced5b8cbd5af048066e22","datavalue":{"value":"determinisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357715$995008E9-5DF8-4BAA-BC45-2251AECB5267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6abde220793268065a5dcbf29c614de31957d669","datavalue":{"value":"nondeterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357715$7C565918-3C19-4E54-87DD-3257796C118E","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":"Q5357715$E46AA08B-3F50-41B6-8FFC-9EDE3F95C347","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9970386c82e4bb459411b2d50124be5aed1c732","datavalue":{"value":"W2962806365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357715$DF4C3B36-0F74-41B2-9E67-FD31CCEBD76C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd5a69c7ac85c41c0fe7589b55bba7ea16395a7c","datavalue":{"value":{"text":"Lazy probabilistic model checking without determinisation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5357715$D0E90277-32DA-4685-B2C0-40E2241F1B37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"267b55ff191b13c8e87555c80cec71a888047540","datavalue":{"value":"10.4230/LIPICS.CONCUR.2015.354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357715$5F462D10-F9FB-4AAB-A253-7B381FB630FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b28be15f4094b77ff04345904a366f4adf8cb9c","datavalue":{"value":{"entity-type":"item","numeric-id":4472227,"id":"Q4472227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5088079ecc0a19573074e2f30a9711714777f6db","datavalue":{"value":{"amount":"+0.7683519721031189","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":"Q5357715$8C79B6EC-5CE9-48B7-A775-F62ABE31BAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed16637561c63018bc2de4a64d4042e4889c2c2","datavalue":{"value":{"entity-type":"item","numeric-id":3100906,"id":"Q3100906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ccc6c24071ba4c1e55ec9675dd52719ff99e4f","datavalue":{"value":{"amount":"+0.762789785861969","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":"Q5357715$B5FA592C-9E01-4549-825B-92A4DA58FB6A","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":"e8195b4a599264e83d1d04acf07cba495bcafd74","datavalue":{"value":{"amount":"+0.7590472102165222","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":"Q5357715$ECA236CA-84B4-470D-976D-A5ED1C2D2625","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":"87e595bfb21c418be3454e1a7c06dc9341dfd0c5","datavalue":{"value":{"amount":"+0.7563729882240295","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":"Q5357715$E13DA855-2C7D-49D4-B858-4F2505D2FA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead8601a13b0a78410559e032867c7833a65ca0d","datavalue":{"value":{"entity-type":"item","numeric-id":4738778,"id":"Q4738778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84211b31151e0af473cedc3b4979678aebd71b37","datavalue":{"value":{"amount":"+0.7525407671928406","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":"Q5357715$5FF667A9-3278-4128-9867-EA977F5AA626","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5357715","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5357715"}}}}}