{"entities":{"Q5210801":{"pageid":7240372,"ns":120,"title":"Item:Q5210801","lastrevid":53639345,"modified":"2026-01-25T11:42:31Z","type":"item","id":"Q5210801","labels":{"en":{"language":"en","value":"Unification in an extensional lambda calculus with ordered function sorts and constant overloading"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154578"}},"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":"Q5210801$2BFF8DEA-D10C-4056-9290-FA233C0A822E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f12ddf9e0730b3d2cad5ff3082d340fec562880","datavalue":{"value":{"text":"Unification in an extensional lambda calculus with ordered function sorts and constant overloading","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210801$1C04EE11-2AC9-4513-A74C-A630C117D6CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"282de93e13d22a068178bc6d237d4f2bbcd15c5b","datavalue":{"value":"1433.68554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210801$240F5E8C-4337-4327-B767-8E403A829CD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"114fec24bd006afaa02132df9cd40a03988095c0","datavalue":{"value":"10.1007/3-540-58156-1_45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210801$2CC9518B-1088-427C-8595-F96ABBBE85F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210801$5C482A01-9C31-4230-8612-F77BF0A74F6F","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":"Q5210801$03516799-1E0D-4221-8A30-1E9548E5447E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210801$042DDDEA-4FA2-4F1E-A7DF-CFFD0D414CAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210801$8D519904-1F81-4DBF-A0A5-804F0B011C16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db574cf029fa80207a701512140f91d8dafc9cd5","datavalue":{"value":"http://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/352","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210801$249A418F-5881-45E8-9340-E7A704EE629D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210801$1301F0F6-F24D-412C-89F3-B2D035BD9F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210801$F1256CC1-FC5F-4185-962F-6D5D846D366F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210801$B32FF0A8-7B90-4A93-9558-4EA825B18644","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8a77dc1575db5d0a39c0f109d48f4a7f35dbc9f","datavalue":{"value":"7154578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210801$9E8F3622-50DA-490B-899E-07BAA463EBA2","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":"Q5210801$FA48E295-04A2-4F82-BA66-8AD6A55576B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6f340a69b9cc58e4a6b77462152f44b31735dad","datavalue":{"value":"W1515150570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210801$A5F9A0E3-1ECF-4C4A-861A-3598E73A033B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65795f6000b6bce782c0e6be873ab44154cb4a01","datavalue":{"value":{"entity-type":"item","numeric-id":922718,"id":"Q922718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210801$C1B106F7-954A-443C-A6F2-9F861592E59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7f876fb42c53e997157b1419d079fb01f54d06","datavalue":{"value":{"entity-type":"item","numeric-id":1106652,"id":"Q1106652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210801$54DE8063-5F68-4DD4-9348-1F26FC2B7159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e550212ba65f26ee9dd814d3ee4919254c1278","datavalue":{"value":{"entity-type":"item","numeric-id":5096246,"id":"Q5096246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210801$54219BF5-8105-433F-8564-BCAA568A22D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210801$903245AC-8FF6-46E2-A431-49BE5889237A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e240ce521fe4cca5e6deaeef8fadec89fcb351","datavalue":{"value":{"entity-type":"item","numeric-id":5210801,"id":"Q5210801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210801$C44395C5-4CA5-44B1-9B0F-EBF39D7FDD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bbe63c42c351a315dabe14e649afaf16535549b","datavalue":{"value":{"entity-type":"item","numeric-id":4255519,"id":"Q4255519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210801$E39662A3-E44E-4C9A-812E-AA4A5CDB9376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f03718703b8bc824a8185cf5e489ddc38eb3037c","datavalue":{"value":{"entity-type":"item","numeric-id":4264719,"id":"Q4264719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210801$C215958D-DC26-4700-A943-CB122833ED31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42e5d06143032e72030e97df285d24ea74adfe1","datavalue":{"value":{"entity-type":"item","numeric-id":5096189,"id":"Q5096189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210801$A526A0AE-14FD-4B79-8E13-D3D5A6B61ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0019d907973d7569cdd61ec3c8c4f916896acc5b","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210801$2307BC5C-0932-4195-BA8A-93322FB00B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf446acc897598830df5ac5eb8171a72e05d534","datavalue":{"value":{"entity-type":"item","numeric-id":1189467,"id":"Q1189467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210801$9C18E873-E81E-46E2-B296-30026BD0C32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"643437db391832abfa01b99ee396b90224e19942","datavalue":{"value":{"entity-type":"item","numeric-id":4294448,"id":"Q4294448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210801$656DBD42-BCD7-4078-9B06-E3C4F9DA2DBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e82f08704f38d22cce43b1c9e9b2e5e90950ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4255519,"id":"Q4255519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f0f39a814ce756ed194cd7da2a01f18c846c939","datavalue":{"value":{"amount":"+0.8273392915725708","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":"Q5210801$F2F17DFA-2BA9-4A82-8735-4ED1CD8E45AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1001b7c2981b734c45f1265641b76a86db2dfd12","datavalue":{"value":{"entity-type":"item","numeric-id":5881304,"id":"Q5881304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91444c6e3f9d51ba8c0e930c9f03f5550d138a83","datavalue":{"value":{"amount":"+0.8023391366004944","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":"Q5210801$3FB7E850-90A8-40C7-9045-2ABC492A0340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec2f0bb38b56f759cbb69a7dc3cbce032e16f8c6","datavalue":{"value":{"entity-type":"item","numeric-id":5055716,"id":"Q5055716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1749d71887b2846e22c0ee72f7beb0942ca97047","datavalue":{"value":{"amount":"+0.7891862392425537","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":"Q5210801$DDB886AA-013A-4582-B817-75D78D6D8284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54bfb9908dacbc1febecf8ff97fc085e1eeb211c","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6789586effb15bcd395173a20bd60209d18568b","datavalue":{"value":{"amount":"+0.7793060541152954","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":"Q5210801$2DC85EF0-9B59-4FC3-AF92-12E9C58F1795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5c3356a6b67234d78ca0df57e082652071416d","datavalue":{"value":{"entity-type":"item","numeric-id":582269,"id":"Q582269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c2bc3fe2c509c3b1f10c4e82fd6ccbcb4d9008","datavalue":{"value":{"amount":"+0.778639554977417","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":"Q5210801$0158D010-4319-4B88-8DA4-4F0CD4A750DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210801","badges":[]}}}}}