Set Graphs. V. On representing graphs as membership digraphs (Q5262489)
From MaRDI portal
scientific article; zbMATH DE number 6458865
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Set Graphs. V. On representing graphs as membership digraphs |
scientific article; zbMATH DE number 6458865 |
Statements
Set Graphs. V. On representing graphs as membership digraphs (English)
0 references
15 July 2015
0 references
theory-based automated reasoning
0 references
proof checking
0 references
referee a.k.a. Ætnanova
0 references
graphs
0 references
digraphs
0 references
Mostowski's decoration
0 references
