Besonderhede van voorbeeld: -6154218190464683335

Metadata

Author: WikiMatrix

Data

French^[fr]

La complétude sémantique est la réciproque de la correction des systèmes formels.

Portuguese^[pt]

Completude semântica é a recíproca da corretude para sistemas formais.

History

Your action: