{"entities":{"Q2958379":{"pageid":2969098,"ns":120,"title":"Item:Q2958379","lastrevid":85413374,"modified":"2026-06-03T08:07:56Z","type":"item","id":"Q2958379","labels":{"en":{"language":"en","value":"A variant of higher-order anti-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6679819"}},"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":"Q2958379$2EA53F87-DA10-4837-8D6F-59921B17DA1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0aaddbac76ea780888f007f912bab37533cadbdf","datavalue":{"value":"1356.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958379$66193B62-D3E0-4928-BCF2-625A2FB286D1","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":"Q2958379$2180D22C-9498-4C6B-AFFD-C0D6F6BB834B","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":"Q2958379$CEB92C14-F4AB-4027-9AF7-12C983520E1B","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":"Q2958379$AE9F56BF-2B96-4B0E-B41E-BE3D010C7196","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":"Q2958379$2D50F5C3-1D29-4588-BFD7-AC90B15947E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9849d71e29537eeb70c12e6244018ee5a71fc837","datavalue":{"value":{"time":"+2017-02-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":"Q2958379$027417E3-08E2-4460-A40B-AAEAB5D74900","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958379$E87AAA05-EC5D-4DCA-8D2F-A89C9C12036B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958379$AF572FE4-21F5-41C9-845E-D468EADC1449","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1436204b1009b814f0eae9b7f8833c2f69fbf9d9","datavalue":{"value":"6679819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958379$36260591-BBCE-4445-92F8-F2E9A3FF57D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ea74f5b7230487e5a501be466471399c62630fa","datavalue":{"value":"higher-order anti-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958379$42FDDEA0-3AAA-443C-ACF2-3DF6EC5EE395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ad642d2813eee2a994e43b3b9490128acbb130e","datavalue":{"value":"higher-order patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958379$8613EF94-2053-4810-A0E5-833C6BA57DEA","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":"Q2958379$BDD0465F-9FC9-4AFB-AE68-C921E1022298","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c6e8d6c7f5e72285923754ca4174d339f25e132","datavalue":{"value":"https://doi.org/10.4230/lipics.rta.2013.113","type":"string"},"datatype":"url"},"type":"statement","id":"Q2958379$5FA6C3EF-8CC3-4D76-B23C-498556A6CB43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99b2fe54712a72fc59460d75224b0727c9cb7e5b","datavalue":{"value":"W2148628553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958379$270DD636-4AF7-4AEE-9B71-3F0CF8D8BEFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8c9960d87b122764335c436c199ab808f44f153","datavalue":{"value":{"text":"A Variant of Higher-Order Anti-Unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2958379$71119275-A485-4687-A427-E0DD41EEAA7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e850833c248e3ffae8befec79033e047ecde751","datavalue":{"value":"10.4230/LIPICS.RTA.2013.113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958379$658E3402-3BFD-47A4-8583-60BD7CAD07D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f643c3af58865dbf8275cc595893e134cc61192","datavalue":{"value":{"entity-type":"item","numeric-id":2362208,"id":"Q2362208"},"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":"Q2958379$9B231FE1-BAB5-41AA-8687-3CED7180FAB8","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":"fcba08bdb4fd7ddf60f5b10e51e2fdf945ca6786","datavalue":{"value":{"amount":"+0.9100521802902222","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":"Q2958379$CFF689E3-7003-482F-AF42-2A3569B2DE18","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":"2a3552fb5c04a06667ec9a294d491e1e3e4c2c44","datavalue":{"value":{"amount":"+0.89231938123703","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":"Q2958379$5303FC60-53DA-47CA-97D6-EF9065D253FB","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":"be75c206cf1193170ff43101704917041016a25f","datavalue":{"value":{"amount":"+0.8074759244918823","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":"Q2958379$A63F8CC5-9EB6-4317-8B12-392E7928F63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcec3cd3bafb40fbda27567ce6db63b9c0ac559","datavalue":{"value":{"entity-type":"item","numeric-id":2352488,"id":"Q2352488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be75c206cf1193170ff43101704917041016a25f","datavalue":{"value":{"amount":"+0.8074759244918823","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":"Q2958379$2BA78F0F-FA51-4020-9CE2-F6BD887F7F72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A variant of higher-order anti-unification","badges":[]}}}}}