{"entities":{"Q2986830":{"pageid":2997554,"ns":120,"title":"Item:Q2986830","lastrevid":85484771,"modified":"2026-06-03T08:54:31Z","type":"item","id":"Q2986830","labels":{"en":{"language":"en","value":"A higher-order distributed calculus with name creation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718113"}},"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":"Q2986830$05152DC0-F52F-4800-AEAF-EAF6D226F474","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d57256afa0c18d5109bb49f57adb214e8b03f94a","datavalue":{"value":{"text":"A Higher-Order Distributed Calculus with Name Creation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986830$772348F6-35F9-4986-9202-8352D817A41E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85a1e64aa988d6fd9e849e549d6e6fb53af3114c","datavalue":{"value":"1362.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986830$6CA2863C-164D-4DAB-9E44-EB34C34AE547","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12a9216616fbf56db7704f546805a1fa95c8a0f4","datavalue":{"value":"10.1109/LICS.2012.63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986830$3814DE75-34E2-4A73-9FFF-8DBC66DBA279","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbdb621fa8877f3bd6a9e80a8e8f1b26c2856d51","datavalue":{"value":{"entity-type":"item","numeric-id":2986829,"id":"Q2986829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986830$F68EE7AE-0BF6-4646-8B4A-0833D52C9AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03f570b16f91c28c517fdac836475d6b0031f634","datavalue":{"value":{"entity-type":"item","numeric-id":238499,"id":"Q238499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986830$3FE9A55D-AB4D-4258-9D10-9CA2995401E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"582a6c5adc14cfa6944ab3a3a801ae6337273c99","datavalue":{"value":{"entity-type":"item","numeric-id":2986776,"id":"Q2986776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986830$110379EB-B5A6-45F6-AA12-3CCAC4C8EF30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-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":"Q2986830$F015BFAA-337F-469E-B0B2-B7D1E182C9A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986830$97A89E29-D273-40F0-9D30-C49C3CDFA30C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84abe7e94744a75a5038d728b17ca6dded521179","datavalue":{"value":"6718113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986830$835A0C5E-7FDD-42A4-97B6-F703DCCE0A7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6d21861c58f5dfb2a2f017c5e6ba6fc49379ca9","datavalue":{"value":"higher-order \\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986830$4EDAB7BF-406C-4852-A07A-F6F18C07E32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a125a2b8c88c30e2e238d34505df4ceaaf5f41","datavalue":{"value":"distribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986830$6E7E60A2-032F-441A-A299-B119B692D26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85c4a23de1cc8c27a7e2267b1c1b5d6c5b9ee1f7","datavalue":{"value":"passivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986830$700314A0-A828-4612-808F-20B71C4A22D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05b325886f6235ba4cb7e692daec80a2bcad80d1","datavalue":{"value":"name restriction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986830$E0993019-7332-4911-A837-3F3C975270B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b8c077ae93641985d3024bb3c0dc75a3891d31","datavalue":{"value":"name creation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986830$8907E4AE-D9E8-474B-AE39-CAFA7C935222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f0b6b561661f7ff738af74c31debb838e599d93","datavalue":{"value":"environmental bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986830$8AE9B421-93D1-4CD2-8D30-A86AE97941BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2ed08ed2b532b45432dafb6f4446c9a79c6fb04","datavalue":{"value":"process equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986830$6D065FD7-80F1-470A-A32B-5E85E1CF1401","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":"Q2986830$E8076DF6-7325-46AD-95B9-B23376668BCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41bc19299bce6778ca982794761b1108f676e40a","datavalue":{"value":{"entity-type":"item","numeric-id":3000603,"id":"Q3000603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e1e71fb0692b26dc976660392a803fde0834025","datavalue":{"value":{"amount":"+0.8204876780509949","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":"Q2986830$FC3A9421-9074-4F7F-9036-B233BA6A4B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"becad3aa3627e7507addd85d604b6bb3606cb39a","datavalue":{"value":{"entity-type":"item","numeric-id":3525077,"id":"Q3525077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0304d3b57f37e0926198d2ade5b96a8d12d85273","datavalue":{"value":{"amount":"+0.8105552792549133","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":"Q2986830$F95C37DA-D59D-49A9-9625-346AFBBD0365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b755e77d2cbc1a6e69d5260511bf4343e0a23979","datavalue":{"value":{"entity-type":"item","numeric-id":2842104,"id":"Q2842104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8f50a91dded82aa4536218977112659d9e54f9","datavalue":{"value":{"amount":"+0.8060505390167236","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":"Q2986830$17DC748B-7E2A-46A6-830E-82762B072192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcd66914d9cb4cc21aa7ee39a7ca482c5874fec0","datavalue":{"value":{"entity-type":"item","numeric-id":4222918,"id":"Q4222918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d9795085c9a6fb7429eab6fd06f1ea98cd7d8e6","datavalue":{"value":{"amount":"+0.7716832756996155","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":"Q2986830$06D79D8D-CBBC-423D-8A00-EFE9A9785994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de15efe60a5681af3a4dd5e23f2f0f6d3a5a690a","datavalue":{"value":{"entity-type":"item","numeric-id":2906943,"id":"Q2906943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d1b02c8f1f17675944d2d945956082e01283b9","datavalue":{"value":{"amount":"+0.7680125832557678","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":"Q2986830$D4E4F369-E7A3-4971-BB9A-6FB5AF826A90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A higher-order distributed calculus with name creation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_higher-order_distributed_calculus_with_name_creation"}}}}}