提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/jcss/JordanZ12澳大利亚-约旦，CharlesAU-托马斯·齐格曼TI-一阶公式的可测试类和不可测试类。JO-J.计算。系统。科学。VL-78为-5SP-1557EP-15782012年上半年//DO-2016年10月10日/J.JCSS.2012.01.007UR-（欧元）https://doi.org/10.1016/j.jcss.2012.01.007急诊室-