{"entities":{"Q2966523":{"pageid":2977248,"ns":120,"title":"Item:Q2966523","lastrevid":85432184,"modified":"2026-06-03T08:13:26Z","type":"item","id":"Q2966523","labels":{"en":{"language":"en","value":"A multi-sorted version of second order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6692693"}},"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":"Q2966523$23766C3E-EC2D-4E5A-88C4-33AAF46C488E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd33d44354baf082aff83bf82ce6ce500a981af9","datavalue":{"value":"1396.03111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2966523$4E7B49C0-B39B-409D-878B-9B1D52F319EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66b8a2d75d5fdb35a4d486190db6ce4830500814","datavalue":{"value":{"time":"+2017-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2966523$5093AD01-4934-4FC3-9C8A-43ABFBE10FA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"839748b549f051df9569c6aed9fcd1122c0157dd","datavalue":{"value":"http://ojs.victoria.ac.nz/ajl/article/view/3936/3545","type":"string"},"datatype":"url"},"type":"statement","id":"Q2966523$29ED240B-D520-4463-9EFD-D1AC28214387","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2966523$A172BFFB-C12D-4589-BE93-40B15413E263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2966523$8E0404A4-69D8-46E2-A295-33E2520102D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2966523$8FAFED8C-DD99-4305-8A0B-C38ED95BC783","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3e4c58109889e94a775b34dbff296e26b4c6c92","datavalue":{"value":"6692693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2966523$219C6166-ABCF-4AE7-8151-E0C3769C4BE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2966523$4F479FC9-4823-4059-8A9F-F3B6C347B1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2966523$7EF6E8B1-EC98-45E9-A1C8-3C004012920F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dd53a04583fd7990da10ec89b3ad9338c05e7ff","datavalue":{"value":"predicative","type":"string"},"datatype":"string"},"type":"statement","id":"Q2966523$12370008-8932-4A2B-98B2-6A56DE8563AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2966523$FFE6CEF8-DA5E-4604-9D0B-1556E29ED016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb555ad50daa2f2442c3374413a67b79e38b5020","datavalue":{"value":"relative consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2966523$8D25E73C-D4EB-4C2E-99D5-26EC0B1970D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5245dd9eb3255611a23b1a3010f6d2adcff0e2a9","datavalue":{"value":"truth predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2966523$804275B6-4846-4233-97C4-0A34A9B6B244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"837fc5bf62023271ee428d3915134847c33c3eee","datavalue":{"value":"proof-theoretical strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q2966523$C52946CA-F0DE-4176-8AFF-6E2DD1EB374F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9f80f388021945d2942bf766e11c8aa394afbd1","datavalue":{"value":{"entity-type":"item","numeric-id":2363504,"id":"Q2363504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2966523$FBEFF77F-7D2E-422B-8AC4-861A2E2AB884","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":"Q2966523$D8A2CF3E-C1CB-447B-A1BD-241DA2CF4FC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0301e32857eabb78f8ed5ac4c5dac39d58e9ae","datavalue":{"value":{"entity-type":"item","numeric-id":5479570,"id":"Q5479570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f22e10994e3c7f1bfe83024398b86d430d849db0","datavalue":{"value":{"amount":"+0.7331430315971375","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":"Q2966523$DD516D13-82E2-42F8-9B5F-5CB55A5B5740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8c7dc15f66ae2ef46a1cfe79a5c577aacb0408","datavalue":{"value":{"entity-type":"item","numeric-id":2363505,"id":"Q2363505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c210321f30f04e58f6388b139ddaf778654322","datavalue":{"value":{"amount":"+0.722318708896637","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":"Q2966523$19FB0E16-A4C5-40A5-9641-1E42113BB855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6da9c671ec85c4b7d381b49e24504826d1cc31f9","datavalue":{"value":{"entity-type":"item","numeric-id":1908814,"id":"Q1908814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43110f1412a35b80e7f30dddf4bdd5e3c64acf11","datavalue":{"value":{"amount":"+0.6925771832466125","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":"Q2966523$E6E64419-7DBE-44DD-87B6-FF3A2AC5B664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc18faf160526cbb8af8324db2deeca9c5f33f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5752567,"id":"Q5752567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f26d33a637f6e2edeef608155f3c9ff876c5fb9","datavalue":{"value":{"amount":"+0.6863632202148438","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":"Q2966523$B13D9903-3C72-412C-B211-E8BFE0CC321A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44d48cc6eae7fce24a08db97a3ad4eb41ce2f1e1","datavalue":{"value":{"entity-type":"item","numeric-id":3140636,"id":"Q3140636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c0c11933494be625f00dd720407ead4549f63c","datavalue":{"value":{"amount":"+0.6816169023513794","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":"Q2966523$8F50C341-E750-4B94-9408-8D9CCA91FEAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A multi-sorted version of second order arithmetic","badges":[]}}}}}