{"entities":{"Q1392145":{"pageid":1402885,"ns":120,"title":"Item:Q1392145","lastrevid":46565424,"modified":"2025-12-25T01:17:11Z","type":"item","id":"Q1392145","labels":{"en":{"language":"en","value":"Infinitary lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1178781"}},"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":"Q1392145$F22D49F1-6964-47BC-842F-32DD1E3D4B21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f39f21f0ce5f9111a297cdfdc01541bbe72d219","datavalue":{"value":{"text":"Infinitary lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1392145$5C074B24-B384-4ECD-827B-133339D30C89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48b5862badae1cef2c4a831a3e75e2cd534774e0","datavalue":{"value":"0903.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392145$722CB870-9889-4BD4-BFE5-A4D8FBC70C32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c51b4b19413aa4d9f17d15de8fbe6401f5a4f8cb","datavalue":{"value":"10.1016/S0304-3975(96)00171-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392145$E38E15C9-4F51-4E03-B815-3090168AA7FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8a0f83b3a96f90d2c59dc38ce677f7e865be720","datavalue":{"value":{"entity-type":"item","numeric-id":1090669,"id":"Q1090669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392145$55868E7C-FA3C-4C8B-82B5-22F4DA82F2C5","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":"Q1392145$05E25634-C60F-4E38-AF21-97CA6B8B72A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca26fc215e519c9f5e5fec9062509fdc8c55ca7f","datavalue":{"value":{"entity-type":"item","numeric-id":1090670,"id":"Q1090670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392145$713ED8B4-CB18-4DBE-8B64-D95E3B6AC5C3","rank":"normal"},{"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":"Q1392145$38F83A42-5C48-45C5-AC23-6F5124B04E63","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":"Q1392145$CD1787AE-DC73-48FC-9C5C-03D88E9054AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d96c2cb4969d738c6643f0931d5feea9b1bc9e9","datavalue":{"value":{"time":"+1998-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1392145$85F73C51-5874-4065-9197-DC26BE6434A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392145$6333F148-F054-4820-AB1D-D4692B95B398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392145$56AD0CE2-F37D-4087-AED5-10642D04487E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5ac0056741849a6b00f3ccd65dfe1bb3debce99","datavalue":{"value":"1178781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392145$AD3030E1-54A5-4ED4-8891-CB9DAEBC452E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41192cfaa4bba4b0624ca9e02e59d3b85d54ad66","datavalue":{"value":"orthogonal term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1392145$1E9630D9-E0A6-4273-B2A7-5D653929C5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1392145$0C0358E8-3B66-4FDB-8907-1BE9A04B4BF0","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":"Q1392145$1EE7C981-897A-456C-84F5-7060E4171457","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":"Q1392145$F3B7EAFB-709F-4C76-8DAB-5063ADE9A82E","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":"Q1392145$CF5BB305-8D4B-432D-A37D-95FE0821FA96","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":"Q1392145$ED4C7EFF-70AC-48DC-AD91-88E8D270AB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224e4ef503881d3b157f8b295ac880fcf8bc9b10","datavalue":{"value":{"entity-type":"item","numeric-id":3837724,"id":"Q3837724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392145$EAEB6FC2-79EA-4684-B73F-BC5F80B0CEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1efcb10215b3618d498e2cb6f759645b8d93a3b","datavalue":{"value":{"entity-type":"item","numeric-id":5287527,"id":"Q5287527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392145$63A8DF7F-B78C-4FFD-A2E7-4DFEE9CC828A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7962d1820153a6357b92c54b2777c99d450762","datavalue":{"value":{"entity-type":"item","numeric-id":1825644,"id":"Q1825644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392145$E3AC5F23-D943-4120-954B-C99F02E492A6","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":"Q1392145$CEC56D7A-1F6F-44B6-B64E-F5AE876E118A","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":"Q1392145$F7ED3D0A-9079-4054-A0E1-5824559AFD17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28b437a0a208e947218c244b9988f92ea51b5aa7","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(96)00171-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1392145$BDBC0DBD-5A89-479E-AC80-4082FAA66DD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6e62e59bd46f5282c6bc654a2b3b0884ba2ffe5","datavalue":{"value":"W1968168625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392145$ADC30AD1-7F35-43F3-898D-F06F2D059526","rank":"normal"}],"P1643":[{"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":"f156b6865392af8abfa9819fdabffdd5f51bd0b6","datavalue":{"value":{"amount":"+0.9512357115745544","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":"Q1392145$D3A66EE6-A67A-4D19-82E4-6BB8173E78EF","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":"436d733a426eadb9643cc2b3709be38d5b597a31","datavalue":{"value":{"amount":"+0.9215711951255798","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":"Q1392145$554E7E4A-6BBC-427A-9CAB-6F564B1E0202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b0161e8fae7dbb8e64397139e77536b7c0df96","datavalue":{"value":{"entity-type":"item","numeric-id":5269002,"id":"Q5269002"},"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":"Q1392145$D9929B12-D60F-401C-8F3E-1CF8EE7D9641","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":"1f2c5ed967f00df60741b732990f92b7d11dfa8e","datavalue":{"value":{"amount":"+0.8233954906463623","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":"Q1392145$3E857626-3B04-4E51-8CFC-77438D87B93F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1392145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1392145"}}}}}