. . . . . “迈克尔·麦克罗比（Michael A.McRobbie）和罗伯特·梅耶（Robert K.Meyer:A Note on the Admissibility of Cut in Related Tableau Systems）（1979）”。 . . _：ID_6c1e567cf20ad411bd5b6b1d5e640e12。_：ID_6c1e567cf20ad411bd5b6b1d5e640e12 ._：标识_6c1e567cf20ad411bd5b6b1d5e640e12 ._：ID_6c1e567cf20ad411bd5b6b1d5e640e12“journals/mlq/McRobbieM79”。 _：ID_9b4bc1fc9d09348ecf862346984ee925。_：ID_9b4bc1fc9d09348ecf862346984ee925 ._：ID_9b4bc1fc9d09348ecf862346984ee925 ._：ID_9b4bc1fc9d09348ecf862346984ee925“10.1002/MALQ.19790253203”。 “关于切入相关表格系统可接受性的注释”。 . . . "2"^^. _：Sig_2f76f63b4d94335580b40adbb9ed6d56_1。_：Sig_2f76f63b4d94335580b40adbb9ed6d56_1 ._：Sig_2f76f63b4d94335580b40adbb9ed6d56_1“迈克尔·麦克罗比”。_：Sig_2f76f63b4d94335580b40adbb9ed6d56_1 ._：Sig_2f76f63b4d94335580b40adbb9ed6d56_1"1"^^._：Sig_2f76f63b4d94335580b40adbb9ed6d56_1 . _：Sig_2f76f63b4d94335580b40adbb9ed6d56_2。_：Sig_2f76f63b4d94335580b40adbb9ed6d56_2 ._：Sig_2f76f63b4d94335580b40adbb9ed6d56_2“罗伯特·K·迈耶”。_：Sig_2f76f63b4d94335580b40adbb9ed6d56_2 ._：Sig_2f76f63b4d94335580b40adbb9ed6d56_2"2"^^._：Sig_2f76f63b4d94335580b40adbb9ed6d56_2 . . . . "511-512" . “数学日志问答”。 “数学日志问答”。 "25" . "32" . "1979"^^. “dblp记录'journals/mlq/McRobbieM79'的RDF数据的来源信息”。 . . . “2017-05-17T14:25:51+0200”。