Difference between r1.7 and the current
@@ -4,9 +4,17 @@
Boolean_atom =,Boolean_atom .
WtEn:Boolean_atom = https://en.wiktionary.org/wiki/Boolean_atom
// chemistry / physics
[[원자,atom]]
// Lisp
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)
[[원자,atom]]
atomic_mass =,atomic_mass . atomic_mass { }
atomic_mass =,atomic_mass . atomic_mass { WtEn:atomic_mass }
atomic_mass_unit (amu) =,atomic_mass_unit =,amu -> [[원자질량단위,atomic_mass_unit(amu)]]// Lisp
@@ -17,7 +25,23 @@
// Prolog
[[프롤로그,Prolog]] .... [[프롤로그,prologue]] (opp [[에필로그,epilogue]]) 가 있는데 alt. pagename?
{
[[WpKo:프롤로그_(프로그래밍_언어)]] = https://ko.wikipedia.org/wiki/프롤로그_(프로그래밍_언어)
Bing:프롤로그
Ggl:프롤로그
[[프롤로그,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
}
...
Ndict:프롤로그Bing:프롤로그
Ggl:프롤로그
@@ -31,6 +55,8 @@
http://www.ietf.org/rfc/rfc4287.txt
The Atom Syndication Format
----
https://everything2.com/title/atom
The Atom Syndication Format
----
Rel. [[원자성,atomicity]]
----
https://everything2.com/title/atom
// 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
...
DatalogDatalog}
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
Rel. 원자성,atomicity