{"entities":{"Q5213387":{"pageid":7242957,"ns":120,"title":"Item:Q5213387","lastrevid":58483074,"modified":"2026-04-05T10:14:53Z","type":"item","id":"Q5213387","labels":{"en":{"language":"en","value":"From Tarski to G\u00f6del\u2014or how to derive the second incompleteness theorem from the undefinability of truth without self-reference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7161961"}},"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":"Q5213387$3783C9A8-72D1-4013-9A2E-62D9FB5D35E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1e52008fdf454910d598d71cb5aba2f689aaae0","datavalue":{"value":{"text":"From Tarski to G\u00f6del\u2014or how to derive the second incompleteness theorem from the undefinability of truth without self-reference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213387$7D5C78EF-C62B-414C-B23E-0C104B255816","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d012d6358b832271937c87bb7c65c91a413b420","datavalue":{"value":"1444.03167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213387$7C68D73B-42A0-4B5E-AE81-1EA72A4B3A32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213387$0C4B9F4C-2311-4D00-B144-AFF75F6C1667","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75a771ae7772d5e2895e882aec1633da543f974b","datavalue":{"value":{"time":"+2020-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5213387$61DB7EA5-6575-44D9-8192-E3889C555F0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a8ee365e2c9d223f144c78d81331030e9993911","datavalue":{"value":"https://arxiv.org/abs/1803.03937","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213387$3D69664B-D6FD-420C-841F-A431759126C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213387$E1E28158-4A2D-4FFB-968D-3A6969008AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213387$01622362-C098-4651-8A83-DBE4BAF40F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213387$ADED4658-0BF4-451B-AB7E-C6F0D9E05B6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e3565c156694f8baa627c26bb369af299f52cb0","datavalue":{"value":"7161961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213387$BB1D498C-1CBF-4D94-B0FD-9F3887957D4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc414f681425b8ca834fa8ee0244adca0266d7f2","datavalue":{"value":"formal theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213387$91106443-F32E-4CE5-91BF-737B21C0A10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213387$5D8A0A76-0EBA-438A-9CFF-87DA474854EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a55c2247f1ec1afae79380a28ac8b326571bcfd","datavalue":{"value":"self-reference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213387$EAD38DD4-7A46-48A3-9C8E-0BCC16203D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76ec4c3ca5ea2786bb74ab23a71c3207f2b5eb0","datavalue":{"value":"truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213387$8511A0F1-A87D-4022-8858-B8628ED4B607","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":"Q5213387$8653E135-A8FC-4B7E-9F2B-C10B2288905F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe82afe4ab03b6a877138b7d71a67643f6ef878f","datavalue":{"value":"W2963138781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213387$D99B007D-A559-4A52-AD5F-F0AC81C1AE0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adb6d580fe9e4b911ce8f419c3a31fa4eaa67869","datavalue":{"value":"10.1093/LOGCOM/EXZ004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213387$DC60A217-1027-42AA-B832-89737612C38D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213387$8F8BD389-C57E-4BC8-AF3D-0CA57D5D4158","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213387$BCF6CE0A-FBB0-4E54-8C0B-8307B49B6F47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5213387","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5213387"}}}}}