{"entities":{"Q817843":{"pageid":819691,"ns":120,"title":"Item:Q817843","lastrevid":64603791,"modified":"2026-04-11T21:00:21Z","type":"item","id":"Q817843","labels":{"en":{"language":"en","value":"Towards an algebraic theory of typed mobile processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013337"}},"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":"Q817843$579C9F54-CEF1-49E0-AFBC-D037F1A11025","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f300cbe282bc3b3fe34206f623a9709475e29be","datavalue":{"value":{"text":"Towards an algebraic theory of typed mobile processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817843$6F0B878C-62F7-4A7C-A12F-BE4DBEEC8826","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f2846be9218c7fa4e9a4f59fa8571a2420f4ed0","datavalue":{"value":"1086.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817843$4E2F02AA-9FFD-4107-B69F-D742B2BC98FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817843$F1CAE767-65AA-48D9-A87E-2F953882CC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f491ad868c4eca61729c7810f9e0350f31b3f06","datavalue":{"value":{"entity-type":"item","numeric-id":407445,"id":"Q407445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817843$9B3EAABB-AFD9-4C4D-930D-3FA8478DB49A","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":"Q817843$1ACE71B5-54AE-4C74-A0AF-CF450C6DC04A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87871fabe918b62ae0b497aecc54a3998d2fdfae","datavalue":{"value":{"time":"+2006-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q817843$DD4AE54E-5267-4DF9-8EA4-F6ECE1D057D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817843$7733DE7D-F6C2-44C6-AFF4-11C6CDD0F02E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00defadd918be794b31c38a632a965a60a17cd60","datavalue":{"value":"5013337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817843$BE7E8383-A18B-4FA3-92CD-D13627C0B438","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da2141c2af542496de0a82cc344f7d7615583bd8","datavalue":{"value":"algebraic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q817843$F1BF277D-DABC-4A37-A19A-B1CC200FD41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q817843$3D7E6925-E0AA-443C-89C1-8498EF25A37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f19b6ded09dbe72613987543c6e01033c3baf4b","datavalue":{"value":"mobile processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q817843$1BA613C0-3E5E-4B63-84A0-175B9E034768","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":"Q817843$1F3330D9-B41D-4DD3-959B-0DFF2F1CFF32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa3fc707b93d8822be11118c3fbed3396aef9837","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.10.029","type":"string"},"datatype":"url"},"type":"statement","id":"Q817843$DA2182F0-FE5C-49A9-80AE-9C3F30BE5476","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"418a0cbdf509f01f7f928d08b1c754693d9bdec8","datavalue":{"value":"W2123074865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817843$B6B6D1B0-5929-44BC-A6BD-C7CB932A2F48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0daef8d517dc4a268220e86d71133cde1525d9a","datavalue":{"value":{"entity-type":"item","numeric-id":1898467,"id":"Q1898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817843$BC850C86-B72D-4F1C-86AD-216EDFE70D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3d0f7768d520b32ccf996a8034d8940ed7e963","datavalue":{"value":{"entity-type":"item","numeric-id":1130165,"id":"Q1130165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817843$1184BD77-D7B7-4FE5-8915-500209512AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3bfd0b7219526787666dcbb457009dfe6c21ae","datavalue":{"value":{"entity-type":"item","numeric-id":4653017,"id":"Q4653017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817843$211F937B-6A14-46B5-A2FB-41C83AFE03AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4127da81685d09d0b6a73afcf8a6432964303df8","datavalue":{"value":{"entity-type":"item","numeric-id":1854507,"id":"Q1854507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817843$40624B38-FD75-42D5-B456-32155263D2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82f37781aa914c1d87d854c93e84c935e8c635ef","datavalue":{"value":{"entity-type":"item","numeric-id":1400579,"id":"Q1400579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817843$594A1887-AAB1-4C05-98B2-F1BCB9766D4E","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":"Q817843$6485CB50-2676-43CD-9E2E-4B1A07C14147","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":"Q817843$CB3AAF00-4466-4578-98E5-5DCA1D308ABA","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":"Q817843$9CB951B7-3154-4A68-BA2F-5F1A9E4408B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30eebd202e1d23be9819f5cc5a73c6f27b7e94c","datavalue":{"value":{"entity-type":"item","numeric-id":1898459,"id":"Q1898459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817843$29CD1F35-CDD6-45D8-97A2-C09B508E5975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65ad711d725f7c7ce38cb04914fbe94f61b532","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817843$F3B9CBDB-E2E6-4304-B7A2-97D9FE6DE294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817843$F98FD949-C706-4D98-8B3B-D17DCB87E0D8","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":"Q817843$0DDF2F4E-28CB-4D49-BBAB-66DBD74F609F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf73e36acd8c530d7cd261bcfd06e8246cdcd8f","datavalue":{"value":{"entity-type":"item","numeric-id":4594226,"id":"Q4594226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817843$CEBBC57F-9D74-443B-B831-6E62F9515AC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6690a0539d0621c2a1a99266132e8a88223d38ae","datavalue":{"value":"10.1016/J.TCS.2005.10.029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817843$01BACCA1-EAF3-4DD4-A737-8E4D2CA5072C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de4266a5486996e308bb1aadd669b897ff489192","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e270bb8d38d6aff8244a266a2a1d8241b64c023","datavalue":{"value":{"amount":"+0.8446847200393677","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":"Q817843$AB97B4D7-71DA-4DC4-AA61-B3F066844BD3","rank":"normal"},{"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":"ff156c726e62dd48b41e6ecb80a61068e8f0bd83","datavalue":{"value":{"amount":"+0.813339114189148","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":"Q817843$26E2CD61-CD06-4CB0-81BC-A65AA3CA5080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea098b2fec87256fb0b488c5206ff1172a176161","datavalue":{"value":{"entity-type":"item","numeric-id":418153,"id":"Q418153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a270a4e0f81b324ab6cb781d042133686a44dba6","datavalue":{"value":{"amount":"+0.8127590417861938","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":"Q817843$CD06A68D-178B-4806-A639-A619B27A13FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06dd66c58c78ed327d09e45d5cd0391d84785183","datavalue":{"value":{"entity-type":"item","numeric-id":2841263,"id":"Q2841263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db71d4a938c0938e6235d1524a66643702420fa3","datavalue":{"value":{"amount":"+0.7990654706954956","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":"Q817843$82467B38-0797-4F56-AC12-F07069E73E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b9b89fd4b69b2724e5833e85b4eaf1bc3a79a7f","datavalue":{"value":{"entity-type":"item","numeric-id":4653017,"id":"Q4653017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd8fe8c82eda7cd451d7bf490150e95b089011ce","datavalue":{"value":{"amount":"+0.7965809106826782","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":"Q817843$3479AE40-D482-4298-8821-D6171A7600CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards an algebraic theory of typed mobile processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_an_algebraic_theory_of_typed_mobile_processes"}}}}}