{"entities":{"Q2814627":{"pageid":2825365,"ns":120,"title":"Item:Q2814627","lastrevid":52561640,"modified":"2026-01-22T23:36:09Z","type":"item","id":"Q2814627","labels":{"en":{"language":"en","value":"On-the-fly model checking for extended action-based probabilistic operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6596669"}},"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":"Q2814627$AE1D2205-9A14-4B60-98D3-C290FB0B8446","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09680853c98be12b050b6ac28abf65cfe2e4b547","datavalue":{"value":{"text":"On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2814627$BD358A86-67CD-45C7-B492-58926C498BAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b954a386d936fd15a56380c0fb6bbba4890b067","datavalue":{"value":"1354.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814627$7175624A-B5F2-466B-A847-0EA0CCAAA3F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16d49ff0e8f112a2542c952ed3b236e4ed21c2a1","datavalue":{"value":"10.1007/978-3-319-32582-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814627$7292FBE3-AD59-4669-9A6B-3486E654BA63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02c329ce73cf2cf05208eaecb8501cfdd9b30fb6","datavalue":{"value":{"entity-type":"item","numeric-id":282109,"id":"Q282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814627$7F642C98-76E3-4C66-B872-17EA6368BC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c3843c7437e566494f57912db5ecb05b431ddcf","datavalue":{"value":{"entity-type":"item","numeric-id":2814626,"id":"Q2814626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814627$12B28FBB-1D75-4811-AB64-730415DFF5FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"522e9e5b50831c9c990a6ebdcfb4c44f217acf10","datavalue":{"value":{"entity-type":"item","numeric-id":2814620,"id":"Q2814620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814627$F7E79C89-6D4A-4270-A8BD-762B7C3FC292","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d83d2543337a9f3c481a9dc8012543a2c71e114","datavalue":{"value":{"time":"+2016-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2814627$F49EC35E-B273-437E-8033-AD33E1B93ECE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af984c442efe1f965fe94691f1f8780ad1678984","datavalue":{"value":"http://zaguan.unizar.es/record/79737","type":"string"},"datatype":"url"},"type":"statement","id":"Q2814627$01017DB1-3EB3-4E01-B36D-1CF9805AE45A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814627$6CE6094C-9299-4585-91D1-B3CE5F7A22EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814627$7E6BCECF-1EB2-4830-9E46-19DE990711C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a59e4ca1c5305abd3cd796ed081d291ec925bb9b","datavalue":{"value":"6596669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814627$EDB3224D-3E5B-4336-90CD-CB28FC732BB6","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":"Q2814627$79BD5E98-A546-469E-A83B-6EFF8B472DF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2ac8e58f4da7656092b32da929421680594afd2","datavalue":{"value":"W2368443971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814627$BEDC8C6F-3C40-4CF0-8FB1-1EFA5A191DBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff3a60de5ef49da670df84bd90887c5532833a6","datavalue":{"value":{"entity-type":"item","numeric-id":5216078,"id":"Q5216078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"064f22d2e6639450e687a3dff01550e5e03a9ffc","datavalue":{"value":{"amount":"+0.7590851783752441","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":"Q2814627$B2380029-22DE-4828-804A-C387B99E6CE3","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":"12067e41648f976db56602bcf94df652fca4bb04","datavalue":{"value":{"amount":"+0.7588645219802856","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":"Q2814627$1282A098-063E-4A7F-B622-D288717B0D01","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":"a6b1b2163ed77929e55d4008a3db694721eda4ba","datavalue":{"value":{"amount":"+0.7526622414588928","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":"Q2814627$1EB748F8-3A54-4755-B283-C131D1396CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05269778da7d1af859ed57cf9d04803309e2d87","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e92d9bb785f0319026bbe204fb12cc51b852b178","datavalue":{"value":{"amount":"+0.7396413087844849","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":"Q2814627$C901B3E1-C462-4DFA-B74C-A1DBB52C681E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85e9e2326f053f359fd0d74e9a1bf59ae675ddb3","datavalue":{"value":{"entity-type":"item","numeric-id":4965871,"id":"Q4965871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe602fd5a719ed15815e51f1c0ee97828cbeb60","datavalue":{"value":{"amount":"+0.7390660643577576","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":"Q2814627$76B70A75-8A76-42D0-B9CE-BD9C496E7DDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2814627","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2814627"}}}}}