{"entities":{"Q642238":{"pageid":644086,"ns":120,"title":"Item:Q642238","lastrevid":63229953,"modified":"2026-04-11T11:28:35Z","type":"item","id":"Q642238","labels":{"en":{"language":"en","value":"The Bolzano-Poincar\u00e9 type theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5964014"}},"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":"Q642238$C661C3DF-7683-4ECB-8022-769AF5C5A661","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93e832906ee770ba5df9dfd1fa4fea5559814582","datavalue":{"value":{"text":"The Bolzano-Poincar\u00e9 type theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q642238$FB57DB2A-9195-48EF-B632-67CF653EB027","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"458527deb499001e210f15db38c5b1c6db0fd8d7","datavalue":{"value":"1226.26009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q642238$328896C1-F171-48E6-A217-A36CAF11F7C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"beae6d1a11882c81ec04c817d5bf8ad818f79d51","datavalue":{"value":"10.1155/2011/793848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q642238$AD613153-BACC-4CE4-9EC5-9BDAFF03A5CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e31dce84e2d3e98c3aa5f5a5145e6695d49e35a9","datavalue":{"value":{"entity-type":"item","numeric-id":266360,"id":"Q266360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q642238$CA67A7DD-98A3-475A-8F72-16167DD28909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f7596c5b6d96130ddacba56b4c96787008855f9","datavalue":{"value":{"entity-type":"item","numeric-id":266361,"id":"Q266361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q642238$B81F064E-2B33-4BD9-8864-2E7FBA99530A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4d14f6de16fedb57ef2f0703ad32e93709741b1","datavalue":{"value":{"entity-type":"item","numeric-id":162459,"id":"Q162459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q642238$923A5A9B-11C0-46F7-8584-43E5C763509B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04bd3491b7717977e0ecbd409cba6dc0aedeb515","datavalue":{"value":{"time":"+2011-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q642238$449193FC-AD91-48C6-A548-5601BCD4696A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6ab367084890d1d1b01ab6e4077f2e9950728cd7","datavalue":{"value":"Summary: In 1883--1884, Henri Poincar\u00e9 announced a result about the structure of the set of zeros of a function \\(f : I^n \\rightarrow\\mathbb R^n\\), or alternatively the existence of solutions of the equation \\(f(x) = 0\\). In the case \\(n = 1\\), the Poincar\u00e9 theorem is well known as the Bolzano theorem. In 1940 Miranda rediscovered the Poincar\u00e9 theorem. Except for a few isolated results it is essentially a non-algorithmic theory. The aim of this article is to introduce an algorithmical proof of the theorem ``On the existence of a chain'' and for \\(n = 3\\) an algorithmical proof of the Bolzano-Poincar\u00e9 theorem and to show the equivalence of the Poincar\u00e9 theorem, the Brouwer theorem and the theorem ``On the existence of a chain''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q642238$067A9F26-4869-42B7-95B9-635BBD600DA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a64afc22d8be5dfafe8e57e385c302503075b4ea","datavalue":{"value":"26B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q642238$A933290F-7401-4FAB-8348-98C43589C9D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"050cf67010b2fdef3f52d303b07fbe7efddf64db","datavalue":{"value":"5964014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q642238$672C4D94-7EAE-44EC-93C2-A88CAE98C23E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e35843c56acdb9c28b3fab6824df12d550ebdd93","datavalue":{"value":"Steinhaus' chessboard theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q642238$9306B565-DBA0-4B98-8CEA-98F450715E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d5ae7843ea913d43df74cbd914848fba6052298","datavalue":{"value":"Brouwer fixed point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q642238$688E1F2C-0FEE-46A2-B61C-3DA02E393AB9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e62bc74904298552c0eed8b3433059377fac260a","datavalue":{"value":"Q58687944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q642238$9F26B7A4-05A9-437D-9551-71D9DE74B258","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":"Q642238$742EFAFE-4864-4EFB-B64A-F9500D6ACCE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70e1cd7335274d0d2924b2e443f41017489c54b5","datavalue":{"value":"https://doi.org/10.1155/2011/793848","type":"string"},"datatype":"url"},"type":"statement","id":"Q642238$1906DA38-0E4A-4EDB-86A8-7D7A8362B9A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71f73d170dd0a5e6aab06251305bcbfc4fd9ef4a","datavalue":{"value":"W2081568593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q642238$207F2537-9889-441D-A681-096DC69BFE4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e97c19cc689eae95ca13730552b5dc18fbc25139","datavalue":{"value":{"entity-type":"item","numeric-id":5556373,"id":"Q5556373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q642238$7F24CE5D-6146-4BA2-A3B2-48E2CC99E528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1e40cc05cdbcf65a4b9c6d6b9a02866eab132e","datavalue":{"value":{"entity-type":"item","numeric-id":4300914,"id":"Q4300914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q642238$A856209A-5F14-401F-BC86-3B16650A1E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73bfad424ef6dd59ccc0b8eaa4f25dee6ffdadfe","datavalue":{"value":{"entity-type":"item","numeric-id":4528634,"id":"Q4528634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q642238$20DCD53B-60BF-45C6-9846-9B4D54662367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a009be44977337efdad1c5419d8504177993b1c","datavalue":{"value":{"entity-type":"item","numeric-id":2469575,"id":"Q2469575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q642238$08CEFDC1-7F35-4C3E-AF1C-2DE205EA2A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b711d44a556f361ae7bf11dea104359c49ad50c4","datavalue":{"value":{"entity-type":"item","numeric-id":4361613,"id":"Q4361613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q642238$93D267B2-A2DD-478D-A0BE-90A6496D2FDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdbdf7e3633dd54d73a4892921b9f09a91508871","datavalue":{"value":{"entity-type":"item","numeric-id":439314,"id":"Q439314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98d3570e5105c8b0c9fb442b1d4f58dee4062518","datavalue":{"value":{"amount":"+0.8834792971611023","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":"Q642238$3330C883-B52D-40C7-A04B-E23F02A674FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb714b32cef3b4d5b68fa4040959c6d66fa5a0bd","datavalue":{"value":{"entity-type":"item","numeric-id":4920729,"id":"Q4920729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1efe460a16f3268ef527271ec4e575fd30fd7e63","datavalue":{"value":{"amount":"+0.7842058539390564","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":"Q642238$7544F500-5052-4268-949A-E8CB4CB5BA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af097c4eb912960bb2cc953cefc3b309c9dd1c97","datavalue":{"value":{"entity-type":"item","numeric-id":4628422,"id":"Q4628422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d19483bbe54e2f57d034f2e6dc501b5ce5b4a09","datavalue":{"value":{"amount":"+0.7704218626022339","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":"Q642238$B7333EDE-8BA7-4C6B-895A-EFFFB7B1C7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9514cf23c19a2e9306226a3de220f76c0df960a0","datavalue":{"value":{"entity-type":"item","numeric-id":2312045,"id":"Q2312045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea76cd7c21df3cb300a99a0976217d7265d4727e","datavalue":{"value":{"amount":"+0.7472110390663147","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":"Q642238$8CA662D5-7D24-4E5B-9233-FB4B767392B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceff45c1b8d26cb391bb6a958144427190abd2e4","datavalue":{"value":{"entity-type":"item","numeric-id":3002682,"id":"Q3002682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7daa94b8dd9348a12a8eadbb489d3134df142dd9","datavalue":{"value":{"amount":"+0.7459166646003723","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":"Q642238$8EAB9CBF-A046-4F10-A649-DE8B3F36B678","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":"Q642238$1EFC63F1-6156-4C5E-8CD4-2A6EDAE17D9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Bolzano-Poincar\u00e9 type theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Bolzano-Poincar%C3%A9_type_theorems"}}}}}