{"entities":{"Q5419488":{"pageid":7449062,"ns":120,"title":"Item:Q5419488","lastrevid":58566798,"modified":"2026-04-05T19:07:01Z","type":"item","id":"Q5419488","labels":{"en":{"language":"en","value":"Discriminating lambda-terms using clocked B\u00f6hm trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6302291"}},"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":"Q5419488$11BABE4E-F280-4723-9EAE-68F5D7E8C619","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32887c0bedf087a30a340cdd639931fbbdca0b9e","datavalue":{"value":{"text":"Discriminating Lambda-Terms Using Clocked Boehm Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5419488$864CD171-D5C7-48A3-832A-1BBC9AEEDFEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4ab58c798202cc8f16dcc705660bb71e0b26249","datavalue":{"value":"1315.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419488$7E3B45F5-10DB-4132-A60F-F626062FCF57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1974f0d0411ebfc4187c2f7b5fbb05058a015df","datavalue":{"value":"10.2168/LMCS-10(2:4)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419488$86CC93B2-1031-4F5F-B3BD-E4C880DE8535","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fca1c19bbfb0afe27e2894d7aa8bc5bfdf949d86","datavalue":{"value":{"entity-type":"item","numeric-id":549183,"id":"Q549183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419488$C609CB2C-C87E-4E50-815D-263D993C3D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ca9aba1d27cc0a527c5e55e40b675c206cdc1e1","datavalue":{"value":{"entity-type":"item","numeric-id":549187,"id":"Q549187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419488$71D91CD8-FB0C-46A6-9957-E0A690A74D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419488$17171C0F-E1FB-4222-AE06-68805198E339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75cfcd3b65fca9dabfe6a7a0d6f510ecbd180120","datavalue":{"value":{"entity-type":"item","numeric-id":2200832,"id":"Q2200832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419488$65BC770D-03AE-4FE0-BBC7-5E9A70317275","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":"Q5419488$B39B7814-BCF7-45F2-86FC-DCB2E600AF23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7deb189b65cc3fc27b859d71d92363347a0068f0","datavalue":{"value":{"time":"+2014-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5419488$220C3F6B-B8F9-49D3-A9A9-91EE8E8D7BC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68e8624bed523658c7fae944264f14f645fc905f","datavalue":{"value":"https://arxiv.org/abs/1212.0401","type":"string"},"datatype":"url"},"type":"statement","id":"Q5419488$133599D6-3F0F-4E6C-B31C-6B017E7E8D76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419488$DCC4258A-E80E-46F8-A310-E5C7758C5702","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4edd6d0975522a719b819d2ad1bcac273c74c934","datavalue":{"value":"6302291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419488$E3F536C1-9C05-458C-8773-8E1D72E19310","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7e4e0aab34b90f212668a621a76f4a248642b6","datavalue":{"value":"\\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419488$79A5E60E-EA88-4154-A541-E2EAA248BB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8442a7a4aa9bde166792df560549f38929af659e","datavalue":{"value":"B\u00f6hm trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419488$0C9C9490-9C65-4D02-9E00-3959234752C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"989e448ea298882c0a795e1a9a4e5f75487e2969","datavalue":{"value":"\\(\\beta \\)-inconvertibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419488$0BE51FD5-2F25-496B-A544-DD4EA243BB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7215d9b2d82a4024eecf2459710d747574a5faf3","datavalue":{"value":"fixed-point combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419488$23F301D4-4455-443B-A133-05CB5E05C32F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419488$7F4E3A4A-711A-4FB7-98B9-360294E460CE","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":"Q5419488$9924E0FE-9F8C-4009-A82C-F26B2D654311","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f57a597fcc35f1bc848f5587526200d3fac50f87","datavalue":{"value":"W1990388677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419488$0CF2FCE1-88BB-43B4-AA4B-17F44589DACD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76f3188988f8fee381cbe1d4a808a45cb540b44f","datavalue":{"value":{"entity-type":"item","numeric-id":5269007,"id":"Q5269007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"296144f195cf857fb9cafeb0da91434f42f75854","datavalue":{"value":{"amount":"+0.938685655593872","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":"Q5419488$E736676A-EFAB-4459-813C-47143FB3A56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cec768692d106a17556ab1e405f9fabbab9e17dc","datavalue":{"value":{"entity-type":"item","numeric-id":1854269,"id":"Q1854269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5024b7117a7cbc43ce6e15be6d571588720ed25e","datavalue":{"value":{"amount":"+0.8767874240875244","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":"Q5419488$3F3897E5-8A26-4658-B4F5-5FDCD0098AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9bb7f65a93935108fd65ca9296b4bd73e8924a","datavalue":{"value":{"entity-type":"item","numeric-id":1874272,"id":"Q1874272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e40f0da7aa68f27bff96f9ac7f40217c1a97652d","datavalue":{"value":{"amount":"+0.7573748230934143","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":"Q5419488$0E31B19C-A216-40E1-B861-DD0EFCF0F924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c41eb452518330ca9fd845d88bcebd07774a30f","datavalue":{"value":{"entity-type":"item","numeric-id":1929230,"id":"Q1929230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f017e0bd35db3092a0347f5d9ecece1006ef1bca","datavalue":{"value":{"amount":"+0.7492366433143616","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":"Q5419488$4C73F3E4-2ECF-4535-9702-A1C9D87C3230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f64a0b6ad0bb1fd8f579307e0a4c6d1c34eba02d","datavalue":{"value":{"entity-type":"item","numeric-id":2708318,"id":"Q2708318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3270fd009a2b21be64ce57acac4766b2b3cb900","datavalue":{"value":{"amount":"+0.7467159628868103","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":"Q5419488$AC791EC1-4E4B-4B2B-8BEB-7A949EB55FEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5419488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5419488"}}}}}