Historial de revisiones de «A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution»
Selección de diferencias: marca las casillas correspondientes a las versiones a comparar y pulsa Intro o el botón de abajo.
Leyenda: (act) = diferencias con la versión actual,
(ant) = diferencias con la versión anterior, m = edición menor.