{"entities":{"Q5348541":{"pageid":7378115,"ns":120,"title":"Item:Q5348541","lastrevid":52880567,"modified":"2026-01-23T17:23:03Z","type":"item","id":"Q5348541","labels":{"en":{"language":"en","value":"Reverse mathematics. Proofs from the inside out"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6762169"}},"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":"Q5348541$9F1A29C0-D4EF-4AD0-B53E-1854591513FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5dc7e27e6646f1eb5f8bee85bddc777f67ce232d","datavalue":{"value":"1386.00059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348541$6A5A95BA-A54A-47E1-BF08-AE78BCB08ED3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7aec29ba235ce4122c24f885c77255856f37a51","datavalue":{"value":{"entity-type":"item","numeric-id":300565,"id":"Q300565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348541$883E72F6-6863-4D56-814C-B579151D35D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccae9af129fe34d964427ca989fc776c607d507e","datavalue":{"value":{"time":"+2017-08-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":"Q5348541$ECB25499-9FED-4EA6-AE73-EED208C80F71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348541$3338836B-BED4-47F5-940D-4C1C10110571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348541$E0AF4DFF-3CF7-4BBA-80DA-26E2D3F1563A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348541$9AEAA2AB-DB20-4405-A7E0-AB2080D05382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be000a1ee23d4d447aadbfa42d3f6cb78b7c460d","datavalue":{"value":"26-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348541$98BDC7C9-B169-46F1-9FD2-DAE06D45B3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6cebdb0e1604e1162f6ce137bcdc783fa53247d9","datavalue":{"value":"01A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348541$CE1125A3-4F35-4271-864B-B2C6F393B181","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d386336880c67e0de71bcf0baa30cd0d0f617d20","datavalue":{"value":"6762169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348541$24610EC8-8CEC-444B-A07D-F251DDF8C71B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348541$C8C3A9DE-5497-4B19-BE72-67F86FBB0C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b1e23fdd462c5b13a4f6adc3682604d0ec6bd6","datavalue":{"value":"axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348541$EB38B32C-B611-41C9-8E98-E4AABCF0EED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348541$65AAA76F-A1FA-4509-9F92-2FAF513D4F45","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":"Q5348541$1D01255C-0422-4FED-ABD8-021164FB36EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25039b6171b2485eba382bcb26f5369f48506ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"327ffc77ea121a1820e7b63640747651e596a067","datavalue":{"value":{"amount":"+0.8321582674980164","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":"Q5348541$EDCF3EFD-1DFF-4E50-B1F4-3C1B6C8C2694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ad72412d5e80f7e8fe630e4e771b1856280d93","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed5f599437f7bda24205a14e84c198136317b7a","datavalue":{"value":{"amount":"+0.8167533874511719","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":"Q5348541$026D3EB3-0568-441B-9353-CAB9DDB8661B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a0054b324577f06410e3f3adb185598e441a66","datavalue":{"value":{"entity-type":"item","numeric-id":5203004,"id":"Q5203004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9be54a8d3e2024636cbed7abc47dc3ddee10b22","datavalue":{"value":{"amount":"+0.815176784992218","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":"Q5348541$28F37497-CB52-48E6-893A-2F862D873118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f370a8f81fdfc413706a3975e31749f543527788","datavalue":{"value":{"entity-type":"item","numeric-id":3163663,"id":"Q3163663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eab251ded614b59db6e265ea1e8fd345b1a3ddc1","datavalue":{"value":{"amount":"+0.799435555934906","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":"Q5348541$A3343EFD-844E-4C8C-9DF5-641B881752D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ea533da214356801a26c3553c733025738ddd3d","datavalue":{"value":{"entity-type":"item","numeric-id":5711891,"id":"Q5711891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eab251ded614b59db6e265ea1e8fd345b1a3ddc1","datavalue":{"value":{"amount":"+0.799435555934906","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":"Q5348541$B371C9DF-F2A5-4817-BE12-DB1F1B9C5B32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5348541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5348541"}}}}}