In the previous article [5] supergraphs and several specializations to formalize the process
of drawing graphs were introduced. In this paper another such operation is formalized in …

… Most of what I will talk about is due to a wonderful collaboration … to the parents of supergraphs
this somewhat grownup … A SUPERGRAVITY CALCULATION I will describe part of a one-…

… In this paper supergraphs are defined as an inverse mode to subgraphs as given in [8].
The three graph construction operations are defined as modes extending … (62) Let us …

… some techniques that simplify supergraph calculations. These … 2 we give the Feynman
supergraph rules for chiral and vector … Appendix B contains some details about the vector-multiplet …

… We see that any result about the power graph is in principle one of a set of nine results
about related graphs. … In this section we give some similar results for supergraphs. …

… We note that, if we had not made the convention about the equivalence classes inducing
complete subgraphs, we would take the induced subgraphs on the parts of the partition. …

… Then G1 is supergraph of G2 extended by v.adj(e), v and e between them or supergraph
of G2 extended by v, v.adj(e) and e between them. The theorem is a consequence of (1). (39) …

We continue the development of the formalization of graphs in [12], as described in [13](compare
Isabelle graph library [14] or similar efforts in PVS [3]). For our recent encodings, …

… supergraph before the analysis. The second extension provides the procedure-return flow
function with additional information about … sizes of the reachable part of the supergraph that is …

… supergraphs of a given graph as subgraph enumeration. In this thesis, we will consider about
subgraph/supergraph … The concept that two successive objects differ in small part has been …