Boolean_interpretation
https://proofwiki.org/wiki/Definition:Boolean_Interpretation

...
"Boolean Interpretation"
Boolean Interpretation
Boolean Interpretation

or 추상적해석?
abstract interpretation
abstract_interpretation
추상해석,abstract_interpretation =추상해석,abstract_interpretation =,abstract_interpretation . abstract_interpretation ?

http://emal.iptime.org/noriwiki/index.php/Abstract_interpretation
http://emal.iptime.org/noriwiki/index.php/분류:Abstract_interpretation

https://foldoc.org/abstract interpretation

...
"abstract interpretation"
abstract interpretation abstract interpretation
abstract interpretation

https://en.wiktionary.org/wiki/abstract_interpretation x 2023-11-15

least_fixed_point =,least_fixed_point =,least_fixed_point . least_fixed_point |=,LFP LFP
widening =,widening =,widening . widening
http://emal.iptime.org/noriwiki/index.php/Widening

narrowing =,narrowing =,narrowing . narrowing
http://emal.iptime.org/noriwiki/index.php/Narrowing

기호,symbol 심벌,symbol의 해석에 대해서는 curr at 모형,model#modeltheory

rel model_theory curr at 모형,model#modeltheory
rel semiotics =,semiotics =,semiotics . semiotics { semiotics semiotics기호학 semiotics semiotics semiotics semiotics semiotics }

양자역학,quantum_mechanics

https://ko.wikipedia.org/wiki/드_브로이-봄_이론
https://en.wikipedia.org/wiki/De_Broglie–Bohm_theory

... Bohm interpretation Bohm

https://ko.wikipedia.org/wiki/코펜하겐_해석

해석은 수학에선 보통 analysis의 번역임.
해석학,analysis, 복소해석, 조화해석, 수치해석, 푸리에 해석, etc.

analysis
어낼러시스,analysis
해석학,analysis
해석,analysis

해석을 보면
{
관계해석relational_calculus ...저기선 calculus의 번역에 쓰임.
}

진술,statement
interpreter - 인터프리터,interpreter 해석기,interpreter

https://ncatlab.org/nlab/show/interpretation
https://mathworld.wolfram.com/Interpretation.html
Interpretation_(logic)
= https://en.wikipedia.org/wiki/Interpretation_(logic)
{
An interpretation is an assignment(대입보다는 할당?) of meaning(의미,meaning) to the symbols(기호,symbol) of a formal language(형식언어,formal_language).
많은 형식언어,formal_language는 defined in solely syntactic terms, 그래서 해석이 주어지기 전 까지 뜻을 가지지 않는다.
형식언어의 해석에 대한 일반적 학문(general study)을 formal_semantics =,formal_semantics =,formal_semantics . formal_semantics { formal_semantics formal_semantics Formal_semantics_(logic) } 이라 한다.
}