{"entities":{"Q803116":{"pageid":804964,"ns":120,"title":"Item:Q803116","lastrevid":64455252,"modified":"2026-04-11T19:59:36Z","type":"item","id":"Q803116","labels":{"en":{"language":"en","value":"\\(\\lambda\\)-definability of free algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4200169"}},"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":"Q803116$851567EF-4C5B-4E41-A2DD-F9B5DB58E049","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a0f28b9016dc431d0ecef02b922d32115a65c5f","datavalue":{"value":{"text":"\\(\\lambda\\)-definability of free algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q803116$B09D67F0-4AB4-45E8-9E8C-03A0B5C25400","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35e8674cd327017c729ed412a9ae410314cedc36","datavalue":{"value":"0727.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803116$96F32FA3-3844-4759-B1F8-BB25837E605F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8805f801463471bef5d569643aecb2faeb27bc3","datavalue":{"value":"10.1016/0168-0072(91)90019-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803116$6C95C987-7221-4C4D-80BE-4194C2B34B85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"213b864dc54d93cbd8178686850f26280c0ee2c3","datavalue":{"value":{"entity-type":"item","numeric-id":751645,"id":"Q751645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803116$F3D747EB-0536-46DC-AD5C-32F4F8DA0FCE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803116$185B8786-65B3-47F6-A6C2-17644EDA81AE","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":"Q803116$F33D7156-203A-4202-90FC-D84F43B22393","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803116$11C34D90-BE73-4B8D-A4CB-8F1D914BEB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803116$C7B6434A-60D1-4322-B634-D8F70133238B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a140d8682ad13d402c98737a72e4f58247d692d4","datavalue":{"value":"4200169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803116$D26612BD-06BF-4877-AAED-5EFD54EAA298","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q803116$12B5DAAA-9CF5-4366-B469-5360A635AE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b111c36d6d988a197089e1477f96c0e11350f4e4","datavalue":{"value":"representability","type":"string"},"datatype":"string"},"type":"statement","id":"Q803116$052A3195-3E19-46A5-808D-CDD154D2B91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4adb87bb1948e48c4998d448cf1e73d63d7182","datavalue":{"value":"\\(\\lambda \\) -language over a simple type structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q803116$27B6F636-2B92-416F-B5AA-1EEF8BE30294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q803116$9DD40D94-1923-4F6F-A6D7-CA8186F37600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df0e52e7f59030bb29e26501ae714353eac613f","datavalue":{"value":"second-order types","type":"string"},"datatype":"string"},"type":"statement","id":"Q803116$F649874A-63FC-4943-8C34-983258E857F2","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":"Q803116$1AE34B6F-2955-49DD-9E89-5A5ADD1BC6F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803116$B7A09A22-FC58-4275-B414-5FAAC9D70E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1463bc9145dde1ffd210d6809ebbc8df1d1a40d3","datavalue":{"value":{"entity-type":"item","numeric-id":1079357,"id":"Q1079357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803116$87D29E15-CAB5-4FCE-8A62-1659C6EE695D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803116$0B68945B-68C7-4516-9594-D6055434924B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01c368ef87c2cc53de791143b7ef30a44ed0575","datavalue":{"value":{"entity-type":"item","numeric-id":4068706,"id":"Q4068706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803116$DCC56DC0-87EE-4095-9C0F-86689EEA6EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f848f7ae449a5336d670e35bbc9e05b41dc340f1","datavalue":{"value":{"entity-type":"item","numeric-id":4035315,"id":"Q4035315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803116$DB2B9A34-ABEB-4772-8F12-222A6AC92565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd3f1c74ecd2d6b960ebb394a188f86a23ced68","datavalue":{"value":{"entity-type":"item","numeric-id":4094854,"id":"Q4094854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803116$4370BF5F-64C2-4C80-B300-A22D21C2DCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803116$2DC04652-21B2-4CBA-A4FB-BAAFD39B1797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c93444ecfe5e57390b453a78b405e81b591c986","datavalue":{"value":{"entity-type":"item","numeric-id":1164619,"id":"Q1164619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803116$C4DE5266-22B9-47D9-A045-0994B9548529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1001498dbf07b01f43f21bb5a8ee3d4a10f94d4d","datavalue":{"value":{"entity-type":"item","numeric-id":3708774,"id":"Q3708774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803116$2E840581-EA5C-4326-999C-9A51A59B548C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98439a18f63832b13defd0133e599f5b2b5d74e","datavalue":{"value":{"entity-type":"item","numeric-id":1099156,"id":"Q1099156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803116$D772CA42-DECA-4E1A-A6DA-84F2B5331877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18ec71e3578e7946ae28f4fdc9a94915979fa8","datavalue":{"value":{"entity-type":"item","numeric-id":3824285,"id":"Q3824285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803116$E38A5DDB-8575-4CD1-8812-7EF2BBBFF4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ddfb042fff844dea145ee15b001c26e118d6043","datavalue":{"value":{"entity-type":"item","numeric-id":918191,"id":"Q918191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803116$FE782D4F-185C-4D61-8CBE-490BEE6F307E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5474f921aa9edcca5eb00cd3820b5e7ff3d413a5","datavalue":{"value":{"entity-type":"item","numeric-id":4273488,"id":"Q4273488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803116$1532E95E-1DE4-412C-AAB0-2EAE1B849798","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4b4867140d1bcfa9f766e917db7fd5ca49daedb","datavalue":{"value":"https://doi.org/10.1016/0168-0072(91)90019-i","type":"string"},"datatype":"url"},"type":"statement","id":"Q803116$7A25A0AB-FE19-4EE7-B251-E8FEB229803F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"282d51c5645b8a1bb1bdeb7b2544a07506c6bd7a","datavalue":{"value":"W2086662978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803116$E3928798-9B3D-4BF9-9475-151943732565","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8683a352d472862b9ecd25d56b22aaaf9e17e7","datavalue":{"value":{"entity-type":"item","numeric-id":4474832,"id":"Q4474832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9a484564fbab97eeafe2f4afc34bc385b5992bf","datavalue":{"value":{"amount":"+0.8821858167648315","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":"Q803116$8FC5D8AB-683D-4074-A05E-A9BDCDBEF7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2cef6f433968ba5dbde581891965886db0109c7","datavalue":{"value":{"entity-type":"item","numeric-id":4273488,"id":"Q4273488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a838193571bca28b79b9b8c54aed6f952b6bc9f2","datavalue":{"value":{"amount":"+0.8542337417602539","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":"Q803116$9395881B-0B90-48BA-8C0B-00C9C223CF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4ecda17fc99ddd769dbd1cdbc44b6c0cc7aa08","datavalue":{"value":{"entity-type":"item","numeric-id":3975176,"id":"Q3975176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"876f4fb7d9a2114f64f15edc45851a1799efd28a","datavalue":{"value":{"amount":"+0.854080080986023","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":"Q803116$DB2DB2AF-E884-4EB5-A13B-732BB589BAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ef08cb8bd1b8c65f8db95e4efb3fd716fbb3b8","datavalue":{"value":{"entity-type":"item","numeric-id":918191,"id":"Q918191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb6ad3498096c8260632aad4c8c02435eaeb2a02","datavalue":{"value":{"amount":"+0.8446402549743652","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":"Q803116$10F39DE3-5A10-45A6-8F6C-CD1797998E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"836a1ecd82e036ce9a429884058dce7bdf587ff9","datavalue":{"value":{"entity-type":"item","numeric-id":3024913,"id":"Q3024913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539f3ba5062bb516d98d4deae6182d9af0b25680","datavalue":{"value":{"amount":"+0.8212844133377075","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":"Q803116$8575F303-0561-462A-8A87-C62E26A0CD24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\lambda\\)-definability of free algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(%5Clambda%5C)-definability_of_free_algebras"}}}}}