Home›Browse›predicate transformer semantics🌐EnglishEnglishDeutschEspañolNederlandsРусский한국어中文日本語EntityQ291929· pop 8· linked from 57 articlespredicate transformer semanticsSign in to savereformulation of Floyd-Hoare logicAvailable in 8 languagesEspañolDeutsch日本語РусскийBulgarianCatalanNederlandsvia Wikidata sitelinks · CC0