{"entities":{"Q2965618":{"pageid":2976343,"ns":120,"title":"Item:Q2965618","lastrevid":52756775,"modified":"2026-01-23T10:45:27Z","type":"item","id":"Q2965618","labels":{"en":{"language":"en","value":"Arithmetical reflection and the provability of soundness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6691545"}},"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":"Q2965618$CBB3F133-65E0-4781-8D54-EA79D941AEA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ccdafb7281a866fdd5be576dea76e76f04974c6","datavalue":{"value":{"text":"Arithmetical Reflection and the Provability of Soundness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2965618$6352370E-0B35-42BF-9F60-12067775AA92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec57c2a8d1127a27cd311394f0d6e262059b1316","datavalue":{"value":"1380.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965618$69A516E8-CCDF-426C-BBA0-7CED18E82276","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec9270cd248e1fef7a7df71838ada73e7d3a345f","datavalue":{"value":{"entity-type":"item","numeric-id":392281,"id":"Q392281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2965618$3AA5CEEC-E312-43A4-B602-3E7EEC8A9B03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b908986c574c476fefbeb1382b048ac0a054839f","datavalue":{"value":{"entity-type":"item","numeric-id":2701933,"id":"Q2701933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2965618$F3DA571A-8451-4897-A1F4-18DF595895E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbe5a1b0e4ce7b80503a5c1c0e7d04d4753f95a","datavalue":{"value":{"time":"+2017-03-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":"Q2965618$922730E5-CE3C-42AF-9F11-D3E2C3E2519B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965618$A53B2F5F-5758-4D20-B12A-D5A44BF1D781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965618$215E18EC-3A83-4616-99CB-CB2A8BA9E3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965618$F1A23B3C-3582-461A-8CC2-CC804DF37949","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b302be0829838e083caa549e911a10e650db23c0","datavalue":{"value":"6691545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965618$1C0DA6E5-EB81-4C87-A1C7-5E8BA0AFF46F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"727b3ec56d58074193f7435cd3ea8556f355ea4a","datavalue":{"value":"reflection principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2965618$7B667EB6-94E3-4059-A510-9C4BA9E991DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2965618$A6967D71-A7C7-4390-A01C-561C01EC0D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2965618$B1FF659E-406D-411E-AC45-BB4A27D8673B","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":"Q2965618$E0759B18-D676-4311-AB13-16ED5C35B80D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dd813dfafaf9de70c0b142687879a2ac10da221","datavalue":{"value":"https://doi.org/10.1093/philmat/nku026","type":"string"},"datatype":"url"},"type":"statement","id":"Q2965618$220B4156-FC28-4861-B2BA-4FDEF801F580","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f65b69461c52d3c40f017ae3f0925d546b430a0f","datavalue":{"value":"W2148396006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965618$B6B2145D-79B0-4330-AC11-531ECC9F61A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d1ad91ca819c3929cf1e4667a75624fc4e61e63","datavalue":{"value":"10.1093/PHILMAT/NKU026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965618$051DA6E3-29D7-483B-9BD3-B23BB4938C9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88dcd17ad00f386831bf1a4762433126935d1d2","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820a59bdcd72b3abf7d8d23490b75f9d1fa9fb90","datavalue":{"value":{"amount":"+0.7901907563209534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2965618$98C58397-BA7B-4BF9-B761-D7D964DAD2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af5e526e8ab38dff13577722c3b0a11b71acbf40","datavalue":{"value":{"entity-type":"item","numeric-id":5901498,"id":"Q5901498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e6405b6d0f62927f0b420594f4792641a6df60d","datavalue":{"value":{"amount":"+0.7407154440879822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2965618$406E30B8-41E6-4472-A921-2A06B9EC1473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9590f5e1025180c10ed58defc6832c2a6fe30ff","datavalue":{"value":{"entity-type":"item","numeric-id":5081870,"id":"Q5081870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c6f0e6faa1671f14e5062b878a24112dc438ec4","datavalue":{"value":{"amount":"+0.7385174036026001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2965618$450F90CB-07E3-4471-A529-E0D54CF010A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a33485e146a5ae69ac2e092e712184e61487f82e","datavalue":{"value":{"entity-type":"item","numeric-id":3745836,"id":"Q3745836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87248cb500fe5efd9c52112f962bb95019261dc6","datavalue":{"value":{"amount":"+0.7362725734710693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2965618$66225BE1-98E1-491D-996F-4023A2C3F8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0918840400f796ab8aa5a45848f781f41890ca59","datavalue":{"value":{"entity-type":"item","numeric-id":4948625,"id":"Q4948625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db297ccc742c862b4f85c431c484fc8fb9e58779","datavalue":{"value":{"amount":"+0.7337668538093567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2965618$D0F70F2D-5838-4ECA-84CF-D0FF13175B37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2965618","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2965618"}}}}}