{"entities":{"Q3656426":{"pageid":5686332,"ns":120,"title":"Item:Q3656426","lastrevid":50875157,"modified":"2026-01-15T13:09:01Z","type":"item","id":"Q3656426","labels":{"en":{"language":"en","value":"The inevitability of logical strength: strict reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5657608"}},"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":"Q3656426$FE87F30C-F986-46BB-A1D1-E7FE3710139A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bba8ef2bc167cadea911c2bf551719dfbaddce24","datavalue":{"value":"1190.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656426$794C5730-4D46-4B9D-B816-1021C4B114D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7d460ffc6b3e0069ff40b20b2755df97aa354","datavalue":{"value":{"entity-type":"item","numeric-id":196044,"id":"Q196044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656426$D5E4DD85-9E90-4687-9456-97B3EA55A9EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"881d7755ed56ad45091e513ac6c64caeecaa15ad","datavalue":{"value":{"time":"+2010-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3656426$5375D6B5-857D-4A82-A5D6-BE87C162E3BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656426$CDFB659E-7C5A-45F4-B886-2235078A1B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656426$2C2B5307-D94B-4772-A738-70D754A24FCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8da4719a843c457e1acfeeb1f3a97582911b1534","datavalue":{"value":"5657608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656426$2346C04E-4C47-400D-9D8B-03827E5ED3A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"998483befe9ddbaa902f1e5b2bfa2297b01bd42d","datavalue":{"value":"strict reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656426$E047F939-400F-441F-9FB9-E023C461A77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a55ff56cd9c92efa8181e90fe1a051d7890c3ab5","datavalue":{"value":"EFA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656426$D75DE40B-E1A2-4A20-8FDE-A351B347E7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccbf457b1378957d88f4b2c7a217ba3ef744288b","datavalue":{"value":"FSTZ","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656426$B20DFB78-61B2-4026-916D-D894E54A378D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde583871fe37b08dc4130342255929583730a25","datavalue":{"value":"FSQZ","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656426$FE98B589-49B0-4D4F-AE6C-E00080513C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7dec3ca0ef8c07408ce1c4ff39bf903996f68bb","datavalue":{"value":"FSTZEXP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656426$A579B86C-7B5D-47ED-B298-7AF2ABE49761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52eaf68440c4e1f04e0eeebf9832aa8d149e86e9","datavalue":{"value":"FSQZEXP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656426$8761B7B3-FD09-4842-B959-AB824AD89664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2cd270fddd900ff90918cdb1f2ada2b91e52a1a","datavalue":{"value":"PFA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656426$9FC13DC5-D59D-4C1E-BC57-101975976DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656426$DF4B3DCC-FCD6-4884-9CC0-043BFA57EDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19fa2601471f415dfbde4c430787d0033fc3fce5","datavalue":{"value":"Robinson's Q","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656426$FF4B1359-4760-4BF8-A7FF-85E18A2B1680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656426$2AE2187A-C369-43E3-9CA2-201C7952594F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5e88689ac3689e3c3aecbdf92fed59d8785dc68","datavalue":{"value":"elementary function arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656426$A5D5984A-0077-4F88-BB7E-99092848738B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b6aaf4da36601fd4c446f3987c69f32a14e2f03","datavalue":{"value":"polynomial function arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656426$C7ED0D75-096F-46D0-BB94-8A696220972F","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":"Q3656426$F8E8BE03-55D1-462A-A182-E5DF6CC58820","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb6ea11e0439394de252de26b0a010826e3f53e","datavalue":{"value":{"entity-type":"item","numeric-id":1312709,"id":"Q1312709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9cadf762f0d64adc5d856937421192f62d7abbc","datavalue":{"value":{"amount":"+0.7276015877723694","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":"Q3656426$D0B5997A-ED7A-4356-81F2-2A04967C2E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9a9a2132f299b962e9224749a9a71d414fff5","datavalue":{"value":{"entity-type":"item","numeric-id":4365296,"id":"Q4365296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab43dee87f743d8704765a9a90023dc9efa667e0","datavalue":{"value":{"amount":"+0.7210867404937744","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":"Q3656426$D2A5CA1C-0DAF-4534-918B-41703CA2BFED","rank":"normal"},{"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":"ab43dee87f743d8704765a9a90023dc9efa667e0","datavalue":{"value":{"amount":"+0.7210867404937744","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":"Q3656426$B100EE42-8851-4AA3-AE65-50B1E3AD49AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01e06372c71ee9fb4bd306cfa7d5ed09de0d88c3","datavalue":{"value":{"entity-type":"item","numeric-id":3079620,"id":"Q3079620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1e492ea61861846168af1b0195b73a4edff155","datavalue":{"value":{"amount":"+0.7195744514465332","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":"Q3656426$E19B69FD-0234-4A9C-BA23-6BC5C530BEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18515c2c529ff20c08db40bd16ee809acdbe2e2","datavalue":{"value":{"entity-type":"item","numeric-id":5046601,"id":"Q5046601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d71ea1742574ec8e9955dc1ddaf2fd3ea55fc3a","datavalue":{"value":{"amount":"+0.7054684162139893","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":"Q3656426$B04748D5-9488-48E2-A016-98BB801A2E53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3656426","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3656426"}}}}}