Home›Browse›predicate transformer semantics🌐EnglishEnglishDeutschEspañolNederlandsРусский한국어中文日本語EntityQ291929· pop 8· linked from 57 articlespredicate transformer semanticsSign in to savereformulation of Floyd-Hoare logicWikidata factsSubclass ofsemanticsSources (3)wikidata.orgdocs.openalex.orgweb.archive.orgvia Wikidata · CC0Available in 8 languagesEspañolDeutsch日本語РусскийBulgarianCatalanNederlandsvia Wikidata sitelinks · CC0