#noindex
작성중, 임시.

(비슷한느낌의단어들....관계는없을수도있을수도)
나눔, 나누기 - [[나눗셈,division]]에서도 쓰는
분할 - ex. [[분할정복,divide_and_conquer]]
쪼갬
[[절단,cut]]

----
Sub:
[[변수분리,variable_separation]] (변수분리법)
separability .... 분리가능성? 분리성? (2023-12 에 not in kms. later try KmsE:separability ) Ndict:separability Ggl:separability WtEn:separability
 [[linear_separability]] - w
[[분리공리,separation_axiom]] { '''axiom of separation''' Up: [[분리,separation]] [[공리,axiom]] }
[[분리벡터,separation_vector]] - curr at [[벡터,vector]]
[[separation_logic]] (CS)
{
'''separation logic'''
분리논리?

[[WpEn:Separation_logic]] = https://en.wikipedia.org/wiki/Separation_logic
 [[Hoare_logic]]의 [[확장,extension]]
via WpEn:Maplet
} // separation logic Naver:"separation logic" Ggl:"separation logic"
...