{"entities":{"Q3535619":{"pageid":5565523,"ns":120,"title":"Item:Q3535619","lastrevid":50492690,"modified":"2026-01-14T04:58:28Z","type":"item","id":"Q3535619","labels":{"en":{"language":"en","value":"Model Checking Probabilistic Timed Automata with One or Two Clocks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5365484"}},"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":"Q3535619$AEA0AA84-E733-4DF9-A7B3-2C944E427DF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6e9de5c7b4daca65ec5c0aae80cc9f1569b99dd","datavalue":{"value":{"text":"Model Checking Probabilistic Timed Automata with One or Two Clocks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3535619$291FC418-CD43-403E-811C-57ADB7794095","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af1409ca87f6b3acb832b34b4f7519183a2c0cc1","datavalue":{"value":"1147.68574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535619$442396A0-B172-4952-BEC6-40423A1DF88A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0cc9e50603aa1e01f6e22460fb6a53b7e164c7a","datavalue":{"value":"10.2168/LMCS-4(3:12)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535619$1B21B86A-68CC-49D2-AD91-B2E9C7970A42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f621ede52e0e400ed40e07c9d5b412ef629a170","datavalue":{"value":{"entity-type":"item","numeric-id":293425,"id":"Q293425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535619$386F1344-9C9A-4AAF-87DC-86BC97D22C13","rank":"normal"},{"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":"Q3535619$4EAF1757-91F3-4E83-BD7C-F16226597EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c628048560a95e93b98909122a7164e3572ba0ca","datavalue":{"value":{"entity-type":"item","numeric-id":548703,"id":"Q548703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535619$04DD06F8-01B3-402F-8F89-94EA2E9ED38E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535619$A3609123-CAD7-4CF3-8F88-7A13A99AAB28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27f25e9d3b3894d698b7ec67f164a27a3aba1f7c","datavalue":{"value":{"time":"+2008-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3535619$07819B2D-508D-4C26-850E-C137989ECDB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535619$9216AE90-26B2-47A8-9156-35EF3982064C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535619$84D7D5DF-E889-4A95-8644-2603DF44CBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535619$06B598B7-B745-4DF0-A9BF-18FB6B594AA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c625712eb9d3a01f9f8f3d8c68a240a5e90c5ffc","datavalue":{"value":"5365484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535619$932AC718-A594-49C0-A25A-074A2A7CE531","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f3889702612332792e32e0641114731bf5c66d","datavalue":{"value":"model-checking algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535619$3AAA2A8F-3930-4450-A877-11E06C4FBD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2d997bb0bc0a1f981e52a7ffd89cc2ee4d56a6b","datavalue":{"value":"probabilistic timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535619$29C7A034-DAC6-4BF8-86BA-9284BB8D4373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c5ec81aee4b35279cfe65ba6954f8b011559dbb","datavalue":{"value":"probabilistic timed temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535619$A19E26B8-E133-40FB-A454-1DB7D4F9BF0E","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":"Q3535619$7ABA5C4A-028A-457E-B1C5-B4FACF424940","rank":"normal"}],"P1643":[{"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":"d0e2861a6e82c06672e9e1bd712608e85b9820e3","datavalue":{"value":{"amount":"+0.9956958889961244","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":"Q3535619$D611A05C-CAF0-4384-9122-F37E583F35D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527fffe8d3772234db5864533b511892413661d2","datavalue":{"value":{"entity-type":"item","numeric-id":5311487,"id":"Q5311487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332916e4ab584205e8efe31950c8aed1cb4a5900","datavalue":{"value":{"amount":"+0.868955135345459","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":"Q3535619$A4007E56-9192-40DA-BF48-450238DD9783","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":"525d5a5ac2840ff9ff5721839c3114a3baa6155b","datavalue":{"value":{"amount":"+0.8516489267349243","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":"Q3535619$62EE9BA3-CB17-4D0C-A3F7-386A25B52FA7","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":"aa5baf34d7ea3dd34d06d64ec2c0a4ba1f14851a","datavalue":{"value":{"amount":"+0.849092423915863","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":"Q3535619$E8F9C4A0-9091-4E93-A039-CF908A6FE0DA","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":"3982d4aa3ee3f52246a2f9fe09ac631d220711c3","datavalue":{"value":{"amount":"+0.8468979597091675","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":"Q3535619$ED3D0B85-30FE-4D3B-8876-7665B48FDE1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3535619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3535619"}}}}}