{"entities":{"Q1747810":{"pageid":1758552,"ns":120,"title":"Item:Q1747810","lastrevid":70827840,"modified":"2026-04-13T17:31:15Z","type":"item","id":"Q1747810","labels":{"en":{"language":"en","value":"Algorithmic aspects of branched coverings I/V. Van Kampen's theorem for bisets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6865183"}},"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":"Q1747810$E02ADFE8-EE4E-4E4C-A404-598A7332E893","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"336948f2d027ddf581acd579189b6305c162afb6","datavalue":{"value":{"text":"Algorithmic aspects of branched coverings I/V. Van Kampen's theorem for bisets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1747810$5E6DCAF1-785A-499B-800D-80DE0BC72DF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ae870f412fde7d1cb10c7685c182722776c915e","datavalue":{"value":"1423.57003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1747810$C9AB5C51-2141-446A-8829-9813DC9BA2EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee0f6aec470956ede1b4762b3e1a6fd783596483","datavalue":{"value":"10.4171/GGD/441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1747810$14F2A9D0-D177-4FD4-8539-0397CFF56CBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80fce5ef87f511cdde99798a5297a28116ecbde1","datavalue":{"value":{"entity-type":"item","numeric-id":245335,"id":"Q245335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1747810$6E0506C3-BBCC-4444-8619-5DAC702E1669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6ce6586029d24ca5221d9b217468511b7654c58","datavalue":{"value":{"entity-type":"item","numeric-id":823783,"id":"Q823783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1747810$DA858E1F-32EF-45D4-B0B3-4570214DAF6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"12e3e9652f934c7e19471889c1a9038496516295","datavalue":{"value":{"entity-type":"item","numeric-id":260093,"id":"Q260093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1747810$444A20A7-2DC8-461D-8C7B-E4107ECA0B5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4bdceec116463fa1916ed9809f1256cafcc0079","datavalue":{"value":{"time":"+2018-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1747810$E125AA55-F7A5-4285-8270-3BABE93CE3AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6723edcbac2e71f0b641fcd8cd5d554afc58c4b7","datavalue":{"value":"https://arxiv.org/abs/1512.08539","type":"string"},"datatype":"url"},"type":"statement","id":"Q1747810$B341B283-C18F-4064-92E2-C3F1E33EFC72","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2a195adf17973a298c9ecbc2d2edaaef3f814fe4","datavalue":{"value":"Summary: We develop a general theory of bisets: sets with two commuting group actions. They naturally encode topological correspondences.  Just as van Kampen's theorem decomposes into a graph of groups the fundamental group of a space given with a cover, we prove analogously that the biset of a correspondence decomposes into a graph of bisets: a graph with bisets at its vertices, given with some natural maps. The fundamental biset of the graph of bisets recovers the original biset.  We apply these results to decompose the biset of a Thurston map (a branched selfcovering of the sphere whose critical points have finite orbits) into a graph of bisets. This graph closely parallels the theory of Hubbard trees.  This is the first part of a series of five articles, whose main goal is to prove algorithmic decidability of combinatorial equivalence of Thurston maps.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1747810$D6B758B9-7B5B-45FE-ABD5-0D0EE07C14FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89af99f6f29ed1ce05a8e8a41b4d52903b1e8015","datavalue":{"value":"57M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1747810$05C42268-A137-4A61-96A8-120D2F7C3476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5cc3d2dda9f6cab4414397afae9e1a176c247cc","datavalue":{"value":"57M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1747810$3CCA2FD9-F2C6-4516-8CBF-D314D85A3DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1747810$4DD827CC-1AFE-4B99-A5F3-2CC156E5AA82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b28a473c8417a01a3e780f66c873e8e782baa2f8","datavalue":{"value":"6865183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1747810$1B8AFEAC-A0B7-492A-BFD9-39A567FB21AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84c1eddf2bf53361429a8766fa83a21bf2c3165","datavalue":{"value":"bisets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1747810$A7D81477-2649-47AD-A274-2F70701FA920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91a8dde5685d14e26bbda497595d18f6616c6a5f","datavalue":{"value":"amalgamated free products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1747810$1839D851-440F-4CFC-878E-3B9B0ADBD607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd15d39e8f9f4bdc6c6e99e27f86199d972674c0","datavalue":{"value":"graphs of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1747810$337C2DC5-94BE-4A23-A3C2-CAE438213199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bbb36b46060c95f33cd3fecaffe1a86b4cbfb5f","datavalue":{"value":"graphs of bisets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1747810$8FE98327-6C95-4C22-B387-4808208E83B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37ca513d79a42851dc819987381fef83d86117ab","datavalue":{"value":"coverings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1747810$6C88188B-6FC4-4794-AAC6-CB6527E03E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f83c4e1711feff19279e981c0b145232244f468","datavalue":{"value":"van Kampen's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1747810$DE6314C1-785B-47CE-88A9-E96483BB92E7","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":"Q1747810$99C2E4C7-B736-41F9-A2BF-014D7C197768","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f76d1c8ebac6da50abcbced7f8652e79402f427a","datavalue":{"value":"W2964316931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1747810$5F65067C-AB6A-444A-AA04-7B752F73F087","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9e9939b38df08de718d80500d65af85615e8678f","datavalue":{"value":"Q130080301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1747810$9689A595-877C-4791-905F-F282092AC74B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16e996a6878b72f14afdc02b2aed9f1eb375b2d","datavalue":{"value":{"entity-type":"item","numeric-id":2661166,"id":"Q2661166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8715366ae58672e2d5b6ee3f37a7c7de9dc1ed49","datavalue":{"value":{"amount":"+0.9291521","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":"Q1747810$549BAC51-9538-4C07-81B9-E218EF5167CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c37bf515dfb148d7d58eae8b283a9a02796099c9","datavalue":{"value":{"entity-type":"item","numeric-id":4609689,"id":"Q4609689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab307cb8994bf695b8c2bda10f1a642f952d27ce","datavalue":{"value":{"amount":"+0.928768","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":"Q1747810$44F9115F-0099-4EBE-A035-F70CB7894268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5848b348c462a90782f898dbd837272ea3ba68d5","datavalue":{"value":{"entity-type":"item","numeric-id":4586326,"id":"Q4586326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e0338c5c154b8986073a285daa1628134836a2","datavalue":{"value":{"amount":"+0.89992476","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":"Q1747810$AFF43F6B-CFC7-4BE5-A062-DE15011A6AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9525d45c4be25bba1cd2b7dc6277dde6256daf8","datavalue":{"value":{"entity-type":"item","numeric-id":2076072,"id":"Q2076072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d998aae092042fb9898f7be5d724845cf5a61f85","datavalue":{"value":{"amount":"+0.8982304","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":"Q1747810$66CEA586-86DA-4C70-825E-4049D906BD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b34b8d4ca2e41a9ac1c1fae2b32bfac31c48056","datavalue":{"value":{"entity-type":"item","numeric-id":4652711,"id":"Q4652711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b24b267f6f6b812ab50b8c76391ed3054fb75a6","datavalue":{"value":{"amount":"+0.876426","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":"Q1747810$0763565A-87A1-4984-84C7-C948A104D423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b2547bbaf9241382380fc2b5af8ec4b15b02603","datavalue":{"value":{"entity-type":"item","numeric-id":2379946,"id":"Q2379946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6dde29a57e0bb2500f033676bea5eeffdcb0b89","datavalue":{"value":{"amount":"+0.85865045","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":"Q1747810$93CBDB19-01D7-47D5-8014-9B282B58B4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"472eca559f3bc9acc42d876a2aa6c9329072e48a","datavalue":{"value":{"entity-type":"item","numeric-id":947772,"id":"Q947772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00124411a9e3ce0e8af72890f1486c049f52b060","datavalue":{"value":{"amount":"+0.8579763","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":"Q1747810$0A021722-F26C-4A04-9495-AE51A226DB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78013c158c5a92931b16ccd40a08559d7bae08e4","datavalue":{"value":{"entity-type":"item","numeric-id":4222596,"id":"Q4222596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f8e1156f3676d2e4dfd1ee407ee67873ce93b48","datavalue":{"value":{"amount":"+0.8557544","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":"Q1747810$0701FC76-0613-45CE-87E0-D4D29F8233D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b7aed88837930381b8b77efdaa68f043fe0009a","datavalue":{"value":{"entity-type":"item","numeric-id":714984,"id":"Q714984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8162679972139b8860693f7654283e0e9b72bcf3","datavalue":{"value":{"amount":"+0.8496375","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":"Q1747810$438E9884-FFCA-4932-9EBE-5C9C0D20B661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b4bffe76e6a2cb8ca93bbcaede7cfc3da57342","datavalue":{"value":{"entity-type":"item","numeric-id":5092471,"id":"Q5092471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd891592e993ec4bf9ab938868baf0d37fa918ae","datavalue":{"value":{"amount":"+0.84674066","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":"Q1747810$68F130AE-8CE5-48F3-8D94-4CC347186839","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic aspects of branched coverings I/V. Van Kampen's theorem for bisets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmic_aspects_of_branched_coverings_I/V._Van_Kampen%27s_theorem_for_bisets"}}}}}