아톰,atom

Difference between r1.10 and the current

@@ -4,6 +4,11 @@
Boolean_atom =,Boolean_atom .
WtEn:Boolean_atom = https://en.wiktionary.org/wiki/Boolean_atom

urelement 를 '''atom''' 혹은 individual이라 하기도 한다.
WpEn:Urelement
WtEn:urelement
MathWorld:Urelement
// [[순서론,order_theory]]
[[WpEn:Atom_(order_theory)]] = https://en.wikipedia.org/wiki/Atom_(order_theory)



// logic
atomic_formula =,atomic_formula -> 원자식,atom (atomic_formula)
atomic_sentence =,atomic_sentence -> curr see 원자식,atom 맨 아래
Boolean_atom =,Boolean_atom .
urelement 를 atom 혹은 individual이라 하기도 한다.
// 순서론,order_theory
WpEn:Atom_(order_theory) = https://en.wikipedia.org/wiki/Atom_(order_theory)

// chemistry / physics
원자,atom
atomic_mass =,atomic_mass . atomic_mass { WtEn:atomic_mass }
atomic_mass_unit (amu) =,atomic_mass_unit =,amu -> 원자질량단위,atomic_mass_unit(amu)


// Prolog
프롤로그,Prolog .... 프롤로그,prologue (opp 에필로그,epilogue) 가 있는데 alt. pagename?
{

Cmp: Datalog =,Datalog =,Datalog . Datalog
{
https://en.wikipedia.org/wiki/Datalog
...
Ndict:Datalog
Ggl:Datalog
}

Up: logic_programming_language =,logic_programming_language =,logic_programming_language . logic_programming_language
{
Up: logic_programming - curr at 로직,logic?action=highlight&value=logic_programming#s-2.4 at 2023-11-17
}