{"entities":{"Q5145369":{"pageid":7174940,"ns":120,"title":"Item:Q5145369","lastrevid":58448928,"modified":"2026-04-05T06:42:03Z","type":"item","id":"Q5145369","labels":{"en":{"language":"en","value":"Every \\(\\lambda \\)-term is meaningful for the infinitary relational model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298815"}},"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":"Q5145369$13685CF2-535F-43DC-A7A7-F2E6C87AB4FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"791c7bbe503966435e467152254b62b00997922a","datavalue":{"value":{"text":"Every \u03bb-Term is Meaningful for the Infinitary Relational Model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145369$B5DF4682-D3D7-4AB4-802F-8E11A639792A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ff4826a1ecc2c6de5ba59e1ddbdd8c6f8b57440","datavalue":{"value":"1453.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145369$8CEAC5BB-E59D-4D88-820F-3F69ADE264BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bed99bcf99e9ba873fbb68e33b81eb43451b9193","datavalue":{"value":"10.1145/3209108.3209133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145369$6596DB8E-0DE2-4B6E-97D0-774E110ACE58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a62344981e430f17fd2fa45692ae95cb27cf497a","datavalue":{"value":{"entity-type":"item","numeric-id":1317203,"id":"Q1317203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145369$1DC78D78-AD44-41A1-9EEA-48611FF43FE7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145369$416C3068-ADCD-4439-AD85-07B503926D77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145369$DC3D48A9-EBC9-4E6D-89D3-153D41ED193A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b1569535b393d3e4fa28a2e93e36cf22c7a24d2","datavalue":{"value":"https://arxiv.org/abs/1612.06740","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145369$CBF9F6E9-5D52-4B70-A624-1B36C9331B89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145369$D0442356-DF7B-4246-AD8F-AD9DACB1B368","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a4d7d3a2d59751504b08c761aab0d7213b3c49f","datavalue":{"value":"7298815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145369$1BBCCACD-20A3-437C-AA0B-21743C744898","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c441b3dee73de3d269547b272c1f7cdc085a924","datavalue":{"value":"Curry-Howard","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145369$950C6D87-A123-4DE1-A4C1-689198D40BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aec078788f97936bc6f63bf4e3ce60ecba5c3dd","datavalue":{"value":"coinductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145369$FAC2358A-DCE4-474E-B80A-D596F78DD9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa0fa90f074c8b304d9c9ab0c0e7a0ce9ac0c31d","datavalue":{"value":"non-productive reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145369$B046760C-02F0-4572-8614-4E004AC9DBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a26c619f3c34107172c32ab1d29a17af19378d","datavalue":{"value":"order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145369$53F18549-8431-48A9-B547-EB0B3824A659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0ab382b35cea6f1ba25e17a87a5df2f3126a69","datavalue":{"value":"relational model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145369$FC839744-07E2-4D88-862A-344A96B5E7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02dfb7c0904bced22a8c7c8e444c7649053db689","datavalue":{"value":"sequence types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145369$4E81BB59-3413-442E-98B7-D500B3301F4A","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":"Q5145369$CB75B08C-72EE-43A1-ACE3-EA6AC66D5160","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca21af4e302c5478dce1dea64b3bf5b813f32b73","datavalue":{"value":"W2799073568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145369$53B49C49-331B-4753-945C-7C650E29A611","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab1008699d7de7760144339951de376adc7a51a","datavalue":{"value":{"entity-type":"item","numeric-id":1275621,"id":"Q1275621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb1db922679d52bc98e585194bf67d0caf15f6a","datavalue":{"value":{"amount":"+0.7905892729759216","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":"Q5145369$7E839AE3-28B2-4866-B408-893D5CD9E49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613681e0d19116b2c4f21ce3a48a98dc729429bb","datavalue":{"value":{"entity-type":"item","numeric-id":1887155,"id":"Q1887155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd599c6de334b7f3418c719a502f363fda979a7","datavalue":{"value":{"amount":"+0.7671473622322083","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":"Q5145369$F5FC6F2D-7F06-4517-AD7D-AE5C9F63BE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5fc31d95a19ea4b7e9381f8114b5f3b4c9d220","datavalue":{"value":{"entity-type":"item","numeric-id":5714453,"id":"Q5714453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d14fd8a458fa0679230601fe37de589f24d6e255","datavalue":{"value":{"amount":"+0.7418368458747864","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":"Q5145369$6AA7F692-6392-4799-BE68-3A55228019C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c826de7244eabb82d73aa5a8d736df3125fa8c","datavalue":{"value":{"entity-type":"item","numeric-id":5144650,"id":"Q5144650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4689be14676eec43d8802c8f7f863a8ffdf1da","datavalue":{"value":{"amount":"+0.7277302742004395","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":"Q5145369$61DCA08D-A3C9-4E54-ADD9-BC11C5037631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa8de3da92070fd91124538692ee8d7e46454b62","datavalue":{"value":{"entity-type":"item","numeric-id":1102936,"id":"Q1102936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6e676ea161723d4ed0439c5acb526d9ddadeb3","datavalue":{"value":{"amount":"+0.7173110842704773","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":"Q5145369$52383E8D-E31C-456C-A097-3D8C46E47D31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145369","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145369"}}}}}