{"entities":{"Q2963938":{"pageid":2974663,"ns":120,"title":"Item:Q2963938","lastrevid":52749182,"modified":"2026-01-23T10:23:54Z","type":"item","id":"Q2963938","labels":{"en":{"language":"en","value":"Parameterized verification of many identical probabilistic timed processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687790"}},"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":"Q2963938$60A4180E-3964-4206-8BC2-CCF6AA521725","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffd3fa2a3b5835fcbade6ca309ad2536245878c7","datavalue":{"value":"1359.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963938$460BF1FB-3080-482E-91FA-076452C77297","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c924f782f247b037ef49227efcc476dfcb2e57d","datavalue":{"value":{"entity-type":"item","numeric-id":1045895,"id":"Q1045895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963938$E8FE7A73-E376-4100-B198-4A6FE3D1AC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b32a3caca359aeb96a076fc44568e6e76062cb9e","datavalue":{"value":{"entity-type":"item","numeric-id":1786611,"id":"Q1786611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963938$5AA6977C-2BBE-4466-97C0-36B2D330B486","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd8f9c1001071b6cee894af884cbd2ca840dd53","datavalue":{"value":{"time":"+2017-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2963938$8AF56167-1506-48BA-85FD-ED0D6B908D0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963938$69EDFE2F-9985-4921-95BD-8652200917C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963938$DFD2FDD2-FD24-4413-B00E-734C6C7BB38A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f685fe50adda7d20fdad7848de5af46c45c6d33","datavalue":{"value":"6687790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963938$DB0362FC-CDA3-4BFC-B91C-C6107C0DF6A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963938$CCB029D9-6523-4D7A-8C58-516028D3DD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd1f99995fb6a13da62a377ba6327166316e976","datavalue":{"value":"Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963938$67BE436A-717A-47B5-B191-3BD7EA6344EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963938$28B38162-3BB1-4567-B41C-A980E356F224","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":"Q2963938$0C1731A9-22A2-486C-9574-A378C75E45F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf1979762a3496eb5008c7765c18c33455c0ddd7","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2013.501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963938$7F7A015F-DF66-485B-9F3D-4ECEEB791E1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123e937c53af54b9fceb23f35b3fc65fe9959e73","datavalue":{"value":{"entity-type":"item","numeric-id":5897956,"id":"Q5897956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0987f71233620b32e6b2952f1bc13b0fb57ced34","datavalue":{"value":{"amount":"+0.7975669503211975","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":"Q2963938$568A0D67-5C50-459C-988C-A83281E89D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9687afcc9840d63d999784a4f17f317bbb7cc89","datavalue":{"value":{"entity-type":"item","numeric-id":896913,"id":"Q896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e35f71e89788c9e47e45e0637730e64f50b48fc","datavalue":{"value":{"amount":"+0.7936422824859619","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":"Q2963938$E7BA4BEA-17E7-43CC-BE15-C4B7CD6DCDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f8d0e4bea38103802cafccfec541e3bdb8dee1","datavalue":{"value":{"entity-type":"item","numeric-id":1989334,"id":"Q1989334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b2ed06c7fe6abe0d941e3d1e44ea5cdf5aa516","datavalue":{"value":{"amount":"+0.7871116995811462","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":"Q2963938$E5DA3107-0593-4414-9CF2-8ED83AF6AFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cbaf1e979b491d7a6e5f7ade5d53365f7dd855","datavalue":{"value":{"entity-type":"item","numeric-id":1886449,"id":"Q1886449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20066732f35a1a5f509dae84f31fa0a523f3ddb9","datavalue":{"value":{"amount":"+0.773360550403595","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":"Q2963938$BD546CE3-40B2-4935-B908-B0163562423F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b3e4c078760d0ccc94e99e306e99b663efcf9a","datavalue":{"value":{"entity-type":"item","numeric-id":3449490,"id":"Q3449490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d6d3dfe4b331532410729cc7acd89b6d8031fd0","datavalue":{"value":{"amount":"+0.7720592617988586","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":"Q2963938$53C24A18-E7CA-412F-9652-8C422A4BEF08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2963938","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2963938"}}}}}