{"entities":{"Q2413025":{"pageid":2423768,"ns":120,"title":"Item:Q2413025","lastrevid":57899052,"modified":"2026-04-03T00:23:34Z","type":"item","id":"Q2413025","labels":{"en":{"language":"en","value":"Reduction semantics in Markovian process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856981"}},"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":"Q2413025$B9958D95-48F4-424D-861E-81F8EAC7C32B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"060849b4aacdda38622dd050af78b6a5e2cdaaa6","datavalue":{"value":{"text":"Reduction semantics in Markovian process algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2413025$33EE36F3-6664-4A1B-B5C4-003B4BDCCA0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57f6e3b92c7a17b197d8eb923727327b2a0f5a89","datavalue":{"value":"1430.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413025$7F33E1EC-EBB3-4846-9026-1C51BC221687","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cd47acd96f0440798f39dda095f401684e2f8bb","datavalue":{"value":{"entity-type":"item","numeric-id":347392,"id":"Q347392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413025$06CC4FA2-1304-4662-A556-31359741AB85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413025$A40DD3E7-578A-4591-AC79-D5A26C8044B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"903e104d255c76762b447f9c24b1eed2b1fc2c24","datavalue":{"value":{"time":"+2018-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2413025$9348E60C-9BBA-4340-B76D-69438DB2CCFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"345cb4b269e874aa1a4d7c035d81d7732fab11a0","datavalue":{"value":"https://arxiv.org/abs/1512.07098","type":"string"},"datatype":"url"},"type":"statement","id":"Q2413025$5335494F-B4EA-47AB-B4E4-E6D4E5990593","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413025$9E50A199-C5D6-4CA5-83BF-9929BAB202EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413025$01478615-02E1-4347-8585-E65E05C2FE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413025$C262D785-ABD3-48FA-818D-560FFD46313E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fdad0b68b4a907b29d82c26ebaea33d879c1d45","datavalue":{"value":"6856981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413025$EBE88B19-DAEF-4F2E-AE8B-A78CBDAA4328","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2413025$E82F0368-B7F8-4112-8350-E80722C80CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2413025$4CE2B401-8C84-41E8-B7F8-F95EC62D5E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2413025$20057940-4A56-401F-8AAF-43E2BBE1BCE8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f6e68288860bb42860a969ffdf05101922384090","datavalue":{"value":"Q114851575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413025$4C0AEC5D-11F4-4055-B22D-926D9CA0FBCA","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":"Q2413025$9C813A0E-82F4-44ED-BE9E-39C3931C94E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80748587addf29e477607c297956af23b338e5d4","datavalue":{"value":"W2963380588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413025$04E8850E-A43C-467B-9921-0C4999E5D7FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cac37f4c2e1368ce86e5603c98ab39d19c67116","datavalue":{"value":{"entity-type":"item","numeric-id":1853585,"id":"Q1853585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413025$AD5CB18C-E53A-476C-897A-B42B345F9C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d6c96f3884d063e931d9de98db6c7a308964dfb","datavalue":{"value":{"entity-type":"item","numeric-id":5325834,"id":"Q5325834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413025$B9AF3200-5087-43EB-829B-9B5D9F8C98BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a457b8bc5a3de866e4c00d4a4d2b917d203cce28","datavalue":{"value":{"entity-type":"item","numeric-id":1603705,"id":"Q1603705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413025$667455E0-EB04-42F5-8087-5518DFC3D25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7379bc145e3652e188eac60872bc83d6603d501b","datavalue":{"value":{"entity-type":"item","numeric-id":5738963,"id":"Q5738963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413025$F7A92726-2736-4C33-99A9-2793CD2BC767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8520eee51a233de6116461acf1a08d29142f85e","datavalue":{"value":{"entity-type":"item","numeric-id":5262955,"id":"Q5262955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413025$198FD6ED-1374-4B06-BA3E-B1CD38B51892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f664fbd2b79399c1e60797dc67057b88e5db0d14","datavalue":{"value":{"entity-type":"item","numeric-id":2851897,"id":"Q2851897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413025$C1A2DC41-1545-4E2F-AB07-CB701F743296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90b2d28fac9587e166b346b7381bc4f656d8d2d","datavalue":{"value":{"entity-type":"item","numeric-id":5419173,"id":"Q5419173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413025$0E204FE1-1B75-4E2A-A3DD-51F4BEF6F2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413025$B8A4D76B-3203-4A74-9952-95B257A48339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d542e96861fec0ab243023169a6047f150193627","datavalue":{"value":{"entity-type":"item","numeric-id":383372,"id":"Q383372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413025$80E0B3F8-659E-4585-951B-B52219397200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413025$23C8A0BB-84F1-4A9F-9214-E00D5B287EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73c058e3df5c701e63f0f6d9f39f2b9e12c36e","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413025$0F60E581-781A-4D1C-AF41-EBE23584835A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f505dfb824e1aae39a5d3eb343ed8fbc59b2938b","datavalue":{"value":{"entity-type":"item","numeric-id":701689,"id":"Q701689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413025$C866B73A-E0B6-42F1-ADF3-D577800712D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413025$DD61C958-F324-4F86-AF5F-1DC651160A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413025$CF68DDB5-EA0B-4331-8FA0-6FA3C4C60D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413025$33AA6B9A-31D6-4777-911F-A8CA0A3A96DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413025$FEF38924-8CEB-4834-BC02-9B9D13C0FF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7eb418764ae243753274c2b93b3d69488191fa","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413025$81515238-4AC0-4E7A-A6F3-ECFEBDED45D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76666726caed4601123bf6a48e78330c675f23b2","datavalue":{"value":"10.1016/J.JLAMP.2018.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413025$AF21C8EA-50A8-4D14-8D57-7306A40F6F27","rank":"normal"}],"P1643":[{"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":"a3bfc0501d45b2b88b508a0095f623478e881b85","datavalue":{"value":{"amount":"+0.7838045358657837","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":"Q2413025$9859E0F5-8F33-4BD0-99B4-E66773ED3F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcef3c87eb135f0c3dda5cfd882b509fced4ac2d","datavalue":{"value":{"entity-type":"item","numeric-id":4547767,"id":"Q4547767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25172090a59be3b82ee531f20d81447276a38a5f","datavalue":{"value":{"amount":"+0.7677303552627563","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":"Q2413025$256ED235-6111-46FC-9A6E-4935E7571F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7892b33ab909e8ae2d9ada76f4b93abd29a05f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1951578,"id":"Q1951578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daefb7d466b1aec380eeb578234c9987637f8cd2","datavalue":{"value":{"amount":"+0.7533394694328308","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":"Q2413025$F8A23627-665A-4962-B43F-0C12035BA008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0778769fe34ab0e87bf902c253a15e1d38d10c1a","datavalue":{"value":{"entity-type":"item","numeric-id":1853585,"id":"Q1853585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38dfa3047fcba46e551e0e645685d821ede62d0b","datavalue":{"value":{"amount":"+0.751663863658905","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":"Q2413025$4A7705E6-D406-490C-A7A4-182E99CB3C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3e2e873be154265e083e94d3bd6d31628b2c28","datavalue":{"value":{"entity-type":"item","numeric-id":5458377,"id":"Q5458377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a491bb6cb31e66d1d427c063d365976f06e8837","datavalue":{"value":{"amount":"+0.7470552325248718","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":"Q2413025$D764549D-26B7-4B7D-A20E-93A0403C3C67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2413025","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2413025"}}}}}