{"entities":{"Q3583100":{"pageid":5613004,"ns":120,"title":"Item:Q3583100","lastrevid":51063281,"modified":"2026-01-16T11:20:58Z","type":"item","id":"Q3583100","labels":{"en":{"language":"en","value":"Applying universal algebra to lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774909"}},"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":"Q3583100$8143A246-A112-43EF-BBFD-508EC29797C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b3ded9505407a0f2502492ddabbc5bde3a3b4b1","datavalue":{"value":{"text":"Applying Universal Algebra to Lambda Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3583100$B6B4F6FD-52BE-4156-A065-1A4557FCFFF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0140e8b5d07a49a6d9304404126c4271860f42e5","datavalue":{"value":"1216.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583100$28FD7224-FF8C-4EE8-BCEC-0F070797B981","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3efe8e6459b334108812ee64f01c6fe284d1497","datavalue":{"value":{"entity-type":"item","numeric-id":283767,"id":"Q283767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583100$3F05B16F-FE23-4A38-AFEB-87FDBDA36B8C","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":"Q3583100$67D84EAE-F185-468C-9903-8C3061D7E99A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a52a4b791660afbc47d46818319067bdcb5a1cd9","datavalue":{"value":{"time":"+2010-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3583100$178CF7E5-C0B4-471A-8DD7-480E0E638F29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c74660f72293f7f2466d4d2579ba5875092fb518","datavalue":{"value":"https://semanticscholar.org/paper/10a5565be5302c1be4f6f91e12a7e8fff7d99204","type":"string"},"datatype":"url"},"type":"statement","id":"Q3583100$DA972C6D-A0EC-4B82-8EE4-9DDA292E38BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583100$9C113739-D26C-4531-92E2-623CD83E5814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583100$FA7664EA-0A8F-40C8-B2B1-50CBBE6BD1AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16e259267b4be4dcb8989dd9a823d49134be04ad","datavalue":{"value":"5774909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583100$69D6DD57-270B-46E3-B8C7-62BAFC0AD077","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583100$6D28468A-568E-43C1-8F75-D2A312401F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2afa6e1a5c595e372bb9d0ef7d366e62f309459","datavalue":{"value":"lambda theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583100$C08FBF28-8AE5-4236-A2D7-CC95C9833811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7905c5703e19d29b46e130a724ca1f90963325b6","datavalue":{"value":"combinatory algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583100$283CDA2D-8F0B-4024-8CCB-1C8E009D0BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a244417629cae43885a1dc06845ea4d0233ca906","datavalue":{"value":"lambda abstraction algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583100$1B1C9BA5-2275-4456-AD84-5B4F115BB0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cf388dca54e28334ef8c64703b50d3b33c48aea","datavalue":{"value":"Stone representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583100$C8FE9C88-E467-4651-AD5C-128DF0210751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007201b3f3676249342f02a3affea6b08d166635","datavalue":{"value":"central elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583100$2763FF9D-BC11-4A08-B2B4-50237DA729C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c50781a5569cde4799c839c717d7967b7a4e75a","datavalue":{"value":"Boolean products","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583100$E21B81C8-7A1F-4A80-963A-ECB23DB247A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4753c67e3979f9bd06886e81ba7b56cd652123f5","datavalue":{"value":"indecomposable semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583100$41D5C16D-FAD4-4EEC-A33F-59FCF330B612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5b2a35e53087cbd832c6e709ab4193c554d3ac5","datavalue":{"value":"Scott-continuous semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583100$67E72C0E-9D35-45CD-9B3A-BD12EEF1E22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"341a9f5aa37a2b13f8902b729e787ffb8fdb85d2","datavalue":{"value":"stable semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583100$1D45C28F-7EE9-4091-B319-D893BDF1CB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc426f4ca05f25fa248a6f174e9f0c76084c2bf8","datavalue":{"value":"strongly stable semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583100$B178637E-472E-4042-9824-277C2195E395","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":"Q3583100$9C1C24E7-4529-48FA-A1BE-697717B3DEDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94c67f131f0fdeeeb7df12a37a6ac6048f7f8e5c","datavalue":{"value":"W2020095493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583100$E9FA7AC9-1D91-4B84-A6A0-9C284B7F1545","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea08a871b563a4fa6af1b433ea92459a538da343","datavalue":{"value":"10.1093/LOGCOM/EXN085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583100$9BC127E2-8250-4D33-9AE1-C3D9A7A2182B","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":"Q3583100$7A1147B5-8DC6-4875-B6E0-04379330022F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"301b8dad2e6de9e4ec1ae05ad1c79dbb8ddfe649","datavalue":{"value":{"entity-type":"item","numeric-id":3837997,"id":"Q3837997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c1eb5c66c4fe3a3de47a88ac025718bcab56a7","datavalue":{"value":{"amount":"+0.8059871196746826","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":"Q3583100$583E4520-E28F-4527-AF27-6825F3313B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf75ed0f172b3d955a9fc9517bf975c9c12d5df","datavalue":{"value":{"entity-type":"item","numeric-id":4381706,"id":"Q4381706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f4b65056a8833f542516e405628622027242bce","datavalue":{"value":{"amount":"+0.7929831743240356","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":"Q3583100$EACECCA3-82F6-4292-A5C1-EAE05B5AE83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2115a5ba17189588af32477dba956a178752f32","datavalue":{"value":{"entity-type":"item","numeric-id":4709842,"id":"Q4709842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40aeae66a64d8cce41d7e6dac7156c3b9b76b6cc","datavalue":{"value":{"amount":"+0.7915181517601013","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":"Q3583100$27ED79AF-57D2-49C2-A17D-4C3DF9FEB814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612d9f9c068b370b224708fe22696ecb30fc505b","datavalue":{"value":{"entity-type":"item","numeric-id":4260390,"id":"Q4260390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ea2b891318d2cdd69364875a1bb368037168d7","datavalue":{"value":{"amount":"+0.7899098992347717","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":"Q3583100$51940FAE-A4C4-4BC3-A009-0CE42582D105","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":"c19c5a2ddcdfca9fe3f8e7a553e040cce18c967f","datavalue":{"value":{"amount":"+0.7878783941268921","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":"Q3583100$B5F220C7-86DD-4C0A-A3C9-B30183A18F19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3583100","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3583100"}}}}}