| tech,8-3-T78-1031,ak | rules </term> may be written using a <term> | binary relational calculus notation | </term> . <term> Node-based inference </term> | #13038 Path-based inference rules may be written using a binary relational calculus notation . |
|
|
|
|
| tech,8-3-T78-1031,ak | rules </term> may be written using a <term> | binary relational calculus notation | </term> . <term> Node-based inference </term> | #13038 Path-based inference rules may be written using a binary relational calculus notation . |
