{"entities":{"Q4262583":{"pageid":6292184,"ns":120,"title":"Item:Q4262583","lastrevid":46854033,"modified":"2025-12-25T17:40:56Z","type":"item","id":"Q4262583","labels":{"en":{"language":"en","value":"Ordinal inequalities, transfinite induction, and reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1335206"}},"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":"Q4262583$6E9B3095-0728-4BEF-BEB4-043C48BABFBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8ce026aecce1087e0b3ca5322fd8fb2f06c36ee","datavalue":{"value":{"text":"Ordinal inequalities, transfinite induction, and reverse mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4262583$2F9B4B42-3C62-4A61-83BE-8F96D76F448D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"165679b88038c687710dff9e2c1413c1991e4de8","datavalue":{"value":"0930.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262583$EE493B93-9F26-4577-9CFA-3FCCF98FDC73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"160b38ab7990fef68c36864d00aa06cc98e9341b","datavalue":{"value":"10.2307/2586499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262583$DEAD2816-3E8A-46F0-BB8B-4DE227BBE05C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5122a321cfb515186c4448a4fbfba8604b1bf26","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262583$89400F42-8A3A-4654-ADB6-1101A63CE177","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262583$0FA5828E-11D4-4FF3-9F21-BD105675AFA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ef42c3f85bfde0c050ab106cce6b093cc257881","datavalue":{"value":{"time":"+2000-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4262583$AB5858A8-7E46-4743-86BC-EE3D89F6E404","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262583$AD94F9FD-CDDA-43FC-AB2B-9C25471FAAEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98c1780dd6c0369d50b66c40f5fe38744c1f1547","datavalue":{"value":"1335206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262583$9B13150E-6482-4851-8E02-0C184A35D461","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262583$D2A50A6D-2EE6-4708-AAE0-8BDA55AAF976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262583$3BEE085C-0993-424C-B64F-091C7D209530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b145e4a5289301cf65d658fc42bf17b1bff0230","datavalue":{"value":"ordinal arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262583$F4D06FED-A94E-4BD2-95F5-4BD9D473DDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262583$EB7DF17A-5174-4FB3-A583-7BFA3D71A8E1","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":"Q4262583$28005AB8-8ED7-4A3C-91EB-A7832D60D3BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b8a454439a66588549131750bf0dc7db0d80d77","datavalue":{"value":"https://doi.org/10.2307/2586499","type":"string"},"datatype":"url"},"type":"statement","id":"Q4262583$3AFF88FF-15D1-4735-A1ED-E6697CE6F88A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea31245eedf8e6dd86571285da694a3f418e4e5e","datavalue":{"value":"W2086608401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262583$B9EE0A8F-ECDA-4FBC-BAFB-D63BDB0507CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d9e9195251941a916c414284f781a18c2e6a187","datavalue":{"value":{"entity-type":"item","numeric-id":918549,"id":"Q918549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262583$4E783757-257D-4E08-8074-062659BC3B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262583$58A562A1-2AA6-42F5-A7A4-1A8C527E9903","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cb31f927016e7e06ef12bf033e414f99050c3eb","datavalue":{"value":{"entity-type":"item","numeric-id":5711887,"id":"Q5711887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c07f2b5e1f978a00b5c3a2d689142a7f687f9dc","datavalue":{"value":{"amount":"+0.8474022150039673","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":"Q4262583$1B4F4CDE-F45A-4E13-93E2-FE6CA7F2B9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a17d3f95ae37d099d47a4d1adf701732ccc548e","datavalue":{"value":{"entity-type":"item","numeric-id":5711888,"id":"Q5711888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed78a7754232d9da04e6c16ceeefb474b56bcace","datavalue":{"value":{"amount":"+0.8419212102890015","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":"Q4262583$96131711-3191-4BE4-9F47-AABC254D3FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ce372f1010d15baf46e2457727e2f40a7802468","datavalue":{"value":{"entity-type":"item","numeric-id":4224079,"id":"Q4224079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f76f8fbc95afddf8bf292e098b16c9d5af02d313","datavalue":{"value":{"amount":"+0.8377151489257812","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":"Q4262583$41BA88F9-A98E-4742-97AA-68B2AA209BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3af836945b74d6049cc76c3f8bc0cde8b6f3efa","datavalue":{"value":{"entity-type":"item","numeric-id":1315456,"id":"Q1315456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c928b80369352abe2127b8da7a36a3de3bd661e","datavalue":{"value":{"amount":"+0.820896327495575","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":"Q4262583$0BBD7216-C136-474D-8EED-C923499245BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4262583","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4262583"}}}}}