{"entities":{"Q3090836":{"pageid":3101551,"ns":120,"title":"Item:Q3090836","lastrevid":51324713,"modified":"2026-01-17T18:41:24Z","type":"item","id":"Q3090836","labels":{"en":{"language":"en","value":"Full abstraction in a subtyped pi-calculus with linear types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945197"}},"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":"Q3090836$F1C40D6F-D819-4246-9F82-8EE9517E24B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f9eb699e701cf3a5f1478fe27df3254719293ac","datavalue":{"value":{"text":"Full Abstraction in a Subtyped pi-Calculus with Linear Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090836$DD2CB7F7-48AB-410B-BD66-FE4734292B4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d70e5d29649f181aa4692d217c33b87cebed7db","datavalue":{"value":"1343.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090836$C1183592-4FEC-4396-98EE-C447134B3F3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8ed45c83bae6a2018a7132d2a8d8fc0546985fd","datavalue":{"value":"10.1007/978-3-642-23217-6_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090836$00C688AE-6FC5-4473-B139-262A55C981EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0af5627cefef78d9602d64742a4b36ba411183c3","datavalue":{"value":{"entity-type":"item","numeric-id":517049,"id":"Q517049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090836$CCB63297-0970-4A50-A9E3-497DE3300C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea26bd9363516a1e83177046ce0c28b82e974bb6","datavalue":{"value":{"entity-type":"item","numeric-id":387992,"id":"Q387992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090836$0387BFEF-CE74-4C29-94E7-B3427130D907","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d4b52f40151daea00ff3da0acb2c051d987d247","datavalue":{"value":{"entity-type":"item","numeric-id":3090816,"id":"Q3090816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090836$4B277F04-5C5D-4A6B-AA4E-1A2A64DD9DCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-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":"Q3090836$4E2F56BB-4BB5-41FE-BCA9-59D0BFD6F2BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090836$67627DE9-C31E-49BD-862C-D99FD27C6FF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4714099080b9cdada293a4d7a7a374bef0a03bd","datavalue":{"value":"5945197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090836$DA65BF65-AB0D-412D-BE87-3A15A7E59810","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":"Q3090836$160B6003-F257-4578-9E25-984232CA418B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5398fb32f48f420eb30492ce360aa6fab8e6e719","datavalue":{"value":"https://doi.org/10.1007/978-3-642-23217-6_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090836$D70F41EE-1AB1-47C7-B3E5-0D53044F716B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"784ab4da333a00813e89cdb804fdd14b933d200a","datavalue":{"value":"W1663174014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090836$AF5B53F3-4247-44C6-9C84-8AEF054653A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e448d527de3c8eb1346eac6db1db6761d13c9456","datavalue":{"value":{"entity-type":"item","numeric-id":2576663,"id":"Q2576663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090836$22F5DE7C-386C-46AD-AF99-4249CB81C0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01beeb55efcb125e7dfe6efcaa531cbb78fa3ea","datavalue":{"value":{"entity-type":"item","numeric-id":930882,"id":"Q930882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090836$EEA5D5FF-D81F-4693-A7C4-2E88EBA103D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21970f441b7ab6aedb2c9a1e0ac57a9521b843e5","datavalue":{"value":{"entity-type":"item","numeric-id":3090836,"id":"Q3090836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090836$0FE38B1E-0992-40A9-B37C-5A29363EBECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af397c089a22cad0ad4f1100de3dbef8c4a60a2","datavalue":{"value":{"entity-type":"item","numeric-id":2576666,"id":"Q2576666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090836$A2B7D23E-5CFB-4240-8E87-7AE2C927C3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc9e7ed24c3299c43700b7898cf8cf3194656d2","datavalue":{"value":{"entity-type":"item","numeric-id":2851048,"id":"Q2851048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090836$48C1AC73-DB8B-4071-AEAA-E199163CFAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48d012301b3151eec271a7ee87acb952bb8745a","datavalue":{"value":{"entity-type":"item","numeric-id":1960532,"id":"Q1960532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090836$EFF12919-5F07-4EDE-B6DE-B099EC35F20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"273a1173e6a1556388c02f7183122cd0215feba4","datavalue":{"value":{"entity-type":"item","numeric-id":5897474,"id":"Q5897474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090836$D7FD9F58-7707-40E8-B75B-1D7077FE673B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090836$48AD0B6C-090B-431D-8894-7121DC857F42","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":"Q3090836$FE4E290B-63C9-499A-8269-A0F43E8D4F2E","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":"Q3090836$EFA1E8CB-8D1F-401E-856F-AE26DE990775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb425e19efa9e5decb07e9dd177882dc02eb9359","datavalue":{"value":{"entity-type":"item","numeric-id":1392282,"id":"Q1392282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090836$130E57A8-21AF-4DB8-AEEA-C6282A41FF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748cfd30e102c2292c6ed25d7973f1157528ecb5","datavalue":{"value":{"entity-type":"item","numeric-id":2387197,"id":"Q2387197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090836$1E460C06-0856-4328-96BB-7D84C4E33D04","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":"Q3090836$E168E5AA-1991-4D8C-B02C-C300CD564860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db190668a33e10fd7ad9de1c45951ca622381f5b","datavalue":{"value":{"entity-type":"item","numeric-id":1891152,"id":"Q1891152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090836$CDF0F5DC-B971-4705-AA27-7E6C8A9AC513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bca12ff033a37ab722fa4cb716981e858b6214e8","datavalue":{"value":{"entity-type":"item","numeric-id":598201,"id":"Q598201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090836$C0451DB0-A009-439E-915D-C4F4E5CD7036","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d6a4c345eadfb4697e5dc0a52810f7a0690f6f9","datavalue":{"value":{"entity-type":"item","numeric-id":2576666,"id":"Q2576666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4512e9ba0a082b6e2190b5a1a0a6f2d556a49007","datavalue":{"value":{"amount":"+0.8132533431053162","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":"Q3090836$4A665264-EE6C-4648-B58C-85D62A8A3301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b492c1e4a547e4a2af939b4d49287251de62f69","datavalue":{"value":{"entity-type":"item","numeric-id":2387197,"id":"Q2387197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ebe79dc2c87dfaca1a5570197c69b625b920e26","datavalue":{"value":{"amount":"+0.7856766581535339","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":"Q3090836$2754C069-301C-4A2B-A78C-6CFE10ACE1EC","rank":"normal"},{"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":"7b07741400b70469692e6022bea642b949439ba8","datavalue":{"value":{"amount":"+0.7842704653739929","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":"Q3090836$E4FDDA5E-D17E-43C6-92F2-D29A68666619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fca2fd65dbef145fd488f6eee13675c9d47dcde","datavalue":{"value":{"entity-type":"item","numeric-id":930882,"id":"Q930882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc610bd6f93407daaf84f2fb3c07d67bc88ea62","datavalue":{"value":{"amount":"+0.7822332382202148","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":"Q3090836$7000F1BB-17E7-46C3-83DD-FD823653A6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b0f95892aafa3104303d21ffc60a830713f5249","datavalue":{"value":{"entity-type":"item","numeric-id":2778815,"id":"Q2778815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6745b80e0f2526181b13a7b14aa41d12ea2ddda6","datavalue":{"value":{"amount":"+0.7815086245536804","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":"Q3090836$C5F864EA-EA27-4D93-BBF5-3FB74011220D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3090836","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3090836"}}}}}