iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/journals/tcs/BaazCP11.nt
. . . . . "Matthias Baaz et al.: First-order satisfiability in G\u00F6del logics: An NP-complete fragment. (2011)" . . _:ID_33cb2cb8ae0aeb824586619798dad0c1 . _:ID_33cb2cb8ae0aeb824586619798dad0c1 . _:ID_33cb2cb8ae0aeb824586619798dad0c1 . _:ID_33cb2cb8ae0aeb824586619798dad0c1 . _:ID_33cb2cb8ae0aeb824586619798dad0c1 "journals/tcs/BaazCP11" . _:ID_4b6644fdc1164d45f926dafc45342610 . _:ID_4b6644fdc1164d45f926dafc45342610 . _:ID_4b6644fdc1164d45f926dafc45342610 . _:ID_4b6644fdc1164d45f926dafc45342610 . _:ID_4b6644fdc1164d45f926dafc45342610 "10.1016/J.TCS.2011.07.015" . "First-order satisfiability in G\u00F6del logics: An NP-complete fragment." . . . . . . . . "3"^^ . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_1 . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_1 . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_1 . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_1 "Matthias Baaz" . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_1 . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_1 . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_1 "1"^^ . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_1 . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_2 . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_2 . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_2 . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_2 "Agata Ciabattoni" . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_2 . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_2 . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_2 "2"^^ . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_2 . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_3 . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_3 . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_3 . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_3 "Norbert Preining" . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_3 . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_3 "3"^^ . _:Sig_1a5927ffdf54993e2c145cdeca247e7d_3 . . . . . "6612-6623" . "Theor. Comput. Sci." . "Theor. Comput. Sci." . "412" . "47" . "2011"^^ . "provenance information for RDF data of dblp record 'journals/tcs/BaazCP11'" . . . . "2021-02-17T21:57:11+0100" .