{"entities":{"Q5269002":{"pageid":7298577,"ns":120,"title":"Item:Q5269002","lastrevid":52829771,"modified":"2026-01-23T14:35:15Z","type":"item","id":"Q5269002","labels":{"en":{"language":"en","value":"The infinitary lambda calculus of the infinite eta B\u00f6hm trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6731040"}},"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":"Q5269002$52CEF19A-95DF-4323-9174-829AC675913F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"feee89c5bfd650ca7ca6f8ff8ec3568b27629c96","datavalue":{"value":{"text":"The infinitary lambda calculus of the infinite eta B\u00f6hm trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5269002$A15EAB70-1999-40C4-AE4A-C63697C83D3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a94a87c58437344ce488171e24d128b76a3fa61d","datavalue":{"value":"1371.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5269002$4425D473-D36D-4E6F-A8F4-635448BBCA6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80c96656a2b4e6e16b3cc6a9a54cd80d3412e52e","datavalue":{"value":"10.1017/S096012951500033X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5269002$30A0F0AF-31FA-4CB2-B23E-59C7F04879C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40c77c845fb94c505d2cfba0e9e71b55d375962f","datavalue":{"value":{"entity-type":"item","numeric-id":235596,"id":"Q235596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$051E220C-0FD6-4B28-A63F-7EC521A50AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"930ad2c9a29fb2b416d1cd3ed624b6b9cfe42908","datavalue":{"value":{"entity-type":"item","numeric-id":1840459,"id":"Q1840459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$035428BB-EB1F-456D-9D7D-6B0E5470F5C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$72838CBD-A9D8-4C31-90AB-E5973848789B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ddcf31b914fb89853eab25f40bb8eca88606da0","datavalue":{"value":{"time":"+2017-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5269002$87876205-64BE-4E02-BCB1-C5B2D4B42B2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5269002$B7C449B6-7F2D-41C0-9AA4-BCBABC245D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5269002$E79D51E4-250D-4854-BF31-054ACCB06A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5269002$7C837B63-D606-4F77-98A0-A10A836A021C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98e0a32784954e17e1c8abd71d1dcf17cfdf4928","datavalue":{"value":"6731040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5269002$7201BB28-2BAC-4EDE-8B49-D5D7B3F536A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"067d369d93cae122c4882895e84404690fbca194","datavalue":{"value":"infinitary lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5269002$CBC1387B-0629-43F4-AEA8-E4716DC3FC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3a2627dbeb9dd3fb7509d06469611e9c4a35390","datavalue":{"value":"infinite eta B\u00f6hm trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5269002$7765CEFD-4497-45FA-85D2-32409982B1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ced5665202ad838a2b26e5c07283bb70811d2155","datavalue":{"value":"models of lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5269002$FC15C0CB-81FE-4FAC-BA5D-1180A7F38FC7","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":"Q5269002$622DE192-8C9C-45A0-A234-4BB826B889EB","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":"Q5269002$D9CE8971-D362-48DB-AB31-FB59B1CDBD61","rank":"normal"}],"P223":[{"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":"Q5269002$55F743D4-6BA5-4567-9653-1761B837A653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b83c570bc0fa5f34151a69008a196fd7d52f05","datavalue":{"value":{"entity-type":"item","numeric-id":3900995,"id":"Q3900995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$E22E55A5-300E-428D-BF89-7C130F1D1BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e22932123c324b23cca1a5eaa4fe490d1792e0","datavalue":{"value":{"entity-type":"item","numeric-id":5958291,"id":"Q5958291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$D970B604-CD29-465E-9EC8-719C148ADE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$46B9FC0D-CFC4-48B8-A709-1202F3325F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebba86ed9edf4e56b67a148971a3ef285ab512b7","datavalue":{"value":{"entity-type":"item","numeric-id":4896520,"id":"Q4896520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$B1AA5E61-98CA-4731-B1D7-B3FF83FE8EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990108a31b9953b3f71220540ad95acb31d6907a","datavalue":{"value":{"entity-type":"item","numeric-id":1102936,"id":"Q1102936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$82DF61F9-6CB3-4EF1-A2FD-7B0DEBD92DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385e51d3dd08b614d58745a65be4aa4f330af157","datavalue":{"value":{"entity-type":"item","numeric-id":4101793,"id":"Q4101793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$44438768-395E-46AE-8448-C34389C466C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$461B93E9-AD71-4E9C-B139-2B93E7D4FDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba3460129c7b89fdf84f737e2b61ee4d23c2b0f8","datavalue":{"value":{"entity-type":"item","numeric-id":5055835,"id":"Q5055835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$02D7FE1B-577A-4B3A-BB85-5A575CAEE6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797a00330d9239dad7fe9082133bd59fee594505","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$86C9AD8A-4C04-4CE1-9C87-1EBDE0DD24E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a5e7f94427d670644e085b2be0d1c199024796","datavalue":{"value":{"entity-type":"item","numeric-id":1392145,"id":"Q1392145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$9BD8E636-CE31-44D4-A4C7-529EAA9CF29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a802643d47446f2ba0a2c18eb45ac08dd19cf51","datavalue":{"value":{"entity-type":"item","numeric-id":4259973,"id":"Q4259973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$EFB6B6BC-A978-4786-896B-C7D04EE1BCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388d6d8bedfb9883d2de8ce73620980a36e5e759","datavalue":{"value":{"entity-type":"item","numeric-id":1229201,"id":"Q1229201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$04ED4F8A-86F9-4711-8517-E8FFE6ACA027","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":"Q5269002$79C832D0-3704-4667-8105-6AD482862AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b73eb0b43cdfad05345e5b13521872ded05311d0","datavalue":{"value":{"entity-type":"item","numeric-id":4808745,"id":"Q4808745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$4A64C41E-064A-496A-BE66-975CE71BF2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b68766ee6abcbd2b5d18573427b34fb7d3feba46","datavalue":{"value":{"entity-type":"item","numeric-id":5704022,"id":"Q5704022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$B8364DFA-29A4-41F8-A28C-763495FA5018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dae145abd28e15d7b2e8325204a1056416d1def","datavalue":{"value":{"entity-type":"item","numeric-id":5389089,"id":"Q5389089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$9A0E4F60-B2D4-401D-A52C-3EB8231E0795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e84d5cd1fa03529e3607af0874c6d8e3d1a7bd","datavalue":{"value":{"entity-type":"item","numeric-id":2390300,"id":"Q2390300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$D5D5CC7C-39BA-43D2-97DA-F84BC5022B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269002$B978A93A-C1C9-43A3-95AF-72EFF38D7A64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff085738d9e92baad4f72d66a73b55982c562d15","datavalue":{"value":"https://doi.org/10.1017/s096012951500033x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5269002$CF3D06CA-E006-42B9-969C-E00E30D3FF33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7af58532fc3a827a62df6c2afcb0168bc6369211","datavalue":{"value":"W2230871873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5269002$33A00F9D-4518-4E81-8527-930DDDFFF568","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aee23b5ba0d2cd4a49fc9978e9a951047306791","datavalue":{"value":{"entity-type":"item","numeric-id":4808745,"id":"Q4808745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57825bd4432661eccc51e50dac5f7121091c615c","datavalue":{"value":{"amount":"+0.8707230687141418","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":"Q5269002$93BF369F-1769-4753-B57D-3FACF1233920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b00f7c522a703614e059b491fd76476df84017f","datavalue":{"value":{"entity-type":"item","numeric-id":1392145,"id":"Q1392145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b5f204eada2efafdcd38a0c9e274e360d65875","datavalue":{"value":{"amount":"+0.8327397704124451","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":"Q5269002$2DB6AF3E-FDB0-48DB-801E-978239471EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f4bce6b32b35f1c473e857424256fa73b73406","datavalue":{"value":{"entity-type":"item","numeric-id":5055835,"id":"Q5055835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c389d2a06dc3aa54958b2dc349a5cd21acc9c9a9","datavalue":{"value":{"amount":"+0.8255312442779541","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":"Q5269002$FAE7A8E8-1E57-40C7-BD49-FF4454769FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c54f25d47df7228b52148f328736208b9d6866","datavalue":{"value":{"entity-type":"item","numeric-id":1598516,"id":"Q1598516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e802873b23de88f7b442af5fab570d0d7aff720e","datavalue":{"value":{"amount":"+0.8001381754875183","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":"Q5269002$CD211277-DDB0-413B-A832-C4A5AE773171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5573a1d877814be0ccc12a0eedfa0dbf15bd8ef6","datavalue":{"value":{"entity-type":"item","numeric-id":4834480,"id":"Q4834480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f81cb80ab660620af1cfebfff2178652cea8ff","datavalue":{"value":{"amount":"+0.799747884273529","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":"Q5269002$D14764A5-93FC-4827-9D43-39CA8675237C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5269002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5269002"}}}}}