// logic
atomic_formula =,atomic_formula -> 원자식,atom (atomic_formula)
atomic_sentence =,atomic_sentence -> curr see 원자식,atom 맨 아래
Boolean_atom =,Boolean_atom .
urelement 를 atom 혹은 individual이라 하기도 한다.
// 순서론,order_theory
Atom_(order_theory) = https://en.wikipedia.org/wiki/Atom_(order_theory)
atomic_formula =,atomic_formula -> 원자식,atom (atomic_formula)
atomic_sentence =,atomic_sentence -> curr see 원자식,atom 맨 아래
Boolean_atom =,Boolean_atom .
urelement 를 atom 혹은 individual이라 하기도 한다.
// 순서론,order_theory
Atom_(order_theory) = https://en.wikipedia.org/wiki/Atom_(order_theory)
// chemistry / physics
원자,atom
atomic_mass =,atomic_mass . atomic_mass { atomic_mass }
atomic_mass_unit (amu) =,atomic_mass_unit =,amu -> 원자질량단위,atomic_mass_unit(amu)
원자,atom
atomic_mass =,atomic_mass . atomic_mass { atomic_mass }
atomic_mass_unit (amu) =,atomic_mass_unit =,amu -> 원자질량단위,atomic_mass_unit(amu)
Cmp: Datalog =,Datalog =,Datalog . Datalog
{
https://en.wikipedia.org/wiki/Datalog
...
Datalog
Datalog
}
{
https://en.wikipedia.org/wiki/Datalog
...
Datalog
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
}
{
Up: logic_programming - curr at 로직,logic?action=highlight&value=logic_programming#s-2.4 at 2023-11-17
}
프롤로그_(프로그래밍_언어) = https://ko.wikipedia.org/wiki/프롤로그_(프로그래밍_언어)
...
프롤로그
프롤로그
프롤로그
}
의 atom:
// atom말고 Atom - syndication_format =,syndication_format =,syndication_format . syndication_format { syndication ... syndication_format syndication format syndication format }
RFC-4287
http://www.ietf.org/rfc/rfc4287.txt
The Atom Syndication Format
...
프롤로그
프롤로그
프롤로그
}
의 atom:
// atom말고 Atom - syndication_format =,syndication_format =,syndication_format . syndication_format { syndication ... syndication_format syndication format syndication format }
RFC-4287
http://www.ietf.org/rfc/rfc4287.txt
The Atom Syndication Format
Rel. 원자성,atomicity