분리,separation

Difference between r1.5 and the current

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



작성중, 임시.

(비슷한느낌의단어들....관계는없을수도있을수도)
나눔, 나누기 - 나눗셈,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
분리공리,separation_axiom { axiom of separation Up: 분리,separation 공리,axiom }
분리벡터,separation_vector - curr at 벡터,vector
separation_logic (CS)
{
separation logic
분리논리?