Besonderhede van voorbeeld: 9215056325070154335

Czech

Některé jazyky stavějící na predikátové logice prvního řádu, např. SMT-LIB 2.0, toto dovolují.

English

Some languages built on first-order logic, such as SMT-LIB 2.0, add this.