Difference between r1.7 and the current
@@ -32,3 +32,6 @@
Ndict:resolution KmsE:resolution
}
Foldoc:resolution = https://foldoc.org/resolution
resolution - chk kn - not in kornorms at 2023-11-09, 레졸루션 ??
{
CURR AT 추론규칙,inference_rule see 추론규칙%2Cinference_rule?action=highlight&value=resolution
{
CURR AT 추론규칙,inference_rule see 추론규칙%2Cinference_rule?action=highlight&value=resolution
Sub:
해상도,resolution
name_resolution - curr at 이름,name see 이름%2Cname?action=highlight&value=name_resolution
semantic_resolution_tree - curr at 트리,tree see 트리%2Ctree?action=highlight&value=semantic_resolution_tree
symbol_resolution - curr at 심벌,symbol see 심벌%2Csymbol?action=highlight&value=symbol_resolution
resolution_rule (logic) - 규칙,rule ///// =,resolution_rule =,resolution_rule . resolution_rule
... etc. resolution
해상도,resolution
name_resolution - curr at 이름,name see 이름%2Cname?action=highlight&value=name_resolution
semantic_resolution_tree - curr at 트리,tree see 트리%2Ctree?action=highlight&value=semantic_resolution_tree
symbol_resolution - curr at 심벌,symbol see 심벌%2Csymbol?action=highlight&value=symbol_resolution
resolution_rule (logic) - 규칙,rule ///// =,resolution_rule =,resolution_rule . resolution_rule
{
resolution rule
resolution_rule = https://en.wiktionary.org/wiki/resolution_rule x 2023-11-09
Rel: resolvent
Up: 규칙,rule
}
...resolution rule
resolution_rule = https://en.wiktionary.org/wiki/resolution_rule x 2023-11-09
Rel: resolvent
Up: 규칙,rule
}
... etc. resolution