百科释义
局部实现(locally realize)公式集的一种相对协调性.设1,是丫中的理论，}=}}.zl,xz，二’,x‑)是犷中的公式集谬一抓x} }x.z}... }xn)是丫中的一个公式.如果{列与T协调，并且对每一a (.z‑ xz,...,xn)E}'(二:，二:, ",x‑)，都有T }+/.z‑x2,...}x‑)}抓x}}xZ}...}xn}->Q(,x1}x.Z,...,,z‑)).则称T局部实现乏.就是说，在T的一个模型ou中，每个满足笋的n元组Q}}az...,cz‑EA都实现艺.如果T不局部实现万，则称T局部省略艺.也就说，对于每个与T协调的公式抓xi,.zZ,......
汉语词典收录了近50万个词语，包含词语的解释、例句和翻译，词库仍在不断更新中。
词典数据主要来源于新华字典，以及通过机器学习从海量的互联网内容中挖掘出尚未被新华字典收录的流行词语，用于补充词库，方便大家查询。
