Unification of Graphs and Relations in Mizar
Publié en ligne: 09 janv. 2021
Pages: 173 - 186
Accepté: 31 mai 2020
© 2020 Sebastian Koch, published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.