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
// [[순서론,order_theory]]
[[WpEn:Atom_(order_theory)]] = https://en.wikipedia.org/wiki/Atom_(order_theory)
WtEn:Boolean_atom = https://en.wiktionary.org/wiki/Boolean_atom
urelement 를 '''atom''' 혹은 individual이라 하기도 한다.
WpEn:Urelement
WtEn:urelement
MathWorld:Urelement
[[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
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
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
// 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 {
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
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
...
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
}
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
}
![WpKo: WpKo:](/wiki/imgs/interwiki/wpko-16.png)
...
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Bing: Bing:](/wiki/imgs/interwiki/bing-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
}
의 atom:
// atom말고 Atom - syndication_format =,syndication_format =,syndication_format . syndication_format {
![NdEn: NdEn:](/wiki/imgs/interwiki/nden-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
RFC-4287
http://www.ietf.org/rfc/rfc4287.txt
The Atom Syndication Format
Rel. 원자성,atomicity