{"entities":{"Q2474052":{"pageid":2484795,"ns":120,"title":"Item:Q2474052","lastrevid":50293277,"modified":"2026-01-13T18:46:12Z","type":"item","id":"Q2474052","labels":{"en":{"language":"en","value":"Full abstraction for polymorphic \\(\\pi \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5242673"}},"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":"Q2474052$C8B88908-980D-46A7-BCF1-E69DFFEB41ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e54d7042513109fbaccd663991ab22a67123b91","datavalue":{"value":{"text":"Full abstraction for polymorphic \\(\\pi \\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2474052$3DA514A4-3141-417B-8B94-42E1BBE1BF7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e929f4f7c8874aa63af80d736dd779aa72c8601","datavalue":{"value":"1134.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474052$A8E450FF-CA76-4866-A880-1635661F5070","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c07df3e9710693ca2029d56f2786e60cd031e8","datavalue":{"value":{"entity-type":"item","numeric-id":276477,"id":"Q276477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474052$FCA21398-19E5-4743-868F-5E3BD0E9BC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bbd40d4efe0881f4b580c8aabcfc53801fe8c1c","datavalue":{"value":{"entity-type":"item","numeric-id":276478,"id":"Q276478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474052$82C1B74A-27AF-4A04-AB35-3C7E99CECA6B","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":"Q2474052$01E19D17-9176-412F-B3E6-E301563C4AE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"320775bc8330b9df723b904d964cd89baad4e710","datavalue":{"value":{"time":"+2008-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2474052$C3FD7C07-BD4F-4EB6-B4B6-BF5FF9C34949","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474052$2F3B46B9-D5DF-4725-9983-03CC9CDEC0C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bba9befdbbe9349b249d31c2588a8f70cf9a7ab9","datavalue":{"value":"5242673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474052$4B80C1CF-15AE-44D6-BEDC-7EC1D83251E6","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":"Q2474052$D054D1A2-A1AE-45DC-9D4B-A17BBD9E4BE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a7b010c364ca0ffd5ecdb8d74371297ba4bb6f1","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.09.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2474052$7BCFE7AC-FF5F-4D02-AD4D-ABAAD3689517","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"257d7cbdbad66c8117f770ea672b8433f3441937","datavalue":{"value":"W1972857373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474052$13F1C406-9B5E-4D87-9E32-F5650C49760E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5cba2f545e4905805f6fbaec8c0259c28fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4715213,"id":"Q4715213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474052$9CF86F94-7801-4E68-870E-FFFE4E155B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474052$FE887E41-0532-40C9-AF24-3E1538E04927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33bcfdad2ed96c88bb56444052a0f2151cc5cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4417854,"id":"Q4417854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474052$CD1C167A-6928-49CC-B5F1-98FFA787604B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474052$AE50396E-6C2E-4565-B440-E32D435C31C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474052$78C4AEC2-67D6-4149-B16A-7684906F77EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dba7a15b0608fd7a2003e436be0af2bf95ea618","datavalue":{"value":{"entity-type":"item","numeric-id":1772314,"id":"Q1772314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474052$9CC8EE6D-D790-4FD7-84C1-2B04B330F21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b556a5c9d5f6419fc1f1c57f2b7c33e76e94e520","datavalue":{"value":{"entity-type":"item","numeric-id":6104384,"id":"Q6104384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474052$9631215B-9541-4E52-870B-ECD7A30038FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474052$91ADA91C-E72C-42F8-8E60-B7C504165CF6","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":"Q2474052$ED8BD2BB-F465-4B0A-A128-5BCFFD0CFF47","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":"Q2474052$0C9EA661-FAD9-4F93-A17E-B37840CCB6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474052$F2197406-3535-48B2-B711-6995DFAD91A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4db463b72293699aa12f14595958b9718ab07d50","datavalue":{"value":{"entity-type":"item","numeric-id":276479,"id":"Q276479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474052$50D4F424-72F8-49C2-9AAC-9A6D3DF1E699","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":"Q2474052$C4F942DC-7FDA-4E82-9F80-C183B890778A","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":"Q2474052$95AF94CF-7533-48FA-8CAC-D59A6E0CE7C8","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":"Q2474052$BCB67D0C-E72B-4432-9010-40C03CF575B6","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":"Q2474052$AF4F9DF6-AFDE-4D80-9608-CC6DAC5D18B3","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":"Q2474052$54F74A62-BA6A-4A9F-B0AC-CC4B9DB55E6C","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":"Q2474052$86EFFC39-A877-4F62-9AE3-1A3C84D48A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15630772414b9154dbd1895ba4270ea1ced69347","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474052$29336D0F-C1BA-4A8E-8A2C-DE2E396EEAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474052$6B3E02BA-567A-48BF-B199-CBEA0E275C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a5aa50e889fbd2a02e8c6790dc8c54b50583d6","datavalue":{"value":{"entity-type":"item","numeric-id":4226069,"id":"Q4226069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474052$E8E99352-4EC2-4A10-97F7-421E3B04591B","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":"Q2474052$E77B47FC-4C79-4528-B01A-790DFC6C34A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e2c941835a5c82b5329ed38a363d3717f39c681","datavalue":{"value":{"entity-type":"item","numeric-id":5276135,"id":"Q5276135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474052$3E9E74DA-10F6-4303-A050-232D63C6B530","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d3e6f531f0c485f9e562a0169f45db10ad0c1ef","datavalue":{"value":"10.1016/J.TCS.2007.09.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474052$F38EFD14-CDFA-41FB-BCCF-9F4DCC86286F","rank":"normal"}],"P1643":[{"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":"c604a99e1286e3d1c180846a0513ec24695d1543","datavalue":{"value":{"amount":"+0.9718505144119264","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":"Q2474052$FB4FD286-0600-44AA-959D-6E96FEE799F4","rank":"normal"},{"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":"61884838c816848362834f120ffbc06ef13ae418","datavalue":{"value":{"amount":"+0.8760035037994385","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":"Q2474052$F4519F57-27D2-43FB-A65F-9918221A2899","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":"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":"Q2474052$5FF8C102-3E9D-4FC7-AA53-26648A3F8C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bae0b2aaf8004789da4d810364389bc083a9bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1605174,"id":"Q1605174"},"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":"Q2474052$E30B87F8-7D65-4629-84B1-19A086D381EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69797eac3527bc8f56863b7bbccc66eec6c3c69c","datavalue":{"value":{"entity-type":"item","numeric-id":2576663,"id":"Q2576663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00c421bff6b30caaac9d170542ed085f336cea46","datavalue":{"value":{"amount":"+0.7946979403495789","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":"Q2474052$B56664B4-28D4-4DB6-A6D1-5626500A2206","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2474052","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2474052"}}}}}