{"entities":{"Q1182484":{"pageid":1193233,"ns":120,"title":"Item:Q1182484","lastrevid":66441744,"modified":"2026-04-12T10:05:36Z","type":"item","id":"Q1182484","labels":{"en":{"language":"en","value":"Borel quasi-orderings in subsystems of second-order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 31351"}},"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":"Q1182484$4A0E49B7-9ABC-4EF4-83A4-698E36B29DA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7c4179b1ecf5d6155a22f71a897376e5acffe80","datavalue":{"value":{"text":"Borel quasi-orderings in subsystems of second-order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1182484$0E121D3E-FCAD-48EF-B3E9-BF8180DBE6BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"399df845a9f1f770705a8533e7be5f73ec92515e","datavalue":{"value":"0746.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182484$DE49B8A0-3D3D-4B29-A005-45101B625927","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e1165d728d738070af71e6fb07c428da9aea11e","datavalue":{"value":"10.1016/0168-0072(91)90050-V","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182484$F97CA583-A9D5-4D7B-8458-EF0CF0A5A10D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"647f4d17eb87bf327562a875e1fc7cdb8bf682b0","datavalue":{"value":{"entity-type":"item","numeric-id":238867,"id":"Q238867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182484$BB44CCEF-E1BD-498E-8B1D-73B3FAEAA25C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182484$379D1526-9EAA-45EF-A6DF-12590F0C4D18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1182484$15091FC5-F0B6-4E95-B92E-D9392A5C47E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182484$4641D0E7-EF62-46B3-968C-072605D37593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182484$85433039-BE5B-42AD-9890-DB9D89E0747D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23c94eddbd9fc658b5ea93f7238c260dd6e264ea","datavalue":{"value":"31351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182484$DC41FD44-A525-4F4D-A8DB-D83356DDC951","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac95c99fe9f85455bcfbcd0ef9331c7f5ed0064a","datavalue":{"value":"subsystems of second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182484$20FF29E6-ED7E-408C-8A73-308D75533FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1509e5a8fdbff45b4dac5cc7d86a44ea6eb16eab","datavalue":{"value":"Borel quasi-orderings of the reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182484$1D9108CA-E183-48A3-9A04-030C2279FF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02982e368c8cefedff74f65c006b399072af1177","datavalue":{"value":"ATR\\(_ 0\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182484$03AA8296-1A26-4653-82D0-AE07E172835D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"727b3ec56d58074193f7435cd3ea8556f355ea4a","datavalue":{"value":"reflection principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182484$DB33378A-AEB1-457B-AA47-49C7B5A4D1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ef500b516a6e5d9b87e99291bf189775e1fe85d","datavalue":{"value":"Gandy forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182484$12211957-2D64-4685-99E7-92C5329E228A","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":"Q1182484$A772A128-45B0-4EF4-AA37-D52095E7F48D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a3b0dd71eef5e79c43e6274b7b726033f98673","datavalue":{"value":{"entity-type":"item","numeric-id":1106846,"id":"Q1106846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182484$124B5079-B9E6-4ABF-8137-28957EEA0C2F","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":"Q1182484$65C0B02D-1A55-4E93-92BF-EA6787D0A37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"291c0aac3acd9b073e4d9b018d15a1f5e5feb77d","datavalue":{"value":{"entity-type":"item","numeric-id":3671967,"id":"Q3671967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182484$22C0658E-321F-4A60-B699-0CA734B88F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cce7ff7be3ea1011fc17ff6c9482aab2154a580","datavalue":{"value":{"entity-type":"item","numeric-id":1063594,"id":"Q1063594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182484$718DA79E-1EBC-41DD-AE10-7C266EEB37D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f2d50c258446425ea35186d0fd9b4a837665c4","datavalue":{"value":{"entity-type":"item","numeric-id":3487336,"id":"Q3487336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182484$F927F423-3D34-4F96-AA5F-42264353C993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182484$227C8F07-FFE7-4D74-B19C-F1B0FA1FED4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e030b831049d5a7295de60267e1e2459689ce68","datavalue":{"value":{"entity-type":"item","numeric-id":3041182,"id":"Q3041182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182484$ACA4A233-9783-4AC0-ADA9-0A968C87E8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4c5ee213bc2644c8bebe8955474766452ec0950","datavalue":{"value":{"entity-type":"item","numeric-id":4205435,"id":"Q4205435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182484$DD6D5F9E-4D3F-43F6-8A36-7CCEEE7808A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d170e195c4e3b1dd66a5b9d1f5ddf26571dffe3e","datavalue":{"value":{"entity-type":"item","numeric-id":3480028,"id":"Q3480028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182484$060D86B0-2C8D-4439-B3A2-7318067A7571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c493b95715c2e4dbb5a8c0041dd93593f1ae736a","datavalue":{"value":{"entity-type":"item","numeric-id":3801541,"id":"Q3801541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182484$A18B1C26-CE65-462A-8768-581DE6EE69A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182484$4A44366E-F225-4E3D-A37A-280CA6425125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182484$0154B94F-9D79-4D0C-893A-27B764A7BF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb42af12e87b693c7af0edf08cc8e55e0ed73bf6","datavalue":{"value":{"entity-type":"item","numeric-id":1117221,"id":"Q1117221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182484$E7958417-CEF5-46B5-BDCD-741D85B41D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153cf84afb13d6612f520c1260b933080ea57b2a","datavalue":{"value":{"entity-type":"item","numeric-id":805613,"id":"Q805613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182484$63B70A59-0E4C-4B45-AA36-D55879E00F29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a8a7b3a81348e7f9788dfd70810e22fc114249","datavalue":{"value":{"entity-type":"item","numeric-id":3138013,"id":"Q3138013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188e0c40349d9cfad1c5f8945f41937feee92e36","datavalue":{"value":{"amount":"+0.9003855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182484$65B0BE5E-1110-4BD6-95B4-EDF227D8CF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73cef9693e437e5ff8bc8c69a20d4874c938f1e3","datavalue":{"value":{"entity-type":"item","numeric-id":3507462,"id":"Q3507462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b2f20fc992362ca6f62fb3e6843c20fcde26c1a","datavalue":{"value":{"amount":"+0.8953254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182484$4A91CE9E-A9A8-4BD9-9227-B50ECEA6BCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cac6cec9999e9edcc524e2f618602f00b37b8a2","datavalue":{"value":{"entity-type":"item","numeric-id":3480028,"id":"Q3480028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c085ed77af24d23c063344dd2e7f033802e0064","datavalue":{"value":{"amount":"+0.8897642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182484$1ED5E918-15BF-49B4-BC3E-E78AC892694F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d285172401eaa86ff6a47c0bb43331776716a2c","datavalue":{"value":{"entity-type":"item","numeric-id":4516324,"id":"Q4516324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d65cf73b0f9b99debc530090befcc406263b65","datavalue":{"value":{"amount":"+0.8850254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182484$2F04E09E-FB33-4240-A9B7-82EFAE45E940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b874a0d09ab9f4a46eec874dc66d5a1329be52f2","datavalue":{"value":{"entity-type":"item","numeric-id":2388431,"id":"Q2388431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f7f229ffce083576bc4fd5932e5a2549bb5cd2f","datavalue":{"value":{"amount":"+0.8836186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182484$E29627CA-3817-471C-8BEA-0D81E9DA917A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6695dd1717bb437d7e958f02d77b02b46660db","datavalue":{"value":{"entity-type":"item","numeric-id":795831,"id":"Q795831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7714a70619040e90f1881df4db242ed6259333","datavalue":{"value":{"amount":"+0.8822502","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182484$021B76BC-2BCE-4817-8A50-6DBD16EA1E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d95ee59b15554813c3db3b29f6f55fa4577da1","datavalue":{"value":{"entity-type":"item","numeric-id":3487336,"id":"Q3487336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb67dfd04f2ca55baf81dc819d27643d8c170cb8","datavalue":{"value":{"amount":"+0.8813105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182484$88520BEF-194C-4A6D-918C-D9A4CAE11E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"935de143545cfdd5372949bc345e1befb57beeb0","datavalue":{"value":{"entity-type":"item","numeric-id":4395569,"id":"Q4395569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ba8ebc4d6ce70e604aaa610e57e90cc0c7e938","datavalue":{"value":{"amount":"+0.8800664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182484$049CB00C-A1A8-4A7C-A008-CEF336B3C44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a85cbb40ff70d3879d6d4af8af5c80922842b9b","datavalue":{"value":{"entity-type":"item","numeric-id":5711877,"id":"Q5711877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9fcc6bdad30b3644338f34b8a981285cd3734b4","datavalue":{"value":{"amount":"+0.87751484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182484$89ED2094-D699-414F-B900-35F8B82C3E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ef37c0274cdf6a7c6e310bb9c6f6c94a08dbe6","datavalue":{"value":{"entity-type":"item","numeric-id":4579817,"id":"Q4579817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d4e9f88c74fc7fd83f3b2be6fda45da299753dd","datavalue":{"value":{"amount":"+0.8773105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1182484$D51D1F7A-C39D-4542-AC66-F1E4538F91F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Borel quasi-orderings in subsystems of second-order arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Borel_quasi-orderings_in_subsystems_of_second-order_arithmetic"}}}}}