“CVC Lite theorem prover”的意思、由来-开放百科全书

词条	CVC Lite theorem prover
释义	SeeSatisfiability modulo theoriesSMT solvers
随便看	Poecilopeplus martialis Poecilopeplus tardifi Poecilophis delicatulus Poecilophis nebulosa Poecilophis pikei Poecilopholis Poeciloptilia cingillella Poeciloptilia geminatella Poeciloptilia nitidulella Poeciloptilia tetragonella Poeciloptilia uliginosella Poecilopyrodes Poecilosclerida Poecilosoma annulatum Poecilosoma chrysis Poecilosoma eone Poecilosoma eusebia Poecilosoma gaudens Poecilosoma hilaris Poecilosoma insperata Poecilosoma mapirense Poecilosoma marginata Poecilosoma marginatum Poecilosoma misionum Poecilosoma nigerrima

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。