{"entities":{"Q5178823":{"pageid":7208395,"ns":120,"title":"Item:Q5178823","lastrevid":58470492,"modified":"2026-04-05T08:54:50Z","type":"item","id":"Q5178823","labels":{"en":{"language":"en","value":"Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6415988"}},"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":"Q5178823$970DE6E1-3FD3-4983-B772-716972DDDCBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f595ca302edb53213143c208d634eebc83ef0225","datavalue":{"value":{"text":"Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178823$18FCF66C-86C2-4328-82BA-9C1BD23C9A8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"285b6d7684e49491b6b573ad8b91f12003482d30","datavalue":{"value":"1352.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178823$212FA295-2F6D-4081-8A65-FA113D6BD684","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d91c0f6535411d0357760b43cf2753d1942333e6","datavalue":{"value":"10.2168/LMCS-11(1:7)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178823$B1914E85-0303-4685-B2EF-B891E274935F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3211ec0fd031f0134e24af3ce5cb141879b2940d","datavalue":{"value":{"entity-type":"item","numeric-id":352944,"id":"Q352944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178823$105B8782-1F7D-4763-A701-C5EE5850E288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e75e6c6f66519d5f920f67697b30cc385084e2f","datavalue":{"value":{"entity-type":"item","numeric-id":1944118,"id":"Q1944118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178823$92FD496B-6721-4D53-B120-A004D0F5A1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178823$4121E611-370C-484A-81A8-8EBAA9557935","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178823$9DCB26CE-AE4D-4030-A44D-230ACBB053A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19d34c79dcb21ff5f6ae9d83e7c1b224cf605fc5","datavalue":{"value":{"time":"+2015-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178823$371E3A2B-5FE3-4B86-9C2F-BD070326DA26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46aedc605f9dc8726a3ad6c9f3667b1c76342ab6","datavalue":{"value":"https://arxiv.org/abs/1502.03216","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178823$59CD2705-A609-4FC9-A5F8-B828264C63F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178823$F59EAE56-74AD-445C-98F6-12C46A8C4A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178823$125F446B-6E07-4EA7-AF9A-6AB9522C7C2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdd0422bc86e5a08e33669525a09953be62ff452","datavalue":{"value":"6415988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178823$3A0A5F47-D42A-4F81-A962-A33E85BF03A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178823$34F7C995-5522-4476-BD19-9252C5CA1157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178823$8B788E4B-074F-4E46-8383-E493C645E9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178823$7AE801C5-AB02-4243-AFA8-181A2C587F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178823$21149EA4-7064-44D7-932A-E4EE4379A099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"306babe488cfa3a591cfd4ed12d529826135f187","datavalue":{"value":"call-by-need","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178823$D8257A45-55F4-4921-B1E1-0E95785C52D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178823$F397C0CC-FC90-489C-A68D-038D2A3E010C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178823$6CAA448B-207B-42F4-A701-83030F91BECA","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":"Q5178823$6B6A88F2-E030-4AE8-B6FA-5BEF8B5BED17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2329b1899e1a9fe4d0570e6fdc31ffd696f45c09","datavalue":{"value":{"entity-type":"item","numeric-id":5389151,"id":"Q5389151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f39426642bcbf57b00f123341d391b62c47b56","datavalue":{"value":{"amount":"+0.9479355812072754","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":"Q5178823$CBD8FB41-4548-4C4D-8551-491C973C6A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72e72c7a52c0256fbd8305ef164cc8fca6f6cdd1","datavalue":{"value":{"entity-type":"item","numeric-id":5240138,"id":"Q5240138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca4ecc67ff34caf665f1244896aac0592d1202e","datavalue":{"value":{"amount":"+0.8243054747581482","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":"Q5178823$3F8C55DF-73EC-4864-B707-CB6D3E884300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5382aead0fa5c8a0205b1bc26de14b9d794e4a1c","datavalue":{"value":{"entity-type":"item","numeric-id":964003,"id":"Q964003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168a9c90dc2e526fad265010fa7b0a5dbc729341","datavalue":{"value":{"amount":"+0.8201959729194641","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":"Q5178823$1777F0B7-A3C7-43B3-9CEE-327A5AC1BB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f16d33dc06994c1e8253b3e6cdf1336fcadfdf","datavalue":{"value":{"entity-type":"item","numeric-id":2848130,"id":"Q2848130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a489a3b01a27317d54c03036fbc5ee03f46364f","datavalue":{"value":{"amount":"+0.8132793307304382","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":"Q5178823$58BCCFFC-A288-4D68-A261-05D2454E80DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad96146fbb65bf27352de10af474d2e6dddf63be","datavalue":{"value":{"entity-type":"item","numeric-id":1944119,"id":"Q1944119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d664819dc693d5e4814010433d6fba2420769a56","datavalue":{"value":{"amount":"+0.8063250780105591","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":"Q5178823$69E12C8D-F18A-4068-9C9C-51139829147E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178823","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178823"}}}}}