{"entities":{"Q6503667":{"pageid":14082620,"ns":120,"title":"Item:Q6503667","lastrevid":103493933,"modified":"2026-06-06T07:29:23Z","type":"item","id":"Q6503667","labels":{"en":{"language":"en","value":"A definability theorem for first order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6503667$C0D98790-B87F-4C7E-AAC5-EFCCB730748B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4add0e51b735751dd43034e732e4687d84550c92","datavalue":{"value":{"text":"A definability theorem for first order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6503667$49966002-C73B-4B79-B098-B2829E9DF0D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c649f5f7648e8dbc6d4f8b5caa18d974a50063e3","datavalue":{"value":{"entity-type":"item","numeric-id":386621,"id":"Q386621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6503667$DD4E2698-1F22-4C82-8A64-8268A621813A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d27f35d8b8d36daa01c278530444ad70355c66c","datavalue":{"value":{"entity-type":"item","numeric-id":169786,"id":"Q169786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6503667$845A42EC-6601-4880-9361-EA95D5CBF9EC","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":"Q6503667$241F18E2-F4CC-4E3E-81C0-3181865D2693","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"22d549bd50422a61ef1ec1229cfec64f02bb2fd9","datavalue":{"value":"math/9706206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6503667$8275A450-602B-4402-B5F7-E0016092DE03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A definability theorem for first order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_definability_theorem_for_first_order_logic"}}}}}