{"entities":{"Q1198549":{"pageid":1209298,"ns":120,"title":"Item:Q1198549","lastrevid":47103784,"modified":"2025-12-31T16:45:29Z","type":"item","id":"Q1198549","labels":{"en":{"language":"en","value":"A calculus of mobile processes. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 89991"}},"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":"Q1198549$40F1B4D2-FADC-4BAB-875B-2B579B84513A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"760b9bfc4dda992194992ff57b00d40f0c7b8421","datavalue":{"value":{"text":"A calculus of mobile processes. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1198549$548EA3A0-B6CA-46FE-9C00-B79CA1BB038D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8c17434056dd9b7eae6d207aeb72a5b6d591972","datavalue":{"value":"0752.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198549$ACE1213B-70CF-4814-AC13-21BA41707D66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ceb0ac3ac096adbe0790740c1d41f385c7d64b88","datavalue":{"value":"10.1016/0890-5401(92)90009-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198549$0A39BA95-9C6B-49BA-8F12-738AA03EA45D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198549$676805FB-9485-4976-9419-03FAE2F766AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198549$C2D44454-3471-4180-8B85-73E5280ABA23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1198549$C5B30597-7389-4E13-B8EE-21ABAD81FBCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198549$3BC0E110-EE51-4E2C-924F-80CFB4872F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198549$55DB4CA8-FEBE-4F91-AAAD-37D7BB9BAC60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e55a821c080ff70103235a0413407a36a3417588","datavalue":{"value":"89991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198549$CE11452F-0C65-468B-8894-C0E0D9EF6A07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fe8107509c3504f323398a17d0ffacfc00f02ff","datavalue":{"value":"calculus of communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198549$23054798-582E-43D8-8161-BB6DB1238946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e5da8d739bd6e8497332d812db4110025659caa","datavalue":{"value":"processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198549$03D22093-AEB0-44B1-AD8D-22812997714B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198549$D86F9350-2388-4D7A-993D-7CD2DAAA4633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"941cf2149e8d408a2759797bfa7a752aa8823307","datavalue":{"value":"mobility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198549$2070C7E8-220A-4C6F-B197-3FC55D283A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"701c086562e4b7b58ecb35e2a24572b5db25a5bb","datavalue":{"value":"distinctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198549$BF6B8234-D92C-4FC9-85B2-4A4763CC0E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0c081abc8eda38858901e1fd627902a9a4a0e0","datavalue":{"value":"labeled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198549$2BB39A6C-A865-4C92-A473-EDB06D514B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c653aaabbfb830c401d888ee16e7f8636b9a5f","datavalue":{"value":"strong bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198549$2346315C-DBF4-4462-BE0E-C642907F2CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17f38f322a6c605e1d6f9c9dbdce2bd6f8995a","datavalue":{"value":"strong equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198549$52D56B06-8EAE-47F8-9349-0F458D9C3642","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":"Q1198549$6FB50E53-DEE8-4A26-8991-ED128D10C01D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a3396880281dcf42aa53c84a5108a32dfc45622","datavalue":{"value":"https://doi.org/10.1016/0890-5401(92)90009-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1198549$FEA310F7-2CDF-4037-B5D9-F20B3249025F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8ac85c6761c19af7cbd5981d37a4def2dbabe2b","datavalue":{"value":"W2013672985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198549$C2D3A4F1-A5E2-45BD-B1FB-33A8C43EEF79","rank":"normal"}],"P223":[{"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":"Q1198549$725D4094-EB8B-43E6-9087-B34492DB44E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198549$BB9B4D7D-1CE5-4468-B476-694B2F5AE199","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd8012adc7b64157dd5aaa4afe8436d1f9a2ee4","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26440d7dd9f2b6059c3502e1dc29c6190a76a63","datavalue":{"value":{"amount":"+0.8418964147567749","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":"Q1198549$6ACEDE9B-8D6B-4BDD-947F-DD74DE8F5D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d777af580a113c7dc57988ce30936e73a7185b75","datavalue":{"value":{"entity-type":"item","numeric-id":817843,"id":"Q817843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a297f147649b03486eb20f2fd05ed4ecd893ea","datavalue":{"value":{"amount":"+0.8398880958557129","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":"Q1198549$0941DCBB-ECAE-499F-B83C-94FC0F7A15F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ceb3d5fe20fe6fceb4bbf5d1f6826f778013452","datavalue":{"value":{"entity-type":"item","numeric-id":4532085,"id":"Q4532085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"564076ac692fa478eae1e9899f4feb88eb265356","datavalue":{"value":{"amount":"+0.7763084173202515","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":"Q1198549$AB34872A-5F33-4D09-A3A5-05B679B5A488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9011a4ce1a501f0d921e3d9d9782731be0b82a13","datavalue":{"value":{"entity-type":"item","numeric-id":4571963,"id":"Q4571963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c3b3126d2a4346232f4ce0ca45079456513414","datavalue":{"value":{"amount":"+0.7627204656600952","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":"Q1198549$B5BBAA22-6486-417B-A427-B75EE163EC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a5cbb01929f3029bc3ba48b1b621e298147a481","datavalue":{"value":{"entity-type":"item","numeric-id":1960530,"id":"Q1960530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b321521917c2f66a8ea8e4d9c4bd80f4a0e0a02","datavalue":{"value":{"amount":"+0.7590144276618958","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":"Q1198549$CF1169A1-FC6C-46A9-882B-1431CB5E7026","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1198549","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1198549"}}}}}