{"entities":{"Q1198548":{"pageid":1209297,"ns":120,"title":"Item:Q1198548","lastrevid":66340584,"modified":"2026-04-12T09:27:05Z","type":"item","id":"Q1198548","labels":{"en":{"language":"en","value":"A calculus of mobile processes. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 89990"}},"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":"Q1198548$0FEC43D2-BF9E-43DB-83C9-A49856D9CF14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3750e4d4c172ee9dbcab148b7253433df17d85e","datavalue":{"value":{"text":"A calculus of mobile processes. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1198548$237D0C38-2AE1-443A-A0F0-69DC2381B609","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f666197a4200cc753ae5e3199cd06612dec3f23","datavalue":{"value":"0752.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198548$D61CA16D-B92C-4A0B-B271-DEFAC94943CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"067b1ccab644d67d5381d0c71e404415a4c33b35","datavalue":{"value":"10.1016/0890-5401(92)90008-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198548$A78CEFC1-5875-4A62-9EBA-902F07CA6820","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":"Q1198548$519679D9-D8BA-4E38-8B45-911458E67C6C","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":"Q1198548$01BAE722-DA1B-429A-9319-01DB83C962F1","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":"Q1198548$8B48C027-ABEF-4C8F-88A6-19C455060CE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198548$9879EDE7-CCB2-4307-B525-018F6A4DACBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198548$7E0EE57D-2657-47A7-BF09-01E26B6BBB5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"919c08c6ac07b906553d330b82b36eb8249678fd","datavalue":{"value":"89990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198548$621F8095-4032-4C13-97C6-E0390EA8EC45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fe8107509c3504f323398a17d0ffacfc00f02ff","datavalue":{"value":"calculus of communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198548$B6743EA2-9BB6-499F-BDB4-56383D152DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e5da8d739bd6e8497332d812db4110025659caa","datavalue":{"value":"processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198548$87FA7FD4-0316-4292-AFC6-BEA23057F825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198548$8ABDF130-25B3-4728-BE47-0059BFA9BF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"941cf2149e8d408a2759797bfa7a752aa8823307","datavalue":{"value":"mobility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198548$5C46849C-F0CE-4C4D-9367-904FA3D2B469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c653aaabbfb830c401d888ee16e7f8636b9a5f","datavalue":{"value":"strong bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198548$3C02B8B3-A8E3-43B7-AE10-863E5627CC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17f38f322a6c605e1d6f9c9dbdce2bd6f8995a","datavalue":{"value":"strong equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198548$40AC5B5C-C251-448B-B352-37FE75A8B46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"701c086562e4b7b58ecb35e2a24572b5db25a5bb","datavalue":{"value":"distinctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198548$2F31BDB1-0B42-442A-B6AF-7DF2A826CBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0c081abc8eda38858901e1fd627902a9a4a0e0","datavalue":{"value":"labeled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198548$2BEE8F0C-3E5C-4774-A38A-BE7EF18080AB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"456584433b77b4d24dfd8aab2dc113faa78aec23","datavalue":{"value":"Q56019902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198548$5FE5D724-A586-4515-B693-3C09A114B505","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":"Q1198548$39A4353E-0126-4F31-9731-0BC75DC23B73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"616992630381449a1b7965bc5a39a1694e233d8c","datavalue":{"value":"https://doi.org/10.1016/0890-5401(92)90008-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1198548$F45C3F2C-6F28-43C0-BE8C-4F34B6B11F45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ff212aae41e1dce0b88b32def112489f34ac097","datavalue":{"value":"W2128932399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198548$DF7781AA-CC5F-4AA5-BF20-20A63E328A3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198548$6567D18D-D06C-4D3E-82F0-F822C837B538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2437cd31deef098eb46b3b363e243c4138336562","datavalue":{"value":{"entity-type":"item","numeric-id":795500,"id":"Q795500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198548$4FC985AB-CD5C-4AF6-82D6-F5AB89715B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198548$E3358CB7-A94A-4377-BBC2-4D8FFAF8CC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198548$D22B1314-E3AA-4730-87AB-E00C5ABF3FA4","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":"Q1198548$20134873-7CEB-454E-B07E-7C111A14EEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4245995a5f9f440bfaac6125f37b7015daea0d6","datavalue":{"value":{"entity-type":"item","numeric-id":4038690,"id":"Q4038690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198548$4795C846-10DB-4024-A704-7F2CAACE3CD1","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":"Q1198548$3155DE50-6002-44F9-8D63-1D5A39FC655A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178038c420b9380f89f1a3e49617f7b6840655e2","datavalue":{"value":{"entity-type":"item","numeric-id":3670575,"id":"Q3670575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198548$88E6ACD6-7D3A-416D-9BB0-913B3BD4E835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48cf1200d3f971ac6e1ca2d959389912a3d21fc6","datavalue":{"value":{"entity-type":"item","numeric-id":5940933,"id":"Q5940933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198548$8B24B232-714B-4622-9983-852A48929EB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9d4cd12326fce69266466ee5f9c48a8c3e7485","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f231d7a9c5f1b7427d860a7b3698a181c65bce5","datavalue":{"value":{"amount":"+0.8908913731575012","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":"Q1198548$C3E5637D-4416-40C6-B37B-C0D6A7196C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c87f8c6a7801de949b503313715a26c74e7614","datavalue":{"value":{"entity-type":"item","numeric-id":2994477,"id":"Q2994477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09837c5bc849bd383ab0fbf9c992dc94f3e1dc99","datavalue":{"value":{"amount":"+0.8886758089065552","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":"Q1198548$FD781674-AA84-4B00-BA6A-073D94C0ED63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c8506ca69b8da9544139268ac29ab54e7ec0810","datavalue":{"value":{"entity-type":"item","numeric-id":2760245,"id":"Q2760245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c9c4a3c065945f3d62e63b33f3f225e9847240","datavalue":{"value":{"amount":"+0.871027410030365","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":"Q1198548$AC2A0B1F-836E-4E6B-8396-BAAB4D38B3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae6bb6199a740166cfd3493f0583ef6266234ca","datavalue":{"value":{"entity-type":"item","numeric-id":2767985,"id":"Q2767985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b914c9fa9bcead9035bf2e59555d46172f39fbe5","datavalue":{"value":{"amount":"+0.8635790944099426","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":"Q1198548$FBBAA056-EB53-4D96-A2A7-5A14614591DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d2c38d67b475aa9c2262eeae7da7f1e94ce291a","datavalue":{"value":{"entity-type":"item","numeric-id":4944860,"id":"Q4944860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5089ef6c64717be23069ec81b1fc1cf889ced2cb","datavalue":{"value":{"amount":"+0.8598535656929016","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":"Q1198548$722B2F08-75D6-43E9-BF97-8E00E317410D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A calculus of mobile processes. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_calculus_of_mobile_processes._I"}}}}}