| Change log entry 92045 | |
|---|---|
| Processed by: | richwarm (2025-10-07 20:55:03 UTC) |
| Comment: |
<< review queue entry 84099 - submitted by 'richwarm' >> ## segment 2 / 2 << resubmitted review queue entry 83835 - submitted by 'encn' >> constructs |
| Diff: |
- 量化邏輯 量化逻辑 [liang4 hua4 luo2 ji5] /quantified logic/ # 量化邏輯 量化逻辑 [liang4 hua4 luo2 ji5] /quantified logic/ 量化邏輯 量化逻辑 [[liang4hua4 luo2ji5]] /quantificational logic (i.e. first-order logic)/ |