{"entities":{"Q3613020":{"pageid":5642926,"ns":120,"title":"Item:Q3613020","lastrevid":55894504,"modified":"2026-02-20T22:16:36Z","type":"item","id":"Q3613020","labels":{"en":{"language":"en","value":"Trace-Based Semantics for Probabilistic Timed I/O Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527816"}},"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":"Q3613020$9CD0533C-B52A-4FA6-BD28-33B86B2190F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3de0d73be4779871928986bbd1b3cdde34beb447","datavalue":{"value":{"text":"Trace-Based Semantics for Probabilistic Timed I/O Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613020$B6E0803D-C650-47D0-8BC5-2EF85DDC2EF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20b3cc5edd1626d2b38923f57933eb93541a9c9c","datavalue":{"value":"1221.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613020$7974A4FA-0B5C-4BDE-A192-ABBF33005186","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"338c95f1166b3a01fcf089ebf7d70a86bee70995","datavalue":{"value":"10.1007/978-3-540-71493-4_69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613020$5EBEB0E9-718F-4893-A0A0-6ED9D587A215","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90393429fed72c1283fc5e6b05722ab07dfbec00","datavalue":{"value":{"entity-type":"item","numeric-id":432131,"id":"Q432131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613020$475488C7-1699-4C1F-BADF-290C26CC4285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c104efc4aabc14c241ca7bc47803e7ee14b98b","datavalue":{"value":{"entity-type":"item","numeric-id":660993,"id":"Q660993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613020$FBF756E3-BF67-4919-AA05-3FC75E0A476C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b27f91d5f92a7b342f46c3feaedd58c7e5b09ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523094,"id":"Q3523094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613020$3218AAF8-659E-4C22-AFDB-FC4F8217C097","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a864b5d6abdacf3ccff048e2a2e153fd9fb65d1f","datavalue":{"value":{"time":"+2009-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613020$FB15E6C6-DCF5-47D3-B382-748E91DE2522","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613020$6C4246E2-E6F4-49B7-BFC4-98CF4EC5D001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613020$93F1597A-E0A6-4C6A-8EC4-130E9E156273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613020$803D7A47-EF26-472A-9512-C7D73E072EA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7669ee0fc5b742155835d3508d09f9d5b997d07","datavalue":{"value":"5527816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613020$C652C1A5-41BC-4D92-8494-DCB17CDD923D","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":"Q3613020$57AFC873-9D00-450A-B57E-7AFA7F982AAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca31420777db5bf96a45c36cb23e541e325bf446","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71493-4_69","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613020$64B7EB09-E136-4F68-9568-6C14DEB2B2F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0fefeb265f8ae64fa5a1b4e9397e21a35901169","datavalue":{"value":"W1513077802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613020$7FF5B325-1132-4DCE-8E00-523E0CAA127A","rank":"normal"}],"P1643":[{"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":"42b7f09e44ad9afef35509edb88d5be0309b62b8","datavalue":{"value":{"amount":"+0.9060719","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":"Q3613020$4F8357B9-D734-406F-9B2C-207775043A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92667243cb4e153808acf159ae03302da2908f40","datavalue":{"value":{"entity-type":"item","numeric-id":1745718,"id":"Q1745718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94aaec7042264d51de012bdf3569d292778e088d","datavalue":{"value":{"amount":"+0.8857877","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":"Q3613020$E0AE95F2-23D3-4359-B327-E09E01FD00EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db4b9861897f83c40098c84a5af140f149965003","datavalue":{"value":{"entity-type":"item","numeric-id":3588096,"id":"Q3588096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e61157c0c513436e62f4449f297bddd9aa847eb2","datavalue":{"value":{"amount":"+0.88069254","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":"Q3613020$F71302C9-22D3-4BEB-AEC3-4C4F8CA87DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2583cd1f5bebd6a9b0bff0d8ac893d1207151fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3457811,"id":"Q3457811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780a25a17400068e0aadf811b9c549053c07c655","datavalue":{"value":{"amount":"+0.8797008","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":"Q3613020$15233FA5-8161-4E10-B4F5-F6C871202770","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":"3686db16f09be7abb796ce02c6cbf9299bbd48e2","datavalue":{"value":{"amount":"+0.8786769","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":"Q3613020$479BEE83-9667-45AA-8043-EA828744E282","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":"a4fd44b7dac886e857ca446c422e521a5de6a64a","datavalue":{"value":{"amount":"+0.8780751","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":"Q3613020$7005D209-11B2-413C-8F67-92C42E975A06","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":"cdddfdb693dca8770eb1f09bee218b6fa33f9212","datavalue":{"value":{"amount":"+0.8761085","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":"Q3613020$1906D36A-6FED-4A52-A7E7-E6B7DE056641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c939df2f448c9f51b11ae42bd42c1c7054d1c8e","datavalue":{"value":{"entity-type":"item","numeric-id":2985870,"id":"Q2985870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a278beeb17f240e83b37156a3da50c0ed588e1","datavalue":{"value":{"amount":"+0.87606645","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":"Q3613020$E266D832-777B-4D3F-86B2-A137B492D819","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613020","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613020"}}}}}