{"entities":{"Q1605174":{"pageid":1615914,"ns":120,"title":"Item:Q1605174","lastrevid":70960239,"modified":"2026-04-13T18:31:12Z","type":"item","id":"Q1605174","labels":{"en":{"language":"en","value":"A fully abstract denotational semantics for the \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1768075"}},"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":"Q1605174$F19BAF6F-E568-44E4-B5A4-A9598E3033E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81be7b4ba5613607053594cbb38284412da05629","datavalue":{"value":{"text":"A fully abstract denotational semantics for the \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1605174$356BC9C0-A2A4-4442-BBC9-EE9F0355001C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f70f2370e2fb145912a25020d7621639de58ced","datavalue":{"value":"1014.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1605174$8C2CFF54-FB89-4B60-A9D2-8B503E17BD12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2efb5c924a7f0a9fe73c963efe348af2ab3889d","datavalue":{"value":"10.1016/S0304-3975(00)00331-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1605174$781198C1-8904-40B5-B5E7-202E12A25B80","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":"Q1605174$B40F5859-1018-403D-BD78-4243C1BB49F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb77668c0bac74ac5ea553fa2146ed5e736444f1","datavalue":{"value":{"time":"+2002-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1605174$455F777C-6D4E-43E6-84AE-875897A6F28A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1605174$2F6F71A8-DA56-4E90-8334-6809FA636B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1605174$B47EF41A-245E-4A92-8694-F3DF0A258CB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2537c2492c26aa2b7901e07ad955da17df37e97","datavalue":{"value":"1768075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1605174$C5E165AE-D6E8-4C2B-9A56-72F97D641112","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e859fce0c08ff9784c5eb0581b9d04b347914b8","datavalue":{"value":"denotational models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1605174$097236D3-13E6-4D4E-B89C-BE5F0F38BA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1605174$6A3C9E64-4798-4D40-A16B-0EC83090266A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605174$48FF828D-E2F1-48B0-A402-A70B45A0F601","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29b8415bb4c295a269f9dc8fd3592af051b33888","datavalue":{"value":{"entity-type":"item","numeric-id":20682,"id":"Q20682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605174$01911D49-C703-4BE7-AD14-6B05257E16FB","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":"Q1605174$30D457A3-1909-41BD-8110-A5B45AFF6977","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf58587decdee95f676a746bd278ed5978d708","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605174$CBCF8BA4-7705-4D3E-A74D-7B40A463E048","rank":"normal"},{"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":"Q1605174$340B50EA-D89D-4C80-BA67-35705643A793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605174$647DE8FD-C1C3-4512-90AA-A1707A3E0602","rank":"normal"},{"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":"Q1605174$720A30A0-2542-42DE-AC3D-05E67C33A14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afa831f2062bd418316f0ddf8d55a39363b94c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1314269,"id":"Q1314269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605174$C3CB6433-35DC-4A41-A392-881613A49060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e572acf1abf4fe20481abacdea00bada28a4db","datavalue":{"value":{"entity-type":"item","numeric-id":4295775,"id":"Q4295775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605174$9E5DD5BD-61FD-426E-B8F7-52F68A730D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605174$0C439C86-E63C-40A9-85EE-18A0BD8C75BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1db2d402ff5c6f889baeb52606e979869a2ee1d","datavalue":{"value":{"entity-type":"item","numeric-id":3719794,"id":"Q3719794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605174$C3F8D4A9-019D-4B6F-AAAF-5183F2690B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605174$5CC0C7A1-687E-4B53-9D8C-E2FF1250503B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605174$C672426A-45D3-47A0-8882-5BFF5975FCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c285fbac4c0cc6de1d1ef52f1fe4ea0572069ed","datavalue":{"value":{"entity-type":"item","numeric-id":1317426,"id":"Q1317426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605174$E5D0A38C-D167-41F6-A15E-5B3F532A657C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978af8987770da9ce87981964976dc7a47a0da09","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605174$C39B65CB-513E-4EB5-A50C-DB675EF6FA9D","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":"Q1605174$C552D425-C8E3-45CE-A277-55A11CB35A17","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":"Q1605174$7964B11F-802B-41D9-9496-F3EAD13C9A73","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":"Q1605174$8BDD5A7F-BD39-40DF-9785-55A44891ABA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605174$A56E0FB8-8561-443A-BF46-6410126983DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5917031cd6ce8484665fe8349c2192d249de0f24","datavalue":{"value":{"entity-type":"item","numeric-id":1400720,"id":"Q1400720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605174$A0584A3D-B5BF-464C-9135-91C0331A9EEE","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":"Q1605174$889CFA03-4FE6-4E37-ADB4-1D50EB4AD79B","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":"Q1605174$10CB0B18-E905-4924-9E33-DC0F8BB7717C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb9a3bb729f53b57c90bfbd0c8481b23e49da48","datavalue":{"value":{"entity-type":"item","numeric-id":1400720,"id":"Q1400720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bdb22823db4c5f91c98f3e783ab36b8ebcfbd5f","datavalue":{"value":{"amount":"+0.8975129127502441","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":"Q1605174$BCE1F736-E00F-4531-8190-7770D02DEB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d26d95e9e4f3b8dd37020815d210ea6635b177","datavalue":{"value":{"entity-type":"item","numeric-id":5705882,"id":"Q5705882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1095bd70414bdfc2440180c5c30bb1c6a52ad7a","datavalue":{"value":{"amount":"+0.8345025181770325","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":"Q1605174$288EBA90-A143-48BB-B2AC-6FEA3B114A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7331ae3e80c6ecf98c5b24197cf5cbf0bde4cfb","datavalue":{"value":{"entity-type":"item","numeric-id":2474052,"id":"Q2474052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"379639f0c51979abd4132766a4914f15d1431f66","datavalue":{"value":{"amount":"+0.8340609073638916","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":"Q1605174$106001CA-AFF8-41BB-8E24-18F5C97A198A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83815df554fdb5ab2441b991cede43c44315dc2c","datavalue":{"value":{"entity-type":"item","numeric-id":1327390,"id":"Q1327390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed3e3a958935a1e44624a7176096871b8a005031","datavalue":{"value":{"amount":"+0.8326166868209839","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":"Q1605174$29AABCF5-D6CD-479E-A63F-3486EB212A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"103eb4ff7cada6a29a08cebd89c7ec166b1ddcd7","datavalue":{"value":{"entity-type":"item","numeric-id":5897474,"id":"Q5897474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec13b7f10ea9490e73c49988f8d533e3702f23d","datavalue":{"value":{"amount":"+0.8024347424507141","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":"Q1605174$0B4595A2-230C-49F8-91C6-8D8A40A54381","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fully abstract denotational semantics for the \\(\\pi\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_fully_abstract_denotational_semantics_for_the_%5C(%5Cpi%5C)-calculus"}}}}}