(Q7239630)

English

predicate abstraction

in logic, the result of creating a predicate from a formula

In more languages

default for all languages

No label defined

No description defined

Statements

Identifiers

0 references

Microsoft Academic ID

0 references

1 reference

26 January 2022

https://docs.openalex.org/download-snapshot/snapshot-data-format

Sitelinks

Wikipedia(1 entry)

enwiki Predicate abstraction

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=Q7239630&oldid=2248641016"