{"entities":{"Q1612751":{"pageid":1623491,"ns":120,"title":"Item:Q1612751","lastrevid":72341214,"modified":"2026-04-14T04:15:15Z","type":"item","id":"Q1612751","labels":{"en":{"language":"en","value":"Constructive algebraic topology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1795943"}},"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":"Q1612751$FD4BED23-83B7-47E5-A39F-7CEBC36E94BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e42fcd10a5325856a6996fe96e1dca3ac650c24","datavalue":{"value":{"text":"Constructive algebraic topology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1612751$A3805010-5C6E-4644-A3FD-BD9AE52B94CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68de2c91d60853689a3daa41bcb6e18854ab80db","datavalue":{"value":"1007.55019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612751$E81A2A92-F37A-49DF-85E0-E2652AA314AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5078c4f077c2b7b0aeb1b8c98fe462eaf91822aa","datavalue":{"value":"10.1016/S0007-4497(02)01119-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612751$9EFC6614-2A6E-4FC1-8F13-A19F4317545B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"809be5a280a390e9b9ebceeb8483a5aef92ca2b8","datavalue":{"value":{"entity-type":"item","numeric-id":714653,"id":"Q714653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$3B8C7023-8EEC-42EC-8A00-0AA9AE2B02FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2742bc74281e45d5f573cb9dc1b7a4db7f023f65","datavalue":{"value":{"entity-type":"item","numeric-id":1565829,"id":"Q1565829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$B0EFD043-829B-4D80-9ACA-CF25E84CA205","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2f82867e16f4b0aa5c379ffa08a53e6c90a1405e","datavalue":{"value":{"entity-type":"item","numeric-id":172275,"id":"Q172275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$1972F11D-CF68-4D21-B1FE-D15911D20AAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f1285207007c5de1da6998ba639fea3c05ca661","datavalue":{"value":{"time":"+2003-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1612751$15F7EC63-6DBE-4896-8AAF-52B2318A2964","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2aed66d03c6fc2720119b18f29c998442b7c45dd","datavalue":{"value":"https://arxiv.org/abs/math/0111243","type":"string"},"datatype":"url"},"type":"statement","id":"Q1612751$F51E5E81-D720-4381-8584-7E512A30A3F6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8584b0f32bb88c440e1d6b31f33bd67f87afb4bf","datavalue":{"value":"The classical computation methods in algebraic topology usually fail to be constructive. For example when working with an exact sequence there is the problem of computing the precise extension, or with a spectral sequence one needs to find the higher order differentials. This paper reviews the work that has been done in the direction of the Karoubi program to find algebraic structures that can constructively compute the homotopy groups of a simply connected space. The Rubio-Sergeraert solution is based on the idea that the computation of homotopy groups is to be done by a sequence of functional algorithms that allow effective computation. In a nutshell the idea can be summarized as follows. The chain complex of a simply connected space allows one to compute the first homotopy group explicitly. If one could construct the chain complex of the loop space this would allow one to compute the next homotopy group, the hard part is finding the differentials. However if the chain complex is algorithmically replaced by a (much larger) homotopy equivalent object it can be possible to derive explicitly the comparable object for the loop space. This paper announces the implementation of a functional program written in Lisp that implements these ideas. The program is available from the web at \\url{http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo}.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1612751$95438A02-A421-49D6-AF34-4D5CE7BED8F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"925504b15475c7035fa80bfd7fe3aa56f1622ed6","datavalue":{"value":"55U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612751$D393AF7B-1454-461E-83CE-71E79E39FA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612751$8B43443E-1816-43F7-A7E3-5F43ED265DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be8077c87150f4def8d44e6ddf15a23c11bc6a76","datavalue":{"value":"55Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612751$C2380518-2487-40D3-804E-216FEBC7C52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cc06cc8818f42c97499b7590e26b3ddf428901c","datavalue":{"value":"55P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612751$4267883F-2510-4ABB-B8E5-0F78C81DA616","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"052ccf9b8b1a175eed64d9e622cc38dcfc2d9bb6","datavalue":{"value":"1795943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612751$E8C4556D-0D5C-4175-883C-B40FCFB1A536","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fc15517be5648958047804f85d6ba5bdc26e8d4","datavalue":{"value":"chain complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q1612751$50688698-B3A3-4F39-B8E2-EC45EF323EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42bfcd92faeab833ca0ac1e0e2fe7e2a9996f588","datavalue":{"value":"differentials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1612751$236A9834-8642-4944-B159-FBDD150E4B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649b5d4a84919b7669ba1ad53c37a6dfb8e0baf","datavalue":{"value":"spectral sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1612751$CEA36445-107B-4C9A-9D57-5E1D2C39AE8E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"073034c111734685a386a9ec1a39b197886ab678","datavalue":{"value":{"entity-type":"item","numeric-id":1235431,"id":"Q1235431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$D667815B-44A1-4C73-8CEE-EA5BC23107F7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efacd6a40fcceaf80f5658fa8699430affa80235","datavalue":{"value":{"entity-type":"item","numeric-id":17016,"id":"Q17016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$713352EA-DEED-4AAE-A6C7-2952510D918C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8f057223c758d6b8295ecbdef4842faac2ccb72","datavalue":{"value":{"entity-type":"item","numeric-id":19253,"id":"Q19253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$B867B477-7355-423C-94CD-28663A24F2E0","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":"Q1612751$6883EE89-B531-4BEA-8E24-20CD5BBACF9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c98085bae47f6fb3f4caf0c2f6fd73b7510f10","datavalue":{"value":{"entity-type":"item","numeric-id":3233698,"id":"Q3233698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$EA166082-400F-4C65-B5B1-EF5B5EDB3243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d0142a3d0848c525eae2749a77b1c2abc7a358","datavalue":{"value":{"entity-type":"item","numeric-id":3927892,"id":"Q3927892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$06BB0109-584C-4D62-B392-324FBCCCE284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"524266b59ff9e11aa34d854bf18ccd297f64c0a3","datavalue":{"value":{"entity-type":"item","numeric-id":768506,"id":"Q768506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$E02DDE2D-4384-4622-B240-A40E0CCB2CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60df5b0f15164b8daea8ce354018e23006ba4900","datavalue":{"value":{"entity-type":"item","numeric-id":2540702,"id":"Q2540702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$268348F0-4618-4586-A54F-1876536CD20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0491f591f8974a1c543dbb823e1f65f5eeee360d","datavalue":{"value":{"entity-type":"item","numeric-id":4896549,"id":"Q4896549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$1CDCFF0D-4972-416F-B779-76D7D664ECC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"304ba0309b9f33d73a5f393f43abc374465d8670","datavalue":{"value":{"entity-type":"item","numeric-id":1229016,"id":"Q1229016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$9AA5D1BE-0991-4584-924F-A568799BA012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5971df42e51541a4386a5dcb532ff2c163d6c75","datavalue":{"value":{"entity-type":"item","numeric-id":4260608,"id":"Q4260608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$0CCA6B4D-97B9-451E-90FC-818C590AA45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de640c9168ee25430eb9cbed3b707597066345bc","datavalue":{"value":{"entity-type":"item","numeric-id":4889850,"id":"Q4889850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$9EFA937F-BB99-42DC-9FEF-555CCCF8EAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff2f36e50d2edd42a3489a24e18809b8f07a438","datavalue":{"value":{"entity-type":"item","numeric-id":4846803,"id":"Q4846803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$85B95E3F-271F-4C18-A0C6-CE10A971A399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917d3aadc3d46f14bb9bbad70ccd4473d23ba1a4","datavalue":{"value":{"entity-type":"item","numeric-id":3697897,"id":"Q3697897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$C42FCE56-C34F-465A-84E7-35F34AE0FD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46b32f503c3e14a8b457c3df535523ebf6bbfa7","datavalue":{"value":{"entity-type":"item","numeric-id":3357105,"id":"Q3357105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$0F52DF0D-1DB0-4AF1-92DD-1F868D015E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c56b062fdfd43730dea3e66dbe9cc19e99ed620","datavalue":{"value":{"entity-type":"item","numeric-id":3747340,"id":"Q3747340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$1E559820-E9ED-4AFC-BF68-FE29FB6E53C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b00764f2554b817f32c18778472c08f20203f31","datavalue":{"value":{"entity-type":"item","numeric-id":1328492,"id":"Q1328492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$D5ADE687-C9CF-4987-B824-3E636D44A865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9d2ea51fa5ecae558b05190eaeaed4f09a47ec","datavalue":{"value":{"entity-type":"item","numeric-id":4822389,"id":"Q4822389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$EED74B52-70A3-4C18-9D44-FF89056BD613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"133c0b07e73a0ad9c4e5057462b3e8221bf3bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":775315,"id":"Q775315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$32259F56-94AA-4EA0-94EA-29B3CF4FCDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a51ccddfc5eb8b6eb56224bf8680f28e6034ede4","datavalue":{"value":{"entity-type":"item","numeric-id":4297237,"id":"Q4297237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$88D64E50-3478-4866-A4B9-8D5189E34545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7536e92384e11ec3ce8637ede805331f9e036d8","datavalue":{"value":{"entity-type":"item","numeric-id":3997095,"id":"Q3997095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612751$5DFE0886-743E-4FF1-B298-2CAB72749469","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8d3b6ff37269573fa1810a96e0e862285abfdc2","datavalue":{"value":"W1992656112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612751$6AF2FDEC-C127-45D6-A06C-01E4671BFE5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b624e9805f5a2a36ca82e757333333832c6a20a","datavalue":{"value":{"entity-type":"item","numeric-id":4206109,"id":"Q4206109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d26983c243e22bd93f6f1c362c55361fbf9e991","datavalue":{"value":{"amount":"+0.8214666247367859","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":"Q1612751$B664BE09-203A-472C-BE92-CB95DAB60349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d224f6078e35a4b06506d1c3aa0421b4b4a849a","datavalue":{"value":{"entity-type":"item","numeric-id":2570233,"id":"Q2570233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014ac2be038c6d101da4b046a12d9c1e92e832df","datavalue":{"value":{"amount":"+0.8141764402389526","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":"Q1612751$9F39F95D-40B4-41EA-9A2E-9410F6F28946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0155bd3a00144ceca1bdf054acdd3bda5a05d276","datavalue":{"value":{"entity-type":"item","numeric-id":3135181,"id":"Q3135181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d10136f6fd62d7da907c6092c205d6774afc897","datavalue":{"value":{"amount":"+0.807250440120697","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":"Q1612751$CEB954BF-F28A-49FE-97DF-7FB080FD2AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44621b59a6777eedc671058dbeb2625e0d84812d","datavalue":{"value":{"entity-type":"item","numeric-id":1328492,"id":"Q1328492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15bdccd555b9645cb756f5abf2e3c69c58e69cee","datavalue":{"value":{"amount":"+0.8024994730949402","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":"Q1612751$67F54FC2-892B-4D42-97AD-29BAADFBA9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599232ba75fe4c8ae7496618ce159f9f12b76577","datavalue":{"value":{"entity-type":"item","numeric-id":2457386,"id":"Q2457386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed0bc835440739109799d2c1546721eb4262dde8","datavalue":{"value":{"amount":"+0.8018172383308411","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":"Q1612751$EB91EAAC-CEF4-4976-BD75-CC10F490CFDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive algebraic topology","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_algebraic_topology"}}}}}