{"entities":{"Q2094593":{"pageid":2105336,"ns":120,"title":"Item:Q2094593","lastrevid":74103537,"modified":"2026-04-14T18:22:39Z","type":"item","id":"Q2094593","labels":{"en":{"language":"en","value":"Polyadic sets and homomorphism counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7613366"}},"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":"Q2094593$367DDE78-2D1A-4630-96F5-DFC27F72A3E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31653a9b19ebed5059f10a899990796e45288645","datavalue":{"value":{"text":"Polyadic sets and homomorphism counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2094593$0A521876-798B-4A6C-B7B3-0833B181FF1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f76f7bd3a5e7631130d80b1c53d6c17ca74f20b7","datavalue":{"value":"1499.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2094593$D3F80DA8-06E9-4DA2-862E-C5D6C5866F08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e1f9a37b2997b4c67a007cdd4d90ea6293c606a","datavalue":{"value":{"entity-type":"item","numeric-id":502642,"id":"Q502642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$C4A4E6B9-3147-4407-9E2D-501D552F21CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$B083C456-3036-41C1-8196-B342EB0A8065","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41c2d4b2b9eee3d1d4724659108ff6928154d594","datavalue":{"value":{"time":"+2022-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2094593$6D37A70E-0234-4EF7-8791-47C479FA59CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5491b7ace401cfc78c2e84db07745b828952fded","datavalue":{"value":"https://arxiv.org/abs/2110.11061","type":"string"},"datatype":"url"},"type":"statement","id":"Q2094593$07104D8B-50D1-43AE-8188-D91C4FD1CB25","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f4e55afd4c073fb69d29f97331b257f4896b9f8","datavalue":{"value":"A celebrated result in [\\textit{L. Lov\u00e1sz}, Acta Math. Acad. Sci. Hung. 18, 321--328 (1967; Zbl 0174.01401)] claims that the isomorphism type of a graph is determined by homomorphism counts, showing that graphs \\(G\\) and \\(H\\) are isomorphic iff the number of homomorphisms \\(K\\rightarrow G\\) is the same as the number of homomorphisms \\(K\\rightarrow H\\) for all graphs \\(K\\). Extensions and variations of this theorem have been exploited in a broad range of research area such as graph theory, finite model theory and quantum information [\\textit{Z. Dvo\u0159\u00e1k}, J. Graph Theory 64, No. 4, 330--342 (2010; Zbl 1207.05128); \\textit{M. Grohe}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 507--520 (2020; Zbl 1498.05135); \\textit{L. Man\u010dinska} and \\textit{D. E. Roberson}, ``Quantum isomorphism is equivalent to equality of homomorphism counts from planar graphs'', in: Proceedings of the IEEE 61st Annual Symposium on Foundations of Computer Science, FOCS'20. Los Alamitos, CA: IEEE Computer Society (2020; \\url{doi:10.1109/FOCS46700.2020.00067})].  Categorical generalizations of Lov\u00e1sz' result were established in [\\textit{A. Pultr}, Acta Sci. Math. 35, 155--160 (1973; Zbl 0278.18001); \\textit{J. Isbell}, J. Pure Appl. Algebra 76, No. 1, 87--110 (1991; Zbl 0754.18003)] via a direct generalization of Lov\u00e1sz' combinatorial counting argument. This paper adopts a different approach after [\\textit{A. Dawar} et al., ``Lov\u00e1sz-type theorems and game comonads'', in: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '21. New York, NY: Association for Computing Machinery (ACM) (2021; \\url{doi:10.1109/LICS52264.2021.9470609})]. The aim of the paper is twofold. On the one hand, it is shown that homomorphism counting results are basically a consequence of a more general result about polyadic sets, a special case of Joyal's polyadic spaces [\\textit{A. Joyal}, ``Polyadic spaces and elementary theories'', Notices Am. Math. Soc. 18, 563 (1971)]. On the other hand, the paper exploits the framework of polyadic sets, combined with a topological argument, to extend homomorphism counting results beyond categories of finite structures.  The synopsis of the paper goes as follows.  \\begin{itemize} \\item[\\S 2] recalls some basic categorical definitions and facts, introducing the notion of left- and right- combinatorial category, in which the isomorphism types of objects are determined by homomorphism counts.  \\item[\\S 3] studies polyadic sets, establishing some of their main properties.  \\item[\\S 4] establishes homomorphism counting results for locally finite categories, i.e. categories with only finitely many morphisms between any two objects.  \\item[\\S 5] proves a general theorem characterizing the isomorphism type of certain objects in categories that are not necessarily locally finite, specializing it to the setting of locally finitely presentable categories.  \\item[\\S 6] discusses applications.  \\item[Appendix A] is concerned with proper factorisation systems.  \\item[Appendix B] is concerned with comonads of finite rank. \\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2094593$35D78EF3-B7FD-466E-BCFE-B04A64EF9EC1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$D9233BD8-4700-4F2A-BD3B-2E3D1B20556A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd14109b728357c96051ccc125db5e1d8c36ea77","datavalue":{"value":"18A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2094593$318DF8F5-2535-4783-A9B4-035A015CEF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2094593$D261D9A9-9057-4916-97B7-FC9041CED0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e742a171e2cc4a4f154f55124e2a34e0da3eb3e","datavalue":{"value":"05C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2094593$0F6AD138-BCD6-485B-BC68-0AB3F42265FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdfaba923d3d86dfd44e607583f5bb2a69b984b1","datavalue":{"value":"7613366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2094593$A8A3B450-B676-4E94-A45D-632818FDA2D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7a5ed6ee8e93abf8b0e020d0a16a08879f413d4","datavalue":{"value":"homomorphism counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2094593$A7B26685-BB06-48DB-A70C-D54FB7AA48D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32d81a0ffed90bdaab1f919349790d4abe798b2e","datavalue":{"value":"polyadic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2094593$7E18CFF7-F4DF-43C7-9BE2-1F40BE6C0D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f61b57cc316ffd66fa6363742ce6a70ab15dcded","datavalue":{"value":"Stirling kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q2094593$5971E07C-139F-4338-81A6-A18B426AE9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21a9a98b81a4ce7abf15bd7b863e21c1b896de2c","datavalue":{"value":"locally finite category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2094593$3B578788-C4E4-468F-8AA1-C92CB625BE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f69a5af2dcbf7a90a170bdb7b28de44c7e2880","datavalue":{"value":"locally finitely presentable category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2094593$748150FC-3EEF-4AA4-A1AB-3A7768DB80E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"156e66c62bd4af9a01c225dd1dde9b19f1de9e2f","datavalue":{"value":"profinite algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2094593$89B15BB1-CFD8-4903-86A0-1D25E85A0E31","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":"Q2094593$7B6E56DA-0C8A-4D34-8445-AADCB5B6A81C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fde13e72fb8a14c4d7849c2903a4bcdbe1d084f2","datavalue":{"value":"W3205614780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2094593$666FD801-564F-427E-898C-233A04614D92","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"604ff221bf5cbf586e7cd9e05cf5a7791f4d51fb","datavalue":{"value":{"entity-type":"item","numeric-id":5144676,"id":"Q5144676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$5C3D3345-180F-484E-95CE-7F1206F3978D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a84c3c0ff97e22f274382c589040b2de27e0160","datavalue":{"value":{"entity-type":"item","numeric-id":5079721,"id":"Q5079721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$6EF7D449-208A-4E1B-939B-D49BE45072A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$7D413B92-C333-46D0-AB44-4D606440C5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6f97afcd4bbca50f0dee53e4ebddd916ce9ca31","datavalue":{"value":{"entity-type":"item","numeric-id":5243045,"id":"Q5243045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$3837BF71-D2C5-4008-A55B-66DFA59CC20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$8DBA3CBD-69F8-458B-9C84-A825E8AEF8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614fef569f6161797de830c2f1c2048e2f4e688c","datavalue":{"value":{"entity-type":"item","numeric-id":4068934,"id":"Q4068934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$2DCDE99F-7D0D-482D-9CA2-1BB042415C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba26e21967cff67d33fc2dc6b5aab99b8103a58","datavalue":{"value":{"entity-type":"item","numeric-id":4304740,"id":"Q4304740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$86621195-E11D-48DB-A488-B77A1ECA4ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed85cd03af69b0b3414e61da74ab7e3d313c1c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5564342,"id":"Q5564342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$0142B074-D64D-4AC1-9A9A-DB1839F69F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d61b6d92e4bc2ad11f05f8f51329ab6c733854","datavalue":{"value":{"entity-type":"item","numeric-id":1076791,"id":"Q1076791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$27DCADF1-DBA4-436A-BE26-57E3023D2494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"191140fb1c823488a0488e662b17a53430137dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3057061,"id":"Q3057061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$43282E59-3BE0-4C2B-B4EE-EC2EA8473899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c6061c3f6daf7454d0e9c58daef6f441530aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210136,"id":"Q4210136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$1D5E3C1F-BC5E-4802-A810-EA44B269899F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d151674fa3f2ae200e36c1848eed2f769352f64e","datavalue":{"value":{"entity-type":"item","numeric-id":2559535,"id":"Q2559535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$B873145D-3F00-4368-94AC-F4B5BE171264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$B0F070AC-DC4B-411A-9771-585BFBC310C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cab96db3f55928700487786eca89bec7ad9d7c4e","datavalue":{"value":{"entity-type":"item","numeric-id":3137758,"id":"Q3137758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$F95FCFC6-A9F5-4D3C-A095-95CF7BD8D0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc3a922794178b7a55f99069b80d32989fc5ada7","datavalue":{"value":{"entity-type":"item","numeric-id":5145659,"id":"Q5145659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$27517324-C996-4533-B292-F0ACC8F28CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d16a246741707a8828b7414834929e5db4fffb","datavalue":{"value":{"entity-type":"item","numeric-id":3998172,"id":"Q3998172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$B582A6A2-93A5-46F0-89A3-857067B1C126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$9482E510-7A07-4AE6-A7AA-2C2FA71BBC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3663fac168c9a0e627c8ca32e77b104249d16ced","datavalue":{"value":{"entity-type":"item","numeric-id":1181437,"id":"Q1181437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$A3EBA6D7-F61D-4CF3-9650-744AEE7459B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d88769eedbb16571caefa699fd0710b447d3827","datavalue":{"value":{"entity-type":"item","numeric-id":3711309,"id":"Q3711309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$0CAEF7F1-26CC-4A65-BEE6-46ED9D336DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f1ee1dee5bb965dec7da3b02fbdecff91a1fc0","datavalue":{"value":{"entity-type":"item","numeric-id":1167168,"id":"Q1167168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$5E0F1C08-03A2-4B74-821D-3DCD82EAD44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c60ef1865b27a7a4a49c43ea5a677cffc70518","datavalue":{"value":{"entity-type":"item","numeric-id":5465517,"id":"Q5465517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$B3DB4BB9-585B-4302-8765-C15C3900A54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9da1f495e46e1fee50e019d55a205684c1abf3db","datavalue":{"value":{"entity-type":"item","numeric-id":3411965,"id":"Q3411965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$F33ADF00-28AE-425B-BEBC-116C9BA016D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec41273c837e017795095dfbde50dadc0dabe38","datavalue":{"value":{"entity-type":"item","numeric-id":5561941,"id":"Q5561941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$BB082B05-62F2-417E-A82E-4740E72BD360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b013ad340f4c7ee3ed962144f0b63c4c5ce935b","datavalue":{"value":{"entity-type":"item","numeric-id":5664057,"id":"Q5664057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$4B69A2E1-9872-4F97-93C9-CAF6AD14B987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$BA3991BB-301E-4759-B66A-566AE91B96AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dccdf801ca57a8ea19592292d1c1ca4cada9c55","datavalue":{"value":{"entity-type":"item","numeric-id":2695361,"id":"Q2695361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$DFF2FCC5-EB3B-4A09-8483-34CB471B6070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8fafadb695f49cd860fd65893dd6d573cbe189","datavalue":{"value":{"entity-type":"item","numeric-id":880883,"id":"Q880883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$6BA9A9EC-228D-41BD-8E28-E5FB81AC09A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9691a8994edb05d51b36f52b8df002bf02c6490","datavalue":{"value":{"entity-type":"item","numeric-id":5813193,"id":"Q5813193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$5336BEBF-94D8-4094-ACD2-D0009521A645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282211222ccbd2802942b103c7887abb392256f5","datavalue":{"value":{"entity-type":"item","numeric-id":3249791,"id":"Q3249791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$708C9F7D-A188-4847-9851-2B2D85ACA283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7e841d5a45890e2850ed07f5043b45d0c5c98d","datavalue":{"value":{"entity-type":"item","numeric-id":4704207,"id":"Q4704207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$D0416586-9C6B-4B53-AF3F-5A448E7ABDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7707c682cafeeeffafa60a969ba4ec29a4b13773","datavalue":{"value":{"entity-type":"item","numeric-id":4405323,"id":"Q4405323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$7D8EBF02-033C-4939-93CA-97B7422E3109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb1807ee38fcbd50526870d445fdc6d20848aa73","datavalue":{"value":{"entity-type":"item","numeric-id":5851831,"id":"Q5851831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$77C89DC9-324D-431C-A617-9F2A9F6C234E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42b17a9e65624167c0afafce75cee382a5dd7e5","datavalue":{"value":{"entity-type":"item","numeric-id":5731810,"id":"Q5731810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$AE005F0F-3202-49D2-BD6F-8AE10ED7A693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093e951db7fac23134138f3a520a43ac12741103","datavalue":{"value":{"entity-type":"item","numeric-id":2756583,"id":"Q2756583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$DEBAC425-6FD8-411D-92DA-97304587E9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43338569fabc8ff4a47c1085e6bc008e0679e2b7","datavalue":{"value":{"entity-type":"item","numeric-id":3225387,"id":"Q3225387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$CAAAB341-DDEB-4F06-A264-38864F3A6FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2094593$73EB49EA-C13C-40BB-A815-C400EB8E7117","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e61eae14b5cc9f2cfcf40e1ed8565a1b0c9e567","datavalue":{"value":"10.1016/J.AIM.2022.108712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2094593$187C19DA-9FE5-44A9-BAE9-CC19A9AE6EF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07ddd7730a9224acc963e8050ad2b8ad14a2afe","datavalue":{"value":{"entity-type":"item","numeric-id":4263480,"id":"Q4263480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39203e670046a64a017703014113e67f717916c5","datavalue":{"value":{"amount":"+0.6688821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2094593$9F9A2908-9F4E-41CC-B44E-B0507E8BDA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950f22126c17c6ae70d3a2a5d1e9d6037176fdd1","datavalue":{"value":{"entity-type":"item","numeric-id":2104475,"id":"Q2104475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"624c714c22cdc87f4479a482e79f45a15b49242f","datavalue":{"value":{"amount":"+0.6664551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2094593$6FDBF13B-05FD-4EE9-B363-249B935FA4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30780ba074bde4b9d9525162b630975965181afc","datavalue":{"value":{"entity-type":"item","numeric-id":322345,"id":"Q322345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2d3ad105421251eb35457986834c6ff34dbeba1","datavalue":{"value":{"amount":"+0.6603521","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2094593$42CD20BB-0E5E-4C5A-9D3C-307C6F08E11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286d595ef7d0c8a5ef0056a9ba2e0fa9a4bbc7f0","datavalue":{"value":{"entity-type":"item","numeric-id":2276986,"id":"Q2276986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c38eb93354ada35e82cb21dfb474ced2e8818d","datavalue":{"value":{"amount":"+0.65192413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2094593$AC88B586-B047-456E-9541-F4FA25A8E662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3dcbf19f770ca7ae9d4507ac146b18a118d08f0","datavalue":{"value":{"entity-type":"item","numeric-id":3744341,"id":"Q3744341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e963a9ffe1ceda0c360eb47e794b10326bfba24b","datavalue":{"value":{"amount":"+0.64573944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2094593$784764D3-E61F-4B60-AEAC-11DA81902B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e33bdd6a068b41fa91361ab9c48f3ce27d13fa1e","datavalue":{"value":{"entity-type":"item","numeric-id":2279998,"id":"Q2279998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3f7927ef7f8a55002a301e778a7778ce3dead9","datavalue":{"value":{"amount":"+0.6358578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2094593$F1A843B1-1135-4ED7-9916-90B0A1305430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02de15a05a0e0fad8fb54c4862faf73b80f6caff","datavalue":{"value":{"entity-type":"item","numeric-id":3829587,"id":"Q3829587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48dd0da3fe4adb03d00665be7c407cece210e902","datavalue":{"value":{"amount":"+0.63445795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2094593$6608BF72-407E-4F8C-892C-C212AC8A01BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6e7a8db23818cdba3ca9a462a46a761d3a312d","datavalue":{"value":{"entity-type":"item","numeric-id":6096731,"id":"Q6096731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"931f365c809a647fc6bfc353f17ecdb8f4ea8d2c","datavalue":{"value":{"amount":"+0.63252586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2094593$5883FCC6-0E5B-4E06-9A66-17F58574C427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b7f3f751359e7b7baa87940b09c6649a9b89b00","datavalue":{"value":{"entity-type":"item","numeric-id":5360301,"id":"Q5360301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e261d0d45755ee8ac1dc655cc2f2d9239e249565","datavalue":{"value":{"amount":"+0.6324878","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2094593$F4A4436B-D70A-455F-9000-2853B3ADD6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"036aa86dc8aedb67cc04c36852f74e1b62cee264","datavalue":{"value":{"entity-type":"item","numeric-id":2762102,"id":"Q2762102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bf5adfbd0ee047e82efc9de318040dfb697703d","datavalue":{"value":{"amount":"+0.6285902","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2094593$D87E2487-CC27-4C44-8BC4-71D3BE3A0B26","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":"Q2094593$E1C53058-472E-4676-B560-40AFEC53C8B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polyadic sets and homomorphism counting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polyadic_sets_and_homomorphism_counting"}}}}}