{"entities":{"Q809993":{"pageid":811841,"ns":120,"title":"Item:Q809993","lastrevid":64543932,"modified":"2026-04-11T20:36:41Z","type":"item","id":"Q809993","labels":{"en":{"language":"en","value":"Weak completeness of type assignment in \\(\\lambda\\)-calculus models: A generalization of Hindley's result"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4212003"}},"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":"Q809993$FE25745C-B1D0-4E35-854F-088D5C909A70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3c4c4dea4d756a12c0d0b86ca3cea5608dada5b","datavalue":{"value":{"text":"Weak completeness of type assignment in \\(\\lambda\\)-calculus models: A generalization of Hindley's result","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q809993$25F45A95-7A97-4625-8DCB-797958316166","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b5641bd820eb6ec51526d680ce5ed876877131c","datavalue":{"value":"0733.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809993$BD380901-5C77-482C-8BF3-D678121B0352","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5299ffd9fbd21b23c7a1e7f1301b1895e566bee","datavalue":{"value":"10.1016/0304-3975(91)90032-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809993$B1082E38-6313-45C3-8904-371ED46978C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809993$8FD3D2AD-DFC7-44EC-AB8A-D91BC7F42EDA","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":"Q809993$C5AACAF1-0D22-4071-9D5E-8E2E6A5E76BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q809993$C111B06E-B8EC-47D9-9E94-34B51FC70D53","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ccd8bc5a7e158228a29ecfcb1bc2db7e2c3ba3ed","datavalue":{"value":"Given a \\(\\lambda\\)-theory, \\([[X]]^ D\\) is an interpretation of a closed \\(\\lambda\\)-term X of the theory in a model D and \\([[]]_ v\\) is an interpretation mapping type schemes into subsets of D. The \\(\\lambda\\)- theory is said to be complete for a closed term X if \\((\\exists D)(\\forall v)\\{[[X]]^ D\\in [[\\alpha]]_ v\\}\\to \\vdash \\alpha X.\\) This property is known to hold for some but not for all closed terms X.    Hindley has suggested the following new notion: A \\(\\lambda\\)-theory is said to be weakly complete if for all closed terms X, \\((\\forall D)[(\\exists v)\\{[[X]]^ D\\in [[\\alpha]]_ v\\}\\to (\\exists M^*)([[M]]^ D=[[M^*]]^ D\\wedge \\vdash \\alpha M^*)].\\)    The author proves that all \\(\\lambda\\)-theories are weakly complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q809993$D7881C08-9EE9-46B3-8733-462B6114B378","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809993$2C22AA70-C1D7-49F3-824B-AFF9CB1D37CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809993$AD94C819-4D50-42D2-BDE6-80094BB40C7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46c2724a837a20a5a5705c4db9ae4160b8992593","datavalue":{"value":"4212003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809993$6DAD1003-DD83-4879-8353-899CD3EE1FAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q809993$C9FC73C8-833A-4850-AFCB-E27A6691B46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eee774cfd4fbf401a2e5f5530f3cea909e67429","datavalue":{"value":"weakly complete lambda-theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q809993$6DFB9DC3-6BC3-4591-8EF7-EDC9E304A1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q809993$D173E14D-11F1-4FA3-BC13-AD552F8A5F1B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809993$589767F2-DEBF-4ECF-9EA5-A9DDBAB6F4C6","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":"Q809993$D93E38E3-A2E7-4057-B5AA-1C535849BE08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa4f6773fb1d7dcfe9dddb68be9519eaeba7e70","datavalue":{"value":{"entity-type":"item","numeric-id":3206926,"id":"Q3206926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809993$839D18F7-D040-445C-B83D-7F54245ACB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809993$13368BC7-D4BC-4648-8D5A-163572BE0242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999a4418c35493fc3ba35f2f259ff320a3c8c62f","datavalue":{"value":{"entity-type":"item","numeric-id":792995,"id":"Q792995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809993$92769018-111A-4814-8E86-1A4BFE9B30C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809993$81595A15-23CD-427D-9986-8BBF7C184420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706432819f6cf16b1a37d307080a71755ef9cfa7","datavalue":{"value":{"entity-type":"item","numeric-id":1839242,"id":"Q1839242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809993$C7638F9A-9950-4486-B025-687EE84AF756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17695e225aa63c7d95318b417de6aa4b6f4f2367","datavalue":{"value":{"entity-type":"item","numeric-id":3661543,"id":"Q3661543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809993$BD3E8651-69FA-4101-8A36-4FC82DE26A0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4eef83f800e3fb3d1d44e3de432f63ff4e46fb6","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90032-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q809993$62F0E005-AF8F-43D0-9C38-6B4B975C413E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a4ad7bde5300d4abab643cf45fa0cd4f36546f1","datavalue":{"value":"W1992594006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809993$50BE41D3-AC6B-4E5C-815B-85E7F45AB03E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa9c0b85a7a042442c5e93b6c02fa881bc3b374","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e17c0378f6eb0692614aa0723ec2e7cd6f6e985","datavalue":{"value":{"amount":"+0.8222264051437378","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":"Q809993$37916D00-27A3-4429-B8A3-EC1C60C62BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ccfdd3859ab3f18d560c2ed51380f876991a6d6","datavalue":{"value":{"entity-type":"item","numeric-id":792995,"id":"Q792995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6fcbb31daf0c3106b2359467d273f8d4478d4d8","datavalue":{"value":{"amount":"+0.8203770518302917","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":"Q809993$2A5F2845-DE32-4BAE-B939-75835073556D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3f3700b0889a5df262e2fb0c29d495d333731b","datavalue":{"value":{"entity-type":"item","numeric-id":5704003,"id":"Q5704003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0372f35b74c9ec236f8fdd3935dc04675b74f6fe","datavalue":{"value":{"amount":"+0.7824430465698242","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":"Q809993$DF59563C-6E32-489B-807C-D78900831CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddcce6bdfc9d0d633b210e40c940274f3bb3978","datavalue":{"value":{"entity-type":"item","numeric-id":1981989,"id":"Q1981989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee8adfe1d30ed7b0360542bb3d07b184bd00c6da","datavalue":{"value":{"amount":"+0.7671878337860107","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":"Q809993$93247E92-CEB3-45CC-947D-1F0202C12B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dfceb6caafbfe2e4f796e40f246bc9f2311b224","datavalue":{"value":{"entity-type":"item","numeric-id":1089331,"id":"Q1089331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8821ed914ec86b12168bd94e07f54057db265a","datavalue":{"value":{"amount":"+0.7623722553253174","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":"Q809993$57FE357B-7260-4304-9FDC-A31D5A71EDF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak completeness of type assignment in \\(\\lambda\\)-calculus models: A generalization of Hindley's result","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weak_completeness_of_type_assignment_in_%5C(%5Clambda%5C)-calculus_models:_A_generalization_of_Hindley%27s_result"}}}}}