No label defined (Q3789109)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4053071
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 4053071 |
Statements
1988
0 references
Horn clause based language
0 references
recursive predicates
0 references
model semantics
0 references
termination
0 references
rule rewriting transformations
0 references
efficient implementation
0 references
0.8329944014549255
0 references
0.7967442870140076
0 references
0.7760924696922302
0 references
0.7731974720954895
0 references
