{"entities":{"Q3184704":{"pageid":3195412,"ns":120,"title":"Item:Q3184704","lastrevid":50792882,"modified":"2026-01-15T04:57:26Z","type":"item","id":"Q3184704","labels":{"en":{"language":"en","value":"Strict Divergence for Probabilistic Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5619410"}},"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":"Q3184704$F9B6C6A1-2115-4AD5-9234-C688B9FB9535","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7323a99d2fe81d1cc0e4c0ae0575ddc757c287f","datavalue":{"value":{"text":"Strict Divergence for Probabilistic Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3184704$11C40422-F2FD-4F36-A214-2FC203B01C67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b013d2fe2afa1d401f28a33d6c8df328293f144d","datavalue":{"value":"1254.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184704$73D55FA8-7A35-46B1-A70B-3473E69068FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c24d0d9272371d63d08e510e7a42ab8522349356","datavalue":{"value":"10.1007/978-3-642-04081-8_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184704$11656947-2EFD-40B3-ABE0-570C3A0344E2","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":"Q3184704$4E275E58-E5CD-42F6-9934-E7B5EA7EE622","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"37a5b16070d1a7c8f4badd285c0dae4b0cb4feac","datavalue":{"value":{"entity-type":"item","numeric-id":3184660,"id":"Q3184660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$BE3E0160-0988-4955-B6C2-39407CA226DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c2de73c647c0262c334db84c7701bb7132e3320","datavalue":{"value":{"time":"+2009-10-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":"Q3184704$53144BD5-F58C-4541-B623-641ED65D946E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184704$06DA1980-03D6-4212-8AA7-A8BD00A5A919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184704$4DA9176B-7CA1-46AC-998E-696F306518BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184704$811167CD-5BE5-4954-8AC1-E6FB15F9322A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71f64331e74452d800ada64e223df6934838ac43","datavalue":{"value":"5619410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184704$66EC2173-18C9-475D-8F1D-0F83C710B97E","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":"Q3184704$26EC8C66-89EE-455E-BC4B-F7E49051C5E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"021178de331d38a66656a219d4a4a0b315990f48","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04081-8_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q3184704$F6F4F50D-3DFF-41BA-8A5C-46A5FCBBB12F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"734fa4720b250925dc749fc171ebb53d44189786","datavalue":{"value":"W1528600913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184704$3BC92214-AC74-4BDB-9AF6-D1F05C06D039","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$12C1844D-F9FF-4571-A0D9-5FD3F71B9AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$158763E8-FC23-452E-B211-0104B7BAD417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$7C595A62-7E25-45FB-B3AF-337FCC44364F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$DD11D071-E6C7-4667-B9DC-079CA5DA6247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d81fa34b75538c6fc7490766c0d7105fcbddbad","datavalue":{"value":{"entity-type":"item","numeric-id":2754096,"id":"Q2754096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$B59CB75D-5790-4119-A9BA-10965DAB3FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34e21332fcca10ed77e5ba35a0a29eeef9a6d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3003315,"id":"Q3003315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$B40EA977-A445-4013-8F33-D94FE004FAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13aebb6e6bc4202ac98997ac8072de74b833c8a","datavalue":{"value":{"entity-type":"item","numeric-id":853731,"id":"Q853731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$93E0E1A0-4CF5-404D-AC58-845CB4A7DC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$BE1F3386-7EB8-4FDB-A054-16659773C4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$C8D9A051-377F-4020-A5F2-EBA2EFC06374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f725e79b52842467d6d333988262c529dff4e35","datavalue":{"value":{"entity-type":"item","numeric-id":816203,"id":"Q816203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$1F07CFBD-F8B0-491F-AC43-717810B9C457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9c61e40405df27744ce2b9d0fd7c410afbdc83","datavalue":{"value":{"entity-type":"item","numeric-id":846015,"id":"Q846015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$05AEE58C-7659-4C5E-A79E-21EF9DC87694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc36368f80a66f5158db4d76bfa148823c47a0d","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$35293F44-8E31-4EDD-9363-8037EA9A6648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a351f085eaa3ea1d6a1f6ec1507f90facd3502ad","datavalue":{"value":{"entity-type":"item","numeric-id":3523100,"id":"Q3523100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$10C4F7CD-3F32-453E-92D0-F088BD4B06FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abaf40d26eeea4001d6c19e8a18a0ab91157a30f","datavalue":{"value":{"entity-type":"item","numeric-id":1853732,"id":"Q1853732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$8194EEA7-6AB4-4E89-93BC-BDD6C09010C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881637adbe5bd4a8e1fe279ca2a0a9a662216680","datavalue":{"value":{"entity-type":"item","numeric-id":1856191,"id":"Q1856191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$6E8B01F4-C489-4DF1-9491-379C59D251F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3842f0ff319bc45af3c0bd633d5c7781f2ab5196","datavalue":{"value":{"entity-type":"item","numeric-id":5900563,"id":"Q5900563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$CE082E48-55BF-48F0-AF5A-4659EADEF778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614c6e62be4436a6012854ed27b0876322223f5b","datavalue":{"value":{"entity-type":"item","numeric-id":5528211,"id":"Q5528211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$04D4DA3C-B4F0-4B3A-B09F-F34DFAF0B78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f214698707f91fa03a8bf11e01d65a42ff8e873","datavalue":{"value":{"entity-type":"item","numeric-id":3535619,"id":"Q3535619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$065BF85D-593A-438F-B5D2-5B622E68E969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$53173D02-C26C-4603-911A-F9D85B417FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f9cc32f7830e0996f59cec04dfbfdd93a06efdf","datavalue":{"value":{"entity-type":"item","numeric-id":5292630,"id":"Q5292630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$339FEB39-ECB0-40C0-8931-93949CA39C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184704$FDEC2211-3448-42D2-98B9-3CED009A4CA6","rank":"normal"}],"P1643":[{"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":"7ae43a092f4e271d3ded123a6e9446ec2699ddf7","datavalue":{"value":{"amount":"+0.8247805833816528","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":"Q3184704$9AD5A571-DB0C-47DF-94DB-343AD0954898","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":"17ce2e6352f0861611e02b994f9237c71a010102","datavalue":{"value":{"amount":"+0.8162009716033936","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":"Q3184704$867A86FA-A513-4361-A0FB-C610C0F3823D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"684ae8713c9dd9a87dfbc129bc87879be0efd8b6","datavalue":{"value":{"entity-type":"item","numeric-id":1853732,"id":"Q1853732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb44ef41f0d47e32c5583075f57dee255ae2ab23","datavalue":{"value":{"amount":"+0.8074237108230591","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":"Q3184704$BCFA4D1A-F62D-4D95-93F3-0B8D585F3957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f93fca35aff7bd285b30f3bbca171f54402ecc5","datavalue":{"value":{"entity-type":"item","numeric-id":3535619,"id":"Q3535619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"070bee6452c9d11e715363b618e5ba0ae9589f0d","datavalue":{"value":{"amount":"+0.8047286868095398","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":"Q3184704$46327A12-D147-499C-A62B-6C56E170EB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317b41ac22d4de40b461162d87f188bc7bd0c31d","datavalue":{"value":{"entity-type":"item","numeric-id":5758106,"id":"Q5758106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4730d242ff47ccb9fb6fc6c3cd1627b2c702c6c2","datavalue":{"value":{"amount":"+0.8011443614959717","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":"Q3184704$4A9CCD2B-939E-442F-B786-6FF088E62681","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3184704","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3184704"}}}}}