{"entities":{"Q6544099":{"pageid":14155243,"ns":120,"title":"Item:Q6544099","lastrevid":42338646,"modified":"2025-06-11T19:41:59Z","type":"item","id":"Q6544099","labels":{"en":{"language":"en","value":"Nominal anti-unification with atom-variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7853713"}},"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":"Q6544099$2AAA5217-505E-4241-95C6-04526DC19F6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef6aa38aa39ae5d1a7e0ccb833c8f4f35b565803","datavalue":{"value":{"text":"Nominal anti-unification with atom-variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6544099$E82898A4-B231-4175-9D74-C420F265C0A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544099$F61B2487-D684-4E50-BBBC-09EBF91495FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a780894b40753623b223e1278bb24d0df726e149","datavalue":{"value":{"entity-type":"item","numeric-id":683745,"id":"Q683745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544099$6D622A60-2363-4BF8-A908-86BBD9F19BEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb446d46e1c3c1f4c9c481337a64fd2c7b9ecce2","datavalue":{"value":{"time":"+2024-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6544099$1F99D668-D739-49EA-8AA2-1E5A9C87DF6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544099$38AAA175-2ABD-4D76-BCAC-7A6664890354","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49fd9483a4948814084cfeac7a1a6bec70b24e91","datavalue":{"value":"7853713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544099$D758C532-1D2A-4716-9A22-E00F403D9339","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32089794c559051e9fe3202986acc490c45fac8d","datavalue":{"value":"generalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544099$65DC7E0D-6F1E-41E4-86F5-A236B3194004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99a0926969ff78460c1f7ac18ea816db4d8755f","datavalue":{"value":"anti-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544099$752D8C53-6900-4F45-BEF6-2B641863194F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d283945467c8fb636b2409c2ae933dfdaa3c9709","datavalue":{"value":"nominal algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544099$FBF3E975-FA6F-4C3A-B311-E8F0F574826C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa5d275396ff7ae94ddba9f5ede91fb4e62f77c9","datavalue":{"value":"higher-order deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544099$15EBBB8C-4A5C-4A83-9B47-525432F31358","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":"Q6544099$D52122C0-065D-42BB-B061-97DC0DF545ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"193389fa5f1828d7c443092a7fe30bb7d54f7d3d","datavalue":{"value":"10.4230/LIPICS.FSCD.2022.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544099$FF2E043C-B741-402D-8AD6-B37F30109F69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6544099","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6544099"}}}}}