(Q86358823)

English

SMT-LIB

input language for SMT solvers

In more languages

Statements

declarative programming language

0 references

programming language specification

0 references

programming paradigm

declarative programming

0 references

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q86358823&oldid=1790048012"