{"entities":{"Q2480966":{"pageid":2491709,"ns":120,"title":"Item:Q2480966","lastrevid":50331299,"modified":"2026-01-13T20:22:28Z","type":"item","id":"Q2480966","labels":{"en":{"language":"en","value":"Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5261313"}},"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":"Q2480966$4E4DA50B-50D6-4DC4-BA40-ADBE9B10AC22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5dfb2d25c6e180110bd6cdb3a386ba4b734be0c","datavalue":{"value":{"text":"Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2480966$508B9AF4-F1F8-47D2-B77D-3433571D408C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc51df827aca5b4eb9b3c1c22b1d8894adb6480b","datavalue":{"value":"1138.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480966$29BE7DED-1893-46B4-AB06-6BCD3071E3BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f0a37a82c91a35e36561764c406163ac5986165","datavalue":{"value":{"entity-type":"item","numeric-id":1627456,"id":"Q1627456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480966$4A70459E-5F92-4556-865B-0E16F84F7B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480966$9D0BFFED-7DDF-447D-B630-CD5E63A2A6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480966$5C6112AE-BD5D-437B-B648-A77D0EE29147","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480966$C99BE913-3C1A-42D9-BF15-0F319C860543","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a914c723a5c2033d6e1e0ea3019532d1a65c2388","datavalue":{"value":{"time":"+2008-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2480966$41AD2356-DB82-4C87-BA21-EF64A06E0D36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480966$20FE12A6-8EA5-4589-A92B-872F9283BC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480966$919FAC2A-F1CA-49C1-B215-4FC8650E58D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480966$865ACFA4-38A4-44DE-9D67-5B03E0941085","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b16d0bcbeda51eb22162141d5ac5d78c0bed612","datavalue":{"value":"5261313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480966$AA772261-C6AC-4733-BC03-ADE749F36D10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd5e640143d97b736be60c5040f4374a126b75b","datavalue":{"value":"higher-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480966$A53A5587-8318-4585-AE9D-C6C97D9124AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dbf201e83f01673f4eda87bb86be096c13f3fbd","datavalue":{"value":"calculi of explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480966$A98A1431-B2F1-4205-91B0-CF116E953E11","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80439d9ebebe49bb446780f665120c48ebbda958","datavalue":{"value":{"entity-type":"item","numeric-id":13667,"id":"Q13667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480966$5B384FA9-2DBE-41EC-B85C-46E81C75E206","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":"Q2480966$07A47527-9AD8-4C1C-BB9B-C71877223208","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"755181b342957debbf1a3ff7246d7e6c130f648e","datavalue":{"value":"https://doi.org/10.1016/j.jal.2006.10.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2480966$6EA866F9-DF3A-4C57-9245-0EE879E1CDF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1819e0c2122c3f40662cf49ab590d410ff64b646","datavalue":{"value":"W2138483455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480966$770FE929-AB8B-4F5C-B8CF-EF0AACF46F1C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d14f4da06003bf37c6502f65be675c69f1dbaace","datavalue":{"value":"Q58001481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480966$BC24C2D1-61A3-4BD4-A095-43AD12BBA9E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480966$8A8BA831-C52C-4F84-8531-1FC320353475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15019ccb1391ca723bb4cc5baf2d1998f1ea3274","datavalue":{"value":{"entity-type":"item","numeric-id":2743636,"id":"Q2743636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480966$5F439BC5-FECF-411A-AA83-62E35C804E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2549e455636d712c709985aefdcb596d774a21","datavalue":{"value":{"entity-type":"item","numeric-id":5693576,"id":"Q5693576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480966$741B8B51-CDEE-4D3E-AAD4-A4EE75057AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a934e7417b90c31b46f0de9ec5f584034529341","datavalue":{"value":{"entity-type":"item","numeric-id":1779307,"id":"Q1779307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480966$14027204-351E-49A7-8902-F5B48DA8A4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480966$652FE6C5-DA82-49EA-B2AC-E7D38E1BCA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480966$B7EDE05A-CB58-4238-A9D3-C70637D2F101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5927659804eca2a32583cb94f8cceb03b87d2078","datavalue":{"value":{"entity-type":"item","numeric-id":1854337,"id":"Q1854337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480966$5F096736-9438-4927-AC34-863EF518787B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d892b085b4b332377a14108514583ee394897a","datavalue":{"value":{"entity-type":"item","numeric-id":2751368,"id":"Q2751368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480966$7E72B658-E1CC-4F77-A51E-CD55CCC2803A","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":"Q2480966$02263074-A1C9-449A-9E2C-F92B6897B45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480966$47078921-CA92-42DA-A757-9E2C3EB41A8C","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":"Q2480966$55C5E5A5-9973-432F-80A7-142351353F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672b83889179ae73c34bba6796de0fd6677eb250","datavalue":{"value":{"entity-type":"item","numeric-id":4484328,"id":"Q4484328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480966$AB9F02EE-75EA-4ED9-B4FD-379A54F46D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bbe5267d1195440877775dc4014bcf6f86f7960","datavalue":{"value":{"entity-type":"item","numeric-id":861365,"id":"Q861365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480966$457F926C-B05C-4051-812A-6894BFE90E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3bfc175bdc9af9a08582d08905234a6f332734a","datavalue":{"value":{"entity-type":"item","numeric-id":3647258,"id":"Q3647258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480966$E4AB5B58-AC6F-4CEB-912E-C67A5A3991A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a127607ed164490c53302dc4978cbf0ea6aa417e","datavalue":{"value":"10.1016/J.JAL.2006.10.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480966$5B215529-3BE4-40B9-B197-465A251BE043","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f938600cd78da4b1c1ce3ebd991cc44c96d4d4","datavalue":{"value":{"entity-type":"item","numeric-id":1854337,"id":"Q1854337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf002e55335d750954e34696d5c63b514c61526c","datavalue":{"value":{"amount":"+0.8591871857643127","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":"Q2480966$9C77BB57-73CA-464A-896F-7750667BEE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d377109860b2b897950d761b686913ca7226cdb","datavalue":{"value":{"entity-type":"item","numeric-id":5693576,"id":"Q5693576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd282af1f9ef8d578c56b0a21db2fc5ecdc01a5f","datavalue":{"value":{"amount":"+0.8513182997703552","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":"Q2480966$008FFDD2-1125-4FC6-96BD-1DBB31473345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63bc6525bd8e4a20264ced9646fe549c4a0daef","datavalue":{"value":{"entity-type":"item","numeric-id":2743636,"id":"Q2743636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e0f7266d0ed5ccf16008646c245f9362c5ec0d","datavalue":{"value":{"amount":"+0.8277430534362793","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":"Q2480966$BA5BC196-0AB7-46A3-AC4C-E23421A0E6E2","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":"fe305cfa637271e7c6fd680c49c60f048ff25437","datavalue":{"value":{"amount":"+0.825592041015625","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":"Q2480966$1FF67372-7206-4B3E-B2A8-14526BD80F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b83adc57d446961d7028ba721626edd9a826ebe","datavalue":{"value":{"entity-type":"item","numeric-id":4364370,"id":"Q4364370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3960f8696694c04171d84e0c484fcfb9dc8b3af1","datavalue":{"value":{"amount":"+0.8026872277259827","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":"Q2480966$1F5078DE-02AC-4C2B-8227-9CA499627566","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2480966","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2480966"}}}}}