{"entities":{"Q4993335":{"pageid":7022912,"ns":120,"title":"Item:Q4993335","lastrevid":91075460,"modified":"2026-06-04T22:11:36Z","type":"item","id":"Q4993335","labels":{"en":{"language":"en","value":"Term-graph anti-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7359405"}},"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":"Q4993335$695D0E3F-ECCE-4E9B-929A-39CA329AA87A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0129b4a24ace18c99fbb032c4a6b76e7a330dc18","datavalue":{"value":"1462.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993335$B51F9536-A301-4FE9-BDD9-89D677F4DB87","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":"Q4993335$078CEC1F-5D1B-4F1D-82FB-855187ADA3CA","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":"Q4993335$7F632D6D-EB53-4AAD-A62F-D063D789DE28","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":"Q4993335$600FEB40-1F80-4385-AEBB-8F67992B8AD2","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":"Q4993335$E0392980-8551-40CD-A0F2-423D033F5891","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19226134edc7102663c447aa756e808a7a8d2948","datavalue":{"value":{"time":"+2021-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4993335$1352344A-8D56-4D98-B85C-AB3BC2FF3818","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993335$43F1396A-AA7E-4C38-A507-49F95E4ABD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993335$53E46097-FF28-466E-BD0F-15628BFA6000","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b808340240142bd0f9c74ce3d48f76fba2903dd0","datavalue":{"value":"7359405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993335$422BAD59-49BD-4DA4-9D35-71E60B5CC005","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc94143f89c6ad7dfbecbb37a8ce935f35b0d49d","datavalue":{"value":"cyclic term-graps","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993335$8B67E09F-97E4-41B1-A5F2-D0EE4D90DA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99a0926969ff78460c1f7ac18ea816db4d8755f","datavalue":{"value":"anti-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993335$E4D404F3-A769-4A17-8B4D-6CA2FCC97AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4603f82dc4dacd03fa9303f6f1300cd055586dd","datavalue":{"value":"least general generalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993335$E8957BAE-BA69-4EBE-B927-5AB80358CE46","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dd651b697c26b472f2f3e355f250595be3417aa","datavalue":{"value":{"entity-type":"item","numeric-id":43695,"id":"Q43695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993335$0E3B2BB0-A252-47FB-8B11-C011E9BE56CD","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":"Q4993335$CA333F4D-69E0-4FF4-910C-5FB5FE21B1F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d32dac2092c38f4cd798073861594e12ca94ee37","datavalue":{"value":{"entity-type":"item","numeric-id":2938523,"id":"Q2938523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993335$FB6563F1-244D-4D2D-8B75-CA738121C8D1","rank":"normal"},{"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":"Q4993335$BC03387B-D3D0-4B16-BDEB-365A2876071F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46a8bc6502e09f75290d4a8854327f8dc52f38d","datavalue":{"value":{"entity-type":"item","numeric-id":4890709,"id":"Q4890709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993335$817802CD-669F-443D-9AC9-5B77A582E3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97357ae73dd852c1a8a9666e049a568a84a9a4e2","datavalue":{"value":{"entity-type":"item","numeric-id":1383145,"id":"Q1383145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993335$5B098C49-5E85-4B5B-AC50-9E0FA693C661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37594abd7e16a8852dc3ba4359b18fdb5fbfa74c","datavalue":{"value":{"entity-type":"item","numeric-id":2401634,"id":"Q2401634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993335$908641B8-D5E0-4DF6-ABD2-8AF926E85A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e0dfce9058ec9e7df125de82f01de860173b64","datavalue":{"value":{"entity-type":"item","numeric-id":2362208,"id":"Q2362208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993335$A2DC9DDE-4DF5-4E59-86C9-6D9C624067EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"732dcb5bb241382165027c32cb539c5f4c07b29d","datavalue":{"value":{"entity-type":"item","numeric-id":1971974,"id":"Q1971974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993335$0240D028-3D0C-4F5B-A324-BADE60A52184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07efb3a2a3adb242dc9abb75c56f9380b02cb1d","datavalue":{"value":{"entity-type":"item","numeric-id":4645801,"id":"Q4645801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993335$4933DA73-00A7-4C8C-B786-186154CE2419","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":"Q4993335$FC65929F-0D1F-434C-A71A-29EBEAD20571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e01e3ca7c8e2ea268be87eb72edacec3b8cad6bb","datavalue":{"value":{"entity-type":"item","numeric-id":2560433,"id":"Q2560433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993335$F4479BE8-829A-4C84-B58B-5F336FC3ECD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"452cf654287c30a836f5bdfad01532dcd8a29e40","datavalue":{"value":{"entity-type":"item","numeric-id":3919094,"id":"Q3919094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993335$2DFF8F5C-B5CE-4A87-9697-1E1DF7DB3242","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":"Q4993335$65A2F060-4BE7-4333-81B3-6A129B428A91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5442caa4210413ff787f1b76aae34f7f11aac1d5","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.FSCD.2018.9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4993335$7937A27C-8B15-405C-BF3E-6762B7C68929","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f563890760d9aba66785fd122bd3145cd15e9de","datavalue":{"value":"W2857754256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993335$D2D6C8D9-7441-4DF3-9566-B815574BD6A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24e922b5cd4f0c6ad95e3774e90ef743c9ebcd1e","datavalue":{"value":{"text":"Term-Graph Anti-Unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4993335$0567DCA3-73D6-485E-95E0-D8223DEEFB64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fc971354d9dd4b8d9c79512b4e5c274731fc0f6","datavalue":{"value":"10.4230/LIPICS.FSCD.2018.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993335$E52D4C1A-ACDA-4C87-905D-DC795F36AFFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f2f579ee0ee2c1ff1949e12500fc3f3002072a3","datavalue":{"value":{"entity-type":"item","numeric-id":3402293,"id":"Q3402293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50ff5c4a04ac7c3fd6537546c4353081cb4541a","datavalue":{"value":{"amount":"+0.8281999230384827","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":"Q4993335$D34BF25E-C188-4809-BDA4-21AD938B335D","rank":"normal"},{"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":"cb94033a9fe246e6fb6d352ee1e7c644e6c9458e","datavalue":{"value":{"amount":"+0.8049260973930359","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":"Q4993335$91D76EB4-9506-49DD-8E76-BA2DA1DD4134","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":"8640cd8cd43638a45a6be4ab5860dbb31ac45895","datavalue":{"value":{"amount":"+0.7894473671913147","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":"Q4993335$46EB91CC-8E2C-4A3A-99D8-479547B78218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85a5367b13413b6874ee6fc5da4cbcf0accb4dca","datavalue":{"value":{"entity-type":"item","numeric-id":5389083,"id":"Q5389083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb40e9b19de0dacf5a9b6e0c3006c74513cf0f8a","datavalue":{"value":{"amount":"+0.7857392430305481","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":"Q4993335$4A3C7890-AA74-45D6-A012-2DC2FAB088E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dca6fc765d95da1d1a1ee901a4c3cff310ba6a2","datavalue":{"value":{"entity-type":"item","numeric-id":2938520,"id":"Q2938520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97fb16cb38339e63ec3f50ebf6843b0697a3638b","datavalue":{"value":{"amount":"+0.7681862711906433","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":"Q4993335$89D8E45C-EA9B-4F2A-B364-38B039D20712","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Term-graph anti-unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Term-graph_anti-unification"}}}}}