{"entities":{"Q1688265":{"pageid":1699006,"ns":120,"title":"Item:Q1688265","lastrevid":57460788,"modified":"2026-03-31T00:37:56Z","type":"item","id":"Q1688265","labels":{"en":{"language":"en","value":"On a theorem of Halin"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6822587"}},"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":"Q1688265$CA0AF072-75D6-479C-85DB-3F36F4B0BADE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0364116f6a315307b23e4a0d2b964b313170fab2","datavalue":{"value":{"text":"On a theorem of Halin","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1688265$2F729863-A313-436E-BF43-6430532D5B39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"515f16006f11fb0c250c1ac6a4ab6649f4006cbb","datavalue":{"value":"1388.05084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688265$276C81C2-9500-40EF-9DEA-375E39BAB917","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10c07f8b7e3cd9f2923ddf5077d5a80431b6d4ef","datavalue":{"value":{"entity-type":"item","numeric-id":201986,"id":"Q201986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688265$F850FD2B-41C4-4155-AC7E-4A2D4BD02C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a260a4f6b90720140936bf1db32adbfec655f412","datavalue":{"value":{"entity-type":"item","numeric-id":426904,"id":"Q426904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688265$F374E31F-75EC-4859-90BA-C4452E5AE2E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8c7a36fed93a2c5106c0dd147c45f135ff18693b","datavalue":{"value":{"entity-type":"item","numeric-id":227705,"id":"Q227705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688265$E0FCA7C8-FBA2-4FA7-B8CB-D0A7F3A636A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f82a989f9b934880a816b11e6c0d5685fd52725f","datavalue":{"value":{"time":"+2018-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1688265$06F5FB6E-5EF8-41FC-BFB6-2FEAA6832E49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3776010978286d40cdd86598508cf251fe5209f","datavalue":{"value":"https://arxiv.org/abs/1511.04395","type":"string"},"datatype":"url"},"type":"statement","id":"Q1688265$2C7C3A60-8569-475D-9B59-3945E307543D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"25231e310c78bea24f4f09d6811c326626e26109","datavalue":{"value":"http://eprints.lincoln.ac.uk/id/eprint/26752/1/Imrich%20Smith%20On%20a%20theorem%20of%20Halin-Published-Version.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1688265$9B5B5492-3795-4336-A395-721CCF2BCEB1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"81562380c8861d4b6791bf8d05ad9c3497ffd2ee","datavalue":{"value":"The main result of this work is the following. If \\(G\\) is a graph with countably many vertices, then \\(\\text{Aut}(G)\\) is countable or has cardinality \\(2^{\\aleph_0}\\). Moreover, \\(\\text{Aut}(G)\\) is countable if and only if \\(\\text{Aut}(G)\\) has a finite base.  This is, on one side, a generalization of a result from [\\textit{R. Halin}, Abh. Math. Semin. Univ. Hamb. 39, 251--283 (1973; Zbl 0265.05118)] and, on the other hand, it presents a graph theoretical proof of the mentioned result, which was known even before Halin's paper in the different areas of mathematics (infinitary languages and mathematical logic).  As a side effect a new bound on distinguishing number is presented as well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688265$F0548ED5-D23D-47B2-AB33-AD4F582B93A1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7fbfd6a9c9db4c04ae1819627a7c5da1a84e5679","datavalue":{"value":{"entity-type":"item","numeric-id":279208,"id":"Q279208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688265$F737571D-5427-4AC6-9DF5-12CBB5A8FD60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74e7832a915a62c417a3bf8c026eff5989fd94d3","datavalue":{"value":"05C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688265$E8C45086-E38B-40C4-BDF0-D3DBF2F41A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9729428b7f3faff6f70db9a7fa765e75946ff6b6","datavalue":{"value":"05C63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688265$49AEA4DE-20C0-4C2B-BFDE-61E5B4A0F2BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b664c86f0f60d01d39a11d379284dacfd47005dc","datavalue":{"value":"6822587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688265$AF91E831-3C91-4C0F-B50F-E2BB7CA33E68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7146c2819fbeedb702f7b725ef135774812891af","datavalue":{"value":"infinite graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688265$C3F94BCD-E7EC-4ABD-BE08-9FF3CEA520BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ab89ef0afcd2141c7da8aae338608bd16ac9a","datavalue":{"value":"automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688265$1F61D354-0C0A-4663-A621-B502B8CEADDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f161ce45f2c032a5d05185ff52a7738050ecdea9","datavalue":{"value":"distinguishing number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688265$942D413F-C9D5-4AA9-B704-0C29F12EF8EA","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":"Q1688265$34DDBF56-44C6-4123-A5B2-31BC108E811E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9239017d83684ab410a0388638b110c2eb3766c","datavalue":{"value":"W2962867228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688265$A73396DB-73DC-44A4-8A65-ADFED0DFB54B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9234f0e63bf5a06d1fb5cac8ee4d51f04190a4c4","datavalue":{"value":{"entity-type":"item","numeric-id":1918875,"id":"Q1918875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688265$DF7FF1E6-5F3D-405B-A950-7DB344039B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"984bb033fea7f786593986ad52bdc682afaf37c6","datavalue":{"value":{"entity-type":"item","numeric-id":4111599,"id":"Q4111599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688265$BDEEDE70-A038-4502-B3C9-2347EB6918B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff94aa85b9383e28751c4886fff062989e864cfa","datavalue":{"value":{"entity-type":"item","numeric-id":5502846,"id":"Q5502846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688265$9BAFA6AC-8689-4381-9E69-5922C0F21866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cabf01b32a6da59c635163d91e076632665bc72f","datavalue":{"value":{"entity-type":"item","numeric-id":490268,"id":"Q490268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688265$7A17E273-57B8-4F3D-9A13-44C55A7ACA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075385ab0f9cec9e72ad6f715d7267d9b2ed12a4","datavalue":{"value":{"entity-type":"item","numeric-id":3995219,"id":"Q3995219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688265$BBF9777E-0379-485E-86A7-FB031B300D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97654eaa6344954ff92e116f8b05b82baf9bc761","datavalue":{"value":{"entity-type":"item","numeric-id":1824687,"id":"Q1824687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688265$18238B25-D055-4D68-8470-118B9DF63157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c5fe67dfcf14d281fce04c347e8f6b6777292f6","datavalue":{"value":{"entity-type":"item","numeric-id":3746004,"id":"Q3746004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688265$E5CB2F01-9CC0-4AE3-996E-875C050F38DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5cfb1072e7bc5e57e90f4358aa3a23ae5511074","datavalue":{"value":{"entity-type":"item","numeric-id":1097345,"id":"Q1097345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688265$6279102C-E4AF-4A07-B027-5D39B8DBCC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ef51e0c1fd3ed374b0d4b2a575650b7bf89695","datavalue":{"value":{"entity-type":"item","numeric-id":2562190,"id":"Q2562190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688265$A3EB7892-ED22-4339-BD12-96F58C8A9E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08012a678c0865e62c2a20958b904424ae8b9c8","datavalue":{"value":{"entity-type":"item","numeric-id":5621364,"id":"Q5621364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688265$210C7FC9-BE02-4F0D-90D8-D94693C67677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3cb9ac869b59bd30219d72b63b44e4addab369","datavalue":{"value":{"entity-type":"item","numeric-id":5643952,"id":"Q5643952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688265$763D0C76-3FE2-41D6-BE4A-517878161F96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f61bcf422e16e3ee8b5be6288c3bb35b394e3816","datavalue":{"value":"10.1007/S12188-016-0167-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688265$E608E9B7-DF64-4762-A23D-D92B2B7BDE65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d7c987b14846da92a18060c87ea25d3d3b91f6a","datavalue":{"value":{"entity-type":"item","numeric-id":5954698,"id":"Q5954698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21baa631091b4d4b80acf576df849ecdc0bb95bd","datavalue":{"value":{"amount":"+0.7818567752838135","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":"Q1688265$A746DD81-DB9E-4DD0-9829-59ACAE0B6CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d931aa49044b9ba92fc1cdc94b784c6e2d7842e9","datavalue":{"value":{"entity-type":"item","numeric-id":6081887,"id":"Q6081887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21baa631091b4d4b80acf576df849ecdc0bb95bd","datavalue":{"value":{"amount":"+0.7818567752838135","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":"Q1688265$1018CBD6-E3F4-470A-84D5-5C09193D4F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58a9983fa7b704bcf0ba0e11d2931d958326ad87","datavalue":{"value":{"entity-type":"item","numeric-id":743653,"id":"Q743653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f478541f3dac144b5a1784e34117b23040e154","datavalue":{"value":{"amount":"+0.7567633986473083","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":"Q1688265$78C68EFE-1055-4109-AFF9-F8F8AC97263F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7aa659452c357c5dd4ee4aa6a91e926dc2cbd4","datavalue":{"value":{"entity-type":"item","numeric-id":2372880,"id":"Q2372880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6443bde6b22fb7cc2eb940581cb88070a5874763","datavalue":{"value":{"amount":"+0.749907374382019","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":"Q1688265$4EDE0FC5-C811-47CC-ADFA-C8971BB29A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c688a82f5f596666145401e0a7785fb74fe57f","datavalue":{"value":{"entity-type":"item","numeric-id":3191457,"id":"Q3191457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71979b0c4811ae6f6c1dd1156e9c7ce37cade4d4","datavalue":{"value":{"amount":"+0.7467461824417114","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":"Q1688265$E858431A-D033-4B72-BCDC-FB07432F71DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1688265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1688265"}}}}}