{"entities":{"Q4972174":{"pageid":7001753,"ns":120,"title":"Item:Q4972174","lastrevid":53600876,"modified":"2026-01-25T09:52:10Z","type":"item","id":"Q4972174","labels":{"en":{"language":"en","value":"Idempotent anti-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135673"}},"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":"Q4972174$2E71948F-1E08-470B-AC0A-B23792B9855A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07ae56eed88ebc36da270133ab4f1d150cb08b12","datavalue":{"value":{"text":"Idempotent Anti-unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4972174$C0507056-E398-4B5C-A4C5-D1208BEE4E29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05ead561e024ca0518589885cff0f14033ca6b26","datavalue":{"value":"1433.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972174$7ECD8448-B536-48D3-80CE-FCA12BB3CC8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7b1e87ab777cf096a9d9171110334573a4faea9","datavalue":{"value":"10.1145/3359060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972174$6AC4590D-476D-4781-8E5C-937FCF50ECF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfbc6aedeac132fa8fdf22a422318272d7dd6c21","datavalue":{"value":{"entity-type":"item","numeric-id":1694472,"id":"Q1694472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972174$24CC9017-A0B4-4B2E-97D9-B65B8CBFE959","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":"Q4972174$33CA6B71-EC62-4008-88B2-0753924C6806","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972174$7BF1A0EC-EF53-4B0F-9835-9D8F44D785A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4972174$883E2E13-3F8C-459D-8547-9CFCF148A3E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972174$231B9730-2AA5-4337-B0E4-12BC58715EB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89eba26ea945400fe53202516895441bdd201977","datavalue":{"value":"7135673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972174$B0996E50-1120-464F-802C-A25A2DAC0137","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99a0926969ff78460c1f7ac18ea816db4d8755f","datavalue":{"value":"anti-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972174$579FCDC0-5C25-4E01-964A-C52DC7D346AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32089794c559051e9fe3202986acc490c45fac8d","datavalue":{"value":"generalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972174$1327F515-3657-4E9E-9AB2-DF375630BFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721fc485f6834429079d73fb043fd7d5c7af6226","datavalue":{"value":"idempotence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972174$59C72EFA-58C1-47A4-A326-3CB816512837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e88c6ccd50d02d66a65f2ad344a3084f186b1dd","datavalue":{"value":"regular tree grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972174$96363484-87F6-4DD3-B3D0-443CAF0470B5","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":"Q4972174$10E9BB19-2E7B-4939-BD70-6921D42EACE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69ff58d893819d2738dd873496de1f310ab18ebc","datavalue":{"value":"https://doi.org/10.1145/3359060","type":"string"},"datatype":"url"},"type":"statement","id":"Q4972174$2165E9E7-39A7-4FDD-A615-18876E9DFFEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8144e4698985c26193329d4bd1cadfc7f599a1db","datavalue":{"value":"W2988302838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972174$5DFDF69B-35EB-4BEA-86F0-55A62377829E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e1616e2105451f1a4314a82e4496c1bf821bd155","datavalue":{"value":"Q126852733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972174$5BFDBA5D-E61A-4FB7-A9F4-53210F4C8D5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"785bcfbd5bf81407ea8020c4db7a5044b1d38544","datavalue":{"value":{"entity-type":"item","numeric-id":3184519,"id":"Q3184519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af48d2e9577986f5842b935a2f1bc607049df36e","datavalue":{"value":{"amount":"+0.7611011266708374","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":"Q4972174$0BEB0883-8E29-43C5-956A-2FBEF2538631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"498790f2df7b119f899fc3700ff814f93ff095fe","datavalue":{"value":{"entity-type":"item","numeric-id":5277871,"id":"Q5277871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d077a05e63a5f8ca1013dff36419a205bddad612","datavalue":{"value":{"amount":"+0.7531260251998901","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":"Q4972174$BE1A8F87-F635-4BB6-83E2-8F7C5FAB67A5","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":"cf49455ef13cb75e8f689711ff1eedc734f5b3e8","datavalue":{"value":{"amount":"+0.750800609588623","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":"Q4972174$93A2ED28-A1A5-4BC0-BED8-FE1B47ABB6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"188523ab424567855a041230f5199e2deb8b8cfd","datavalue":{"value":{"entity-type":"item","numeric-id":5108501,"id":"Q5108501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f583599feda366dd1c65ccc974a0d5c9fe8934f5","datavalue":{"value":{"amount":"+0.7491248846054077","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":"Q4972174$EAF0CA8F-9202-4C47-94BB-5AE532C5F1C9","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":"7fc25cb6cb9df1a6c4b5b38123e3885044fb6371","datavalue":{"value":{"amount":"+0.7416543364524841","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":"Q4972174$8DBF292D-FF31-4D22-977D-9AEE54A34A1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4972174","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4972174"}}}}}