El siguiente fragmento de Wikipedia no está respaldado por una fuente confiable. ¿Puedes encontrar una?
Haz clic en ¡Lo tengo! para ir a la Wikipedia y corregir el fragmento, o Siguiente para ver otro. ¡Buena suerte!
En la página Inferencia:
"Se refiere a la estructura lógico-formal que permite obtener una expresión bien formada (EBF) desligada, libre, como teorema de un sistema formal previamente definido por la regla de separación estrictas de formación y transformación de fórmulas.[cita requerida]
Puedes personalizar Citation Hunt proveyendo una lista de artículos. Esto crea un enlace que puedes compartir con otros para que exploren Citation Hunt limitándose a los artículos que proporcionaste.
¿Cómo te gustaría crear un Citation Hunt personalizado?
Utiliza el cuadro de búsqueda a continuación para buscar y añadir artículos a tu Citation Hunt personalizado. Puedes eliminar un artículo haciendo clic en él en la vista previa a continuación.
Introduce los títulos de los artículos de Wikipedia que deseas importar, uno por línea, en el área siguiente:
PetScan es una herramienta para consultar Wikipedia y definir listas de artículos. PetScan asigna identificadores a las consultas de tal manera que los resultados puedan ser importados a otras herramientas.
Por favor crea tu consulta en PetScan y copia el identificador abajo:
Pagepile is a tool for defining lists of Wikipedia articles. Pagepile assigns IDs to lists so their results can be imported into other tools.
Please create your list in Pagepile and paste its ID below:
Por favor espera, tu Citation Hunt personalizada está siendo procesada. Esto puede tardar algunos minutos…
Puedes pulsar en Atrás o cerrar este cuadro de diálogo para cancelar.
Tu Citation Hunt personalizada ¡ha sido creada!
Puedes copiar y compartir el enlace superior para que otras personas lo usen ¡o consultarlo ahora!
Lo sentimos, tu Citation Hunt personalizada no pudo ser creada o ¡está vacía!
Inténtalo de nuevo con estos consejos en mente: