{"entities":{"Q782571":{"pageid":784420,"ns":120,"title":"Item:Q782571","lastrevid":64294434,"modified":"2026-04-11T18:53:50Z","type":"item","id":"Q782571","labels":{"en":{"language":"en","value":"Expressiveness and conciseness of timed automata for the verification of stochastic models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7225122"}},"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":"Q782571$84D86664-004E-4DE0-9C7A-8676E9DC5C40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63e29d0f96ce767d79b683dbb90dc5c52351171d","datavalue":{"value":{"text":"Expressiveness and conciseness of timed automata for the verification of stochastic models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q782571$53F1A7E3-9079-4522-A2F9-0464304370CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d488d250b82640e53e3ded3617683dc216fb3e7d","datavalue":{"value":"1437.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782571$98A19119-FEB4-482A-97E7-B91F2CF36CF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86916c1188eda879c406118a4a95c1abb3481f4b","datavalue":{"value":"10.1007/978-3-030-40608-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782571$E1824F2B-8FD1-45FC-A975-0F6503528DA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b61b78f4faa8dbc44b4c5fe23f2fbabbf68783ad","datavalue":{"value":{"entity-type":"item","numeric-id":782570,"id":"Q782570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782571$7216C9B2-CBCB-4969-8F4B-938F1CF5C57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9211995ee2c9b003f62b5c38911c4d992017c369","datavalue":{"value":{"entity-type":"item","numeric-id":314812,"id":"Q314812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782571$C40D755C-6B68-426A-91A0-2297B8E3DCD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e23cd61fb52044c0fb2903ade6fe3c7d224eeaf1","datavalue":{"value":{"time":"+2020-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q782571$B52F0D01-D274-4933-8040-1BFDCC308822","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782571$92EAF11E-474A-4CA0-A0E2-701FF33D81D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782571$82985350-9A4D-47E4-B96C-B46BAB68A854","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8060b9a34a5271da1a79a99ef99ac401df280a21","datavalue":{"value":"7225122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782571$374EE8FD-3217-427D-9ADD-20C448FD9F0A","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":"Q782571$D1A8A0BC-6E7D-433A-9FA6-081C60F1BD70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a478e6980b6a586eb09139960f47d537e452e82e","datavalue":{"value":"https://doi.org/10.1007/978-3-030-40608-0_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q782571$DBEA5140-A149-466E-ADDE-9D2E4731581D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c334e916d134ee41924a202d754fa7c7a71af01a","datavalue":{"value":"W3008551792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782571$B0783641-0A33-4F45-87B6-DC7C78505512","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0468c56b5095132157067038516c1d011b2c06b","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"933fa6f2e046a0c447075f408ff8934c5fddee8d","datavalue":{"value":{"amount":"+0.92031217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q782571$73039CF8-EF5F-474A-A9E0-12AE3E9C6A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2371235f90af57c2890818900547cf62c63924","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6dc03d121605e3c72373278a0fc099b606257a9","datavalue":{"value":{"amount":"+0.91645163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q782571$878A1C19-5DA9-4C41-88FD-604B7FDB153A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e054767b216b1b268d6dd1d73c8b175da91c78ac","datavalue":{"value":{"entity-type":"item","numeric-id":5464754,"id":"Q5464754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6dc03d121605e3c72373278a0fc099b606257a9","datavalue":{"value":{"amount":"+0.91645163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q782571$1CEF2A66-CB68-4637-BE5D-FF456A935E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4944ce155b44ba868c8d12c45200ef23ac0da0f6","datavalue":{"value":{"entity-type":"item","numeric-id":4536598,"id":"Q4536598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc76fe7decc2372fdadd65bfa5cccd01145ec88","datavalue":{"value":{"amount":"+0.91006744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q782571$8C99BA32-738B-4B6D-98FE-BD7C240DCACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6260efb2dc681e18340dbaf161cd6b9d9c137c","datavalue":{"value":{"entity-type":"item","numeric-id":5325838,"id":"Q5325838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9abfc324d69075fac3cbce911e12456800f54967","datavalue":{"value":{"amount":"+0.90691864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q782571$F91DB4D1-531F-4E87-BD5F-A8C92D920F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5503558c8e98c70f7fc6dd9b63e8ba7baf4c4ad","datavalue":{"value":{"entity-type":"item","numeric-id":6104804,"id":"Q6104804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc71f7da9fbe8964872f748340d52b89cd7e4cb7","datavalue":{"value":{"amount":"+0.9023441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q782571$5D496CB5-E904-45CA-BDC8-F2639E4590A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"807824c0cb7f79916731093722fb00396445a45f","datavalue":{"value":{"amount":"+0.9010458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q782571$EEE15969-3159-4C45-9A8D-79A28EC6D857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e289551192aa6bb565b6e40d9110ab3897c005b","datavalue":{"value":{"entity-type":"item","numeric-id":4762661,"id":"Q4762661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4827a5fa0b68a44efd59c69853df7e0c285c6462","datavalue":{"value":{"amount":"+0.90077597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q782571$7771DE80-E548-40F4-8A24-B34AA5A4C6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af635cfe46cc8d109f58b1ea11cb5e3ee0142ee1","datavalue":{"value":{"entity-type":"item","numeric-id":3648833,"id":"Q3648833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e83a6e7935dcc8c6fbd1ac8085ceabac063e63b3","datavalue":{"value":{"amount":"+0.8979206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q782571$E1A9A9AC-DBC5-4E5D-990B-02D113314CB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressiveness and conciseness of timed automata for the verification of stochastic models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressiveness_and_conciseness_of_timed_automata_for_the_verification_of_stochastic_models"}}}}}