{"entities":{"Q3613667":{"pageid":5643573,"ns":120,"title":"Item:Q3613667","lastrevid":88532633,"modified":"2026-06-04T14:46:41Z","type":"item","id":"Q3613667","labels":{"en":{"language":"en","value":"Embedding Real Time in Stochastic Process Algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528517"}},"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":"Q3613667$47287920-1B73-4A2D-AB98-C977B0DC0D53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce6ae547f57a8442f0992322c0e5c8c2f5884944","datavalue":{"value":{"text":"Embedding Real Time in Stochastic Process Algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613667$6A03880E-ECFC-4913-9FAD-02C2535CBDCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7257deed79237b87229e1ccdcd28e6074e6e4cfb","datavalue":{"value":"1185.68449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613667$DF76DAE4-44F7-435C-B383-04D5D4AEB55F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6920fbd5732189a0ee562b85356f57170f2dc170","datavalue":{"value":"10.1007/11777830_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613667$B8ED8241-BF90-424F-9737-FC4FF8E29F71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"949e3a590f29fc90b6fe053e9b4c0ba13ecffca8","datavalue":{"value":{"entity-type":"item","numeric-id":1941865,"id":"Q1941865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613667$77EC166C-47BB-4567-B823-07AEB4185DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a50c23c3978492e58521f1c41f776352eabb0d","datavalue":{"value":{"entity-type":"item","numeric-id":541684,"id":"Q541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613667$A25F60B6-4922-49A8-967C-BF1E033F9FA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a16ca6816fd13e6c0116ff8624ff01ece85c432","datavalue":{"value":{"entity-type":"item","numeric-id":3522084,"id":"Q3522084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613667$B2941BC6-C71D-41E4-8357-2903B9B5947F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613667$4E930E47-3AF7-4EFB-B2F2-E5CD4C691872","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e30978fe2b9f1e75828067bba0bbc710d2c23c0","datavalue":{"value":"https://research.tue.nl/nl/publications/embedding-realtime-in-stochastic-process-algebras(d0174de8-5363-4b59-9bdb-4c9393a5afe6).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613667$3E953793-F794-4F41-913E-ED9F20A69BC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613667$CDAFCC0D-5B63-47D4-848A-3FAF333B6193","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8957427956b9a952d606944f71cb2a087ce19d80","datavalue":{"value":"5528517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613667$F4F102ED-FF0B-4841-9BF4-611ECF0ACBC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9fec8b13843d150a0eeec095b17bcf90cdb778","datavalue":{"value":"stochastic delay","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613667$A1AE9BBC-98E7-476A-A2F7-996F4548920F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06671fa8e07226888247ff540347b3c64639e32","datavalue":{"value":"weak choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613667$4537C34C-C099-4D24-A857-50C65B99E663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3142f60a66498dbbb03944d883f205d63ad3c55c","datavalue":{"value":"race condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613667$FC3B1C3F-FC13-4F67-AF9E-A57976E33EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1d412b4d788150c2a6d4c36b7c91a3eae5f2754","datavalue":{"value":"real-time and stochastic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613667$B5348EB9-6125-4482-BCFF-08EE0387FDCB","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":"Q3613667$195A2A93-A1B2-4E7A-AB2E-99330B168495","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e18dfc2170bb0ba14ecbd19aaccc4ceed99802ef","datavalue":{"value":"W1576906336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613667$BEF10074-71AB-4497-8DD0-BBC35CA41EB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6828d7392b16e6eaa0b38479dd58987901262a8","datavalue":{"value":{"entity-type":"item","numeric-id":5262956,"id":"Q5262956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df940dcb3b532c209768de6884ee2b843faff5d7","datavalue":{"value":{"amount":"+0.8177921772003174","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":"Q3613667$11031FE6-30D4-46A7-891D-398E9673F2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c869a40416b096b0f4677cacb4fa4536d73a348","datavalue":{"value":{"entity-type":"item","numeric-id":2575855,"id":"Q2575855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b780214c691e8cc7d3d992441ddb42c363126f13","datavalue":{"value":{"amount":"+0.7823759317398071","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":"Q3613667$E9413BF1-9F67-4BA1-B1C9-31F6EF93E826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6d7d69222ea7d9f226b5a2d1c0586fc93b66024","datavalue":{"value":{"entity-type":"item","numeric-id":5494308,"id":"Q5494308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a81e626500a3d1f68b6730b1463f4989185c8b9","datavalue":{"value":{"amount":"+0.7800821661949158","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":"Q3613667$E1ECB444-3EBE-40E3-B4B7-37EF62BB433A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26eef7f19ab99854090a3eec68c95db2405273e0","datavalue":{"value":{"entity-type":"item","numeric-id":2767184,"id":"Q2767184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2890a639645e5c2037b7ae3e9bccea17b54679e4","datavalue":{"value":{"amount":"+0.771247148513794","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":"Q3613667$7C8DB63F-3C53-41EF-BEA5-94B0122F5CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"324cc02b9fe4e580b4a37ab5cbaf6e2c75e9fef2","datavalue":{"value":{"entity-type":"item","numeric-id":5958464,"id":"Q5958464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c470a0d93d26a8123eb565305f92db6390a3a5b3","datavalue":{"value":{"amount":"+0.7572566270828247","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":"Q3613667$A7042115-B913-49A3-BAB9-DCE3458A3BD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embedding Real Time in Stochastic Process Algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embedding_Real_Time_in_Stochastic_Process_Algebras"}}}}}