{"entities":{"Q2658808":{"pageid":2669551,"ns":120,"title":"Item:Q2658808","lastrevid":57383484,"modified":"2026-03-30T18:13:35Z","type":"item","id":"Q2658808","labels":{"en":{"language":"en","value":"Miscellaneous graph preliminaries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7327214"}},"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":"Q2658808$9DBF1E28-8ED1-4AFF-B7C3-58702B973646","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ed12d6fd128feeaf73ffbdb8e44d6afed6c48a1","datavalue":{"value":{"text":"Miscellaneous graph preliminaries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2658808$9FCF78B9-69FC-4B22-8D2D-6A9101A5A332","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c590727e4edb9db43098820e102b50ee194d5efe","datavalue":{"value":"1466.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658808$86AB51CC-C2CE-4D1E-B814-4C7819E82C77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cd6dd19553b7c4b9bd86bccee10dc5ef49aaf68","datavalue":{"value":{"entity-type":"item","numeric-id":336561,"id":"Q336561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658808$A14ACB91-85AC-445D-A052-DCAD80EFB9E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658808$F3ACC82B-C87B-4C9F-8F42-4DF22A51F973","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67c9404d090e3f39b15056021f7185acae338964","datavalue":{"value":{"time":"+2021-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2658808$5B22EE43-48F5-4FC1-A3D8-23C5F9257962","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"78ac20f257979d172424a66b528291b0c12bc081","datavalue":{"value":"The impressive Mizar system is intended to support computer-aided proofs of mathematical results. Starting in the early 1970s, after evolving through several generations of development, especially since 1989, a knowledge base, Mizar Mathematical Library, has now been created that contains a collection of formalized knowledge of mathematics, \\textit{Verifier}, a verification system, and other supporting components. New works, \\textit{Mizar articles}, are prepared, expressed in the Mizar language, verified, submitted, reviewed, accepted, extracted, and finally, incorporated into this knowledge base, which currently includes more than 9,400 definitions, and more than 49,000 theorems.  Readers are referred to [\\textit{G. Bancerek} et al., J. Autom. Reasoning 61, No. 1--4, 9--32 (2018; Zbl 1433.68530)] for a full discussion of the background, development, current status, and future goals, of this exciting system, as well as to its official site \\url{mizar.org} for many more details, including the affiliated journal, Formaliz. Math., where this article appears.  This article suggests to add a collection of one hundred ``preliminaries'', or basic facts, mostly related to graph theory, when an edge is added to a graph to result in another graph. For example, Proposition 21 states that ``Let us consider a graph \\(G\\), a vertex \\(v\\) of \\(G\\), and objects \\(e\\), \\(w\\). If \\(v\\) is isolated, then \\(e\\) does not join \\(v\\) and \\(w\\) in \\(G\\).'' As another example, after stating that ``Let us consider a graph \\(G\\), a set \\(V\\), a supergraph \\(H\\) of \\(G\\) extended by the vertices from \\(V\\), and a subset \\(E\\) of the edges of \\(G\\)'', Proposition 75 states that ``\\(E\\) is a representative selection of the parallel edges of \\(G\\) if and only if \\(E\\) is a representative selection of the parallel edges of \\(H\\).''  It also contains twenty preliminaries not directly related to graphs at the beginning, where Proposition~1 states that: Let \\(X\\), \\(Y\\) and \\(Z\\) be sets, ``If \\(Z \\subseteq X\\), then \\(X \\cup Y \\setminus Z=X \\cup Y\\).''  This phrase of ``\\(X \\cup Y \\setminus Z\\)'' is clearly ambiguous. When \\(X=\\{1, 2\\}\\), \\(Y=\\{2\\}\\), and \\(Z=\\{1\\}\\), \\((X \\cup Y) \\setminus Z \\not =X \\cup Y\\). On the other hand, \\(X \\cup (Y \\setminus Z)=X \\cup Y\\).  I would rewrite ``\\(X \\cup Y \\setminus Z\\)'' as ``\\(X \\cup (Y \\setminus Z)\\)'' in Proposition 1.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658808$6CF2BD22-1197-4700-BAE8-AA1DC837AAE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658808$485F9DB1-8E20-440E-8347-209D42C48969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1a97a7188d4143e338e99eba7d65493911702cf","datavalue":{"value":"05Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658808$E44A22FA-7CF7-4BDC-BE55-CF731288F5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"245985807b016d115d4f4ba6c61b278b3497fcff","datavalue":{"value":"05C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658808$145E28B3-2807-4313-AD6F-6A9B0EC12C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c276f6bcfe480cdd0a7a976933d6fd851c1b746","datavalue":{"value":"68V30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658808$BDFA1466-BF03-4895-9AC7-B2D59C090AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fee8f2ca1323cad9e9232d7279e663a6ec082a12","datavalue":{"value":"68V35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658808$6A12BCEE-0486-4E57-9D12-D892D08C81A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53506dbc91d1fc9c2623bd68d06cbbabfdd19db1","datavalue":{"value":"7327214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658808$056F35DD-BC18-4465-9832-486385287519","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7d9d3b80231ce48ca9c72072004ce390a9a9044","datavalue":{"value":"vertex degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658808$514D2DDC-2BE8-4E97-8763-33853B6E6A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571c0e1fb7a78a4a545c4f12cd6536c1efe33bd7","datavalue":{"value":"Mizar","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658808$CE095FC0-4FF8-4976-9577-14FAE0B60586","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7abfc75f139cda8f4c0237cc0cc535fa3298616e","datavalue":{"value":{"entity-type":"item","numeric-id":300260,"id":"Q300260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658808$14863FBC-05A3-4B73-AD7C-369219CAB405","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658808$8D638987-66E9-4258-82ED-12618C0A1D39","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":"Q2658808$73CBD49C-9597-459F-9905-00D867390B0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd8c4d81bfcca12f1048113c4349ca556e0fca5a","datavalue":{"value":"https://doi.org/10.2478/forma-2020-0003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2658808$05A462F2-50FB-45E3-AD14-D654BFDB947D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"486325a8038fdd66b314fac8fb253ac5f512a2ef","datavalue":{"value":"W3032996450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658808$4313128E-B961-4E05-9096-D356502581BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5552c73af9ffa4d08773105bfa675feb6642eb2e","datavalue":{"value":{"entity-type":"item","numeric-id":3453119,"id":"Q3453119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658808$60261849-A372-446C-81DF-E1E998DC2765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbe3f6a88e51e1203c3c8190dcfbdac3cc8dde","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658808$99142BDF-82F7-4FA1-8722-8169DFC5DC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559dbe579a3334aacf82df2fdcef598c181017c4","datavalue":{"value":{"entity-type":"item","numeric-id":5422499,"id":"Q5422499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658808$10660DD0-308D-4217-B469-F06586D3A04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a633e84f28e974524d6f21199618016457237af","datavalue":{"value":{"entity-type":"item","numeric-id":4828516,"id":"Q4828516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658808$95AF1C25-3F6B-417C-B347-DB3A00D39A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e7daa5523fb338ebb131507a340268a5603d3d5","datavalue":{"value":{"entity-type":"item","numeric-id":5894285,"id":"Q5894285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658808$D9CCCC49-6ED5-41CA-B8A2-21A72361516D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01ca94b403cdfa8d94a14b82511a6b071d593b6","datavalue":{"value":{"entity-type":"item","numeric-id":2305341,"id":"Q2305341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658808$AC993E17-1E72-477E-9709-84D01B4825B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba757662b7937e48a972d510fa15d509f30078a","datavalue":{"value":{"entity-type":"item","numeric-id":2658809,"id":"Q2658809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658808$4ABF0B7C-BFCE-4627-9F47-872769423249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f97f2458673dfe8598aa18e5bbf25d1b000c1d4","datavalue":{"value":{"entity-type":"item","numeric-id":5661516,"id":"Q5661516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658808$C29110C1-4977-4F1F-B812-06D00C8E7A64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38e0b51603e192a56ec459873e5013c3e4ec468b","datavalue":{"value":"10.2478/FORMA-2020-0003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658808$C8D98F90-34BC-4432-98BD-6B7DAC7DB14A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8973e3553aac7b27ce77b21d7f5eeb3a81eed05c","datavalue":{"value":{"entity-type":"item","numeric-id":2664717,"id":"Q2664717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7093af297b501e3e2a4b269fbca66b43808e5416","datavalue":{"value":{"amount":"+0.9933798909187316","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":"Q2658808$A165DF1F-6259-41CE-A756-690CA2249672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a35b56d23fb4d17521a48673c6e1ca2116842ea","datavalue":{"value":{"entity-type":"item","numeric-id":2018659,"id":"Q2018659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd9f72ad73fbbf3072f64ff258faeaeafe49ccdc","datavalue":{"value":{"amount":"+0.714331865310669","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":"Q2658808$CEC041A3-D20A-4EAD-A809-954BFA69966E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f284674d070d8f9f4539f0435a5dd9405b4c87","datavalue":{"value":{"entity-type":"item","numeric-id":2658809,"id":"Q2658809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f79f73327fe5df2d65c8bc3c20add7dfcbde81","datavalue":{"value":{"amount":"+0.7132067084312439","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":"Q2658808$2F797100-5193-4424-9AFD-8FADA11404A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9179e0e316ac33e804b429f057483f13fba1651b","datavalue":{"value":{"entity-type":"item","numeric-id":2305340,"id":"Q2305340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5886e82f64827b7004a8f0f22f2456fefc4d92df","datavalue":{"value":{"amount":"+0.7092375159263611","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":"Q2658808$20C5C336-C964-4BA2-A051-2936900DF251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecb12eff4117a71f7b4879a6a9bf9deeb2bd69c","datavalue":{"value":{"entity-type":"item","numeric-id":2305341,"id":"Q2305341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01aff9a1aeedaa9de13cfe08d00aaeb62d9e722e","datavalue":{"value":{"amount":"+0.7023492455482483","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":"Q2658808$B6F15E35-A6AE-4A40-BEA2-9B0B9DC03736","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"e68c451775d8e2699e023b1b9b74a9d21a410b77","datavalue":{"value":{"entity-type":"item","numeric-id":57038,"id":"Q57038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658808$5043A152-8CC0-4C5F-8EE4-F1059F2560ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2658808","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2658808"}}}}}