{"entities":{"Q5277871":{"pageid":7307446,"ns":120,"title":"Item:Q5277871","lastrevid":52850582,"modified":"2026-01-23T15:42:31Z","type":"item","id":"Q5277871","labels":{"en":{"language":"en","value":"Nominal anti-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744191"}},"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":"Q5277871$518D116F-AA3D-426D-AEA5-77746EE96B28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18df145f3803efbd493d19305bb05aca9312bafb","datavalue":{"value":"1366.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277871$710A8D04-DA5C-4494-83DE-4AF761423B92","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":"Q5277871$758BCC10-B7C7-405A-B7B8-6D59BFC6F698","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":"Q5277871$5A782FD5-B74F-41B2-B8DA-8D8E57E79098","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":"Q5277871$47654E0B-A919-4CFA-B510-9E765876744B","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":"Q5277871$7785AB38-E2EF-4EC6-82FE-01DC8F693150","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277871$2BA457FF-A389-4689-AA6F-7845FC337BE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277871$10DB7E73-C7CB-414F-B827-5DE603B83DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277871$D8F91C78-1E37-497C-8507-94FF052EDD51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7f1b3b18c4ffd76b7fc558b9bbdae0656bbd787","datavalue":{"value":"6744191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277871$56381185-CCA2-4288-8994-76046C75EF62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6df8d5e8ea6af381f1558137c31a4f044544a670","datavalue":{"value":"nominal anti-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277871$3D00EC63-40A1-460D-A3B8-82D6686B26DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca99827f77514b6d06e5ae0c91781f579827b8f","datavalue":{"value":"term-in-context","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277871$3B7317E3-CB20-45E1-904D-97D28FE4ED4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c3b0d28d50231f783de1fd22a27b61e658c3d4d","datavalue":{"value":"equivariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277871$E9949B5A-B962-4C74-B076-557F3092E46E","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":"Q5277871$9ED93C0A-8F6C-40E7-B5B9-E905A784166C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ecde26586fe556c074a2636e1c42a9706f966c4","datavalue":{"value":"http://dx.doi.org/10.4230/LIPIcs.RTA.2015.57","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277871$42AFA2DA-E5A8-4E18-A82C-6691E868E083","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd9316b75057e729f8ccee7fddf7539366283911","datavalue":{"value":"W251367185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277871$F29E82E0-5E02-483C-882E-90785BE82FAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f4f8a5a6ed49459ea3101da31a376c26c5a2766","datavalue":{"value":{"text":"Nominal Anti-Unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277871$4A5303AA-7639-47B8-893B-BACDA7C956BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4934b66d843070f9767adf1d4d16a6c11ac254b0","datavalue":{"value":"10.4230/LIPICS.RTA.2015.57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277871$407AEF11-BFF7-48FA-A163-E48AA0FD7DAC","rank":"normal"}],"P1643":[{"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":"afbcddfe1ef3da51ce81586b16699568c604f79c","datavalue":{"value":{"amount":"+0.8134347200393677","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":"Q5277871$5BE34E43-6539-49A5-96E4-13EE9E103619","rank":"normal"},{"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":"fa7d888aa985d03afe30fe851078b37ccca1ceeb","datavalue":{"value":{"amount":"+0.807255744934082","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":"Q5277871$6A2DBEBD-6EAE-4091-B9FE-1C06C25A0E0B","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":"6a27ef2b8ad84333b260bde4ecc87fee5559a02c","datavalue":{"value":{"amount":"+0.8023698925971985","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":"Q5277871$4D3F2BF0-F38C-46BF-B3D9-8E0BF75CA0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60202256e215ee1dd4ef499b809ea083890f1cb1","datavalue":{"value":{"entity-type":"item","numeric-id":1640638,"id":"Q1640638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f953174eeab44c42bebf554e109d8a373f858cbd","datavalue":{"value":{"amount":"+0.7974616885185242","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":"Q5277871$13E16CAD-C193-4E2E-850D-694568DB15A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82a566c5a4510d10ac65aa16a67b65293e15e1ad","datavalue":{"value":{"entity-type":"item","numeric-id":944382,"id":"Q944382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e82696da998b3a1d870222d3ecee87e43e8168","datavalue":{"value":{"amount":"+0.7961127161979675","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":"Q5277871$A36DC3C8-8B00-4FFB-A067-8117EFF437A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277871"}}}}}