{"entities":{"Q3599151":{"pageid":5629057,"ns":120,"title":"Item:Q3599151","lastrevid":87417086,"modified":"2026-06-04T11:37:47Z","type":"item","id":"Q3599151","labels":{"en":{"language":"en","value":"From \u03bb-Calculus to Universal Algebra and Back"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5502065"}},"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":"Q3599151$0679EA03-BE20-49F4-975A-7327AA20A899","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3294215d041c59b6b71c5df1241de38f8e6018f2","datavalue":{"value":{"text":"From \u03bb-Calculus to Universal Algebra and Back","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3599151$45E86ACC-D753-48BE-BA02-30E5E2529942","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"235d6142db3a120f6d594f2b1b9be1bde67e16bf","datavalue":{"value":"1173.03302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599151$FCED1510-CFB0-41D8-A41A-F5BE780CE95C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"352997c9c0759fabb391fe793441767d1ca2028f","datavalue":{"value":"10.1007/978-3-540-85238-4_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599151$9B7F6A39-A49E-4674-981A-839D96EC04E1","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":"Q3599151$3DC7E41A-8E2A-41E3-ABF4-F654703AE9EF","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":"Q3599151$BA8A4A28-2A0B-4BAA-9043-FE6DC871FB61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599151$C8A616DA-E8F7-4912-B9D4-B311A2349EF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8252c9bc11ad46ff65a647eb67c4c4f635569088","datavalue":{"value":{"time":"+2009-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3599151$707625A3-9B60-45CD-A4FA-F1B8963AAA6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599151$D14FDA76-54D7-43FE-AD16-3198A064DA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599151$2ADC901F-3E50-4B7A-80B9-A2534B1985CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1f532fb56b8652a83491d1c8d2403cc96ded7ae","datavalue":{"value":"5502065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599151$8734133E-5FCD-424C-ABA2-3DB109D8F25C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3599151$DA658AD8-F7D2-4208-A6B8-058C53AD12BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a188bc590546995974b55a3f2f84f00e08b2a9","datavalue":{"value":"universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3599151$BD81A96F-7D3D-40C6-88B7-7EBE5FFC1D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bea2efe0db98b76d35829834aa5b623bfe462dcd","datavalue":{"value":"Church algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3599151$C3CC0643-F9BC-4868-B418-33738B9F5F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cf388dca54e28334ef8c64703b50d3b33c48aea","datavalue":{"value":"Stone representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3599151$05D5C376-FBAA-469D-881C-ED6B74425FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2afa6e1a5c595e372bb9d0ef7d366e62f309459","datavalue":{"value":"lambda theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3599151$E2210351-AEA9-482A-A3D3-546EAC1B82DE","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":"Q3599151$CD1371B3-468E-481B-BD04-10549696121F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4835d5a47820dee364bd1b4f3c3f6a66e0bb6aa","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85238-4_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q3599151$430FB090-CB80-427B-9113-9E1EC85D2AE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c27679a638229796380add2ada26049bd8876ef","datavalue":{"value":"W1521961376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599151$B4F2DC1F-9DEF-4B83-A27B-D3A5A9FC72C7","rank":"normal"}],"P1643":[{"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":"687d4859ce978e1d27e0b22b43f60290b8328fc0","datavalue":{"value":{"amount":"+0.8604754209518433","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":"Q3599151$5F000BE5-E421-4C84-B099-E9D0307FDC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b5d0b06ca103c2dc3d1878a09dae9f306d3cad","datavalue":{"value":{"entity-type":"item","numeric-id":4820472,"id":"Q4820472"},"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":"Q3599151$8BFD8525-D05F-4023-84CB-3223D58E1DD7","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":"2de4ee85dc9c6927f84272ebc867add1c0960575","datavalue":{"value":{"amount":"+0.7981134653091431","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":"Q3599151$3DF42968-4B1E-4D0E-B4B5-9A80156920A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e25bc54f7a345db18f25bc82f52d939c281529c2","datavalue":{"value":{"entity-type":"item","numeric-id":4724632,"id":"Q4724632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a1e3714f0841b9a5e5f33880b3aa200fea2bb05","datavalue":{"value":{"amount":"+0.7812269330024719","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":"Q3599151$68A5ADA0-785D-44DC-868D-1486DBCE3314","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":"d5224bec3e3ea2760f7db1e3e40b47ac946c4465","datavalue":{"value":{"amount":"+0.777090311050415","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":"Q3599151$41E8E93A-1B69-4B80-AD35-8E75E0EEE016","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From \u03bb-Calculus to Universal Algebra and Back","badges":[]}}}}}