Archivo: Herbrand-model-hasse
Tamaño de esta previsualización: 644 × 600 píxeles. Otras resoluciones: 258 × 240 píxeles | 797 × 742 píxeles.
Archivo original (797 × 742 píxeles; tamaño de archivo: 12 KB; tipo MIME: image/png)
Descripción: Hasse diagram of the Herbrand interpretations of the Datalog program: e(x, y). e(y, z). p(A, B) :- e(A, B). p(A, C) :- p(A, B), e(B, C). Generated by: % https://tex.stackexchange.com/questions/299005/automatic-page-size-to-fit-arbitrary-content % latex hasse.tex % dvi2ps hasse.dvi % inkscape hasse.ps \documentclass{article} \usepackage{tikz-cd} \newcommand{\eyx}{\mathtt{e(y, x)
Título: Herbrand-model-hasse
Créditos: Trabajo propio
Términos de Uso: Creative Commons Attribution-Share Alike 4.0
Licencia: CC BY-SA 4.0
Enlace de Licencia: https://creativecommons.org/licenses/by-sa/4.0
¿Se exige la atribución?: Sí
Usos del archivo
La siguiente página enlaza a este archivo:
Todo el contenido de los artículos de la Enciclopedia Kiddle (incluidas las imágenes) se puede utilizar libremente para fines personales y educativos bajo la licencia Atribución-CompartirIgual a menos que se indique lo contrario.
