Set graphs. V. on representing graphs as membership digraphs (Q5262489)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6458865
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8579944968223572
0 references
0.7979472279548645
0 references
0.7769659757614136
0 references
0.7494988441467285
0 references
0.7047283053398132
0 references
