关于实变函数论中某个引理证明的一个注记

机译：基于完全残差格值逻辑的自动机理论中的抽奖引理：一个注记

机译：关于巴特尔的法卡斯引理的代数证明的注记

机译：两个巴恩斯引理和另一个引理的新证明

机译：格有限自动机中的抽引引理：一个注记

机译：后代数系统和后代数：一个明显的事实的证明=后代数系统和后代数：一个明显的事实的证明

机译：关于光滑度量度量空间上的几乎Schur引理的一个注记

机译：两个巴恩斯引理和另一个引理的新证明

机译：关于Billingsley引理应用的一个注记。

机译：在关联，关系和面向对象的数据库中存储术语数据的方法，涉及分别提供引理关键字，定义关键字和变体关键字作为引理，定义和品种元组，分别参考定义

机译：和弦注记创建设备，和弦注记创建方法以及和弦注记创建程序

机译：使用多个身份证明文件和身份证明文件阅读器中的任何一个进行客户确认的方法和系统