{"entities":{"Q5419173":{"pageid":7448747,"ns":120,"title":"Item:Q5419173","lastrevid":41538621,"modified":"2025-05-05T14:59:05Z","type":"item","id":"Q5419173","labels":{"en":{"language":"en","value":"A uniform definition of stochastic process calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6301239"}},"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":"Q5419173$0124EA81-B4F7-4340-92F5-35AEAC1B6001","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdc465c05c5a29870ea29fad7083daa950beea6d","datavalue":{"value":{"text":"A uniform definition of stochastic process calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5419173$BBBDD371-8814-46B6-BD16-503E46B9B1DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4658a299446e30c810fabd6ec03f596970aa5181","datavalue":{"value":"1288.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419173$1B46D898-23DE-4E06-A375-EC069D82B390","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28440b5cfd78cba21165e4d4af894eb30db7d16e","datavalue":{"value":"10.1145/2522968.2522973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419173$1848073F-93A9-4D5F-B55D-FA603F4BC1B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"467355300579464725662c12a473c283bc71860e","datavalue":{"value":{"entity-type":"item","numeric-id":384931,"id":"Q384931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419173$EE2D9032-9676-4E56-8C20-309CC3CCB259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"478c5d203cda1eac5cd92bfbe3b380bfa8a8508e","datavalue":{"value":{"entity-type":"item","numeric-id":384932,"id":"Q384932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419173$AE50F6BC-3F5E-4A18-9F11-A8DA2A174F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"992447f4f05b4fb37f79c072df9892acd6383aa4","datavalue":{"value":{"entity-type":"item","numeric-id":995463,"id":"Q995463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419173$5278A5A2-0234-463F-8081-81B6168123BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"366bac7ca69609c1193e693fe737e2f5bd5c012f","datavalue":{"value":{"entity-type":"item","numeric-id":995464,"id":"Q995464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419173$429B6EEF-ABF0-46EE-B053-27E9A8BAE8D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"648f066d7111f855f920a4df12eb5365632ac7c3","datavalue":{"value":{"entity-type":"item","numeric-id":59986,"id":"Q59986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419173$3483E54C-AD48-42E4-8A21-2772048AAFD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"002822b1d48c58c3e40495095bf7295d32512317","datavalue":{"value":{"time":"+2014-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5419173$8FB9F742-B35D-48D6-B60D-0C9F8BD52FA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca00ad1b1ba9f94a8c28925e1b020c6ee441c3df","datavalue":{"value":"http://eprints.imtlucca.it/1322/1/CSA_TR_2012_1.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5419173$45EC0651-408C-49CD-AF83-DD5FAD347F1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419173$0388168A-1FB7-4EA8-8538-337D1ED12EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419173$52D0BDEB-0F05-44F2-B59F-9C9AAA1E71C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419173$B08D6AC8-CD3F-454C-8B6F-6C802E07E209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"69417b84cc431ede4e5ec12a55be58b45cd19ec0","datavalue":{"value":"60J22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419173$59F904E8-184C-434E-8FA0-7D3383BD62CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7914ea0599413e5ade0f52978d0b05224bd34f31","datavalue":{"value":"6301239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419173$1307CD11-082A-4F11-8788-D27A3617591E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67b1e0024e7e32a8458eb21e73fec9565aa0dc32","datavalue":{"value":"continuous-time Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419173$30F7BDDE-CDCF-41A1-AD58-57D0DFE93BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55d9bb3a458ee21c8970ebf25c31bb07892c9c86","datavalue":{"value":"stochastic process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419173$08C88647-9C7F-4D05-AA20-D1CAFF9F5412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af4aa2bfb6dcd7942590b81c87a1e66053a66e1c","datavalue":{"value":"structured operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419173$4065181C-2A4E-4BF9-B3A8-C988EDB88F52","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":"Q5419173$F5D80A17-8930-4DCB-B4BD-9E24288BC748","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cc4a39aca97d63647f2c94231290e835bdfbbd7","datavalue":{"value":"W2040598439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419173$2B43300A-2D83-46FB-A95D-F5210666689A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a1375b7a48feaa22954afa137aa882589d8a8fad","datavalue":{"value":"Q124439080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419173$23423200-E11C-4BAF-BACC-9AE0411A4548","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d95942b005fb554519ffecf5378547af35fba4","datavalue":{"value":{"entity-type":"item","numeric-id":4832213,"id":"Q4832213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9aa76825eae4162d744225fad9b41e3f5793a9d","datavalue":{"value":{"amount":"+0.8780535","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":"Q5419173$9B06CCFA-2401-4325-9868-497273D87F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873b0a2ee8c7cecc99470b4c18e7a285af8a81cc","datavalue":{"value":{"entity-type":"item","numeric-id":3322927,"id":"Q3322927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"381e810619c4b9522599881e1446d3ec6272fa16","datavalue":{"value":{"amount":"+0.86973464","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":"Q5419173$33BAFDDD-A96A-45CD-936D-77EFE87E1692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae2c4ab3df6ebbfdac66626774489433756e52a2","datavalue":{"value":{"entity-type":"item","numeric-id":5934752,"id":"Q5934752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59958b42b5a59c8239b3cbdee1fd6d527258b88c","datavalue":{"value":{"amount":"+0.86438656","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":"Q5419173$59D325D0-5DF1-4AF7-A3A5-36BEF07F6E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ca8ef13b3f5874e1c86da07ae0360838dfbbbf","datavalue":{"value":{"entity-type":"item","numeric-id":2836134,"id":"Q2836134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6fdeafb9db48d370ed1040c6cff35b6bfcc93ed","datavalue":{"value":{"amount":"+0.8633576","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":"Q5419173$EF13A509-846C-4D11-90B4-AE7A64408936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7f18bca17e04d0271c93d9da3939ceac4ca1d9e","datavalue":{"value":{"entity-type":"item","numeric-id":2145804,"id":"Q2145804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c6cfa4ad520b181491922a6faf0732909df9a3","datavalue":{"value":{"amount":"+0.863052","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":"Q5419173$5852B67B-A9C2-4027-8B90-4CA04002E43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e6b7aead3ea51177751c7301d6a09fe157a5a3","datavalue":{"value":{"entity-type":"item","numeric-id":2778896,"id":"Q2778896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63b2aa0aab41f11eedc3620e3eca9b7578a69db","datavalue":{"value":{"amount":"+0.8619477","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":"Q5419173$184F1589-9695-4854-BBD4-4CF054A7496E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25e8f8aafbe82847fd4897b988fc88761fb8cacd","datavalue":{"value":{"entity-type":"item","numeric-id":5494046,"id":"Q5494046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496c368a261768fa7767217a0ba297df78f0a589","datavalue":{"value":{"amount":"+0.86168414","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":"Q5419173$D195E29F-A932-4C7B-8BD9-329DD0259945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797840ac0ee38f03256bc0fc4a675e4a0b3447c7","datavalue":{"value":{"entity-type":"item","numeric-id":5843903,"id":"Q5843903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86811919f218c8b205e241268b5967f4e0f4344b","datavalue":{"value":{"amount":"+0.8612422","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":"Q5419173$9778C894-9C4F-43DD-A6D2-A2ACFFEEE21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9bbb8710dca0e8a4797ba86f9e2296b13b5f77c","datavalue":{"value":{"entity-type":"item","numeric-id":5894319,"id":"Q5894319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbf5f31412939260ec52b06e4aec4012c1246b9","datavalue":{"value":{"amount":"+0.8601698","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":"Q5419173$20FC4619-3CF0-4833-B274-5AC8FEAF4F60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5419173","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5419173"}}}}}