. . . . . . . . . . . . . . . . . . . . . "Anal\u00EDtica"@es . . . . . . . . . . . . . . . . . . . . . . . . "625849"^^ . . . . . . . . . . . . . "5007"^^ . . . . . . . . . . . "1123632449"^^ . . . . . . "Analytic"@en . . . . . . "\u89E3\u6790\u7684"@ja . . . . . . . . . . . . . "\u6570\u5B66\u306B\u304A\u3044\u3066\u89E3\u6790\u7684 (analytic) \u3068\u3044\u3046\u5358\u8A9E\u306F\u591A\u7FA9\u3067\u3042\u308A\u3001\u4F8B\u3048\u3070\u4EE5\u4E0B\u3067\u7528\u3044\u3089\u308C\u308B\uFF1A \n* \u89E3\u6790\u5B66\u306B\u95A2\u3059\u308B\u3001\u306E\u610F\u3067\u3042\u308B\u3082\u306E\uFF1A \n* \u89E3\u6790\u7684\u6570\u8AD6: \u89E3\u6790\u5B66\u306E\u624B\u6CD5\u3092\u7528\u3044\u308B\u6570\u8AD6\u306E\u4E00\u5206\u79D1 \n* : \u89E3\u6790\u7684\u6570\u8AD6\u306E\u65B9\u6CD5\u8AD6\u3092\u4ED6\u5206\u91CE\u3078\u5FDC\u7528\u3057\u305F\u3082\u306E \n* : \u6BCD\u51FD\u6570\u3092\u7528\u3044\u3066\u7D44\u5408\u305B\u8AD6\u7684\u30AF\u30E9\u30B9\u3092\u8A18\u8FF0\u3059\u308B\u7D44\u5408\u305B\u8AD6\u306E\u4E00\u5206\u79D1 \n* \u89E3\u6790\u95A2\u6570\u306B\u95A2\u3059\u308B\u3001\u306E\u610F\u3067\u3042\u308B\u3082\u306E\uFF1A \n* \u89E3\u6790\u51FD\u6570: \u51FD\u6570\u304C\u89E3\u6790\u7684\u3067\u3042\u308B\u3068\u306F\u3001\u305D\u308C\u304C\u5C40\u6240\u7684\u306B\u53CE\u6582\u51AA\u7D1A\u6570\u3068\u3057\u3066\u4E0E\u3048\u3089\u308C\u308B\u3053\u3068\u3092\u8A00\u3046\u3002 \n* \u89E3\u6790\u7684\u5EF6\u9577: \u5C40\u6240\u7684\u306B\u4E0E\u3048\u3089\u308C\u305F\u89E3\u6790\u51FD\u6570\u3092\u3001\u305D\u306E\u89E3\u6790\u6027\u3092\u4FDD\u3063\u305F\u307E\u307E\u3067\u3088\u308A\u5927\u57DF\u7684\u306B\uFF08\u5B9A\u7FA9\u57DF\u3092\uFF09\u5EF6\u9577\u3059\u308B\u65B9\u6CD5\u3002\u89E3\u6790\u63A5\u7D9A\u3068\u3082\u3002 \n* : \u3042\u308B\u7A2E\u306E\u6709\u754C\u306A\u89E3\u6790\u51FD\u6570\u304C\u3069\u308C\u307B\u3069\u5927\u304D\u304F\u306A\u308B\u304B\u3092\u8A18\u8FF0\u3059\u308B\u6570 \n* : \u9077\u79FB\u5199\u50CF\u304C\u89E3\u6790\u7684\u3067\u3042\u308B\u3088\u3046\u306A\u591A\u69D8\u4F53\u3002 \n* : \u89E3\u6790\u51FD\u6570\u306E\u5171\u901A\u96F6\u70B9\u96C6\u5408\uFF08\u591A\u9805\u5F0F\u51FD\u6570\u306E\u5834\u5408\u304C\u4EE3\u6570\u591A\u69D8\u4F53\uFF09\u3002\u89E3\u6790\u7684\u96C6\u5408\u3068\u3082\u3002\u305D\u306E\u8CBC\u308A\u3042\u308F\u305B\u3068\u3057\u3066\u304C\u5B9A\u7FA9\u3055\u308C\u308B\u3002 \n* : \u6570\u5F0F\u306E\u8868\u793A\u304C\u89E3\u6790\u7684\u307E\u305F\u306F\u9589\u3058\u305F\u5F62\u306E\u5F0F\u3067\u3042\u308B\u3068\u306F\u3001\u305D\u308C\u304C\u65E2\u77E5\u306E\u5358\u7D14\u306A\u64CD\u4F5C\uFF08\u6F14\u7B97\u3084\u51FD\u6570\u306A\u3069\uFF09\u306B\u3088\u3063\u3066\u76F4\u3061\u306B\u8A08\u7B97\u3067\u304D\u308B\u72B6\u614B\u3067\u3042\u308B\u3053\u3068\u3092\u3044\u3046\u3002 \n* \u96C6\u5408\u8AD6 \n* \n* \u89E3\u6790\u96C6\u5408 \n* \n* \u8A3C\u660E\u8AD6 \n* : in structural proof theory, a proof whose structure is simple in a special way \n* , a fundamental concept in automated theorem proving \n* \u6570\u5024\u8A08\u7B97 \n* : \u504F\u5FAE\u5206\u65B9\u7A0B\u5F0F\u306E\u6570\u5024\u89E3\u6CD5\u306E\u4E00\u7A2E \n* \u305D\u306E\u4ED6 \n* \u89E3\u6790\u5E7E\u4F55\u5B66: \u5EA7\u6A19\u306A\u3069\u306E\u9053\u5177\u3092\u7528\u3044\u306617\u4E16\u7D00\u306B\u4EE3\u6570\u5316\u3055\u308C\u305F\u5E7E\u4F55\u5B66\u306E\u4E00\u5206\u91CE \n* \u89E3\u6790\u89E3: \u554F\u984C\u304C\u300C\u89E3\u6790\u7684\u306B\u89E3\u3051\u308B\u300D\u3068\u306F\u305D\u306E\u89E3\u304C\u65E2\u77E5\u306E\u51FD\u6570\u3084\u5B9A\u6570\u306A\u3069\u3092\u7528\u3044\u3066\u306B\u8868\u305B\u308B\u3053\u3068\u3092\u8A00\u3046\u3002\u5BFE\u7FA9\u8A9E\u306F"@ja . . . . . "Analytique"@fr . . . . . . "\u6570\u5B66\u306B\u304A\u3044\u3066\u89E3\u6790\u7684 (analytic) \u3068\u3044\u3046\u5358\u8A9E\u306F\u591A\u7FA9\u3067\u3042\u308A\u3001\u4F8B\u3048\u3070\u4EE5\u4E0B\u3067\u7528\u3044\u3089\u308C\u308B\uFF1A \n* \u89E3\u6790\u5B66\u306B\u95A2\u3059\u308B\u3001\u306E\u610F\u3067\u3042\u308B\u3082\u306E\uFF1A \n* \u89E3\u6790\u7684\u6570\u8AD6: \u89E3\u6790\u5B66\u306E\u624B\u6CD5\u3092\u7528\u3044\u308B\u6570\u8AD6\u306E\u4E00\u5206\u79D1 \n* : \u89E3\u6790\u7684\u6570\u8AD6\u306E\u65B9\u6CD5\u8AD6\u3092\u4ED6\u5206\u91CE\u3078\u5FDC\u7528\u3057\u305F\u3082\u306E \n* : \u6BCD\u51FD\u6570\u3092\u7528\u3044\u3066\u7D44\u5408\u305B\u8AD6\u7684\u30AF\u30E9\u30B9\u3092\u8A18\u8FF0\u3059\u308B\u7D44\u5408\u305B\u8AD6\u306E\u4E00\u5206\u79D1 \n* \u89E3\u6790\u95A2\u6570\u306B\u95A2\u3059\u308B\u3001\u306E\u610F\u3067\u3042\u308B\u3082\u306E\uFF1A \n* \u89E3\u6790\u51FD\u6570: \u51FD\u6570\u304C\u89E3\u6790\u7684\u3067\u3042\u308B\u3068\u306F\u3001\u305D\u308C\u304C\u5C40\u6240\u7684\u306B\u53CE\u6582\u51AA\u7D1A\u6570\u3068\u3057\u3066\u4E0E\u3048\u3089\u308C\u308B\u3053\u3068\u3092\u8A00\u3046\u3002 \n* \u89E3\u6790\u7684\u5EF6\u9577: \u5C40\u6240\u7684\u306B\u4E0E\u3048\u3089\u308C\u305F\u89E3\u6790\u51FD\u6570\u3092\u3001\u305D\u306E\u89E3\u6790\u6027\u3092\u4FDD\u3063\u305F\u307E\u307E\u3067\u3088\u308A\u5927\u57DF\u7684\u306B\uFF08\u5B9A\u7FA9\u57DF\u3092\uFF09\u5EF6\u9577\u3059\u308B\u65B9\u6CD5\u3002\u89E3\u6790\u63A5\u7D9A\u3068\u3082\u3002 \n* : \u3042\u308B\u7A2E\u306E\u6709\u754C\u306A\u89E3\u6790\u51FD\u6570\u304C\u3069\u308C\u307B\u3069\u5927\u304D\u304F\u306A\u308B\u304B\u3092\u8A18\u8FF0\u3059\u308B\u6570 \n* : \u9077\u79FB\u5199\u50CF\u304C\u89E3\u6790\u7684\u3067\u3042\u308B\u3088\u3046\u306A\u591A\u69D8\u4F53\u3002 \n* : \u89E3\u6790\u51FD\u6570\u306E\u5171\u901A\u96F6\u70B9\u96C6\u5408\uFF08\u591A\u9805\u5F0F\u51FD\u6570\u306E\u5834\u5408\u304C\u4EE3\u6570\u591A\u69D8\u4F53\uFF09\u3002\u89E3\u6790\u7684\u96C6\u5408\u3068\u3082\u3002\u305D\u306E\u8CBC\u308A\u3042\u308F\u305B\u3068\u3057\u3066\u304C\u5B9A\u7FA9\u3055\u308C\u308B\u3002 \n* : \u6570\u5F0F\u306E\u8868\u793A\u304C\u89E3\u6790\u7684\u307E\u305F\u306F\u9589\u3058\u305F\u5F62\u306E\u5F0F\u3067\u3042\u308B\u3068\u306F\u3001\u305D\u308C\u304C\u65E2\u77E5\u306E\u5358\u7D14\u306A\u64CD\u4F5C\uFF08\u6F14\u7B97\u3084\u51FD\u6570\u306A\u3069\uFF09\u306B\u3088\u3063\u3066\u76F4\u3061\u306B\u8A08\u7B97\u3067\u304D\u308B\u72B6\u614B\u3067\u3042\u308B\u3053\u3068\u3092\u3044\u3046\u3002 \n* \u96C6\u5408\u8AD6 \n* \n* \u89E3\u6790\u96C6\u5408 \n* \n* \u8A3C\u660E\u8AD6 \n* : in structural proof theory, a proof whose structure is simple in a special way \n* , a fundamental concept in automated theorem proving \n* \u6570\u5024\u8A08\u7B97 \n* : \u504F\u5FAE\u5206\u65B9\u7A0B\u5F0F\u306E\u6570\u5024\u89E3\u6CD5\u306E\u4E00\u7A2E \n* \u305D\u306E\u4ED6 \n* \u89E3\u6790\u5E7E\u4F55\u5B66: \u5EA7\u6A19\u306A\u3069\u306E\u9053\u5177\u3092\u7528\u3044\u306617\u4E16\u7D00\u306B\u4EE3\u6570\u5316\u3055\u308C\u305F\u5E7E\u4F55\u5B66\u306E\u4E00\u5206\u91CE \n* \u89E3\u6790\u89E3: \u554F\u984C\u304C\u300C\u89E3\u6790\u7684\u306B\u89E3\u3051\u308B\u300D\u3068\u306F\u305D\u306E\u89E3\u304C\u65E2\u77E5\u306E\u51FD\u6570\u3084\u5B9A\u6570\u306A\u3069\u3092\u7528\u3044\u3066\u306B\u8868\u305B\u308B\u3053\u3068\u3092\u8A00\u3046\u3002\u5BFE\u7FA9\u8A9E\u306F"@ja . . . "Analytisch"@de . .