{"entities":{"Q4647570":{"pageid":6677151,"ns":120,"title":"Item:Q4647570","lastrevid":36461995,"modified":"2024-07-17T19:54:09Z","type":"item","id":"Q4647570","labels":{"en":{"language":"en","value":"A constructive proof of the Heine-Borel covering theorem for formal reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002045"}},"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":"Q4647570$19CB9B7A-6A0B-4157-B0B6-11DAC39C4346","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce7c91f14180aa9d35d54e142e3df9ad4f547ef1","datavalue":{"value":{"text":"A constructive proof of the Heine-Borel covering theorem for formal reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647570$7C19E972-48DB-4538-A5F3-95BA1F944D69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6120edb0019a41d62b5acad47df642e6cd1a2c3d","datavalue":{"value":"1434.03141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647570$ECB7140A-D917-4895-B293-3500D54DDE06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd5ad5b5f790169ee55c38a01de4a69adbb79dff","datavalue":{"value":"10.1007/3-540-61780-9_62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647570$504DEA29-B29D-4384-B0F3-9E3808132C5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f72eb89b03f01bcf54a9d2efdafb5492a5b55ce","datavalue":{"value":{"entity-type":"item","numeric-id":3103610,"id":"Q3103610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$DCEA282C-F3E9-4909-8431-60AF376000F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$27E31CFA-0A8A-4B58-94D5-FF37122C00E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$C65D72E1-3F9D-490F-84EA-ED7CE10B72E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647570$08C33C1F-EED3-4493-B139-1DCE7BC5AC92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a97508b60af5da4685559966c6abb20fa4d9c42f","datavalue":{"value":"https://research.utwente.nl/en/publications/a-constructive-proof-of-the-heineborel-covering-theorem-for-formal-reals(84cb46d6-1df0-479b-ad6f-07a9540ae5e7).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647570$09FE7275-CFBE-4AB5-ADF6-063D56427487","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647570$965E1487-BEC7-42E8-B789-A4A5F5520969","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae23ff62f848329aef8aa6541891c3b3d0580195","datavalue":{"value":"7002045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647570$503189E8-494E-4487-8FBF-5DC13372029E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5389f846c6ee70f3ad2438379b2781469fa68ad","datavalue":{"value":"induction hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647570$3953E74D-33A2-4B15-BB9E-4816ACB5A637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"725a1ce797eb1d181c5de7da99eda2dcd2da4e6d","datavalue":{"value":"formal space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647570$E95BAAB8-3F7C-4A0E-9C6B-A04D6DE38A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4f46a904f650e43442a55615caffed334b9833c","datavalue":{"value":"finite subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647570$775A1827-06AC-43A2-A0E5-8F76929A592D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2236bf4f1925d6fcbef85dc3f11a32c86ef0382f","datavalue":{"value":"formal real","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647570$BBA8E209-86E3-4F4B-AFA4-D2EE8C384446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326e070f112846d1b917caaa0cc59a13d33f2d84","datavalue":{"value":"formal point","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647570$B89CE9C5-EBA2-44E5-BD39-09AD98B2672D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$E2F0FDE0-D2DB-429F-9CF0-D3B4DC9A876B","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":"Q4647570$F80E808C-38A2-402C-87F7-E026A68B4FA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b019959a57499367c41adfdd69afd9838308c46d","datavalue":{"value":"W1534635720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647570$DC280194-5BCA-4200-AE09-58C85C320531","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$52FB1CEB-2DF8-43C3-B16E-5148C6A5A423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"561220fa7c2e9f0bb948d7533bb53a3400692ca2","datavalue":{"value":{"entity-type":"item","numeric-id":4008744,"id":"Q4008744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$891085E1-7C9E-403C-A419-7F055C4EE236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bda265395f5c65b4fa8a0061b4ef96facef65d","datavalue":{"value":{"entity-type":"item","numeric-id":4594260,"id":"Q4594260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$7FB7CF78-FF35-4FE0-9735-CD601B5F3CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de26bb8ee6b7909c4d8fc4004fd737791e1c9a4e","datavalue":{"value":{"entity-type":"item","numeric-id":3322099,"id":"Q3322099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$A511DD28-3303-42C6-B999-0AFDCFA75769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da883b57043a1efe91507fa5a32a39a1fdea4b4d","datavalue":{"value":{"entity-type":"item","numeric-id":4398478,"id":"Q4398478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$6B328544-9225-44E4-B6EF-CD3BF297FE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d51e91008e604186625ce09bd060653249e096","datavalue":{"value":{"entity-type":"item","numeric-id":2546865,"id":"Q2546865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$588B6DD6-0ACB-4CE2-AC3D-7EB5ED982E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$4ED0C7DE-952D-42B8-BF6D-6550A070D05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$31CB16E0-D469-4C53-9E35-7DBCA4F6763F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f2782c34218951d822393f10b826ff158e1a4a","datavalue":{"value":{"entity-type":"item","numeric-id":4896531,"id":"Q4896531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$D070E2CC-BE8E-4906-826F-4C972A337991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c20540788ddafe1959e2dc407acb02d31ccf8f","datavalue":{"value":{"entity-type":"item","numeric-id":1818591,"id":"Q1818591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$C1CEA847-5C7A-4CF8-A33E-C2480B470B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18184e21404b896ae6abb76ac9d4c595e3d02c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4382478,"id":"Q4382478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$099ABD62-C2F9-4E9A-92EE-BAE28B328C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$35E1FD32-BFC7-4A06-B604-089C8E559206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96018a99b8366943bf6654b4677e7e411906125d","datavalue":{"value":{"entity-type":"item","numeric-id":3481701,"id":"Q3481701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$2CE5BAE1-494D-4EE7-86DD-82EE3A72583C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcd018ec321bcf4f814daa12e1f34e1a42f18475","datavalue":{"value":{"entity-type":"item","numeric-id":3832536,"id":"Q3832536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$D3090503-B7F1-490C-B666-1684E92BFF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9d5a44c32980189056a2c7e4c211e126f63f02","datavalue":{"value":{"entity-type":"item","numeric-id":1350507,"id":"Q1350507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$C6AC3B74-07C4-4A47-AF68-C416A8CBBC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbc8f88f9dd6d69367a9b83c7e7ba087292aa06","datavalue":{"value":{"entity-type":"item","numeric-id":3998865,"id":"Q3998865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647570$599F5F8E-05F9-496E-9811-B9C5B6A9F083","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647570","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647570"}}}}}