Knext

Factoid Details

‘A (pattern part) of a (rewrite rule) may match a part of a formula.’

Learned by Reading

Source sentences are currently offline.

NB: Do not link to this page; the URL for this factoid will change when the knowledge base is updated.

Queried on 2026-10-06.