Predicate abstraction

https://www.wikidata.org/wiki/Q7239630

Field Hierarchy

Parent
Computer science 62.9M papers	Mathematics 22.2M papers	Programming language 7.7M papers	Algorithm 4.7M papers
Theoretical computer science 626k papers	Model checking 21k papers	Abstraction (linguistics) 14 papers
Current
Predicate abstraction 603 papers
Child

Trends

Notes

History