{"entities":{"Q5234713":{"pageid":7264281,"ns":120,"title":"Item:Q5234713","lastrevid":94688717,"modified":"2026-06-05T07:28:46Z","type":"item","id":"Q5234713","labels":{"en":{"language":"en","value":"A colored version of the \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7111183"}},"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":"Q5234713$F5EB22FA-3B36-42FC-B353-A981AC079CA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d12669b947b9cfb0bf8250b626b9c8cdf1fe8418","datavalue":{"value":{"text":"A colored version of the \u03bb-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5234713$A889B2FC-407C-4435-A168-8D7B2510AE4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85a8870d6c79037b35a46285e042092c81d4ce14","datavalue":{"value":"1430.68412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234713$59A29A8E-3A76-4091-A924-49EBD6735D29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0a02a23608e7dcf896ff55dd85471235fa666fb","datavalue":{"value":"10.1007/3-540-63104-6_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234713$9EA288CE-93BC-48CB-814A-33BFB8BE347E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33ac163ba39953163eeb2acbe3fa2aeac41d812f","datavalue":{"value":{"entity-type":"item","numeric-id":1367076,"id":"Q1367076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234713$F2ADC8B5-0069-41C7-B323-681CED9F0D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2058e152866416201cc45ced58405f55031245a7","datavalue":{"value":{"entity-type":"item","numeric-id":219445,"id":"Q219445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234713$D730ED41-9A59-4D97-B5FF-19DE2FE60D55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d3860a2f9767fdefbee4661adcdc84432183bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5234680,"id":"Q5234680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234713$DD33DB8C-0332-4365-968E-8E69068216BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea1ace5968cb70ccc50b025abd55a0016bafdf0","datavalue":{"value":{"time":"+2019-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5234713$1D32E611-E15F-43A7-B03D-8B8EFC0913D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234713$E79466BF-48F4-4B7D-964B-7A40AB13D00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234713$1EBCDA6F-F6EF-4F7A-AF40-50C26367B33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234713$15C5CF4B-9D60-4C8F-B393-DF0719192D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234713$8ED5BF86-4EB7-4257-9A77-078AFE6F0166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234713$A1B0682F-9D0C-45C9-881A-E52F8F61863A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d38eeb4e8ec372a82408c29685a8fa071ec7713f","datavalue":{"value":"7111183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234713$FCBF8B5C-3900-435C-B7F2-907DCC9DBDE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f7e2b8e0e52baa92a557b39b26ca5f3e3604ca","datavalue":{"value":"simply-typed lambda calculus with color annotations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234713$D3B6B0D6-FC47-437F-A5D9-11882829739F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9500644cd73e6189963179221a14c03a4fe9447e","datavalue":{"value":"natural language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234713$DE4EBFF6-3427-4FFF-A9BC-8CA0F2E41218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234713$E8B03DDB-4424-491B-A9D6-74A636687C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c52242724f2ed6588e7ee400f49cd4d832d14703","datavalue":{"value":"head variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234713$6E45BAE0-4F9A-4761-9AFE-C8D02FEB7D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb9d9b3489590e2909b731161e1e53f29d64b0a","datavalue":{"value":"unification problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234713$FF4F0457-8194-41E9-B752-1B6B2B445AC7","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":"Q5234713$CFBC45FD-A713-407F-A3C2-EB10F123094F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b117010b1152dca835026b4c5a39e9a302f435e","datavalue":{"value":"https://doi.org/10.1007/3-540-63104-6_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q5234713$20F00CAE-0664-4582-8AA7-C0A650E4F1E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1088a991e6ed391570f1ca14307348715d486315","datavalue":{"value":"W1554901100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234713$C07F79A5-67DF-4183-85FE-909B792C0D22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91a62fc73d328b39f05fc8fae0c1a2a5426db9a","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234713$725A01D7-7EBB-4568-955F-CDFEF466816B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a238ed6c54d87ec163b1a7cb181d6ef07206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3804239,"id":"Q3804239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234713$6F738BE6-5235-4E56-ACDD-7748A3114F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c929ab970f45a8929f1dd6541e303ff6514a968","datavalue":{"value":{"entity-type":"item","numeric-id":1337691,"id":"Q1337691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234713$9BBC05E3-3A2E-4679-8952-A93966EF6A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f9d1a63b9816e8002c34e1ca2d1799d12ae0527","datavalue":{"value":{"entity-type":"item","numeric-id":1582389,"id":"Q1582389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234713$1AEB0E8D-0795-43D5-8D7B-205C10D2CD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db98659fd0d8d989353341e0c12c4246dfe6ee1","datavalue":{"value":{"entity-type":"item","numeric-id":1915134,"id":"Q1915134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234713$25D36A73-F90B-4118-BA22-0399EEA17F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4f4d44dc19f26559592a12ba4d75f8fcd246fd","datavalue":{"value":{"entity-type":"item","numeric-id":1201348,"id":"Q1201348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234713$34799E26-C009-42BF-84A5-4F2767053901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f3df713312a9e3c7a322486a58346b343f25100","datavalue":{"value":{"entity-type":"item","numeric-id":4264708,"id":"Q4264708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234713$42A77B7F-80FA-4B72-B9AA-18631693D4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5230907bea404aa6c2fb79168521e88708f2a2ec","datavalue":{"value":{"entity-type":"item","numeric-id":6488528,"id":"Q6488528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234713$0ECDF9EF-0654-4E4B-BA11-5531D3598B3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a6a7803906ce00b51fba1fb0c658bb7d25eff5","datavalue":{"value":{"entity-type":"item","numeric-id":1582389,"id":"Q1582389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"666eadc20f375d465b8f27c8ca3266f7959675bf","datavalue":{"value":{"amount":"+0.9310538172721864","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":"Q5234713$4805A0BA-8A21-4CC7-BCEA-F7F68049D07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58008fa9e843b740103517488e6a1855d7482e65","datavalue":{"value":{"entity-type":"item","numeric-id":5462949,"id":"Q5462949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"666eadc20f375d465b8f27c8ca3266f7959675bf","datavalue":{"value":{"amount":"+0.9310538172721864","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":"Q5234713$674CBE90-6BA4-4485-866D-7F2EBBB5228F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7350440adc65afd101108240b617d27ec4780b","datavalue":{"value":{"entity-type":"item","numeric-id":1915137,"id":"Q1915137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e19025d4fde37f5335211f279eee09a611f726f","datavalue":{"value":{"amount":"+0.8182138204574585","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":"Q5234713$7D220A37-8561-4164-81C3-9F4065486757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bbc84331b16dfa5ce4f84eb5b27783b7534d355","datavalue":{"value":{"entity-type":"item","numeric-id":540694,"id":"Q540694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd7d8f8d02bba17165f0edcbbf2e5644fc65227","datavalue":{"value":{"amount":"+0.7999520301818848","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":"Q5234713$CCF9A047-BF03-4D8F-A974-683728C26C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4a89a7c13b6470a95b012a7f5ee0837e0223f6","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe6da4768f4f06c6f4f8c39006b094c44cc235c3","datavalue":{"value":{"amount":"+0.7805551290512085","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":"Q5234713$93FD9590-A44C-4925-BF30-A9956B84B623","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A colored version of the \\(\\lambda\\)-calculus","badges":[]}}}}}