{"entities":{"Q3588096":{"pageid":5618000,"ns":120,"title":"Item:Q3588096","lastrevid":88472903,"modified":"2026-06-04T14:37:03Z","type":"item","id":"Q3588096","labels":{"en":{"language":"en","value":"Simulation and Bisimulation for Probabilistic Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5783584"}},"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":"Q3588096$AA4B07DF-3606-4DCA-9765-6FCA180C0607","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f03262ea8f1b2b488d2912901e1e119dc21dfa98","datavalue":{"value":{"text":"Simulation and Bisimulation for Probabilistic Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3588096$7D397E7C-8F44-49AE-86AD-AA7338EB5FA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57cd6018ea091b13d5c7deff51153f3c9db718b0","datavalue":{"value":"1290.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588096$21B41D76-7FE8-4489-9E6B-2523A7EADDF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c29d42528c2b4f5293389308b6748f8b06463cde","datavalue":{"value":"10.1007/978-3-642-15297-9_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588096$0A6E1B02-E3A2-4BCA-AAF3-F6367A818350","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef644520868ad4c5cf8cd65ad73911c814055439","datavalue":{"value":{"entity-type":"item","numeric-id":846014,"id":"Q846014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588096$E661B9AD-33B6-403F-ACA0-9CC0FE4A4585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b24875f9ec8cab93424313cc3583a741f82ef4ce","datavalue":{"value":{"entity-type":"item","numeric-id":418835,"id":"Q418835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588096$39CB3C0C-324D-429F-A458-6739D4869067","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588096$7F5990CA-9A37-419B-BA84-B32C78EE1891","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2857b5bc1b1598776d7a167b6234f21df24153b","datavalue":{"value":{"time":"+2010-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3588096$9A852467-C5F7-4822-BEA3-120B60DED5B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588096$A215C213-BD79-43A7-969F-3FEA8CDBAA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588096$D65951A3-B5E7-405B-B7D5-4A454E3435F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cffff4bbbf2ab0fbfef6ef1252e69b8a5ea7a00","datavalue":{"value":"5783584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588096$D0425295-C668-40D5-9E01-5BB5AEB31A7C","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":"Q3588096$FC133462-4D19-4EF0-A65B-F00F66BB3C63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6820a566bd27b4fd19c82465e83d5256ffd7ec6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15297-9_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3588096$2F45D313-5C85-42B8-AECA-74F60584A668","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a9b5b9f2e330922de1f664d2be95467633bc050","datavalue":{"value":"W1524401886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588096$C851CE33-25F1-4CED-8D04-A5CACC141692","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21cb7de69801df12278033dcb4d93359fe0989a9","datavalue":{"value":{"entity-type":"item","numeric-id":606996,"id":"Q606996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c6fb7656bca4765986417ded62e34b9f6568c5","datavalue":{"value":{"amount":"+0.9455164","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":"Q3588096$878877AC-1AE8-4B24-A79C-E37A0C7FF274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a388d0e831d8d5d5fd021dbc4e0647c3d7adbde","datavalue":{"value":{"entity-type":"item","numeric-id":453545,"id":"Q453545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895fcb2f95848c25fa841e380fdca5f92c87a873","datavalue":{"value":{"amount":"+0.93062145","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":"Q3588096$205D0AE7-7655-4F79-A992-849A4861DAB5","rank":"normal"},{"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":"0f614907d354787adedd5c8e8fff1873e21adc9d","datavalue":{"value":{"amount":"+0.91951346","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":"Q3588096$0F221A58-4A1C-43EA-8A7D-9DCF97801B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"827a057f6ccc2e999f2798b8eb857bc3816480c9","datavalue":{"value":{"entity-type":"item","numeric-id":3012928,"id":"Q3012928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ec82d416322fdb365875ce3b9ed30cdd0fb4bc","datavalue":{"value":{"amount":"+0.9144764","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":"Q3588096$2F505ED8-0376-4C86-B385-583F4C0281FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9bbb36d4b120f137a0a4ed9d19f82b22b20394","datavalue":{"value":{"entity-type":"item","numeric-id":5458833,"id":"Q5458833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2244d99be8c8842806847db7b137996782bf76a5","datavalue":{"value":{"amount":"+0.91297895","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":"Q3588096$2E5805AD-EA0E-4E5E-9AC1-95053B5AB226","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":"744fc18f21153050881bd9baa3e0d89fb57913f5","datavalue":{"value":{"amount":"+0.9125174","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":"Q3588096$F2753D04-5590-4A96-B49C-50919C5BADC8","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":"744fc18f21153050881bd9baa3e0d89fb57913f5","datavalue":{"value":{"amount":"+0.9125174","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":"Q3588096$2B8CD152-1A00-4314-B61C-5C25E0FE559E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulation and Bisimulation for Probabilistic Timed Automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simulation_and_Bisimulation_for_Probabilistic_Timed_Automata"}}}}}