{"entities":{"Q1173791":{"pageid":1184540,"ns":120,"title":"Item:Q1173791","lastrevid":66507078,"modified":"2026-04-12T10:31:42Z","type":"item","id":"Q1173791","labels":{"en":{"language":"en","value":"A compactness theorem for complete separators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7479"}},"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":"Q1173791$A1CB27A0-7D51-4EC7-A931-BD6ED9687D60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89d001407867bafbee7d02752758a23e1a1f2312","datavalue":{"value":{"text":"A compactness theorem for complete separators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1173791$2C3AE7C4-8817-46CD-85E6-1A71394D3B4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80642e4312cf2b2f88a2fc7578f276000f1fc91b","datavalue":{"value":"0749.05045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173791$323B7DB2-5C9B-484D-9BA7-B7965243B729","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6ff79d94e9d2a6b638caceee371b288d79e8f0f","datavalue":{"value":"10.1007/BF02941054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173791$51E25E23-2B92-41DE-A4BE-DB6B44505C79","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":"Q1173791$D02501B7-9C65-46F5-8CB9-208E3F8CCDEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1173791$BF1C91BE-1A0A-4723-81E7-C81B1FBFB0D9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"792a05535f3133c6d6e68de2c50b62a1974b2c9f","datavalue":{"value":"A subset \\(S\\) of the vertex set \\(V\\) of a graph \\(G\\) is a complete separator of \\(G\\) if \\(S\\) induces a complete subgraph of \\(G\\) and removal of \\(S\\) increases the number of components of \\(G\\). The following theorem is proved:   Let \\(G\\) be an infinite graph without a complete separator and \\(G'\\) be a finite subgraph of \\(G\\). Then \\(G\\) has a finite induced subgraph \\(H'\\supset G'\\) which has no complete separator.   The proof technique involves a compactness argument using Tychonoff's theorem. Induced subgraphs of \\(G\\) are represented by points in a compact topological space. Sets of complete separators in every finite induced subgraph of \\(G\\), containing \\(G'\\), correspond to closed sets with non- empty finite intersections.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173791$8DBC5E27-37F0-4F0E-9539-81C4C72EECE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5554b9c844f173ce8299bcb1bb0c8b42f6b4a0be","datavalue":{"value":"05C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173791$850F0EBE-BB63-4783-90B0-9A930C49C68C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7c91c0fcda8956d345bb59bbede046d18135501","datavalue":{"value":"7479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173791$0FDE31F4-2494-4F1E-AB87-76402920C445","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44690f021a44665fdaa86b43cd06cbbc8b881264","datavalue":{"value":"complete separators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173791$F743C5D9-0A38-46F1-981E-0EBA0489E5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81ccb74878112ec34209892f1f3cc259e9fa9533","datavalue":{"value":"Tychonoff's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173791$22CE3605-667E-4880-B621-5BB95855FB67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"494e2890710dc5d5dbbdf888620eb758b4d58ddf","datavalue":{"value":{"entity-type":"item","numeric-id":215083,"id":"Q215083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173791$54E097A2-0C45-4468-A48E-75942CB6E179","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":"Q1173791$73ECECB0-65E5-4A8B-BCA7-D03161E79B89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27dc88e90c2a5e80ee7fe153685cd6e97e723db5","datavalue":{"value":{"entity-type":"item","numeric-id":3999150,"id":"Q3999150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173791$7BF7C3FE-E77E-4828-8702-DCBD68B13AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556e58f9e33b77f0e55aa42beb772ea6f9a6f0c7","datavalue":{"value":{"entity-type":"item","numeric-id":1813735,"id":"Q1813735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173791$7D33D7B2-A556-49CB-B955-53477F10912F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2b06238e596e5526687d4d9f192e66e3b1f7248","datavalue":{"value":{"entity-type":"item","numeric-id":3217243,"id":"Q3217243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c342aa23d87801fd54414c238274f9a0b7e13446","datavalue":{"value":{"amount":"+0.6919710636138916","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":"Q1173791$0D5E78CB-2D4E-4A97-8E3E-99F7C4E08297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f47aa681f32d32dc3c4d71045c083a5713c8ed51","datavalue":{"value":{"entity-type":"item","numeric-id":1196749,"id":"Q1196749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1999b69334241bcf0826a395d4b73d92e065f964","datavalue":{"value":{"amount":"+0.6896200776100159","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":"Q1173791$3221975B-44E3-446E-8DE3-F37FE4B60848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d99b3e241faac33915ab3a00c7bf0c9b97346d1f","datavalue":{"value":{"entity-type":"item","numeric-id":3971676,"id":"Q3971676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"840bfc628d4013a570ec62eaf465c14fa3e033e4","datavalue":{"value":{"amount":"+0.680628776550293","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":"Q1173791$41C2ECFE-8A1D-4032-8B9C-7BCDF68D8170","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A compactness theorem for complete separators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_compactness_theorem_for_complete_separators"}}}}}