{"entities":{"Q5941736":{"pageid":8118538,"ns":120,"title":"Item:Q5941736","lastrevid":97648277,"modified":"2026-06-05T15:10:00Z","type":"item","id":"Q5941736","labels":{"en":{"language":"en","value":"Corrigendum to ``A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1636618"}},"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":"Q5941736$9538AD89-C422-4FD9-B350-FFBF780AFAF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd3af8c5ed3377ec39de50bc9fbd3b45913c0cc4","datavalue":{"value":{"text":"Corrigendum to ``A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941736$6121301F-51BB-4288-A11C-FC355693D3C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07c0ae24f3eabb8051fff75c5d6d9cf6f82756ab","datavalue":{"value":"0973.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941736$C97AA178-469F-489A-97E0-19F2A191F8B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7df8a7abf9ee81c3aed07c600074de8bb6351235","datavalue":{"value":"10.1016/S0304-3975(00)00256-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941736$2EF1A7CC-BC73-4FE2-A3B3-C7E1F28E7DE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b01b28361973f8f6aa733f4b48583b04bbaecd","datavalue":{"value":{"entity-type":"item","numeric-id":199201,"id":"Q199201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941736$2F4DB1D1-45DF-4C38-8083-397CB4D42D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec51c07710be78560907d5497cf10b0b2c10907","datavalue":{"value":{"entity-type":"item","numeric-id":199202,"id":"Q199202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941736$CC4A151B-C4FB-4B0D-BB82-AC7E7CD15856","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941736$4657CDE2-ACC9-4811-92CF-B5F535D884DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94ba884d142d35669e18bc4c62c0fd9c8c968bb5","datavalue":{"value":{"time":"+2001-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941736$5E2AC13A-6E5E-4E65-91BD-F6DB94A79A00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941736$4A435B2B-ACE8-42DA-84BF-F23AFD345A94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5f7d79defd41d4fd3cb25e29d40990ac5f0203f","datavalue":{"value":"1636618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941736$C969C87E-074C-43C8-9A2E-A052CFEB1A6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b623b2fb825bb037c046bdccaf98c17b2a252dd","datavalue":{"value":"stochastically timed process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941736$16D7EFAE-A3EB-4E9A-BDC1-C2A5D4645EF5","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":"Q5941736$E801B342-77FE-4179-953C-692A8E81FDD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48f52de9a4a1b8cd2deeeaf3402deb174d136fd","datavalue":{"value":{"entity-type":"item","numeric-id":1128976,"id":"Q1128976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941736$38B0C53D-D03A-4E73-9B78-07A231EF5D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6bebd8bbbfd652a8504ecfa761893024e0cb38","datavalue":{"value":{"entity-type":"item","numeric-id":2703726,"id":"Q2703726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941736$EFB0490E-2847-4D40-B513-CD323A26781A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941736$0B2618A4-7689-4A88-964C-98A34A023CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941736$5006645F-7660-4FFB-8268-6DB18E654E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941736$605C47AD-FE22-48D9-9403-D05B2650DA0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39fe49faf855c05b794fbd49020d12b14f63694a","datavalue":{"value":{"entity-type":"item","numeric-id":1128976,"id":"Q1128976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"845b8eab9dbe3bfc3166ef830e6093661aac07aa","datavalue":{"value":{"amount":"+0.8025272488594055","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":"Q5941736$8C31046C-E45F-4B7F-9810-B86E0582EFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d3bc5ebb570a72823c86e4acd42cf9a0d339cc9","datavalue":{"value":{"entity-type":"item","numeric-id":6104380,"id":"Q6104380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c8b6574830793247679cc6393494f4a08649e61","datavalue":{"value":{"amount":"+0.7354622483253479","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":"Q5941736$2C585D88-91FB-4416-BBA8-C834FCFECE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29dfab586f8f6ef1becc58813fe2eb12c0449acd","datavalue":{"value":{"entity-type":"item","numeric-id":1824329,"id":"Q1824329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e375202d9f00fd80f9e7daac4ac7b6b59ee399a2","datavalue":{"value":{"amount":"+0.705062210559845","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":"Q5941736$9BC0297F-50F0-460C-9813-A08447D5CFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe60cf589fc99db06613367896e4b0fd6464bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2065479,"id":"Q2065479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0089804a17ab03acdbcf8863422bc54f383bf391","datavalue":{"value":{"amount":"+0.6958444714546204","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":"Q5941736$042DFF00-DA56-49C3-8228-5478418E3DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb42519f64ec6c58a24559a2464f45b68dd59aa1","datavalue":{"value":{"entity-type":"item","numeric-id":2703726,"id":"Q2703726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab2474797d358ab4eb0be313bef2d490dda95b20","datavalue":{"value":{"amount":"+0.6941288709640503","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":"Q5941736$38E89751-B886-4663-91C5-8FC26AA1C535","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Corrigendum to ``A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Corrigendum_to_%60%60A_tutorial_on_EMPA:_A_theory_of_concurrent_processes_with_nondeterminism,_priorities,_probabilities_and_time%27%27"}}}}}