{"entities":{"Q4254643":{"pageid":6284244,"ns":120,"title":"Item:Q4254643","lastrevid":46839471,"modified":"2025-12-25T17:02:44Z","type":"item","id":"Q4254643","labels":{"en":{"language":"en","value":"Ordered Groups: A Case Study in Reverse Mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310723"}},"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":"Q4254643$791672B3-5B1F-47BE-B883-4B0AC95E445D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b9a5dd84d31aacd0167a868c60b864a339a9881","datavalue":{"value":{"text":"Ordered Groups: A Case Study in Reverse Mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4254643$E969A934-58B2-45DA-9CDA-D4A843834396","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0cdc65f7ddc791ae911bb9b7e2c84bd089304ed","datavalue":{"value":"0922.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254643$01C4420A-31E7-43B9-98C8-7A3F3A8CD410","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d0543110edc7555416a5a5d6606a5d85ad48665","datavalue":{"value":"10.2307/421140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254643$C642942B-4E29-4060-A0C8-4A1B9CAF4B7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1fc4aef5934748942375a0bc47ba7404f9f415e","datavalue":{"value":{"time":"+1999-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4254643$5B32EB3E-306C-41E0-9697-490E576DAB0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e82756d72accd7e5510102254db8508b5d76bd00","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0501-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4254643$F4AB34DF-23A2-4C30-B138-A13F4434D031","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254643$8C207ADE-5F1D-4996-82C5-514E28ED8F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254643$D98C045E-8E9C-45D3-8C24-70CD7BEA8E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254643$4984AE74-E7BB-4BB3-A7C2-CB9E0157CDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254643$E7B3B0DE-E2B0-4099-969C-2C40998E9D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254643$CD3C44DF-9375-4CC2-ACAD-96CA764B1F2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f1345d4efd6c9946e076de58567c07f69032e52","datavalue":{"value":"1310723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254643$C94B10C3-5A2C-4B2B-9420-F0B061223380","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254643$31364415-E037-4749-8903-57A5C8E74E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9755485d1ba59582d2aaf2cca83bc2c807c4d55a","datavalue":{"value":"ordered groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254643$5915F321-6931-45BD-BA69-281897BF3A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f401dd9c1f566772595ae85ebc3ea4d1157a2c3d","datavalue":{"value":"computability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254643$B1922CFD-95DA-40AB-BB0C-1A87406F09C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00778cc8302e54679808696d876b6463d1676c84","datavalue":{"value":"expository paper","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254643$FB1F487A-A068-4A9E-BC4B-6F8BE0031B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254643$A51D81DD-763B-4699-9510-83B5CA8ABEAA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1ce08ed2ead8dcb535bad4746022b3e4c3b19270","datavalue":{"value":"Q56226698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254643$6B96867D-1890-462D-B53A-E58D71EA177C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22619fa0bcfede8dabe102ce78dd2250f3353f67","datavalue":{"value":{"entity-type":"item","numeric-id":218974,"id":"Q218974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254643$1E6A57C3-7543-44D0-9C46-C0B623CB0F88","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":"Q4254643$9C7AADF3-3584-45A8-8D5A-4B146C3CDD26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8cd35e5951d159328d8ad2064bf4b2cdb3dc2bb","datavalue":{"value":"W4244366408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254643$CA665F3D-AAE3-4BC0-B535-5874A61B9F00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c662d813b1e9eefb532df071ece3cc094fe82f0","datavalue":{"value":{"entity-type":"item","numeric-id":3922662,"id":"Q3922662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254643$2AAFF36E-B13F-4A55-B362-6ADEE1447682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c45866e6366266fc85213b2eb8d896f6640763","datavalue":{"value":{"entity-type":"item","numeric-id":1063593,"id":"Q1063593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254643$929004A8-93DC-4FF2-9C4F-D863B603E513","rank":"normal"},{"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":"Q4254643$70A73717-6810-4212-81ED-5F301D274AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fccbe088f7c3a8c169e6f089f70d6b7da507d4","datavalue":{"value":{"entity-type":"item","numeric-id":3803081,"id":"Q3803081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254643$189F7A24-CB8B-4672-B9E5-E8453B9C9C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8c290286f280c6f704a0cbb03b04a791108e1c","datavalue":{"value":{"entity-type":"item","numeric-id":1093630,"id":"Q1093630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254643$13B3E73C-D494-48C1-968B-005D579F5F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04eefff02b2e316a44c6dd3a4910700df42c66c","datavalue":{"value":{"entity-type":"item","numeric-id":1820779,"id":"Q1820779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254643$C372C0A7-DF4F-4360-A8CE-A3E896A680EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04918380c7e36dc72e72591ef80b07a5da57de19","datavalue":{"value":{"entity-type":"item","numeric-id":5659493,"id":"Q5659493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254643$FBA0FA6F-4213-40B7-9BDF-A14F1B963CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca4a190903e6132ae837adc7117807885185cfd","datavalue":{"value":{"entity-type":"item","numeric-id":1315456,"id":"Q1315456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254643$31A7CADE-EFE3-4363-9131-B8C72326961E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb7bb192bff68569cf2e877890f11e2400a8ab0","datavalue":{"value":{"entity-type":"item","numeric-id":2640598,"id":"Q2640598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254643$7EC1B044-EDB8-4B88-8852-098F5BDF4554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"134f2ad3455f970d41791f7dee3c85343a081049","datavalue":{"value":{"entity-type":"item","numeric-id":3799998,"id":"Q3799998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254643$523F2E86-D4EB-46A8-93B9-6316D0741DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4f7d5d967bc58beac3514f316741fe13abe703","datavalue":{"value":{"entity-type":"item","numeric-id":3708798,"id":"Q3708798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254643$587379D4-7DCB-453A-B560-17770BA3D85A","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"0ba424092d6213a2378a98ac2701d58ccc0c7e77","datavalue":{"value":"journals/bsl/Solomon99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254643$DBB65ACF-09B8-48D5-81ED-49F33B435959","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254643$3F2A9D20-3DE5-4737-A74B-1A9CD17472B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf4ace23f250e091719cf1dd13904efdce476cd","datavalue":{"value":{"entity-type":"item","numeric-id":5937813,"id":"Q5937813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7cfc1a4c5be1eb30e4158fce969f9f5d601dda7","datavalue":{"value":{"amount":"+0.86872798204422","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":"Q4254643$E4A039C5-FCFB-437A-9F39-EE3015953086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c400bc7ee5f112fcbab7bf3db42ee384e8457a8","datavalue":{"value":{"entity-type":"item","numeric-id":2732274,"id":"Q2732274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f187800beb592a05319219e4c263ab1b1c21f3","datavalue":{"value":{"amount":"+0.8520084619522095","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":"Q4254643$BB751877-53A4-423F-934C-1FDF9B85BFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddbcdeaf4aaf9aea96b102e7d7cd12a3eb06093e","datavalue":{"value":{"entity-type":"item","numeric-id":5711881,"id":"Q5711881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4923ba5e471351002da4d0c61bbd249d762d7992","datavalue":{"value":{"amount":"+0.8094865679740906","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":"Q4254643$8E258564-7E6E-45B4-AAE0-2C3CDE2AF55C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4254643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4254643"}}}}}