{"entities":{"Q4254697":{"pageid":6284298,"ns":120,"title":"Item:Q4254697","lastrevid":46677705,"modified":"2025-12-25T09:31:06Z","type":"item","id":"Q4254697","labels":{"en":{"language":"en","value":"The interpretation of unsolvable <i>\u03bb</i>-terms in models of untyped <i>\u03bb</i>-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310810"}},"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":"Q4254697$15F27A66-B8C8-45B2-8188-8F488DB7AFAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d810a4cacc2fc04e3c56f59c2ba14b8f4b2e0d89","datavalue":{"value":{"text":"The interpretation of unsolvable <i>\u03bb</i>-terms in models of untyped <i>\u03bb</i>-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4254697$A6CB7054-F785-4F85-8F2E-F5437D7FF58B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae62be8ed194991504ed1c2aa73e01101f6cbdb4","datavalue":{"value":"0930.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254697$96B5603D-5ADC-4CA5-AE36-010D66F42BC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"237907a0caee106103814adeceac4d22f760e532","datavalue":{"value":"10.2307/2586665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254697$1BA22839-7E17-439E-A72D-A3184FFB438B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"201ddb3ef9ba2b1e09d8c8b0d7f7d7a4deb45f0a","datavalue":{"value":{"entity-type":"item","numeric-id":236443,"id":"Q236443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254697$DA205C5D-6EB2-41E9-9838-CB5EAF4AF1D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254697$9272698B-4991-46ED-83A4-219C611DBC3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5bfa12347d4716af416e8493dcfe0d9b94cba5","datavalue":{"value":{"time":"+2000-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4254697$D689675D-0675-4BE7-ACC0-83C423620F1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254697$8AC9EED9-2228-4143-88C1-4A29571C4854","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da9e95967ff534fe6c5e27b79642bb8416ed8e05","datavalue":{"value":"1310810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254697$0729BB43-50C1-4AEE-A07A-C9D9C816B11F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd7dc99f10bba39d32822424311079a580afc514","datavalue":{"value":"interpretation of unsolvable \\(\\lambda\\)-terms in a given model of \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254697$8EF23BC3-8025-4108-9460-40F6798F6C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34fcb20407e5aee7b9f13cfbd3373f68d968dfab","datavalue":{"value":"graph models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254697$4BCB4C7F-5981-49CC-BFFF-9184FA3F68D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254697$E4670A34-CA13-4E3B-9BAF-6355D4596A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d87312bdb0c94cb7463d3632e4fb2e49a300182","datavalue":{"value":"decoration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254697$5086D9FE-CDC1-48ED-B789-4DE608E02129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a25846f0cdb44f5a3685bd5bf004a5c4e41f89","datavalue":{"value":"critical sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254697$410CDE88-E3CB-4DFC-AC63-809326A88A68","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":"Q4254697$A18013B8-BAE7-413B-B77D-98DCEDC2ACBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43bbd869435ec0bd0bfd393c0d15c3dbc6496d7e","datavalue":{"value":"https://doi.org/10.2307/2586665","type":"string"},"datatype":"url"},"type":"statement","id":"Q4254697$3AD35D6D-12E2-45D7-831C-E909C1C9821E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5c50d6aa51dccd22a280a38b6f663918e118e0f","datavalue":{"value":"W1498846607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254697$A7810CC5-920D-4317-A4D2-B7316856281E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ae43f93fd7654342456e10d2e58a80da316a09","datavalue":{"value":{"entity-type":"item","numeric-id":4193435,"id":"Q4193435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254697$83ED831B-D255-4033-A650-A6AA4EAA2D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a946d393eaba17b2489f9c72b865aa3a82d6f7","datavalue":{"value":{"entity-type":"item","numeric-id":3900018,"id":"Q3900018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254697$C2B58A67-1AFE-405B-AD7E-7FFE80C313FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254697$BF4DD588-AACC-4081-9243-8650A43790B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"793537b40e35a4601ea9ee225d2ec2d162d6b4e9","datavalue":{"value":{"entity-type":"item","numeric-id":1162534,"id":"Q1162534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254697$88BCEA14-F593-443B-8B82-F37460F874C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed53823d817192b4d96d4668449095e3a41e54d","datavalue":{"value":{"entity-type":"item","numeric-id":4764617,"id":"Q4764617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254697$B65C9E7A-046D-43D1-91D7-D59DFF4AE0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7e43f784716a014f37546d3a4d6870aa0b11fe","datavalue":{"value":{"entity-type":"item","numeric-id":4744243,"id":"Q4744243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254697$75A46339-99D5-4FC2-879A-B56A5BBBD76D","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":"Q4254697$7D2E74C0-9AB2-4F45-9671-95F75B2C6623","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":"Q4254697$53557527-7FAF-41E4-91F9-47F798CF1B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d857b76069b4262b1e49c8d71e9d936817db9a4","datavalue":{"value":{"entity-type":"item","numeric-id":1580649,"id":"Q1580649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254697$88F54B53-E2EB-46C8-ADD2-08DFEFB44F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275e60b67d8e0098a021d3b0b6f886f17d528e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1198661,"id":"Q1198661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254697$27D86A7D-2635-4030-9CCE-F8631272405A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254697$D92C7C62-E048-43FE-956D-F430FF16FA8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6653c2484472fb5b617ac1899bf28316ff8c9bb1","datavalue":{"value":{"entity-type":"item","numeric-id":4896520,"id":"Q4896520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eb9f05f6d46ed43907c2b47b6f306d339eff59c","datavalue":{"value":{"amount":"+0.7834575176239014","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":"Q4254697$BD0F190D-E4A0-4F77-B8C0-96BF7A14978F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eaed0248b48e96a7568a92b16305333806719d7","datavalue":{"value":{"entity-type":"item","numeric-id":3535680,"id":"Q3535680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c04ba3221efe0f9c9e35febcb692e172008651df","datavalue":{"value":{"amount":"+0.7746272087097168","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":"Q4254697$41827DC3-B537-4DD2-86E7-01CC19EB4D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"446814a33dbdc4e19a1036082dc3ff1e6debb6cd","datavalue":{"value":{"entity-type":"item","numeric-id":3309806,"id":"Q3309806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e5d1c0ed47aacbda91e00ef6aeeaa00dcedb49","datavalue":{"value":{"amount":"+0.7728559374809265","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":"Q4254697$F0785CAC-22BC-4B23-8488-E86C59C11CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5096051ec20ac867655c8ecadc3f9d33edc4fec1","datavalue":{"value":{"entity-type":"item","numeric-id":5958611,"id":"Q5958611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ae43df634af6de7a282d57c166a4534f5c6b42","datavalue":{"value":{"amount":"+0.7719164490699768","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":"Q4254697$AE46B027-6180-40B2-BD2F-F3130B4A0F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e967a0844032208c812c6af595f22ba3bbcb523a","datavalue":{"value":{"entity-type":"item","numeric-id":3608418,"id":"Q3608418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26f776f80940bcc53b5f2c294c0aa0640c384e5c","datavalue":{"value":{"amount":"+0.7704671025276184","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":"Q4254697$338D0750-7C10-47AA-B66B-2348A18EF62A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4254697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4254697"}}}}}