Revision as of 22:57, 27 November 2023 edit OAbot (talk \| contribs) Bots 643,717 edits m Open access bot: doi updated in citation with #oabot. ← Previous edit		Revision as of 07:01, 26 March 2024 edit undo Jawa2006 (talk \| contribs) 26 edits →Terminating Tag: 2017 wikitext editor Next edit →
Line 237: === Terminating === A predicate transformer ''S'' is '''terminating''' ~~iff~~if: :<math>S(\texttt{T})\ \Leftrightarrow\ \texttt{T}</math>

Predicate transformer semantics: Difference between revisions