{"entities":{"Q912136":{"pageid":913984,"ns":120,"title":"Item:Q912136","lastrevid":65297556,"modified":"2026-04-12T01:37:49Z","type":"item","id":"Q912136","labels":{"en":{"language":"en","value":"Definability of graphs by congruence lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4144034"}},"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":"Q912136$EBB813B5-3C69-4C90-944E-B2B24A2A92F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fdb5023acb52c45a12ef29e0f8d3a12d3daf5f9","datavalue":{"value":{"text":"Definability of graphs by congruence lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q912136$5C507C90-4FB2-4F72-B389-876BE85F77AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70c87fb1c6ecee39aff41f154ded3326e06e3102","datavalue":{"value":"0698.05060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912136$05BF5E39-3863-4BCB-9164-DF936D7CF183","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72b15239ff8450ae2777d9dcc97a07183ee4a69c","datavalue":{"value":"10.1007/BF01978702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912136$79A48252-DDFA-4B52-91BE-20A39DC47847","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a342b90f946e96a44610b42ee67d42e87e6aad1","datavalue":{"value":{"entity-type":"item","numeric-id":912135,"id":"Q912135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912136$BC1E45E8-1095-4FE9-A4C1-512EBFE574FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912136$17A87CCD-2E43-4B25-B743-CAFA98FE50F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q912136$F2923112-F246-46A9-8BD9-13ED371ED677","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e878416da7375b1ca76ff388b251f790946e10bd","datavalue":{"value":"https://eudml.org/doc/187300","type":"string"},"datatype":"url"},"type":"statement","id":"Q912136$944DF406-000D-4E2E-9756-C99B5208B1AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"76730905ee36912cda88b76cdb1f79097209f009","datavalue":{"value":"An undirected graph is an ordered pair \\(<G,\\tau >\\), where G is the vertex set and \\(\\tau\\) is the adjacency relation. The symbol P(G\\(\\times G)\\) denotes the lattice of all subsets of the set \\(G\\times G\\); further, \\(C(G)=P(G\\times G)\\times P(G\\times G)\\). An element \\(\\theta =<\\theta^ 0,\\theta^ 1>\\in C(G)\\) is a congruence on G if \\(\\theta^ 0\\) is an equivalence relation on G and further \\(\\tau \\subseteq \\theta^ 1\\) and \\(<x,u>\\in \\theta^ 0\\), \\(<y,v>\\in \\theta^ 0\\), \\(<x,y>\\in \\theta^ 1\\) imply \\(<u,v>\\in \\theta^ 1.\\)    The symbol \\({\\mathcal S}\\) denotes the quasivariety of undirected graphs without loops. For \\(G\\in {\\mathcal S}\\) the congruences \\(\\theta\\) satisfying G/\\(\\theta\\in {\\mathcal S}\\) form the lattice \\(Con_{{\\mathcal S}}G\\). The symbol \\(G^*\\) denotes the graph obtained from G by deleting all vertices which are adjacent to all others. Theorem: If G and \\(G_ 1\\) are incomplete graphs, then \\(Con_{{\\mathcal S}}G\\cong Con_{{\\mathcal S}}G_ 1\\) if and only if \\(G^*\\cong G^*_ 1\\). A graph G is complete if and only if \\(| Con_{{\\mathcal S}}G| =2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q912136$14B3E21F-CD20-4FCF-8015-984435966703","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e35cfda1c439de499de525a8a9009114d934bb37","datavalue":{"value":"05C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912136$10181310-95C6-4100-954D-802ED20E40E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a3bb76dbd41580d9287ece5137de80ddf22202f","datavalue":{"value":"05C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912136$62764767-EE71-4A2F-9E3F-52D7814B71CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc0b0019f8bcfb30fd25630abe9ae3556ac19dec","datavalue":{"value":"4144034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912136$6D82CA43-EAA9-4AA7-88DF-9E766972DA0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a48771741db67751afdeeb59b6b2553b29891ee","datavalue":{"value":"lattice of all subsets of the set G\\(\\times G\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q912136$4C78FCB4-023C-488A-A802-93DFFFF8BBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57257c742487f0f5bdf426a5497861d2b37b3178","datavalue":{"value":"quasivariety of undirected graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q912136$5DB2CED8-33EA-442E-B6DF-FE77EA1B00B6","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":"Q912136$60E88FA1-26CB-4FE9-B457-3B5AB06E47D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6817f140f7ed229b9688f514301d0ff6b45796","datavalue":{"value":{"entity-type":"item","numeric-id":3674739,"id":"Q3674739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912136$C9A71B35-AC09-48C7-99E1-33FC8252F713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4708edf481f5504c3c7a1bbe0ce2035ee105089c","datavalue":{"value":{"entity-type":"item","numeric-id":3875978,"id":"Q3875978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912136$62C0059E-CE88-43CE-AB0B-9FD73B4418D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b650a6388139fd3100488b4603241fb70aa94ff4","datavalue":{"value":{"entity-type":"item","numeric-id":1814619,"id":"Q1814619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6a9953b73d9554ccc1aaa18ce50c30ae4e4381c","datavalue":{"value":{"amount":"+0.8359224796295166","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":"Q912136$E0F219AA-5813-4717-831A-D917AFE61E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac27d6e5e2a7c7f5e6b98e5b9324f2f9d6b2666f","datavalue":{"value":{"entity-type":"item","numeric-id":3757943,"id":"Q3757943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"764fae98bd1012e7536078c9a5f48276d9f597da","datavalue":{"value":{"amount":"+0.8296223282814026","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":"Q912136$6AEFA097-99ED-41A1-A939-FFD48EF9A618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"854ada506b6095d6cedef4bf099fe7bb983ca9d4","datavalue":{"value":{"entity-type":"item","numeric-id":2718767,"id":"Q2718767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c90831ba5e3c5746421cc92fffaf44571d1872","datavalue":{"value":{"amount":"+0.7990729212760925","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":"Q912136$334DD0D6-F749-4A93-9445-5F43EFEBC818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58642e488ed1dbda4da81525f42ea50b1ffe4c4","datavalue":{"value":{"entity-type":"item","numeric-id":4364777,"id":"Q4364777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e78dbdbab423a106cf79f23cceb7b1b51864402c","datavalue":{"value":{"amount":"+0.7750526070594788","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":"Q912136$7E5CFD2C-6879-486D-995B-A621F18C767B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3cc95edfda5b70dc7176906d087dc7f8230897","datavalue":{"value":{"entity-type":"item","numeric-id":535094,"id":"Q535094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e78dbdbab423a106cf79f23cceb7b1b51864402c","datavalue":{"value":{"amount":"+0.7750526070594788","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":"Q912136$9E3C37CB-2527-4259-AE1F-DCBDCAF80908","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definability of graphs by congruence lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Definability_of_graphs_by_congruence_lattices"}}}}}