{"entities":{"Q1884875":{"pageid":1895617,"ns":120,"title":"Item:Q1884875","lastrevid":48365707,"modified":"2026-01-04T12:24:26Z","type":"item","id":"Q1884875","labels":{"en":{"language":"en","value":"Games characterizing Levy-Longo trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2110973"}},"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":"Q1884875$AFB5A46B-61D1-4147-9228-F6C562068808","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f5e0dd206386b6c66d9b161d92c5369c3eb0c3f","datavalue":{"value":{"text":"Games characterizing Levy-Longo trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1884875$276D4431-40AA-4BE7-A4B6-3425C08AFE0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bef6797a2130bb88905dbe0db7120845ff2a051","datavalue":{"value":"1094.91011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884875$25A29C88-7E44-4603-A230-832BB523DD15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bd86b71ab58a1ec7dc5f58591c4af34403c21b4","datavalue":{"value":"10.1016/S0304-3975(03)00405-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884875$D204316E-B9D7-4423-9CA5-35DB95DC4501","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884875$4F6FE276-0777-4085-AF45-09BE5FF181B0","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":"Q1884875$04EFCF6E-45D6-4D65-BA2B-429A9FA3A27F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7e0e3052327d95a916620b2fc1dace533c4c66d","datavalue":{"value":{"time":"+2004-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1884875$A3FBAF3A-3AAD-4C8B-B8ED-C84859E5BE06","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5ef9e78841ce8dca8243a6621a4d60602efc42bc","datavalue":{"value":"A simple \\textit{strongly universal} innocent game model for L\u00e9vy-Longo trees is presented: every point in the model is the denotation of a unique L\u00e9vy-Longo tree. The observational quotient of the model then gives a universal, and hence fully abstract, model of the pure Lazy Lambda Calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884875$CA1F20D1-452E-4B2F-9681-1ABBDB938902","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b15c4ca39dc313927917ec4e21f791de55f58e8e","datavalue":{"value":{"entity-type":"item","numeric-id":259585,"id":"Q259585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884875$9AF05EC9-01CF-4823-AC00-D1F7096E0321","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bc7eb0f462deb89a5bf6af1abf9a96ba13c81d67","datavalue":{"value":"91A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884875$5A8F0A6F-3DBC-4EEE-AD72-4F7E3BC63F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884875$DB3D3418-700D-4841-B6D1-066955011A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884875$15785DB3-A300-4EA3-A2EF-CFA2841E3FB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16939388f1aa8e807702d0594f3a24cc3afc1f07","datavalue":{"value":"2110973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884875$E67FF556-D133-48A9-8CB2-7FA9172B1BDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884875$A0D7F537-2346-40BC-A65E-1B2FA863DA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0ce36239dbd08766601c3263a7891046c0723a","datavalue":{"value":"Lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884875$C292BEF4-DC88-4E26-A666-48218D9DC04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c75d4c5572f237d1ad5f7da38c850038edb19d26","datavalue":{"value":"arenas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884875$BB01729E-64D2-4B7A-A5B2-85AB85C0169D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce83b1053073b7f40b03d648c2f3334bcbff5cc","datavalue":{"value":"universality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884875$7DD0197C-3CF5-4126-88D3-E37C9054A939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884875$DC059DFC-675B-4B07-BA5D-7B1FE336ECD9","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":"Q1884875$A3AB5915-198D-44ED-AA01-1EF55CF782C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884875$591DF4C3-3CC3-43B4-A7A9-7F3F7CB93AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884875$64E9B578-84F3-4D23-87FE-143E97E3DF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884875$85A0BB8D-6EA0-4BDD-A9A5-D8E04FD49F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6ab0c67f0fc1937a83af2df3298d8f6d4392cec","datavalue":{"value":{"entity-type":"item","numeric-id":4783308,"id":"Q4783308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884875$70C7197D-5709-415C-8915-97FF82C8B283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c2d547dad9497cff14d8f3a13fa56b9339ab19","datavalue":{"value":{"entity-type":"item","numeric-id":2778818,"id":"Q2778818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884875$1C5F1650-B9CD-4853-8AF7-49B2012AF960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb90dcd108a99d8693c50bb8fe15cd9f1c30b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":4263866,"id":"Q4263866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884875$0E0CE13F-0279-44CD-81CE-D8B2C9627DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884875$0489CA94-4DE5-4E1F-AE52-847261CEE3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5027a74fb7d57ad80f47dd878bb8ca41a9aea01c","datavalue":{"value":{"entity-type":"item","numeric-id":4945241,"id":"Q4945241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884875$083F3B74-E6D9-455C-A45E-CC221EA11C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c9404f2812df07dbbcc40cd23192d14986d7be","datavalue":{"value":{"entity-type":"item","numeric-id":5958298,"id":"Q5958298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884875$CD9A1E75-9B2A-4E78-8D2A-28A8ADBD45DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8324a41917d673f847221adc6e49ee75ed1314f5","datavalue":{"value":{"entity-type":"item","numeric-id":4101795,"id":"Q4101795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884875$1030D793-36EC-4B28-B678-2DB17E96DB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb49d5ba8660e6f6ecb70d742d62a3c8fa7128ba","datavalue":{"value":{"entity-type":"item","numeric-id":1050334,"id":"Q1050334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884875$EA1F8D77-3886-4D6E-8B9F-94B40FBCE7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884875$6BF1AF89-EACB-455B-B050-95AB92FA2161","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63ff5bee7a169037359af0350aed2ad48d246cac","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(03)00405-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1884875$04C5BE6F-CDD6-44FE-A0E0-39FB9B9E5402","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"229fbaf71056eb179b0c64a7f4b077dd82ceec6c","datavalue":{"value":"W1483887233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884875$02C51FB8-6011-4A02-BD77-8C24FB7440DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10654a797e755a929ce8ce4359801811d18b971d","datavalue":{"value":{"entity-type":"item","numeric-id":4737181,"id":"Q4737181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b325ecd01da93e8b1e37541e828218e80c5b7528","datavalue":{"value":{"amount":"+0.9981436133384703","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":"Q1884875$1E44E090-07F5-4B6D-91A2-2B8577886B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9af113a5df10b1cebebd68c30d9d0d0279c260d6","datavalue":{"value":{"entity-type":"item","numeric-id":4945241,"id":"Q4945241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"779653ac3a20934760acdff3e566c9a32f6ad655","datavalue":{"value":{"amount":"+0.8119699358940125","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":"Q1884875$33F1CD99-ACE0-414F-8970-7A336C6D6BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3171ee36630d518d8f6810876da628d0673ca9","datavalue":{"value":{"entity-type":"item","numeric-id":1884886,"id":"Q1884886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b5b0e19a9fc79610f80fb38214bbf4dfddd005","datavalue":{"value":{"amount":"+0.7914840579032898","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":"Q1884875$4ECDB19D-D43F-4744-922E-33B30112C47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d0f2ccb74387ed1bcdf6f8a002b316aad8cadb","datavalue":{"value":{"entity-type":"item","numeric-id":4472465,"id":"Q4472465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774e9d224a9f0ffbdab27b536fce4bfb05128a50","datavalue":{"value":{"amount":"+0.7885907888412476","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":"Q1884875$560D2C0C-052E-48C5-8DE0-27788814A8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79349e54fbdb4db2bd214f5faaa4e0fb1e4e988e","datavalue":{"value":{"entity-type":"item","numeric-id":5958298,"id":"Q5958298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f28ae5d5740b05c2d775a54ce6fb2e381e64d71b","datavalue":{"value":{"amount":"+0.7851327061653137","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":"Q1884875$911C3376-E099-4740-A3F8-F4B058042B2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1884875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1884875"}}}}}