{"entities":{"Q3584947":{"pageid":5614851,"ns":120,"title":"Item:Q3584947","lastrevid":51066092,"modified":"2026-01-16T11:43:40Z","type":"item","id":"Q3584947","labels":{"en":{"language":"en","value":"A linear account of session types in the pi calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5776478"}},"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":"Q3584947$5F4D2461-860A-459A-8248-F4465853BB84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c512ed8edf55834bbe4e097aaadcbf0d4e496978","datavalue":{"value":{"text":"A Linear Account of Session Types in the Pi Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3584947$882D0219-4396-4391-A84A-BDB630265B35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea8fb4793c91934b123f57ec43a05a6c5e7b3c90","datavalue":{"value":"1283.68244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584947$003714E9-A2BB-4216-8763-B21F41FE4B92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"521f4b5d31df1588581c643dc5c53e1705383eb4","datavalue":{"value":"10.1007/978-3-642-15375-4_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584947$0D28BB02-5AC9-433C-BBA1-491DE8669D4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dd547b924839a54974965ee5acf1915b48b26f9","datavalue":{"value":{"entity-type":"item","numeric-id":488475,"id":"Q488475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584947$546860D3-1CAB-4D44-9D33-92A6B2385B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e24206e48bfa64d206114cfb99aae3b6caf361","datavalue":{"value":{"entity-type":"item","numeric-id":1352124,"id":"Q1352124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584947$14F3C871-BDDF-401F-B204-8E8DCC30881A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"405abd31eec1b567fb53a842d4fed5a014e7096f","datavalue":{"value":{"entity-type":"item","numeric-id":3584918,"id":"Q3584918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584947$46636566-465E-4750-B192-AE0E789D8081","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb30be9aa52453b28e16b3393b2ab68c6420e54e","datavalue":{"value":{"time":"+2010-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3584947$BFD4D069-9562-406F-B0A7-7269BB03F619","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584947$F70679F0-9DC9-4E83-97C7-67BA4B21FE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584947$6158BADF-CBB9-4ACA-BD6B-3C7DA9510DF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ffd248868c1bbf3330aa362095b428fa1041b3a","datavalue":{"value":"5776478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584947$12CBB465-DE93-463C-BB64-420359090A78","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":"Q3584947$BA7AAB7F-CA60-4F12-93E0-20578ADF7ED9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc0a0c704c58c1d4858b9ad23a5e7003e4975723","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15375-4_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q3584947$D46EA5EF-7ED7-4326-A1AE-7965CE308A1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"937250ca4418a20d41dfc3ca59e2447033bf4d26","datavalue":{"value":"W2046798675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584947$A770E598-99BD-4340-91B2-38DA23DF1EFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449bd73628e26e8e9c6c8ab0b9e35067fa8e7c45","datavalue":{"value":{"entity-type":"item","numeric-id":5741562,"id":"Q5741562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8643a1498aab0a369ead62fa45e45bc5e824e9c7","datavalue":{"value":{"amount":"+0.9166079759597778","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":"Q3584947$1B076B10-BAFA-4BA1-A714-51B685CFE8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f64200f1fc966923efab764c570855784a0408","datavalue":{"value":{"entity-type":"item","numeric-id":714736,"id":"Q714736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"505ed2ffc2fa85045e840f14234867f95b978cf8","datavalue":{"value":{"amount":"+0.8964964747428894","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":"Q3584947$7E30CA09-1DCD-4EC3-90E4-1AB2CDAC61D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe587eb3e96c13cf4958f80a9d0180da1eb9c53b","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0478e87164b66adef1edca9127804b24e6077061","datavalue":{"value":{"amount":"+0.8625138401985168","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":"Q3584947$31CB5A78-B3E8-4CB2-8EFB-62085E6EA79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9052b9ac04e277a55489be6dbf71a0a4a0a09836","datavalue":{"value":{"entity-type":"item","numeric-id":2407105,"id":"Q2407105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0cf770b24b09ced12ed9e83262d4e5922240672","datavalue":{"value":{"amount":"+0.8377141356468201","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":"Q3584947$E44A40FB-7C2C-43AB-8659-00EEE52FF00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed2438eeb12434db4c0a1ca0515de70caca6029","datavalue":{"value":{"entity-type":"item","numeric-id":5741566,"id":"Q5741566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1bc8ecdd405181fe7856434286e2686a256340","datavalue":{"value":{"amount":"+0.8334611058235168","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":"Q3584947$DD66F50C-78B0-4B8C-95C9-A0FC9CEE6AEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3584947","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3584947"}}}}}