{"entities":{"Q2362208":{"pageid":2372951,"ns":120,"title":"Item:Q2362208","lastrevid":72597669,"modified":"2026-04-14T05:59:26Z","type":"item","id":"Q2362208","labels":{"en":{"language":"en","value":"Higher-order pattern anti-unification in linear time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6740420"}},"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":"Q2362208$473A7CDF-B020-4BAD-9A05-64CEDD603963","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30096369231d8195b784a1373b126759d01177fe","datavalue":{"value":{"text":"Higher-order pattern anti-unification in linear time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2362208$762F13E3-58F4-494A-950D-D4D3160A8A18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71da1636677e2ed81304939da7a727bddc70421e","datavalue":{"value":"1407.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362208$4A8859D1-0D9D-4A35-8BA3-77CD3108CBB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b8f0d1fd4fef732730d42ed5ac178ac4139f8db","datavalue":{"value":{"entity-type":"item","numeric-id":2362207,"id":"Q2362207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$C0B91B02-0E4E-43D3-B68F-B39058066A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22aae427d987903b086f7261fd1e4d8ee37a346c","datavalue":{"value":{"entity-type":"item","numeric-id":351994,"id":"Q351994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$80AA74F5-54F6-4E5F-A336-51FA3FD115A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f19d6bb88e6317a65ec423b9507831cfb57ff946","datavalue":{"value":{"entity-type":"item","numeric-id":309918,"id":"Q309918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$317E4F5E-174B-4C97-AD42-E12E733BBF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"588ee65877f0d3e81836f8c13b96426bc0fd83a2","datavalue":{"value":{"entity-type":"item","numeric-id":487631,"id":"Q487631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$E6D99A2B-9E87-409E-8494-ACBB8512BC3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$D1B4D36E-4B41-4C47-9766-75D204EBEF6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a7c9d02f6a4a594410711d22dd1a021deb4336e","datavalue":{"value":{"time":"+2017-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2362208$9F9ABB4C-602A-4B30-BC57-674A6424B91D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362208$3CB511E1-5A58-4C52-88E0-E740BF38E9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362208$7AC37D31-A2DE-4BE5-B380-5798DFB9E21A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b000a2517f211eb2f6b38dcf5082f663780d819","datavalue":{"value":"6740420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362208$E68D4519-E6DF-42CA-A6EA-090EC933AB69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a3c730375969d06e08122eb088338cbd7f95dd6","datavalue":{"value":"generalizations of lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362208$A4D3BD7E-F1C3-4EE0-A27D-A4CF39A0523E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99a0926969ff78460c1f7ac18ea816db4d8755f","datavalue":{"value":"anti-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362208$1B2EC4F0-A410-4BD2-8117-9AE85B761E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ad642d2813eee2a994e43b3b9490128acbb130e","datavalue":{"value":"higher-order patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362208$61CEE1FD-77B1-42EF-96CC-F38A039BC9CE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e9e211a526e5d3fc80a2847d849130f45fc30e19","datavalue":{"value":"Q59603004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362208$F9B5EA83-8A2E-4F9C-820E-3FD9434A8DD4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b687213a8375e65a3248834735a16b100440644","datavalue":{"value":{"entity-type":"item","numeric-id":19254,"id":"Q19254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$FCAA80C4-56D6-426C-80C9-115D5702721C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd5c4dea04df098dca16112bf15e4d17cff02891","datavalue":{"value":{"entity-type":"item","numeric-id":20949,"id":"Q20949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$F69258C3-A547-4325-A130-4B7F12EF8301","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":"Q2362208$C8A4A4FE-6A30-494E-910B-299A2D97FF2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e0dd774028bcf4e51cafe6232391b4261bb2074","datavalue":{"value":"https://doi.org/10.1007/s10817-016-9383-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2362208$89463A1D-5ACD-4B5A-B604-C64B3B6213DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7143bdbc4f2da0b7ca877febc0aae7968d46bb55","datavalue":{"value":"W2501889234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362208$103DE6C8-23B4-4A97-9F7A-FDA2187DF9F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e425caf9cf7e302cd5a877befa0199262b3311","datavalue":{"value":{"entity-type":"item","numeric-id":2437800,"id":"Q2437800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$B514FC7F-0270-48C4-997C-358993850CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9722d3d41e94c400721cdd3dbe2d3872096a5a","datavalue":{"value":{"entity-type":"item","numeric-id":1592369,"id":"Q1592369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$94EBFAC9-A218-4A04-A7DA-7DB6EDC89DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63e1d2c1097bf56f38b3464089e43c611b33ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$ED4F9D7A-485E-45E4-A6C8-1C61BC2C2262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6786ad04bafd38b20c9bfd5eaf4435fcbd807a41","datavalue":{"value":{"entity-type":"item","numeric-id":2938520,"id":"Q2938520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$530E71AE-A949-4D54-BA0D-D1158174C402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb3137ec136249d77e62c3d4b9c959a9485fb47","datavalue":{"value":{"entity-type":"item","numeric-id":2958379,"id":"Q2958379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$5DA37033-DED6-4D0C-B7A4-59097F166665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5c1908f20fea87b4ec3d19c85b92b7a20c119a","datavalue":{"value":{"entity-type":"item","numeric-id":5277871,"id":"Q5277871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$9D90AA19-BF4B-42C4-9062-E4EC0FAAC094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2109afedce1b483ee7fc2708dbda6319653a96","datavalue":{"value":{"entity-type":"item","numeric-id":4519172,"id":"Q4519172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$F7D9409A-DC9D-4F3F-AF86-2D06A96EE272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b361b18378330ee5493a4a7224369a123369e872","datavalue":{"value":{"entity-type":"item","numeric-id":3402293,"id":"Q3402293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$C2AA20AA-E9A4-42E7-9072-A0EE4734AA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fdae2f9abfb6a0c290fa453ee717c5806580158","datavalue":{"value":{"entity-type":"item","numeric-id":2457667,"id":"Q2457667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$B3079E74-1FA1-4E34-B9BE-21402A059333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be63c5f271ce7f1f200c26e0ab76283f6d86ebd","datavalue":{"value":{"entity-type":"item","numeric-id":1322473,"id":"Q1322473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$B0A7F4B4-952B-47FC-AEE6-207353DB62FA","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":"Q2362208$3EA713BF-A9F8-4BC4-9585-F387481687FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f27013eec79cfd83a0f9c6a5f63663dc1bf813","datavalue":{"value":{"entity-type":"item","numeric-id":3061275,"id":"Q3061275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$B08E0939-E01C-49D9-8A70-B796120C0464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae69d775e9e5be247c3b40edf17a76b45bc81ddf","datavalue":{"value":{"entity-type":"item","numeric-id":5494322,"id":"Q5494322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$80E1DDAC-092C-4EB3-9C4B-67C5DDAD0831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f053ea7eef251c837b55df533caab74e83ddff","datavalue":{"value":{"entity-type":"item","numeric-id":2352488,"id":"Q2352488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$F4956911-3559-476D-8CB4-A7257DFA032D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad98fd547d19be8a20901c74ce0390630b8770d5","datavalue":{"value":{"entity-type":"item","numeric-id":1601844,"id":"Q1601844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$C955821A-8DAF-40F3-9253-2F7D57FC047B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$63719192-1832-49B9-9909-FEC2E4152791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372177d12a59ae7cf72663a0a316ea03e2ff4d31","datavalue":{"value":{"entity-type":"item","numeric-id":5475791,"id":"Q5475791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$1CEFC271-95A9-41CA-861D-C30F1BE3DFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355ba040b4f683319f6d50009f8f2e01c234b1e9","datavalue":{"value":{"entity-type":"item","numeric-id":2946592,"id":"Q2946592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$91231B6E-7DE7-40F9-95C7-67F41E8A9B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c218a07c6c1fec768507daf13db1e9b66c81eff","datavalue":{"value":{"entity-type":"item","numeric-id":5624681,"id":"Q5624681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$DE21CDDB-EC9D-4504-B7EB-CFE2262E5DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d307a31d75ce205d43f99746df1f049e810792","datavalue":{"value":{"entity-type":"item","numeric-id":5624680,"id":"Q5624680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$021E9759-83C6-4509-BE8D-E2AC88AC60E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40675f47bcaa35bf66f72f66b07d94668d806cca","datavalue":{"value":{"entity-type":"item","numeric-id":1405987,"id":"Q1405987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$B9C7B61D-1A1F-4878-94DD-A84CA1FC085A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6edee32e43ab510e4a7bed8efbaabaa9b0e6bef","datavalue":{"value":"10.1007/S10817-016-9383-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362208$7D0BB7A3-A89C-4900-9746-F3ABDC1A35C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78db81a52e13cc5f15f37e7929f323e66993e62","datavalue":{"value":{"entity-type":"item","numeric-id":2958379,"id":"Q2958379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17275c3ab1dd9a38721da0774679bb4aaada65d3","datavalue":{"value":{"amount":"+0.949077010154724","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":"Q2362208$A67C6324-9375-4A36-8090-C5E9A5CED4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86bffc270f8b4957d8bb81ed3acc9f2f50586bf3","datavalue":{"value":{"entity-type":"item","numeric-id":4993338,"id":"Q4993338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1beb24bff5a5c79ca34d01aadb00959fd8c8ae4","datavalue":{"value":{"amount":"+0.9181838631629944","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":"Q2362208$5ABD1CD3-F723-4398-844B-7304B26DAE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6d9e1a47e9a7e2e6e8cfde0815e7bdfac71a1b","datavalue":{"value":{"entity-type":"item","numeric-id":5139277,"id":"Q5139277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1cb4788dc22fc069c85e168624c8a2c1e0d278c","datavalue":{"value":{"amount":"+0.9006794691085815","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":"Q2362208$3181C421-E647-4B1D-A768-CB53B1814533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"357040841b6bd18fb9d302a090c8f4eddd701d05","datavalue":{"value":{"entity-type":"item","numeric-id":5044750,"id":"Q5044750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"553bf7dce8256ee675e81a5e78ee3a0ce1236b1c","datavalue":{"value":{"amount":"+0.8447730541229248","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":"Q2362208$FA15F868-C5D2-4827-AAD3-6A4281EDCF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364585e4c07db3bfa9ad621ad00a1bff043fc70d","datavalue":{"value":{"entity-type":"item","numeric-id":4885622,"id":"Q4885622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef84914291eeed30d2e64ccf9ac2e77fe1448010","datavalue":{"value":{"amount":"+0.8319465517997742","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":"Q2362208$E0B4396D-D3C5-432E-AEE7-0704C3CABE13","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362208$C23E96E2-EF73-4255-B802-EE6473CABAFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher-order pattern anti-unification in linear time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Higher-order_pattern_anti-unification_in_linear_time"}}}}}