{"entities":{"Q2729668":{"pageid":2740407,"ns":120,"title":"Item:Q2729668","lastrevid":82954649,"modified":"2026-05-06T22:32:22Z","type":"item","id":"Q2729668","labels":{"en":{"language":"en","value":"Nonmodularity results for lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623190"}},"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":"Q2729668$2A2B2EE9-7E00-4272-8938-8A0B71B772E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1ab37d7f48e1ebda12c742ac07df725f6949a7b","datavalue":{"value":"0981.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729668$8E328EE7-C6C6-4305-97E4-A685FF827ED6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eda994ce54674f95a066f6d30cc466b0f4ae3187","datavalue":{"value":{"time":"+2002-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2729668$9A91D6D4-F22A-46B9-A493-F28B6731544A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729668$631D9B66-A46E-47D2-B4E0-F5452B877D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729668$E8FD0AE6-0E91-43F9-B7FB-38DD40B789BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c181700a45b43a39a16d6527b3b66e6c85942742","datavalue":{"value":"1623190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729668$D3863736-4C38-4521-8240-B4FC8DEC90AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729668$5839F31F-4D0F-41DE-8DA4-19C0988CA2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a244417629cae43885a1dc06845ea4d0233ca906","datavalue":{"value":"lambda abstraction algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729668$7C84E803-1672-4D08-8B49-7042149ED8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7905c5703e19d29b46e130a724ca1f90963325b6","datavalue":{"value":"combinatory algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729668$26A51307-F8C2-4130-BC44-30D32BF4B5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e17416968c7e74977e81b4d5e804318219428546","datavalue":{"value":"lattice of lambda theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729668$67EA515A-A080-46DF-B905-DD5E8731D912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729668$71831CC6-E54B-47DB-AD6E-E42A8B870C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"524b83579c40a94e2b229635fd081b50d10399f9","datavalue":{"value":"commutator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729668$F994D5C7-369F-446A-B471-49889E5765E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e73a6f6ccb7e8687faa022e777bcbb77b1f201","datavalue":{"value":{"entity-type":"item","numeric-id":353353,"id":"Q353353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729668$B1B9A0CB-0B1E-4DB8-AA6C-8AB2BA4BECB6","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":"Q2729668$07BE5FF7-D40D-4663-86AC-4B08649C5968","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0c1fb9e9faf442b00d73c7d597ffd692849bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1765154,"id":"Q1765154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f471a9fc635c359ad0e22d286ec45f9cd5bf12b","datavalue":{"value":{"amount":"+0.9080013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2729668$49A603B8-1C24-4532-8CDE-9E479DDBE666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f536895003c10dac6aac53c6b63d3c3307f81ab","datavalue":{"value":{"entity-type":"item","numeric-id":2508325,"id":"Q2508325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71223b63908ac8c23891faf7f7b93f3247a15438","datavalue":{"value":{"amount":"+0.9000188","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2729668$EC4A3F0E-D43D-4D41-9392-6A5E852A1F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5178de57625deeef6f421d0d43375c1cd7d0cd81","datavalue":{"value":{"entity-type":"item","numeric-id":4571956,"id":"Q4571956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f2e25b75387692cfd710a9777efe13e24add09f","datavalue":{"value":{"amount":"+0.8941536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2729668$0C9986E7-6B9A-4AAF-B8CC-7EBE9017F719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ff29876ae102971db922133f7b62936126803e5","datavalue":{"value":{"entity-type":"item","numeric-id":3564882,"id":"Q3564882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ecd8e0a61489b1fdca4ac17c031da636d3ae0e","datavalue":{"value":{"amount":"+0.89287966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2729668$31472164-6DD5-49FB-9D55-1252F14EB383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11211ac4a3b105cb0af75b9eaea63a481a76be1","datavalue":{"value":{"entity-type":"item","numeric-id":1378432,"id":"Q1378432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b4b843a6e557a0dcae0c9ca0c4417f2e29ebe6c","datavalue":{"value":{"amount":"+0.89232254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2729668$55037506-D1A8-4303-918C-0D368FBCB44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c38571844db0226fc18191403d632e8335324b3","datavalue":{"value":{"entity-type":"item","numeric-id":1069922,"id":"Q1069922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19657fc2fbc5d3620bedc72fe3d6b176cc8a2176","datavalue":{"value":{"amount":"+0.89175564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2729668$56863E9A-03D3-4FAE-BD32-FD2A53C4AB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4710ab823047963dca88071ab76a8a2caaf6530","datavalue":{"value":{"entity-type":"item","numeric-id":3553919,"id":"Q3553919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3992713d3e6dfe5427440c2554265e83c3deb2","datavalue":{"value":{"amount":"+0.89134425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2729668$8949EF94-0907-4906-A268-2758BDC54F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a5cd07706262dcb1f67c7563cca109a1116a8e3","datavalue":{"value":{"entity-type":"item","numeric-id":1583488,"id":"Q1583488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2102e2f382074f321cfd76eb83c865aff255a082","datavalue":{"value":{"amount":"+0.88822895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2729668$46C76367-3476-4863-8316-55A381422D08","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":"54ec5b7c81818b400ec8b7c2829a39cefb624864","datavalue":{"value":{"amount":"+0.88746214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2729668$7E5C7972-3812-4F16-8B23-F70768853BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0234589f2ebd950feb0efa0de76dafdbbee659d1","datavalue":{"value":{"entity-type":"item","numeric-id":4506397,"id":"Q4506397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95cb1ebe738f2e13673d516657a7ba6e8575f620","datavalue":{"value":{"amount":"+0.88625634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2729668$2BE2AF08-9610-49C0-9D6F-79A06D9CD90A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6301b56823e7cfde86b451a4c210adafdf4c85da","datavalue":{"value":{"text":"Nonmodularity results for lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2729668$EB95D19C-1BCB-48A4-B459-4DB50818446B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729668$D7F92061-524B-4503-B878-215FD3CF85DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7ae0b94c0fa589ed8992c84bb65d0d6bce79d048","datavalue":{"value":"A \\(\\lambda\\)-theory is a set of equations involving closed \\(\\lambda\\)-terms which is consistent and closed under the postulates of the \\(\\lambda\\)-calculus. \\(\\lambda\\)-theories form a lattice which, as the author has shown previously, is the congruence lattice of the term algebra of the least \\(\\lambda\\)-theory \\(\\lambda\\beta \\). This term algebra generates the variety LAA of all lambda abstraction algebras. (These are purely algebraic theories of untyped lambda calculus.) In this paper the author shows that the lattice of \\(\\lambda\\)-theories is not modular and that the variety created by the term algebra of a semisensible \\(\\lambda\\)-theory (one where no solvable and unsolvable term are equated) is not congruence modular. Also he shows that the Mal'tsev condition for congruence modularity is inconsistent with the lambda theory generated by equating all unsolvable \\(\\lambda\\)-terms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729668$81ED252D-4601-455E-9482-99CA9581B9BE","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":"Q2729668$FECBF093-E9A9-4284-A9DC-1220A1976A0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nonmodularity results for lambda calculus","badges":[]}}}}}