Theterm San Francisco Renaissance is used as a global designation for arange of poetic activity centered around that city and which brought itto prominence as a hub of the American poetic avant-garde.任期旧金山文艺复兴作为一个全球指定了一系列的诗歌活动围绕这个城市，并把它作为一个突出枢纽的美国诗歌前卫。 However,others (eg, Ralph J. Gleason, Alan Watts) felt this renaissance was abroa

Unified Modeling Language (UML) is a standardized general-purpose modeling language in the field of software engineering.统一建模语言（ UML &#6528

TheOpenDocument format (ODF) is a file format for electronic officedocuments such as spreadsheets, charts, presentations and wordprocessing documents. OpenDocument格式（ ODF格式）是一种电子文件格式的Office文件，如电子表格，图表，演示和文字处理文档。 Whilethe specifications were originally developed by Sun, the standard wasdeveloped by

- Unfortunately this is another unfinished Frontier Visionary Interview. -遗憾的是这又是一个未完成的前沿梦幻面试。 We contacted Werner Vogels, CTO of Amazon, a few times and got no answers after his confirmingwith us on being willingness to participate, but failed to continue theinterview.

Automatedtheorem proving (ATP) or automated deduction, currently the mostwell-developed subfield of automated reasoning (AR), is the proving ofmathematical theorems by a computer program.自动定理证明（ ATP ）或自动扣除，目前最发达的子字段的自动推理（机铁） ，是证明数学定理由计算机程序。
Decidability of the problem判定的问题