{"entities":{"Q4820472":{"pageid":6850052,"ns":120,"title":"Item:Q4820472","lastrevid":74726145,"modified":"2026-04-15T00:03:37Z","type":"item","id":"Q4820472","labels":{"en":{"language":"en","value":"The Lattice of Lambda Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2108062"}},"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":"Q4820472$A76F7A39-0258-4F89-98B5-92E4CF717BDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76d3dc320e41056ffe47badc8f690bcb7eb435a2","datavalue":{"value":{"text":"The Lattice of Lambda Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4820472$28F06479-EC6C-47F1-AE25-91DE75CCCC3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90cca866734378cafdff3bc0dc20fc1408f704c4","datavalue":{"value":"1057.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820472$38E19F8A-4A96-4C20-B843-6A9488A7536C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18c9dc05e0d2a69a66c186b30b333d120b72d949","datavalue":{"value":{"entity-type":"item","numeric-id":1434347,"id":"Q1434347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4820472$4B527C5D-80AC-4D92-814D-7FC8BCA1B90A","rank":"normal"},{"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":"Q4820472$0EF3B047-8D8F-4B36-BEF4-38816639DD5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7d89478774456ded62a19904fc3ea510aad4b87","datavalue":{"value":{"time":"+2004-10-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":"Q4820472$4781D6B1-7B6A-4870-B7B3-4C16A9875329","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820472$A17E69A9-1AFF-4781-9522-ED7973B31694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820472$18301B9D-6CA9-4647-9A1E-81395CE9DCDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42b37c5c3936b8ac070dac6d46e708d2462ab139","datavalue":{"value":"2108062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820472$2BC87646-8BC0-4183-8F79-A9F7A965EF25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fdb9b03a7d37d2ccdef21b8e014103f72e6ea14","datavalue":{"value":"equational extensions of untyped lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820472$0C224B8B-F800-4B87-83C7-73E4FE8AD0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81fa63365620a1d7e2c01d582601f57bf1091eab","datavalue":{"value":"lattice identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820472$1DDB98EB-7D07-4A89-AE5B-BB3506E153EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"524b83579c40a94e2b229635fd081b50d10399f9","datavalue":{"value":"commutator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820472$DFD17CFA-407F-4DB6-9064-8C047AF37B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a244417629cae43885a1dc06845ea4d0233ca906","datavalue":{"value":"lambda abstraction algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820472$FB850234-CC5B-4AC3-A335-EB3875E73D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e17416968c7e74977e81b4d5e804318219428546","datavalue":{"value":"lattice of lambda theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820472$275705B0-BC9E-4634-BE00-95349086A968","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":"Q4820472$7D0CFC32-59E1-4A48-B239-2199390E4FF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4dae56c34d076074f8fb3e6868a09c6c845cd45","datavalue":{"value":"https://doi.org/10.1093/logcom/14.3.373","type":"string"},"datatype":"url"},"type":"statement","id":"Q4820472$39E1C299-F6F9-4B50-AB49-54C1BEB213E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df26df2c163355ec4a6a41ce1c47942d26734fb6","datavalue":{"value":"W2090981365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820472$BEEC4A4B-B01F-47D8-976A-F0B50980984A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ffcefdd30d819283766af6777bf87c0adca71cd","datavalue":{"value":"10.1093/LOGCOM/14.3.373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820472$EFBC2F50-F06E-4610-AB47-2620C6EAA91B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4820472$A63613D5-BABB-4FF4-BDFC-F29BE0C63384","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03af0ef1b71f5ea9d8e78f9c93a51ade97b04bf9","datavalue":{"value":{"entity-type":"item","numeric-id":2729668,"id":"Q2729668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f99af7acc28568e8ec0084becb11314eba87194e","datavalue":{"value":{"amount":"+0.8363622426986694","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":"Q4820472$9D148559-A8EF-446F-91D4-AF71734D7F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedbd5c9c035246153682ebe858d04ef00a1541d","datavalue":{"value":{"entity-type":"item","numeric-id":3599151,"id":"Q3599151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14f1af00a88fe3725647b5dc2661eb9ff9601b3","datavalue":{"value":{"amount":"+0.8078019022941589","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":"Q4820472$EF9838E3-5992-46FC-8DD9-7052BE1B5BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b777ec978d26d3babb39bdba94d11b1e495384e4","datavalue":{"value":{"entity-type":"item","numeric-id":3583100,"id":"Q3583100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a7ca7328d5f6130f5aa2782c3dac1f636ef8c8","datavalue":{"value":{"amount":"+0.7984098792076111","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":"Q4820472$D986FDC8-599B-48DE-95B7-DCBFE31D318B","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":"eb70a27c53e63cbec95ef4edc24972ec32c09867","datavalue":{"value":{"amount":"+0.7853215932846069","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":"Q4820472$F0A0E87A-EAE6-4BE8-A153-A60C079720FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6e28e198e7f0c2e2686b0d35dc61587ead36d3","datavalue":{"value":{"entity-type":"item","numeric-id":1283777,"id":"Q1283777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9466f2d3a2b3a79354c65f3f838b910cf09a68","datavalue":{"value":{"amount":"+0.7830962538719177","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":"Q4820472$42A7285F-4C9D-4875-B891-76E82AA3B164","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Lattice of Lambda Theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Lattice_of_Lambda_Theories"}}}}}