Revision as of 20:01, 7 December 2021 edit Jochen Burghardt (talk \| contribs) Extended confirmed users 24,306 edits Partly undid revision 1059138540 by 27.85.207.129 (talk): imo, this is more clear ← Previous edit		Revision as of 21:32, 29 December 2021 edit undo Mgkrupa (talk \| contribs) Extended confirmed users 27,627 edits Added {{Mathematical logic}} Next edit →
Line 34: ==References== ~~{{Reflist}}~~ [[Category:Specification languages]]▼ {{reflist}} {{Mathematical logic}} {{Formalmethods-stub}} ▲[[Category:Specification languages]]

Uninterpreted function: Difference between revisions