{"entities":{"Q3145974":{"pageid":3156690,"ns":120,"title":"Item:Q3145974","lastrevid":57532602,"modified":"2026-03-31T07:24:34Z","type":"item","id":"Q3145974","labels":{"en":{"language":"en","value":"More reverse mathematics of the Heine-Borel theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6116169"}},"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":"Q3145974$4C5B7504-E814-47A8-9695-FDCF6F996968","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b1a18acb1f8d42721de5fbdca15235e868ab2bb","datavalue":{"value":{"text":"More reverse mathematics of the Heine-Borel Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3145974$338467E7-19A8-4E17-B686-3C799D3D9CA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"284e42a7938e93ae043b0fe1be89d7f6e7028100","datavalue":{"value":"1291.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145974$09F8A303-BF14-4857-B0E2-8B8E9CEF40F5","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":"Q3145974$8F36BB2A-F7CD-4037-989B-86E26FB50C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bbb456e678646867724a3f3fc8ed7385f4291ba","datavalue":{"value":{"entity-type":"item","numeric-id":3145973,"id":"Q3145973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145974$061B1180-7C05-4C18-9105-7ECD0D2BEA92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33fa00db87827c11724d8a1355500a9a7034d47b","datavalue":{"value":{"entity-type":"item","numeric-id":2930865,"id":"Q2930865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145974$7196AEDE-4ECD-4F19-8148-E4A51198294F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"361bffbceda806006d5fec8b3962c6c8e6ce4aff","datavalue":{"value":{"time":"+2012-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3145974$385E0A6F-FE31-4E20-9B88-1799F4834BD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145974$A662AD11-5AA5-44D4-8A44-D515188F98EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145974$D673CC82-CACD-4650-99F0-CA8F00D21AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145974$EC385B2C-BE95-42B5-8AD4-1754DFA5D7DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"848d73d6e62856d353f0889a8e549b61abd09ab2","datavalue":{"value":"6116169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145974$16840819-B2B9-439A-866D-6FA82862000C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145974$4EB4E378-9B5A-44D5-8B50-02AF1044996F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87748aa4dda05bf8965e742d76826d38a1ea956d","datavalue":{"value":"RCA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145974$71E38A60-106A-4B3C-AA67-E76CD20C4174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971c3a87d61cd2b2dd145b9052225bdfe903feef","datavalue":{"value":"WKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145974$49BD96A6-A25F-4669-8223-35055C10C4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"461d39200e573b893247f72bc707a68f4eb77ea1","datavalue":{"value":"ACA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145974$1830890A-97B6-4EA8-94BE-73DBAEED86DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e239838943bb6b68a15f2eb86c9992c335933f9d","datavalue":{"value":"ATR","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145974$D1CBCE42-FBBC-42C5-8DA4-3F7EA1A568EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d77f1f95379ce0be87ce62bac04ed556c02623ec","datavalue":{"value":"perfect set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145974$0A8F0B68-7917-47F6-BAE3-C5D263128A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5749bdb23751743f7c09c9f1d1b5e471a95fb8fa","datavalue":{"value":"Heine-Borel theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145974$07516D51-E4C5-4212-AEE7-05E459C4686A","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":"Q3145974$4D2A12B2-269C-4DF3-A607-629CE923EF0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d057beb13ceb33ef9ff0967805e6d3dc0b0d728a","datavalue":{"value":"https://doi.org/10.4115/jla.2012.4.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3145974$072E7540-65CF-426A-901B-70F58D8B17EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10397722b383c67e0b5ef52bfc2bcfadd603915c","datavalue":{"value":"W2087341666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145974$D3724E27-9FC1-4D41-AB81-DC3E5E164243","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6ed70dce2ddf7955da72ddbab774e605ed2a2a4","datavalue":{"value":"10.4115/JLA.2012.4.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145974$70E730E6-3A78-479D-8F3B-6B63C1E46FD6","rank":"normal"}],"P1643":[{"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":"0f8568853d204ac502065daadcccc324cf372b15","datavalue":{"value":{"amount":"+0.7701637148857117","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":"Q3145974$5E47A4A3-0520-49B4-B1E9-1C6C520DC350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9dffd742df7b4133cf956d248793fed2440a26","datavalue":{"value":{"entity-type":"item","numeric-id":4440538,"id":"Q4440538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a4992ac50dccd832a73568cff56f3d1ec650055","datavalue":{"value":{"amount":"+0.7701041102409363","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":"Q3145974$D076350B-7866-4AB5-8550-A549CA917EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f983d9695716f52a58b2d200f422ff3c34c0d166","datavalue":{"value":{"entity-type":"item","numeric-id":5711886,"id":"Q5711886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c58a4b990c1103fabad9cb27293850fbace9c88","datavalue":{"value":{"amount":"+0.76862633228302","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":"Q3145974$1108820E-837B-44CE-941F-9FFB9BA0CF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ca8fdc83b1df99b82520c8cf0c976e6e318ebd","datavalue":{"value":{"entity-type":"item","numeric-id":5140330,"id":"Q5140330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0c43440a35251fa17fd6e1f819226c90c93aaf3","datavalue":{"value":{"amount":"+0.7503852248191833","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":"Q3145974$3B878935-8EFC-4A23-8F24-C0F6B2E46E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f527c287dbd78f4122814039f4c3f0c3cb02688","datavalue":{"value":{"entity-type":"item","numeric-id":2304540,"id":"Q2304540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc75b5647d9d0ddb1cd7c8a31e05fd3d5316432","datavalue":{"value":{"amount":"+0.7476295828819275","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":"Q3145974$0ECAB8ED-5E7A-4091-9352-68ED90EC0CFF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145974$F61464A7-CBD8-4AC8-9E27-8D81BD49E3A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3145974","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3145974"}}}}}