Todos los registros públicos

Vista combinada de todos los registros de Cuba-Wiki. Puedes filtrar la vista seleccionando un tipo de registro, el nombre del usuario o la página afectada. Se distinguen mayúsculas de minúsculas.

• 14:44 17 ene 2024 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 discusión creó la página Final 02/08/2023 (Paradigmas) (Página creada con «1) agarra la regla de occur check y la cambia para que en vez de fallar, no hace nada y elimina la ecuación a. Encontrar un problema de unificación donde dependiendo del orden de elección, falle o no falle b. Idem pero dependiendo del orden de sustituciones distintas c. Encontrar un conjunto de clausulas satisfactible desde el cual se pueda llegar a la clausula vacía con esta modificación del algoritmo de mgu 2) dar la lista de todos los predicados sobre naturale…»)