{"entities":{"Q5055716":{"pageid":7085293,"ns":120,"title":"Item:Q5055716","lastrevid":47785744,"modified":"2026-01-02T16:49:57Z","type":"item","id":"Q5055716","labels":{"en":{"language":"en","value":"Higher-order unification with dependent function types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631112"}},"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":"Q5055716$70635DF5-EDD3-4884-8754-D2930651BD7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d8c08c14088fba8793bb177083dcde7efe895e8","datavalue":{"value":{"text":"Higher-order unification with dependent function types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055716$10155079-8B53-4147-9ABF-7FE1775F4820","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"659865514c11c05ba731b5353bd65f678426deda","datavalue":{"value":"1503.68289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055716$E54C0141-240C-4C25-A043-700D8E3938BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92360e2513a03769ff9ac5c2f2c8574dcceb3a26","datavalue":{"value":"10.1007/3-540-51081-8_104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055716$BC71DCA6-6D58-4043-85CC-904E01D9F860","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cade5e384623a7666887f3f7004606b13a4d9b0","datavalue":{"value":{"entity-type":"item","numeric-id":2936815,"id":"Q2936815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055716$5115E432-61C8-4A67-ACAB-0C52D5C27DBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055716$C988F45A-4710-45D4-841E-9876E31C3A44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055716$109C5F96-6867-4515-93CF-4911D3725CF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055716$D3044D3F-260B-433B-A8CE-DBDA53B76D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055716$13A0CB19-BB2A-4F6C-842F-0C2F202390FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055716$B19FD2FA-DCC7-471A-9CB0-F162D795983B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055716$5A00CC0F-EEE0-4F88-880A-F10B15B83484","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a90feae7beb5fb72e1d519a0616a9e8d121cbdfd","datavalue":{"value":"7631112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055716$521353AA-432F-44E4-91EA-211F055D781C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055716$4D0923CA-2B8F-4ACE-B30F-71ED6EC9CFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055716$B36C188D-3B6A-48BF-8BF5-27F12933ED73","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":"Q5055716$DE4BBF79-3DE5-463D-8F4B-ABFF3AAF2A6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a7368d5ef701c56b8a112721eecc2143eca83b2","datavalue":{"value":"https://doi.org/10.1007/3-540-51081-8_104","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055716$9010F853-EA2C-4DF6-936D-76289AB4476B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48439c21465eb048618750a6a2a32e88798e19a3","datavalue":{"value":"W2113992680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055716$0CB63C69-5C66-4492-A64A-332E91AF6236","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c9f2843640e7eabb53dcf6b38d2e418915c6350","datavalue":{"value":{"entity-type":"item","numeric-id":3343471,"id":"Q3343471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055716$9DC92DE4-7963-4AE3-8714-77C70C36A5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcbdd8934fccc9b26d783e1275ef19fe3d406e3","datavalue":{"value":{"entity-type":"item","numeric-id":3787520,"id":"Q3787520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055716$B2CFC239-0CB2-438F-83C0-0061ACBC6E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e2b13fd5a27d330f592699f5bb5ff339813ded","datavalue":{"value":{"entity-type":"item","numeric-id":3789101,"id":"Q3789101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055716$F09E3BA2-B76D-4C54-ADAB-D71FD030795A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055716$F11C77DB-2C98-4C38-A591-394E4DD36663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055716$E132901C-4EA8-4F4C-9C4F-86F49250A677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055716$0960C0BE-189D-49DC-8B8E-E6170E92C677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055716$4DEADE19-FD04-471E-91B4-A2CE1BBC9F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055716$3752666A-A374-4386-B506-78C028CD82C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d0de0ba52048b2594da38e4815945e3a42363a","datavalue":{"value":{"entity-type":"item","numeric-id":1251063,"id":"Q1251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055716$F578E032-9838-4EBA-8A89-93E604E0DFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055716$9F7BCABD-B2B6-4754-9871-BF31064B8388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055716$D2F16FBB-1238-4B09-BC3E-164CB7D1DBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2f3b86762a31a3fc8e211a42570f80a5c67f9a","datavalue":{"value":{"entity-type":"item","numeric-id":1235139,"id":"Q1235139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055716$F07CFAB0-F97D-4634-B290-6D9C823EF383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055716$DACC8669-B694-4E3B-9753-3B0FB5E96B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed17d1d7b1ff67830dae739e9417248cd25f604","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055716$3E27ADA3-042F-49F2-AF18-39CE76360EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc652843da6299630628ccbfc6f02ce53dcf019","datavalue":{"value":{"entity-type":"item","numeric-id":3721784,"id":"Q3721784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055716$264BDE0F-90A0-4BD9-B337-7138971C5997","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2842a69ce505d76f527982e81a57a0ca07074c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5286030,"id":"Q5286030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb3ce01fbe42cfa3d40695cb774b8cc439b0490","datavalue":{"value":{"amount":"+0.8849038481712341","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":"Q5055716$24F37B0C-AF7C-4B71-8051-A5F5D812E94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef1a83f94d3cc84c602e72be9e1d5ed360595af","datavalue":{"value":{"entity-type":"item","numeric-id":5210801,"id":"Q5210801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb3ce01fbe42cfa3d40695cb774b8cc439b0490","datavalue":{"value":{"amount":"+0.8849038481712341","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":"Q5055716$91BAFD06-AB39-4F6C-9C8F-FC71F66675A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb365a5be43980699e4ccd2c54c58af74a822692","datavalue":{"value":{"entity-type":"item","numeric-id":1362142,"id":"Q1362142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea7b63b920bfff2d85f4d2e6e90881e62bc4f0d","datavalue":{"value":{"amount":"+0.8199328184127808","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":"Q5055716$9780252D-3805-43DE-8985-C1408FD4A47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc9d48c224e8997095f4522db9c499bacb9b9750","datavalue":{"value":{"entity-type":"item","numeric-id":2367541,"id":"Q2367541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b61b38e0e5b496614f759ba243e670deb07e6650","datavalue":{"value":{"amount":"+0.8168526291847229","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":"Q5055716$4F4C1CD6-C376-44EF-AD62-47C4D0D4D4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26dd8434bc9ac7a97d9ac1ce9ea14a0c6b519eda","datavalue":{"value":{"entity-type":"item","numeric-id":3007654,"id":"Q3007654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76e1e94284a004f182044c3f609d3da63e7899ec","datavalue":{"value":{"amount":"+0.8077443242073059","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":"Q5055716$59A0890C-C235-43C8-8B67-48A1B5C2A2C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055716","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055716"}}}}}