{"entities":{"Q2938760":{"pageid":2949480,"ns":120,"title":"Item:Q2938760","lastrevid":58063533,"modified":"2026-04-03T16:06:47Z","type":"item","id":"Q2938760","labels":{"en":{"language":"en","value":"Stochastic timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6386945"}},"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":"Q2938760$FFC12565-81B7-4B22-9408-C55ED90F3109","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d58eb8640d739a3cc95b3b07439acd659a17089","datavalue":{"value":{"text":"Stochastic Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938760$F70485AA-162B-4009-9133-764EA0229326","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3dfb22f125527417007cbf40454f61fe2ab1f561","datavalue":{"value":"1448.68256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938760$2DE3C29D-84AC-40D2-9BBE-3E0179A3ABFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"132ef1a58a4a6371ed6bbc3b31ecc61421bdaf49","datavalue":{"value":"10.2168/LMCS-10(4:6)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938760$04333FAD-9EE3-47F6-A93C-41938098ED07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c924f782f247b037ef49227efcc476dfcb2e57d","datavalue":{"value":{"entity-type":"item","numeric-id":1045895,"id":"Q1045895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938760$82ECFBF7-1499-45FF-BBC4-411F3B93FCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938760$2479AADA-3184-42E3-B7D6-ACA9581B3AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c813e4eac9249a49160a1fa23fbb3a021a9d29aa","datavalue":{"value":{"entity-type":"item","numeric-id":520341,"id":"Q520341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938760$3E9F00DD-6A2E-4EE5-9897-0FA0055E2B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0917ecc0ee421e6b16ad9bf93dfa95fb6019942","datavalue":{"value":{"entity-type":"item","numeric-id":715045,"id":"Q715045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938760$9DB666C9-4864-4C1F-BC17-0FC4956AC4F9","rank":"normal"},{"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":"Q2938760$064B1AA9-3CBD-44F2-8D83-3128465FBF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc1b88ef358d85f7ffc75f905765ddff54ee9e75","datavalue":{"value":{"entity-type":"item","numeric-id":312254,"id":"Q312254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938760$66D79AEE-ABB2-4547-A94B-EF28F912DE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938760$61F8C560-5158-4E9D-B14F-A23D24FD49BD","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":"Q2938760$293E2735-BB53-44D8-A4F7-18DA9D6D9283","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"335462bcdc617573e4ae73f7b94853be1e60308d","datavalue":{"value":{"time":"+2015-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938760$A7E11FB0-ABE0-467A-A809-DE4A331C6C1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8f86487b2eff9161951201782bbc60afb6de127","datavalue":{"value":"https://arxiv.org/abs/1410.2128","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938760$66D44BD0-C635-4ACF-A2C2-260F8653EB78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938760$AAFA33BB-4005-4706-98DC-2234C165AE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938760$19E11702-E6A8-4B0A-B23C-9E1CFF63BB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938760$0FBDF14B-13FB-4127-892F-322B4C1DDDA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bec2c6169bfbeb036c7d800f69f4b0e400640db","datavalue":{"value":"6386945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938760$EC904908-9BDC-4F50-B574-78D7BBE8E4BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938760$413929B3-CB46-488B-9B97-AC0B7F645898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938760$8BC4C96B-292A-4725-B8DB-B5F49BD31D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b4c65f1932723e758d611f0e45f29f11ae5669","datavalue":{"value":"probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938760$193B8C9A-E8B7-46F3-A096-BA000350F4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938760$CC48A9E8-7218-4620-A17D-730928AA1491","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":"Q2938760$CBAA3875-D1E1-4E8C-A75B-60D67F62D543","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a337ed2f0ad935a785c6938529a4a7d13390e30e","datavalue":{"value":"W143370938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938760$79D10BA2-88E6-4A25-A910-8EFB156A5900","rank":"normal"}],"P1643":[{"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":"a38a172e0c5da49486935dc1964274dd864cb486","datavalue":{"value":{"amount":"+0.8280084133148193","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":"Q2938760$8229590A-9D23-41BC-B276-BC7E0FFBA465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04237ee89017b9dc1a562b02b56876a476a82480","datavalue":{"value":{"entity-type":"item","numeric-id":1648646,"id":"Q1648646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d3f06a82eda81f901c9dad668b501b7138417e4","datavalue":{"value":{"amount":"+0.8213421106338501","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":"Q2938760$0D84B60E-B84C-44CE-987A-0D0D11644E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4391d6e5b05a5ca41d928a5bc7c9dc918056c481","datavalue":{"value":{"entity-type":"item","numeric-id":2575854,"id":"Q2575854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"241b2d3966de59afea56676288f9bce7f1181f5f","datavalue":{"value":{"amount":"+0.8188463449478149","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":"Q2938760$6E80949D-AFEA-47C4-A92F-5174330A7C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741de2c21e5e873c64095f69a253617fff7361b4","datavalue":{"value":{"entity-type":"item","numeric-id":5740181,"id":"Q5740181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f95fdceba3e5c17d8c0eea02d6402d2125e4e4","datavalue":{"value":{"amount":"+0.8066381812095642","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":"Q2938760$1C9995BA-5953-401C-A0B4-815F4221E4CE","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":"ed548590f319d08be887ea04a1028a604851260a","datavalue":{"value":{"amount":"+0.8017203211784363","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":"Q2938760$BB5A377D-C66E-475F-9DFD-C6277E85B475","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2938760","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2938760"}}}}}