Metadata
Author: QED
Data
English[en]
You take two sentences of first order logic and if they have this pattern
Spanish[es]
Se toma dos frases de la lógica de primer orden y si tienen este patrón
Italian[it]
Si prende due frasi della logica del primo ordine e se hanno questo modello
Romanian[ro]
Iei două propoziții de logica de ordinul întâi și dacă au acest model