predicative programming (Q7239635)

From Wikidata

Jump to navigation Jump to search

method of computer program specification

Language	Label	Description	Also known as
English	predicative programming	method of computer program specification

Statements

defining formula

(P\sqsubseteq Q)\equiv (\forall b\cdot Q\Rightarrow P)

1 reference

imported from Wikimedia project

English Wikipedia

maintained by WikiProject

WikiProject Mathematics

0 references

Identifiers

0 references

Sitelinks

Wikipedia(1 entry)

enwiki Predicative programming

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q7239635&oldid=2137034157"