Searched refs:ReasoningPhrase (Results 1 – 9 of 9) sorted by relevance
| /plugin/mizarverifiabledocs/src/ |
| H A D | mizar.grammar | 28 ReasoningPhrase |
141 ReasoningPhrase { ("by" | "from") ![^\n;]* }
152 ReasoningPhrase,
|
| H A D | mizar-parser.terms.js | 8 ReasoningPhrase = 6, constant
|
| H A D | highlight.js | 9 ReasoningPhrase: t.meta, // メタ情報（推論句） property
|
| /plugin/mizarveifiabledocs/dist/ |
| D | script.js | 1 …ction(rW.keyword),KeywordOther:rW.keyword,EntityNameType:rW.typeName,ReasoningPhrase:rW.meta,Comme… property
|
| D | script.js.map | 1 …ReasoningPhrase: (0, $f0075d67137b7b29$export$8b7a896ae75accbf).meta,\n Comment: (0, $f0075d671…
|
| /plugin/mizarproofchecker/dist/ |
| D | script.js | 1 …ction(rW.keyword),KeywordOther:rW.keyword,EntityNameType:rW.typeName,ReasoningPhrase:rW.meta,Comme… property
|
| D | script.js.map | 1 …ReasoningPhrase: (0, $f0075d67137b7b29$export$8b7a896ae75accbf).meta,\n Comment: (0, $f0075d671…
|
| /plugin/mizarverifiabledocs/dist/ |
| H A D | script.js | 1 …ction(rW.keyword),KeywordOther:rW.keyword,EntityNameType:rW.typeName,ReasoningPhrase:rW.meta,Comme… property
|
| H A D | script.js.map | 1 …ReasoningPhrase: (0, $f0075d67137b7b29$export$8b7a896ae75accbf).meta,\n Comment: (0, $f0075d671…
|