Knext

Query Results: Abstract.a (page 283)

6,201 results in the active KB.

(Constraint stores) can be abstract.
Logical form
Learned from
2 sentences.
Abstract interpretation can be constituted-of-or-filled-with (logic programs).
Logical form
Learned from
2 sentences.
Resolution can be for abstract interpretation.
Logical form
Learned from
2 sentences.
A substitution can be abstract.
Logical form
Learned from
2 sentences.
(Interpretation algorithms) can be abstract.
Logical form
Learned from
2 sentences.
Parents can be abstract.
Logical form
Learned from
2 sentences.
A conglomeration can be abstract.
Logical form
Learned from
2 sentences.
A doctrine of a reality of abstract objects may be knowned as a theory of ideas.
Logical form
Learned from
2 sentences.
Religion can be abstract.
Logical form
Learned from
2 sentences.
Competitions can be abstract.
Logical form
Learned from
2 sentences.
Persons may define an abstract model of inconsistency.
Logical form
Learned from
2 sentences.
An abstract model can be constituted-of-or-filled-with inconsistency.
Logical form
Learned from
2 sentences.
(Server names) can be abstract.
Logical form
Learned from
2 sentences.
Correctness may pertain-to an abstract model.
Logical form
Learned from
2 sentences.
A protector can be abstract.
Logical form
Learned from
2 sentences.

Search

Results returned on 2026-09-10.