{"entities":{"Q6314252":{"pageid":13450123,"ns":120,"title":"Item:Q6314252","lastrevid":42154784,"modified":"2025-05-26T15:29:04Z","type":"item","id":"Q6314252","labels":{"en":{"language":"en","value":"Rosser provability and the second incompleteness theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6314252$421AE19E-8ADD-4F59-87F4-746DE4995B00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e07e584aaf32d9a9691066d4a126742d1828198","datavalue":{"value":{"time":"+2019-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6314252$DF7C7065-9C1E-442A-A2A2-5B550B9A0B91","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"22fb40a79dc855dc71f4774b683e9d5956f68b2c","datavalue":{"value":"1902.06863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6314252$8CA94D3F-3AB3-4222-AC4D-82CF56EC7B2A","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6314252$CF74EDC3-827C-4630-AB36-002004B373D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"128c2b12d65261607bd53a5a5505e34270780d7e","datavalue":{"value":{"entity-type":"item","numeric-id":312495,"id":"Q312495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6314252$5A19EBE2-5663-4AF2-8F31-B4287950F2CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6314252$45D29598-F47F-466F-9396-CF86A21A07A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f3e19226441d4b8048ce27ce815913b6ae4d5fd","datavalue":{"value":"03Exx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6314252$AFD8C932-75AA-4670-93BF-1F14C87E7490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6314252$AA95FB52-99D9-41F8-819D-0EBD7123AB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6314252$1DDA3016-1808-4929-91C0-E20FDFDF2087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6314252$ED554A1A-BD1D-4612-A996-1FBDF290A395","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4784624624ce4fd84796ae1be7182ae1fb65bd6","datavalue":{"value":"10.1007/978-981-16-4173-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6314252$745F6D2C-CBE7-4493-8F74-91FCBBD3DA6F","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":"Q6314252$071B64D7-C730-4C85-BDD0-F938556C035D","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"37d01f02deb16240ba3a88879ca8bcb4bdcc978f","datavalue":{"value":{"entity-type":"item","numeric-id":2097058,"id":"Q2097058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6314252$F48E54E5-4F76-41DB-8F9C-1180DBCB6941","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6314252","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6314252"}}}}}