{"entities":{"Q2942912":{"pageid":2953632,"ns":120,"title":"Item:Q2942912","lastrevid":52343627,"modified":"2026-01-22T09:45:32Z","type":"item","id":"Q2942912","labels":{"en":{"language":"en","value":"The M-calculus: a higher-order distributed process calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481283"}},"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":"Q2942912$FF9108E3-EAB4-4C5B-BE36-0D705660D2EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34a4ade42c39ca752f2f09da18bc231795656cc8","datavalue":{"value":{"text":"The m-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942912$7664720A-90D4-40ED-BA3D-D35BD2184135","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a77dac2deafcf4ed0d1067f69de21a3a471fffe7","datavalue":{"value":"1321.68365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942912$C47EBB0B-4DDE-4210-988B-7E7031A44134","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81b4cd7e1d8c620617584aaee7b828332afbb6f5","datavalue":{"value":"10.1145/604131.604136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942912$0760B731-B921-4093-ADAE-EE40E9E4FEA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"804005712457a09ab2c0aa30bf1784b0df9b733c","datavalue":{"value":{"entity-type":"item","numeric-id":627132,"id":"Q627132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942912$47702758-3DC9-45AE-AE34-8B46F2F5F50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c81fa914816673215f0fc2fbca4f9fe394b7c3d9","datavalue":{"value":{"entity-type":"item","numeric-id":264995,"id":"Q264995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942912$6F43E9CE-98F6-44D4-936B-D4DEFE1CC47A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fe4faafe02e13d99969745e2d33def8fcff86e5f","datavalue":{"value":{"entity-type":"item","numeric-id":2942908,"id":"Q2942908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942912$C95ADE4E-430D-4101-8B64-1DBE5F204287","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942912$C4DE5A29-FFC7-4634-85D9-946166579F4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942912$E5080A46-DE28-4ED4-B9F7-B6A2AA84D607","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"131ebde471a5f77e6e83e697fcb0dfdc3f8855e2","datavalue":{"value":"6481283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942912$71C3229C-056C-4521-AF01-C69DB6311E96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a125a2b8c88c30e2e238d34505df4ceaaf5f41","datavalue":{"value":"distribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942912$0CC6812F-68E0-4B62-9181-381193FEEEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b304c27f3fe114c5a933bdf0a604c53026d641a","datavalue":{"value":"higher order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942912$A815657E-C89A-4691-A9C9-BE33DF7C3771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"941cf2149e8d408a2759797bfa7a752aa8823307","datavalue":{"value":"mobility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942912$F5C27C0E-097A-40FC-918B-BC0023D465E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942912$18CEFE57-E995-4D62-95B9-73A707F3E70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942912$2E88CB1A-EE69-4D23-A4C4-A93892DE17AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5d706235782527c086190bdadd5c408c9fe2bed8","datavalue":{"value":{"entity-type":"item","numeric-id":53376,"id":"Q53376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942912$FA9B041E-063D-4C8B-BF86-37ED2BA5A5EF","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":"Q2942912$D604DAB1-D139-4BF4-ACDB-15BA3C83013A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d87d409dc3b02759c199699fc3fcf10b48595ed","datavalue":{"value":"https://doi.org/10.1145/604131.604136","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942912$5E9B1F54-589C-4350-B780-5A8E76B26F02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"580d6694830b034d53e4d484b1d3a1f6a351bff6","datavalue":{"value":"W2068983796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942912$C570E16B-C90C-4022-93FA-A185C0B69528","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942912$8B4451C6-8337-43C0-B551-7E92AEB5411E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea334578279375cd494f9ffbd32e4068cfda451","datavalue":{"value":{"entity-type":"item","numeric-id":4301602,"id":"Q4301602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942912$F91CA6CC-1701-43DB-BEF5-EC9981C29BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329875360c314fd0af99b4311a7c2ffceaa68e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5178874,"id":"Q5178874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942912$F29A6A2C-EA4B-4C30-BA86-D1BF80BA775E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7f104c50f7164f6e83866a4193e8564362ebd9","datavalue":{"value":{"entity-type":"item","numeric-id":4411812,"id":"Q4411812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942912$9DB9F3CB-23C1-4315-90C0-425CD763592D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351879948b4564c55d2d068ea5683d8ac895d03c","datavalue":{"value":{"entity-type":"item","numeric-id":4414525,"id":"Q4414525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942912$30143708-4C5D-4B25-8525-E00C04EE591C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942912$E95B051D-3C75-4B3D-8C87-E3DA0C69E899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942912$2E197338-8927-4685-BD2E-6961EC0668A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0311c2c4996c9c68c0443bd4383ed0d4a789f29f","datavalue":{"value":{"entity-type":"item","numeric-id":4409150,"id":"Q4409150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942912$86E0936B-0E17-4002-95B0-E0188E884AFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1deaab9f6b211b2b8f521d16742078418a213e0","datavalue":{"value":{"entity-type":"item","numeric-id":5902544,"id":"Q5902544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"424c994d37d7b585e7b74d903f08b710a8477cc1","datavalue":{"value":{"amount":"+0.8355790376663208","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":"Q2942912$D21DBAEB-E809-4247-8D3B-DDEAF026EAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea888ad096316a9e2a4f07e47466c7a41ea9a0d","datavalue":{"value":{"entity-type":"item","numeric-id":2844040,"id":"Q2844040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c810a0f59e055f8742547419ab680cfb0f6016","datavalue":{"value":{"amount":"+0.8179011940956116","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":"Q2942912$DA8B9D8A-BB70-48CD-9A0C-80FFA21E2415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c22d12125197bffc1cfd0af54b247437fc7ae91","datavalue":{"value":{"entity-type":"item","numeric-id":4270081,"id":"Q4270081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e8046b3efcbe12421175f713cf116b73bab38eb","datavalue":{"value":{"amount":"+0.7984822988510132","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":"Q2942912$9FF4EA30-D108-40A1-99A8-1AF147DAB26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcbf49e91393d10ea7428e57e16f8fd4df4a4efd","datavalue":{"value":{"entity-type":"item","numeric-id":4921499,"id":"Q4921499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de787dec355940fa0333b6c7e105db3d59017896","datavalue":{"value":{"amount":"+0.792000949382782","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":"Q2942912$8820AB1E-C222-4F11-A324-D1368ECC036B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b496b4d5aff8e3dac6e8e224885fd8c90818d33","datavalue":{"value":{"entity-type":"item","numeric-id":5464841,"id":"Q5464841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36a2027f8c69b19d91ba218073c5f94847d27fed","datavalue":{"value":{"amount":"+0.7903333306312561","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":"Q2942912$C519CA96-AF96-452B-B9CE-74605004E87E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942912","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942912"}}}}}