Uninterpreted function: Difference between revisions

Content deleted Content added
m Linked n-ary to the Wikipedia article that defines this term.
moved notes above refs
Line 29:
* [[Initial algebra]]
* [[Term algebra]]
 
==References==
{{Reflist}}
 
==Notes==
{{reflist|group=note}}
 
==References==
{{Reflist}}
 
[[Category:Specification languages]]