| Subject | English | Russian |
| softw. | automated theorem prover | инструмент автоматического доказательства теорем (Alex_Odeychuk) |
| AI. | automated theorem prover | система автоматического доказательства теорем (Microsoft Alex_Odeychuk) |
| automat. | automatic meter prover | автоматическая установка для проверки счётчиков |
| softw. | automatic prover | автоматический доказатель теорем (adacore.com Alex_Odeychuk) |
| IT | automatic theorem prover | программа автоматического доказательства теорем |
| AI. | automatic theorem prover | автоматический доказатель теорем (Microsoft Alex_Odeychuk) |
| Makarov. | automatic theorem prover | программа для автоматизированного доказательства теорем |
| AI. | automatic theorem prover for satisfiability modulo theories | автоматический доказатель теорем о выполнимости формул в теориях (Alex_Odeychuk) |
| AI. | automatic theorem prover for satisfiability modulo theories problems | автоматический доказатель теорем для задач выполнимости формул в теориях (Alex_Odeychuk) |
| AI. | automatic theorem prover for SMT problems | автоматический доказатель теорем для задач выполнимости формул в теориях (SMT- сокр. от "satisfiability modulo theories" – "выполнимость формул в теориях" Alex_Odeychuk) |
| AI. | automatic theorem prover for SMT problems | автоматический доказатель теорем для задач выполнимости формул в теориях |
| O&G. tech. | ball prover | прувер шарикового типа (Евлалия) |
| O&G. tech. | ball prover | шарик прувера (Евлалия) |
| O&G. tech. | ball prover | шарик калибратора (Coriolis Metering System Евлалия) |
| O&G. tech. | ballistic prover | инструмент для калибровки жидкостных расходомеров |
| metrol. | bell prover | колокольный прувер (первичный эталон измерения расхода patorok) |
| O&G. tech. | bell prover | контрольное устройство для расходомера |
| O&G | bell prover gas flow facility | контрольное устройство для расходомера (MichaelBurov) |
| O&G | bell-jar prover | поверочная установка колокольного типа (carp) |
| O&G, sahk.r. | bi-directional meter prover loop | двухнаправленная петля прувера расходомера |
| O&G, sakh. | bi-directional meter prover loop | двухнаправленная замерная контрольная петля |
| gen. | bi-directional prover | двунаправленная трубопоршневая поверочная установка (Askar_amanbay) |
| gen. | brine prover | солемер |
| tech. | cloth prover | ткацкая лупа |
| product. | compact prover | калибровочный прибор (Yeldar Azanbayev) |
| O&G, sakh. | custody metering prover | прувер коммерческого учёта |
| gen. | displacement prover | анализатор вытеснительного типа (ABelonogov) |
| food.ind. | final prover | шкаф окончательной расстойки (Salero) |
| construct. | flow meter prover | прувер (Leonid Dzhepko) |
| progr. | formal prover | инструмент формальной верификации кода (Electronic Design Alex_Odeychuk) |
| O&G, sakh. | four way positive sealing prover valve | четырёхходовой контрольный гидрораспределитель с надёжным уплотнением |
| O&G, sakh. | four way positive sealing prover valve | четырёхходовой контрольный гидрораспределитель с положительным уплотнением |
| O&G | gas meter prover | контрольное устройство для расходомера (MichaelBurov) |
| energ.ind. | heat prover | тепловой анализатор дымовых газов в выбросах ТЭС |
| tech. | heat prover | тепловой анализатор (выхлопных и отходящих газов) |
| tech. | heat prover | тепловой анализатор выхлопных и отходящих газов |
| mil., arm.veh. | heat prover | анализатор отработавших газов |
| transp. | heat prover | тепловой анализатор выхлопных и отводящих газов |
| mil., arm.veh. | heat prover | анализатор выхлопных газов |
| mil., arm.veh. | heat prover | анализатор выпускных газов |
| energ.ind. | heat prover | тепловой анализатор выхлопа турбины |
| AI. | high-performance theorem prover | высокопроизводительный доказатель теорем (Microsoft Alex_Odeychuk) |
| AI. | interactive theorem prover | интерактивный доказатель теорем (Alex_Odeychuk) |
| food.ind. | intermediate prover | шкаф предварительной расстойки (Salero) |
| AI. | interpolating theorem prover | доказатель интерполяционных теорем (Microsoft Alex_Odeychuk) |
| gen. | master-meter prover | эталонный прувер (ABelonogov) |
| O&G | mechanical displacement meter prover | трубопоршневая поверочная установка (Vorbild) |
| oil | mechanical displacement prover | трубопоршневая поверочная установка (Yerkwantai) |
| oil | meter prover | поверочный расходомер |
| O&G, sakh. | meter prover | прувер узла учёта |
| O&G, sahk.r. | meter prover skid | установка узла учёта |
| O&G, casp. | meter prover skid | петля прувера расходомера (raf) |
| O&G, sakh. | meter prover skid | прувер узла учёта |
| progr. | optimizing theorem prover | доказатель оптимизационных теорем (Microsoft Alex_Odeychuk) |
| O&G. tech. | pipe piston prover | трубо-поршневая поверочная установка (ТПУ) |
| O&G. tech. | pipe piston prover | ТПУ (vbadalov) |
| nautic. | pipe prover | аппарат для испытания труб |
| tech. | pipe prover | прибор для гидравлического испытания труб |
| tech. | pipe prover | аппарат испытания труб |
| tech. | pipe prover | трубоиспытательный аппарат |
| energ.ind. | pipe prover | устройство для проверки герметичности труб |
| construct. | pipe prover | аппарат для гидравлического испытания труб |
| energ.ind. | pipe prover | устройство для гидравлических испытаний труб |
| mining. | pipe prover | прибор для определения непроницаемости труб |
| O&G. tech. | pipe prover | прибор для контроля герметичности труб |
| mech.eng. | pipe prover | прибор для проверки герметичности при гидравлическом испытании труб |
| transp. | pipe prover | аппарат для проверки герметичности труб |
| O&G | pipe prover | прибор для проверки герметичности труб |
| oil | pipe prover | прибор для гидравлических испытаний труб |
| gen. | pipe prover | трубопоршневая поверочная установка (Askar_amanbay) |
| O&G. tech. | piston prover | трубо-поршневая поверочная установка (ТПУ vbadalov) |
| O&G. tech. | piston prover | ТПУ (трубо-поршневая поверочная установка vbadalov) |
| O&G. tech. | piston-type pipe prover | трубо-поршневая поверочная установка (ТПУ vbadalov) |
| O&G. tech. | piston-type pipe prover | ТПУ (vbadalov) |
| O&G, sahk.r. | prover loop | контрольный контур |
| O&G, sakh. | prover loop | контрольная петля |
| geophys. | prover pressure | пруверное давление |
| oil | prover station | станция контроля отгружаемой продукции |
| O&G. tech. | prover tank | мерный бак (бак, объём которого признан международными метрологическими организациями как эталон. ValeryKaribzhanov) |
| O&G. tech. | prover tank | проверочная ёмкость |
| metrol. | rotary piston prover | роторно-поршневой прувер (первичный эталон измерения расхода patorok) |
| gen. | small volume prover | компактная поршневая поверочная установка (Askar_amanbay) |
| construct. | static compact prover | калибровочный прибор для расходомера (Yeldar Azanbayev) |
| AI. | theorem prover | доказыватель теорем (Alex_Odeychuk) |
| AI. | theorem prover | доказатель теорем (Microsoft Alex_Odeychuk) |
| el. | theorem prover | программа для доказательства теорем (с использованием аксиоматической базы данных) |
| progr. | theorem prover | инструмент автоматического доказательства теорем (Alex_Odeychuk) |
| AI. | theorem prover | система доказательства теорем (Microsoft Alex_Odeychuk) |
| AI. | theorem prover | системой автоматического доказательства теорем (Alex_Odeychuk) |
| progr. | verifier and prover toolchain | набор инструментальных средств формальной верификации и доказательства корректности программного обеспечения (Alex_Odeychuk) |
