{"entities":{"Q1356449":{"pageid":1367188,"ns":120,"title":"Item:Q1356449","lastrevid":68540265,"modified":"2026-04-13T00:25:41Z","type":"item","id":"Q1356449","labels":{"en":{"language":"en","value":"Compactness and finite equivalence of infinite digraphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1018506"}},"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":"Q1356449$46D563C2-6471-4772-BFC8-71F8AC89EC5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a72dd583f39250e7063faa43c4d472569c1bc08","datavalue":{"value":{"text":"Compactness and finite equivalence of infinite digraphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1356449$ECE065D6-980B-40C0-90BF-14B1551506BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a35837709330255309ea2c1f7ab105a33bd79fa","datavalue":{"value":"0878.05038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356449$9135E00F-DF72-44DB-9C5E-916B10C9AB54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"042e0b29ef4e5d5a78c07ee8342113b8b938454f","datavalue":{"value":"10.1016/S0012-365X(96)00220-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356449$ECAF309C-9F63-4B5D-AB0F-51B0086E9F4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97c074488a992796954051150fc848867758ead2","datavalue":{"value":{"entity-type":"item","numeric-id":186265,"id":"Q186265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356449$E204B757-42AB-423E-B423-7EB21CEE2770","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356449$8DFD1838-AA38-4141-92EF-27DD6467ABBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7373ca90e4b5d90975ef94cd3137f8d0492677d7","datavalue":{"value":{"time":"+1997-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1356449$96F256C7-373C-4DE1-A851-C08EC4356C82","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f2585e3fcc89db617266a55bb011461801397b65","datavalue":{"value":"An infinite digraph \\(G\\) is called compact provided there is a homomorphism from a digraph \\(H\\) to \\(G\\) if and only if there is a homomorphism from \\(H'\\) to \\(G\\) for any finite subdigraph \\(H'\\) of \\(H\\). It is proved that there are exactly \\(2^{\\aleph_0}\\) compact digraphs, up to homomorphic equivalence.   Two infinite digraphs \\(G\\) and \\(H\\) are finitely equivalent if they possess the same set of finite subdigraphs (up to homomorphic equivalence). Denote by \\({\\mathcal F}(G)\\) the class of homomorphic equivalence classes of all digraphs that are finitely equivalent to \\(G\\). It is proved that \\({\\mathcal F}(G)\\) consists of a single homomorphic equivalence class iff there is a digraph \\(H\\) homomorphically equivalent to \\(G\\), such that \\(H\\) is compact and is a disjoint union of finite digraphs. In nearly all other cases \\({\\mathcal F}(G)\\) is a proper class. The theory of finite equivalence is extended to infinite undirected graphs. In this case either \\({\\mathcal F}(G)\\) consists of a single graph or \\({\\mathcal F}(G)\\) is a proper class. Several open problems are stated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356449$D3AFD7DD-9F7E-4151-A1DB-F02E92475989","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"83bbf0b299346afb89579c3d6a26f4aedc76938a","datavalue":{"value":"05C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356449$FF6D30D3-A678-4C2C-B9A7-5E6F0EDC0612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356449$14C017E3-3FB1-40EE-B026-ED9AC219BE9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09ff9b410bbd0057a76a637aa4c79ca9ed51a765","datavalue":{"value":"1018506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356449$FA975B18-4522-44D4-BE22-266268DFE1F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356449$E795F5BC-11BE-4D58-A2CF-45609967F62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0007bc3d2336e8354b35c857729771524c6fdbeb","datavalue":{"value":"infinite digraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356449$65DF8899-4B37-4A76-BD79-2E811631D2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e636d6200f7544f4dd5a5bbed79f99982c70f6d","datavalue":{"value":"homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356449$F57BD9E9-0C8B-48C2-AF32-BF56FF55EFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89c309816633cf5071f92c9c7216c4349fa2397f","datavalue":{"value":"compact digraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356449$3240F81F-6F9B-4F32-A196-C1503AD6EE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02db5109051479d0a76ea7f1d79fb6074f8356e1","datavalue":{"value":"homomorphic equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356449$FB99E5A7-BE29-4164-B8D6-022CB47FF518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba0d868b864b668d8d8f0aa5fc6ef36689b91e36","datavalue":{"value":"finite equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356449$34A83AAA-52FC-4D67-A0C9-48EB1AA98CB8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5160355622f16f7db3af37439dc82dfda87a355a","datavalue":{"value":{"entity-type":"item","numeric-id":535117,"id":"Q535117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356449$1BE0B7D1-7A42-4334-86D7-446D6C5F68F1","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":"Q1356449$E209D85B-8AB6-400F-A7D7-ED09ADF12DFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf6f8b67e6de367f6ce5d3c6bd323a7c1ffcfeb","datavalue":{"value":{"entity-type":"item","numeric-id":1125952,"id":"Q1125952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356449$9E933765-2258-4834-B83B-897E4EC3FD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfc666cfb5a81611f7a8e831247fcceaca8c957","datavalue":{"value":{"entity-type":"item","numeric-id":1842150,"id":"Q1842150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356449$CC96BC12-A115-421B-88C1-74154A1FC2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0e32d8865c27671e581fdcf8a2086bdd1af6bc","datavalue":{"value":{"entity-type":"item","numeric-id":1917488,"id":"Q1917488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356449$AF4E7521-3F80-42E3-BDAD-85B67635B907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b91fb34b309a1448e42736f924e3a5012ab649","datavalue":{"value":{"entity-type":"item","numeric-id":3253064,"id":"Q3253064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356449$DDA97D83-57AC-4087-BF31-F42C2E55949A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623aa0450604b7dbc9a31360325845e4adb61259","datavalue":{"value":{"entity-type":"item","numeric-id":5530478,"id":"Q5530478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356449$41715B43-FFAB-4AC6-817C-A90015BD5CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629a6b24899f33d45c7320b6844d044cf659bdbe","datavalue":{"value":{"entity-type":"item","numeric-id":3276326,"id":"Q3276326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356449$747C0E14-8678-4A02-AB80-880886BC9CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5028065ceb61d7fbbcc8d74c873e6a965e0cc43f","datavalue":{"value":{"entity-type":"item","numeric-id":1110530,"id":"Q1110530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356449$C54B60AC-C9E9-4110-B662-FFEE4C7B3623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356449$6B66CC8A-BD20-4377-8F96-045EB5BA6828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd7e20f7a8a5b57aaaa1397122dafb976668c5a","datavalue":{"value":{"entity-type":"item","numeric-id":5540284,"id":"Q5540284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356449$0F3489BF-D7B2-45F9-AEF4-A10DF3422AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34ada9500bcc818699dec7a40b5563f97b9191db","datavalue":{"value":{"entity-type":"item","numeric-id":1260043,"id":"Q1260043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356449$D55B6A88-9169-443E-8FCD-71CC7B901F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacc118959ac4406901793fdc048b61fa833ad70","datavalue":{"value":{"entity-type":"item","numeric-id":3208855,"id":"Q3208855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356449$36C8131A-CDFE-44C6-9D36-465CC1C8C4BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec312634e7b260cf856723cf7f5995b26d4e5b8e","datavalue":{"value":{"entity-type":"item","numeric-id":1125952,"id":"Q1125952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d446361a3eec60209abfc0973ac6934034fafc5","datavalue":{"value":{"amount":"+0.8335250616073608","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":"Q1356449$8B30B697-E4CD-4737-932D-20695C67574C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8da72555bd87e1c07dcf69ddbf81afbdf5888a9d","datavalue":{"value":{"entity-type":"item","numeric-id":5936089,"id":"Q5936089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9198c459db0e034d704fa07a76554aa84adc0a17","datavalue":{"value":{"amount":"+0.7941600680351257","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":"Q1356449$EF578CDE-7B1C-4CF1-BB73-F2A2D82B8DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6413c5cf53ff12d9343274b17c12f1fd17e93e4c","datavalue":{"value":{"entity-type":"item","numeric-id":1705813,"id":"Q1705813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"943c21ad7501d86c320143d15c4927ae5915c32f","datavalue":{"value":{"amount":"+0.7753189206123352","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":"Q1356449$7C06511F-7352-4F84-A52E-3BD325DA9B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53b4e5c55d525a251f33b451c1c236367356e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":412175,"id":"Q412175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c43b1bb22355eac985100890e5e56f52f9361077","datavalue":{"value":{"amount":"+0.7735394239425659","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":"Q1356449$57CF41B9-220A-420D-8A75-22D0A44C5826","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compactness and finite equivalence of infinite digraphs","badges":[]}}}}}