{"entities":{"Q193":{"pageid":270,"ns":120,"title":"Item:Q193","lastrevid":710,"modified":"2020-04-20T11:00:14Z","type":"item","id":"Q193","labels":{"en":{"language":"en","value":"Formula q_263"}},"descriptions":{},"aliases":{},"claims":{"P8":[{"mainsnak":{"snaktype":"value","property":"P8","hash":"5668a8c54e4dd2f2e771bc8a33909bc445a87269","datavalue":{"value":"q_263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q193$508186ab-e89a-43a4-a06e-417a7bdad704","rank":"normal"}],"P1":[{"mainsnak":{"snaktype":"value","property":"P1","hash":"f211ab8d8e4eefc2c067e4679dd5048ebae1bcf3","datavalue":{"value":"Empty(x) \\iff \\not \\exists y (y \\in x)","type":"string"},"datatype":"math"},"type":"statement","id":"Q193$39158179-5ecd-4fde-8218-4a45a3d7e207","rank":"normal"}]},"sitelinks":{}}}}