{"entities":{"Q1416":{"pageid":2072,"ns":120,"title":"Item:Q1416","lastrevid":2259,"modified":"2024-07-29T13:57:27Z","type":"item","id":"Q1416","labels":{"en":{"language":"en","value":"right-uniqueness"},"de":{"language":"de","value":"Rechtseindeutigkeit"}},"descriptions":{"en":{"language":"en","value":"property of binary relations"}},"aliases":{"en":[{"language":"en","value":"right uniqueness"},{"language":"en","value":"right-unique property"},{"language":"en","value":"property of right-uniqueness"},{"language":"en","value":"right unique property"},{"language":"en","value":"property of right uniqueness"},{"language":"en","value":"functional property"},{"language":"en","value":"univalent property"},{"language":"en","value":"univalence"}]},"claims":{"P2":[{"mainsnak":{"snaktype":"value","property":"P2","hash":"8f74847692e152e51dc4f11f6587b5934abef990","datavalue":{"value":"Q54933381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1416$D00A583E-D5DB-4671-A537-DF787B6CF185","rank":"normal"}]},"sitelinks":{}}}}