Revision as of 16:26, 27 February 2023 edit Sammi Brie (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, File movers, New page reviewers, Pending changes reviewers, Rollbackers, Template editors, Temporary account IP viewers 159,372 edits Adding short description: "Type of function in mathematical logic" Tag: Shortdesc helper ← Previous edit		Revision as of 15:03, 8 July 2024 edit undo Tokisaki Kurumi (talk \| contribs) Extended confirmed users 8,392 edits →Example Next edit →
Line 5: ==Example== As an example of uninterpreted functions for [[SMT-LIB]], if this input is given to an [[Satisfiability modulo theories\|SMT solver]]: <syntaxhighlight lang="text" line="1"> (declare-fun f (Int) Int)

Uninterpreted function: Difference between revisions