鲁宾逊归结原理中空子句是不可满足的，若一个子句集包含空子句集，则这个子句集一定是不可满足的。

湖南省电力有限公司计划2022年5月，完成业绩考核指标全过程管控平台的开发部署实施，形成（）。

结合公司基层减负工作方案，选取长沙公司榔梨供电所、张家界公司索溪峪供电所等基层试点班组，基于“中台数据+报表工具”开展“（）”攻关。

专业类数据集市支撑服务示范中高效支撑发展专业“（）”指能源电力经济、电力全景规划、项目智能评审、工程智慧设计平台。

全省大数据应用开发技能竞赛，竞赛方式网上答题和现场实战相结合，赛题方向为“提高效率效益”、“提升客户体验”、“（）”三个。

地市级数据服务与研发团队，负责本单位的数据资源管理、数据治理、数据共享服务及培训、宣贯等工作，为本单位（）提供数据和技术支撑。

“产品经理+数据+业务”的（），负责本单位数据管理、数据产品开发与推广、数字化人才队伍建设。

提升（），全面梳理当前资源占用情况，结合公司数字化建设规划，合理规划平台资源扩容，提升平台存储能力和计算能力。

搭建服务地市公司大数据应用创新的云上数据探索区，进一步开放（）的存储和算力资源。

完善公司级（），结合经营管理看板、业绩考核指标全过程管控平台等应用，开展各专业指标数据的归集工作，形成按业务板块、业务模块、业务条线的指标数据服务目录。

增强报表工具的（）和“类Excel”表格功能，降低报表使用难度，为公司各专业、各系统、各层级提供好用实用的自动报表工具。