{"entities":{"Q531922":{"pageid":533689,"ns":120,"title":"Item:Q531922","lastrevid":62540955,"modified":"2026-04-11T06:47:21Z","type":"item","id":"Q531922","labels":{"en":{"language":"en","value":"On Leighton's graph covering theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5880969"}},"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":"Q531922$49AFE14E-DCCB-47D1-99F5-94A4C1F2A090","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"819eedac8c3aa71e50b6c2ceddf9cd833f1966ac","datavalue":{"value":{"text":"On Leighton's graph covering theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q531922$B1164223-035B-487A-BE6B-7D7E9755577B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49c11885c6c00340f2f5a3a0eb0068aafc5c4c0c","datavalue":{"value":"1210.05113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531922$8336C49A-6C4B-4F02-A442-5216B63CDF07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8014466fbadc0a6ff2e057785ab8de63844396fd","datavalue":{"value":"10.4171/GGD/111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531922$23C1B3A2-C43F-4F9F-9ED2-E94A5D49B5F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acf43465b3d5a42dd1ef11c0ffed2de3b26e7a54","datavalue":{"value":{"entity-type":"item","numeric-id":190819,"id":"Q190819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531922$42A08B06-A05D-4DFC-B0F5-D367378BD59D","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":"Q531922$82C06D13-6EB3-4F46-A191-AFAA965233E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14037b3f6a120371fdd344801088016bb2bc461e","datavalue":{"value":{"time":"+2011-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q531922$4D97E4C9-05B6-40B9-A5FA-4366FFF69DE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e958d315734ddf515ced2a5715dd97de4df4bcf","datavalue":{"value":"https://arxiv.org/abs/0906.2496","type":"string"},"datatype":"url"},"type":"statement","id":"Q531922$C0E83CDC-C550-4646-B946-F5D966498EEE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2854384b789d3307cc30647ab975e7e9863e2e79","datavalue":{"value":"Summary: We give short expositions of both Leighton's proof [\\textit{F.P. Leighton}, ``Finite common coverings of graphs,'' J. Comb. Theory, Ser. B 33, 231--238 (1982; Zbl 0488.05033)] and the Bass-Kulkarni proof [\\textit{H. Bass} and \\textit{R. Kulkarni}, ``Uniform tree lattices,'' J. Am. Math. Soc. 3, No.\\,4, 843--902 (1990; Zbl 0734.05052)] of Leighton's graph covering theorem, in the context of colored graphs. We discuss a further generalization, needed elsewhere, to ``symmetry-restricted graphs''. We can prove it in some cases, for example, if the ``graph of colors'' is a tree, but we do not know if it is true in general. We show that Bass's Conjugation Theorem, which is a tool in the Bass-Kulkarni approach, does hold in the symmetry-restricted context.","type":"string"},"datatype":"string"},"type":"statement","id":"Q531922$87B10491-C0F3-4D93-8817-96DC674CAB69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"625e55f1f2a96178239720bc1bbbe7ad21cf0a75","datavalue":{"value":"05C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531922$19976104-3227-4ECA-A5F3-03A6A4DB55D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531922$ECE08D31-779B-41AD-AEED-B7A1F39429FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"513bb673382d4f095f636a36264a50a0e4d1769e","datavalue":{"value":"20E08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531922$FD1C429D-7649-4D05-9FC3-8A46BA071F33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc69fac3ab431490075873310a4864c480bb62dc","datavalue":{"value":"5880969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531922$0EC9DA55-AED6-45AB-8B5B-67D4C50680AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb6b6c9ba766f3e46ecb1fa9cfdd44c486c2a72d","datavalue":{"value":"Leighton's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q531922$0FA5FEAF-47C9-4946-B639-5A0171E49751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb78669d1e1fb8a3a19b3ab6cfa4ee987cacb82f","datavalue":{"value":"graph covering","type":"string"},"datatype":"string"},"type":"statement","id":"Q531922$333E2469-AA1B-4D27-8B94-BF317519DE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7beb1d300c9174ff8c96bc541f1fafa20165bbf8","datavalue":{"value":"tree lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q531922$5A2B2508-C2F2-45BC-8805-B3BD7461B15D","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":"Q531922$1245A55C-E56B-4A64-A76D-9D778FE1781D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1314d75bdb6e36b43bc5d0e3c017df566a8ab0bd","datavalue":{"value":{"entity-type":"item","numeric-id":1135865,"id":"Q1135865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531922$BAF314C3-6630-40BE-BC75-9DA67B62BE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccc2e6137f046378b88eb13032c63629514628c2","datavalue":{"value":{"entity-type":"item","numeric-id":687568,"id":"Q687568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531922$2BA56498-1511-4185-A615-C1D4B69499D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068ec1a098fd033593a7e390271c3328cf9c1e38","datavalue":{"value":{"entity-type":"item","numeric-id":3360898,"id":"Q3360898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531922$91FE0D00-71D3-4A01-9F8A-0EAE6AD4684C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91380b553795bde4f88d5a80d3329a80330a3b7","datavalue":{"value":{"entity-type":"item","numeric-id":2910996,"id":"Q2910996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531922$DAD407F7-985D-4360-B7DF-FC0732617F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b780942cdabb9cd75b529f91e5633d9bfd38699","datavalue":{"value":{"entity-type":"item","numeric-id":1165857,"id":"Q1165857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531922$2634F0B7-610F-4970-9B79-A1CDE9B3D520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c301cbc0457871e5acf83efdae859742d0831041","datavalue":{"value":{"entity-type":"item","numeric-id":2481805,"id":"Q2481805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531922$B5E966C0-824A-4F66-88C4-FFA8C7AADBF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe80827f14794c4aae43c63f1cc6a928a04baea6","datavalue":{"value":"W1980829405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531922$A2CA0C7A-4B27-463D-A6D3-2ADA1FA9636C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb61e5d4f9cc3abc2dd6e2989695e60bde72480","datavalue":{"value":{"entity-type":"item","numeric-id":2102715,"id":"Q2102715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"577bc4284b175dbe9ac55bab3d068d72ef5327c6","datavalue":{"value":{"amount":"+0.8806551694869995","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":"Q531922$9AAD8B32-28CF-4EA0-BDC6-3CCEE23A54AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"628e39c7ec530328381725a853d7166ebf42a67c","datavalue":{"value":{"entity-type":"item","numeric-id":687568,"id":"Q687568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6dd8650c32e2d86701ebc9fcce0779c00f3070f","datavalue":{"value":{"amount":"+0.8685935139656067","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":"Q531922$8ECD2F57-03B4-487B-9920-790F6A4EBA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ff1b996599d62535cff751aeddf7f225f7fbdbd","datavalue":{"value":{"entity-type":"item","numeric-id":4958700,"id":"Q4958700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2987b899f83402395fb1b68a8a253577c2dcca8","datavalue":{"value":{"amount":"+0.8124035596847534","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":"Q531922$B0C13113-39B8-4E65-99F0-520C1DCCAAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73ef7adef386d24453f04de503e0927872a06e6","datavalue":{"value":{"entity-type":"item","numeric-id":2163650,"id":"Q2163650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf2baf085a8b55facca7f0c915dfb17acbae5bf","datavalue":{"value":{"amount":"+0.8018014430999756","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":"Q531922$D4F29DAC-5591-488C-A87A-C3495F2B0D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b537237810b2aadd2936cba5244cd83e0cfeff","datavalue":{"value":{"entity-type":"item","numeric-id":3666879,"id":"Q3666879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361717b98e17a73d4cddd6505417d01d05fde391","datavalue":{"value":{"amount":"+0.7269362211227417","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":"Q531922$C9443D02-23B0-42FD-BD38-5AF19B6EA150","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Leighton's graph covering theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Leighton%27s_graph_covering_theorem"}}}}}