{"entities":{"Q3618813":{"pageid":5648719,"ns":120,"title":"Item:Q3618813","lastrevid":90420305,"modified":"2026-06-04T20:08:20Z","type":"item","id":"Q3618813","labels":{"en":{"language":"en","value":"Relational Semantics for Higher-Order Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5539325"}},"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":"Q3618813$7EC76F02-39E2-4077-A635-229E2A770BA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4401e9df24e6e2faa3bb6d378a97e40ce4914b76","datavalue":{"value":{"text":"Relational Semantics for Higher-Order Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3618813$08DF38DB-AEFE-45D8-B2A8-E418D1EDD52C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c21a2d54a5e7ded77241fcf14266b35d8e9d747b","datavalue":{"value":"1235.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618813$B408FC4D-7C3C-4EE0-9460-4899E3800EBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efa06176a19949eb79b74cd2da430ec161648a49","datavalue":{"value":"10.1007/11783596_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618813$08498E56-B12A-4034-B67D-E899B7253FD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c7820dbb9aa5f32252212fdee1d6fc5aebfeeb4","datavalue":{"value":{"entity-type":"item","numeric-id":929963,"id":"Q929963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618813$01F6CD31-E76E-46E4-96FB-6670CE1D2168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618813$1F81BA66-8EAB-4FAB-91E6-E3648039E333","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618813$D2893C37-62C8-4A15-9819-296B36325268","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d42f886a65a82f1ab69b7a851b32028cf5a4bbbc","datavalue":{"value":{"time":"+2009-04-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":"Q3618813$DE1DA31B-D5D0-42CB-A781-15589EFF652A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618813$8370C365-2504-4EDF-A7A3-5AD2CDD01A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618813$82684D86-8430-4249-AF26-B4E8664FFC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618813$BE1222F6-D621-4D9A-A8CB-EA3CFDC73F3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"850442a1aac2358f7ba8cc39238ba2c46d7896c8","datavalue":{"value":"5539325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618813$A2CD79ED-F496-4FC3-B121-85D6F67DFF9F","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":"Q3618813$E6E4E67C-48FF-4DC0-A03A-5D1DB9E83A2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ec5f30ed5117a740d2fcd23653d6fb754b9b2c4","datavalue":{"value":"https://doi.org/10.1007/11783596_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3618813$F12244A7-47F2-46CC-9CC2-440B6A1D4C06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31fdd1fa84a543de002c00c251d6d9a4ad818a79","datavalue":{"value":"W1592521678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618813$36654FA2-D2A8-43A9-88AF-BD308AE44A3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcb28e414112255b3a7240f3489e919013d3cb2","datavalue":{"value":{"entity-type":"item","numeric-id":5176935,"id":"Q5176935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d73c5b7e756575bcf81d1df41006243f3ad9f5","datavalue":{"value":{"amount":"+0.7825155854225159","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":"Q3618813$BC5AF739-2276-48BE-A8B6-28F50895E556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"467476586a2a65a633f7f3f113ce6f99a9d440a9","datavalue":{"value":{"entity-type":"item","numeric-id":3165524,"id":"Q3165524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f4ce1c776b8503bbaf3fb8ac41cf35a35e01fe","datavalue":{"value":{"amount":"+0.781470000743866","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":"Q3618813$02EDFD02-42F6-469C-AEC0-0946B6F8F033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3c60967da9fab44c7a1ceb7a7c7cc52b987b0b8","datavalue":{"value":{"entity-type":"item","numeric-id":5704031,"id":"Q5704031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd62da520f15bb4d8ba2f08b6b7c910ca127084","datavalue":{"value":{"amount":"+0.7771784663200378","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":"Q3618813$C9FC1045-EF4D-4B97-BBA9-99AA7EE220B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c341ba6d39cda177452b490acb0978c47e0cb6","datavalue":{"value":{"entity-type":"item","numeric-id":4362882,"id":"Q4362882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f59b28235a5a80c524b2811c34f1c01270da694","datavalue":{"value":{"amount":"+0.7682141661643982","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":"Q3618813$ED8FC0D6-F8F2-487E-A3BC-3E793C0C0C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d89b2a7c285e16f0000158189f9248bd5514c76","datavalue":{"value":{"entity-type":"item","numeric-id":2810687,"id":"Q2810687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f59b28235a5a80c524b2811c34f1c01270da694","datavalue":{"value":{"amount":"+0.7682141661643982","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":"Q3618813$34D68AFA-AD15-43C1-9D54-6943F00810EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational Semantics for Higher-Order Programs","badges":[]}}}}}