{"entities":{"Q56443859":{"pageid":56382575,"ns":0,"title":"Q56443859","lastrevid":2090412482,"modified":"2024-02-29T22:19:23Z","type":"item","id":"Q56443859","labels":{"en":{"language":"en","value":"Full Abstraction in the Lazy Lambda Calculus"},"nl":{"language":"nl","value":"Full Abstraction in the Lazy Lambda Calculus"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0432 \u0441\u0435\u0440\u043f\u043d\u0456 1993"},"de":{"language":"de","value":"im August 1993 ver\u00f6ffentlichter wissenschaftlicher Artikel"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"3e5df248eab052dae10c1042b30ee3e626f387cd","datavalue":{"value":"10.1006/INCO.1993.1044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56443859$8822ECB1-229D-420C-B256-A042A508A45C","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56443859$1EB709F3-A417-4DA9-B6BC-078B146EC8C4","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"d24ca31498fcda09a6a4274b7228d38ebdb0412e","datavalue":{"value":{"text":"Full Abstraction in the Lazy Lambda Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q56443859$D4E60969-EDC8-4438-BD61-462E2F492A33","rank":"normal"}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"69d52212d282a400dfd773d3aea95b8e4f7c9e2f","datavalue":{"value":"2","type":"string"},"datatype":"string"},"type":"statement","id":"Q56443859$56F6DEBE-824E-48E8-8292-A9EA7280EA81","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"329d73e2792efdd849f1ddb2276ea0a065d980d5","datavalue":{"value":"159-267","type":"string"},"datatype":"string"},"type":"statement","id":"Q56443859$A7F37619-4C51-4652-803B-C948A6276664","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"a45af61a7b6703eb69c688f4c7eb3afb8a706707","datavalue":{"value":"105","type":"string"},"datatype":"string"},"type":"statement","id":"Q56443859$CE4C4D90-4B39-4BD4-9BE7-3F7C97096EE7","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"e300da3247e4a81572d494b54aed8277284229e7","datavalue":{"value":{"time":"+1993-08-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":10,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q56443859$DFA89715-4127-499C-9829-9880E2EC6CFC","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"fcb2cf1611ee50fd7706f958c8dc1fe59c94c582","datavalue":{"value":{"entity-type":"item","numeric-id":6030974,"id":"Q6030974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56443859$C42DABDD-8289-44A1-A89B-A5E5AC442F62","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"3416aab7214b99b068bed8decc81aa3f48117984","datavalue":{"value":"C.H.L. Ong","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q56443859$4BA9A393-E84A-4C1D-BFF3-F85E066EA563","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"ae12896eb7c67d6a9ab542fb426bd3f94ea53017","datavalue":{"value":{"entity-type":"item","numeric-id":7410357,"id":"Q7410357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"6af6c23d08e63457067719ced502f043f585dfb2","datavalue":{"value":"S. Abramsky","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q56443859$820D4E33-56DB-460F-8331-4046F7D2986A","rank":"normal"}],"P5875":[{"mainsnak":{"snaktype":"value","property":"P5875","hash":"3dd88b1bb5163aab5a7f6793b933ad0efe79c099","datavalue":{"value":"220248522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56443859$52E15457-CEC5-4F87-B953-33B6DA0B92A6","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"4e9ad191b892e1e08de8f1107ddc5d22625b0f57","datavalue":{"value":"journals/iandc/AbramskyO93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56443859$CCAF8386-C606-4D57-8359-73A6FABB983E","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"a0833cbd591cfad61c97af1bca7c9e931378070d","datavalue":{"value":"0779.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56443859$4F2CEE2B-0E2C-4B0D-96EE-1D86AD5B763D","rank":"normal"}],"P6104":[{"mainsnak":{"snaktype":"value","property":"P6104","hash":"a27c5fdb35b42381f12b2a603711e56d98dd77fd","datavalue":{"value":{"entity-type":"item","numeric-id":8487137,"id":"Q8487137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56443859$9ECC1898-909C-45DE-8F1C-A4A4A27DF0B1","rank":"normal"}]},"sitelinks":{}}}}