{"entities":{"Q2387197":{"pageid":2397940,"ns":120,"title":"Item:Q2387197","lastrevid":48542092,"modified":"2026-01-05T04:07:42Z","type":"item","id":"Q2387197","labels":{"en":{"language":"en","value":"Types and full abstraction for polyadic \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2201585"}},"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":"Q2387197$E0D7E45F-9F5F-4ED2-87D3-767F53FB9DB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66562500ed00e637560d1036082f8e88c0094a9e","datavalue":{"value":{"text":"Types and full abstraction for polyadic \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2387197$26788732-D9FB-43EC-8C3E-B8B12EB3AD08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ddb9d69f20ab89646d7398247d80539461fce5d","datavalue":{"value":"1101.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387197$BF867F58-1E22-4FDB-A43F-68F2ABCF344E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$C3573592-324E-4FE8-8908-632E08857C02","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":"Q2387197$232AD8F6-2B78-4482-B1A8-0C60D04E3961","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75d2964caf21ea58e2c3ccbb7e808c764d931e0a","datavalue":{"value":{"time":"+2005-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2387197$2A9DA4F6-F4F9-4EBC-9D10-23F34E45F4A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387197$F27CD0E6-6952-4E64-90EA-ED540D796285","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f82922fc1ee89a7343d8eba17f09dc55f5a8646f","datavalue":{"value":"2201585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387197$99DDBDAD-5FDA-47D9-9F7C-90E9753ABFB5","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":"Q2387197$78364166-1476-4A4E-A7E6-2D4F1BEEBDC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75056e85daff2b6c12b3d5ee073c524bbaa1c466","datavalue":{"value":"https://doi.org/10.1016/j.ic.2005.03.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2387197$CD4061FD-B448-4EB2-BE81-63ADEF0CAF42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9c08cca735ddb366f8e95cb5d6711d3547225d3","datavalue":{"value":"W2014986236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387197$576A8AF8-7250-41F2-8E8F-3B83360E063A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$A49E1832-D9E9-4941-BD9A-A9053B43183C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$C4327C5B-4EB6-4588-8139-35917E77F154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b63e0e1ac57986b7d80b94330b7f752779733ac6","datavalue":{"value":{"entity-type":"item","numeric-id":1276243,"id":"Q1276243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$91484EA5-D773-43B3-AA9C-156293BD3EEE","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":"Q2387197$61D87185-56EC-4EEE-AF45-DEB3E7682029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9846856153ffd17c5006d95a69a5f40967e0700","datavalue":{"value":{"entity-type":"item","numeric-id":4813226,"id":"Q4813226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$6F43B845-3A28-44D3-A49E-F375FC98BE8B","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":"Q2387197$F9214560-6BDA-4F28-9AC2-A0ADF320AC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"618ab20bc755a2294a3fce57d311b20f33c17532","datavalue":{"value":{"entity-type":"item","numeric-id":4518881,"id":"Q4518881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$C833B9FF-3EC7-4F01-AFE8-B81388B79F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de700336e555579490af87813e35cbc5cd3fe6f6","datavalue":{"value":{"entity-type":"item","numeric-id":5178900,"id":"Q5178900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$47A08BC8-FBF2-4025-84E3-E520A57C52A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af26225ddae4f82e9a21434c2cd8489d5e27defb","datavalue":{"value":{"entity-type":"item","numeric-id":5714434,"id":"Q5714434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$72EC43D6-FABA-4551-BD63-90AA1B8753FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4210bba19cd160e5cca228bacc9ef6fb4cb9132","datavalue":{"value":{"entity-type":"item","numeric-id":1854358,"id":"Q1854358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$10011DF2-64B4-4CC4-8BE0-D7854B7BB5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce6ec21fbe747f2d41af1ffc8ef5c6fc6065340","datavalue":{"value":{"entity-type":"item","numeric-id":1884932,"id":"Q1884932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$F0CFA9BC-D177-4EF4-946B-1A9BA88EF00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"918c90c740fb88aa5073f69e0a5ed72039f108ba","datavalue":{"value":{"entity-type":"item","numeric-id":4219055,"id":"Q4219055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$21D11071-078F-4BEE-B7DD-68B1EB5DBED6","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":"Q2387197$DA4F6703-C378-47F0-8C7C-805BB8DE53E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$93DC3A16-B4A4-4782-A0D3-632B4BD10774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$DEE86D4C-EB4C-49BF-BDAC-0B3E21952BED","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":"Q2387197$D4996BFF-F03C-4BF8-B55C-F3FF46219BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d6e255e88469c5037fa025bdbe62107d9bfa5b","datavalue":{"value":{"entity-type":"item","numeric-id":1854329,"id":"Q1854329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$211761C2-8EBA-42D7-9F71-B96F2E059817","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":"Q2387197$3B9972D5-5F73-4FEC-9854-906DDEE0B300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef718ed05d1cac656de52bc69376ec7eed12c8d6","datavalue":{"value":{"entity-type":"item","numeric-id":5487879,"id":"Q5487879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$E072A2FD-0155-42BD-AE9A-9754B8603437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e02114271863ed1c3788f2d6f1de835de29e16a","datavalue":{"value":{"entity-type":"item","numeric-id":4508309,"id":"Q4508309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$59439249-283E-4597-BF42-D7BCB132F6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d8ce7f4bc93b970a2eeca767cdcd57b47281a1","datavalue":{"value":{"entity-type":"item","numeric-id":1960533,"id":"Q1960533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$9358D3C8-1A7F-4386-B927-3C48E5236946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e863bffeec0cc307c58d6e766b21d0e4fcc52fdf","datavalue":{"value":{"entity-type":"item","numeric-id":1589656,"id":"Q1589656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$61A74514-D7CE-430C-9346-E878192C91B0","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":"Q2387197$7B389E95-74A7-4873-97A2-48392324942D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc7b7b495e1316a081d2c741d60b9aebbc2455e5","datavalue":{"value":{"entity-type":"item","numeric-id":4219047,"id":"Q4219047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$FFB56FEC-7C2F-4837-B49B-A3BDBE511B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b767ec68ccc42fd52f2f3a7c69dce1ccd9b8c6","datavalue":{"value":{"entity-type":"item","numeric-id":4040912,"id":"Q4040912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387197$055E969F-66FC-4632-98D2-8965A864AFEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fb75665219ba5d4163cc1afb6fd46a77b1d8964","datavalue":{"value":"10.1016/J.IC.2005.03.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387197$71A1D41B-1138-4431-BF67-520155EC5890","rank":"normal"}],"P1643":[{"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":"9daa39f0bca54ba70edf665057a8d263b3c5206f","datavalue":{"value":{"amount":"+0.8393720984458923","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":"Q2387197$F5E4C7BF-9C73-4F6F-A388-535AA2BEA89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1fd33d6d37901f66a31c7353336dc9f955c435","datavalue":{"value":{"entity-type":"item","numeric-id":4247266,"id":"Q4247266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a92059d28ab42ac9ef40816fc125e0962ed8983","datavalue":{"value":{"amount":"+0.8285465836524963","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":"Q2387197$CEACB2E5-2249-423A-9697-417E43B65341","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":"5309624dc25a0f3f82ffc5a9426f9b540185de72","datavalue":{"value":{"amount":"+0.8152471780776978","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":"Q2387197$4EB3D914-F90B-44AF-BDEE-68669A1A0687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d4c80a1a444693600c0fbe85cb8e5daca0ebb56","datavalue":{"value":{"entity-type":"item","numeric-id":4703885,"id":"Q4703885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f058fd8d0ab1636e8be780120aa5354c3b60a660","datavalue":{"value":{"amount":"+0.8137989640235901","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":"Q2387197$42DF9F85-65EE-4712-AA57-E9A0FE54118A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"979b95946142388a367de1ec341cea7bf844820a","datavalue":{"value":{"entity-type":"item","numeric-id":5170803,"id":"Q5170803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7129d592e63f04ada414195c2478d25f00818b8","datavalue":{"value":{"amount":"+0.8137987852096558","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":"Q2387197$82D64511-F64A-4A70-B013-039E987FD197","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2387197","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2387197"}}}}}