{"entities":{"Q5896339":{"pageid":7936394,"ns":120,"title":"Item:Q5896339","lastrevid":41593440,"modified":"2025-05-06T04:46:05Z","type":"item","id":"Q5896339","labels":{"en":{"language":"en","value":"On reflection principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3857096"}},"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":"Q5896339$E72701DA-FA40-42D0-B3ED-9A6175F1283A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4df2db109b72f7b937fa933ad0442142ea61c8e","datavalue":{"value":{"text":"On reflection principles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5896339$A41480AF-EF41-4B69-A12B-16A6E771769C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bf622b87eaf95005dd39f323e59ecc7ca409a0f","datavalue":{"value":"0539.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5896339$A6CA2EEE-340B-449E-B3D2-7400A192FD9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ace7d35c48a276921b263ca7dc19018345e4b50e","datavalue":{"value":{"entity-type":"item","numeric-id":190289,"id":"Q190289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5896339$7D7097FA-809C-45A4-8402-0DD782AE40A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4644ee9c6c93e22a4aa2641411a372d7ea43bad8","datavalue":{"value":{"entity-type":"item","numeric-id":180651,"id":"Q180651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5896339$C05D8895-AEFB-4FD5-8D2B-456162CFB874","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5896339$743A6CFA-C45B-4538-AB07-5ABDFA3EDA22","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f12c926e72daaf4c7833b4b39ab086573116f9f","datavalue":{"value":"The paper contains some minor refinements on the topic of its title mainly of the literature in the 60's [in particular: \\textit{S. Feferman}, Fundam. Math. 49, 35-92 (1960; Zbl 0095.243)]. It is not up-to-date because it neglects to specify the data, that is, formal rules, which determine a formal system, and a fortiori neglects to use the notion of canonical representation of those data w.r.t. the system(s) considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5896339$1A364996-881B-46E9-8CBE-6171A2C87DF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5896339$797E0295-97DE-444E-9E69-EB871748D2FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13e1ef59350403a636745e05c7b3d726c92cd5a7","datavalue":{"value":"3857096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5896339$CD240D56-CC26-47C5-A891-6285D9E665DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"727b3ec56d58074193f7435cd3ea8556f355ea4a","datavalue":{"value":"reflection principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q5896339$9A7F259A-EC74-4F68-AE1C-6D6838A83786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d3e21302bf9f0f9c422b4c23943225e22f1a5a","datavalue":{"value":"first order theories containing arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5896339$76991DAC-2F63-4039-AEDC-628B3A06691A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5896339$6C991900-53B4-4296-9D81-F9403F34B72D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"34c3a346e5e5e392396f93c6af311795a4a09543","datavalue":{"value":{"entity-type":"item","numeric-id":1238802,"id":"Q1238802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5896339$DD50FA5E-D6E9-4C5D-BC62-79981B91EC6F","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":"Q5896339$7FCADDFA-6BE1-43A2-8327-D8527328C552","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ceedc7c1a158f0571709489a414582528f3f509e","datavalue":{"value":"https://doi.org/10.21099/tkbjm/1496159532","type":"string"},"datatype":"url"},"type":"statement","id":"Q5896339$84B59546-0CE3-43DC-AE54-F54801E4C4C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9338216481fdb40857310a1e4ea489895370ade1","datavalue":{"value":"W1834312713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5896339$0444F791-B674-40DF-BD27-EAD7BB506D71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0ebb046cd31974ee584df630db39134c2c64d6","datavalue":{"value":"10.21099/TKBJM/1496159532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5896339$8588FBD7-0C22-4060-9558-0A95228A45DC","rank":"normal"}],"P1643":[{"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":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5896339$FA4C4231-25AD-4319-A2F7-EDD545AFE2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f5e7fa89bd4718b144304a5fbf7146f1acd0311","datavalue":{"value":{"entity-type":"item","numeric-id":2038432,"id":"Q2038432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f1c5b73402e8d9abe9b1cfb802279cf7229c18","datavalue":{"value":{"amount":"+0.89704245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5896339$77880E76-E5B4-4175-B075-3B349B904E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15fdef7d5001dfc575f752f8838c4e8146c06f51","datavalue":{"value":{"entity-type":"item","numeric-id":4946140,"id":"Q4946140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3bd0b844fa6fec618ca97ee352531b25bfc579","datavalue":{"value":{"amount":"+0.89294124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5896339$A7B3F957-1FF9-45B7-8758-21C19D26DBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d734adaf1e87088d40feb77778fc52769174a90","datavalue":{"value":{"entity-type":"item","numeric-id":2784780,"id":"Q2784780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e296bb91adc572a1ba26fbc3e00b94f9af05ce35","datavalue":{"value":{"amount":"+0.8887317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5896339$75773DC0-FB41-4869-8D13-FAD9F9EB0B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"401fd1106d6e17c34ba3a837abc82257a4858ac3","datavalue":{"value":{"entity-type":"item","numeric-id":4811317,"id":"Q4811317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4921c4c1300336aff9b4127b1cf80b1d4af9ef53","datavalue":{"value":{"amount":"+0.8778132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5896339$C7635E16-F123-4216-9FC8-79CF38345418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f37671d7bbfe4e4253443e8c152f70ec8b07445","datavalue":{"value":{"entity-type":"item","numeric-id":4220191,"id":"Q4220191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b16961951ee9e4b89fe2229ae9d0b1db83ed187","datavalue":{"value":{"amount":"+0.8769765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5896339$5E81DB52-4ED9-43D6-92B6-1BC0C11B7ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8083af46c5a1e85e072d576a94b936e863e4e3","datavalue":{"value":{"entity-type":"item","numeric-id":3480034,"id":"Q3480034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e9a9f016180e11b392794528577f005474edfce","datavalue":{"value":{"amount":"+0.8610035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5896339$3C46A3D3-4148-44F7-9A7E-E70E7B9D09DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80aabf6b89db64cb4b310c948fa73c09c7948ffd","datavalue":{"value":{"entity-type":"item","numeric-id":4781761,"id":"Q4781761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4284dfbca9b4a738826bb8f9a551efc440c5a207","datavalue":{"value":{"amount":"+0.8555335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5896339$D9142226-20E0-4899-BEF5-4B0FA6757B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c211992853e47571a2bb3e36e839420d7d05094d","datavalue":{"value":{"entity-type":"item","numeric-id":5743942,"id":"Q5743942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac40f47915bfd0ecb68a0fe55c09428262289e46","datavalue":{"value":{"amount":"+0.85547316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5896339$3AE662D0-1507-47E0-8C27-3B3B2B4B6F0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5896339","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5896339"}}}}}