. . . . . . “理查德·斯塔特曼：直觉命题逻辑是多项式空间完备的。（1979）”。 . . . _：ID_50241666b3f8a30be215041262610d8c。_：ID_50241666b3f8a30be215041262610d8c ._：ID_50241666b3f8a30be215041262610d8c ._：ID_50241666b3f8a30be215041262610d8c“期刊/tcs/Statman79”。 _：ID_37942271c588b208b5e208a544d91a48。_：ID_37942271c588b208b5e208a544d91a48 ._：ID_37942271c588b208b5e208a544d91a48 ._：ID_37942271c588b208b5e208a544d91a48"10.1016/0304-3975(79)90006-9" . _：ID_4a3b1dbed62e54c4d18f7d1a8d18eefe。_：ID_4a3b1dbed62e54c4d18f7d1a8d18eefe ._：ID_4a3b1dbed62e54c4d18f7d1a8d18eefe ._：ID_4a3b1dbed62e54c4d18f7d1a8d18eefe“Q56224787”。 “直觉命题逻辑是多项式空间完备的。”。 . . "1"^^. _：Sig_085c1e3582d6644f9a4d0be1313eced0_1。_：信号_085c1e3582d6644f9a4d0be1313eced0_1 ._：Sig_085c1e3582d6644f9a4d0be1313eced0_1“Richard Statman”。_：Sig_085c1e3582d6644f9a4d0be1313eced0_1 ._：Sig_085c1e3582d6644f9a4d0be1313eced0_1"1"^^._：Sig_085c1e3582d6644f9a4d0be1313eced0_1 . . . . "67-72" . “理论计算科学”。 “理论计算科学”。 "9" . "1979"^^. “dblp记录'journals/tcs/Statman79'的RDF数据的来源信息”。 . . . “2021-02-17T22:00:45+0100”。