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.org/rec/conf/adg/DehlingerDS00.nt
. . . . "Christophe Dehlinger et al.: Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry. (2000)" . . _:ID_52be5c06b3070c44e4af49b2616f76c5 . _:ID_52be5c06b3070c44e4af49b2616f76c5 . _:ID_52be5c06b3070c44e4af49b2616f76c5 . _:ID_52be5c06b3070c44e4af49b2616f76c5 . _:ID_52be5c06b3070c44e4af49b2616f76c5 "conf/adg/DehlingerDS00" . _:ID_3a2e6811c4971b4198fce97465ada642 . _:ID_3a2e6811c4971b4198fce97465ada642 . _:ID_3a2e6811c4971b4198fce97465ada642 . _:ID_3a2e6811c4971b4198fce97465ada642 . _:ID_3a2e6811c4971b4198fce97465ada642 "10.1007/3-540-45410-1_17" . "Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry." . . . . . . . . "3"^^ . _:Sig_0af663d581e4cd889ce75181304d3809_1 . _:Sig_0af663d581e4cd889ce75181304d3809_1 . _:Sig_0af663d581e4cd889ce75181304d3809_1 . _:Sig_0af663d581e4cd889ce75181304d3809_1 "Christophe Dehlinger" . _:Sig_0af663d581e4cd889ce75181304d3809_1 . _:Sig_0af663d581e4cd889ce75181304d3809_1 "1"^^ . _:Sig_0af663d581e4cd889ce75181304d3809_1 . _:Sig_0af663d581e4cd889ce75181304d3809_2 . _:Sig_0af663d581e4cd889ce75181304d3809_2 . _:Sig_0af663d581e4cd889ce75181304d3809_2 . _:Sig_0af663d581e4cd889ce75181304d3809_2 "Jean-Fran\u00E7ois Dufourd" . _:Sig_0af663d581e4cd889ce75181304d3809_2 . _:Sig_0af663d581e4cd889ce75181304d3809_2 "2"^^ . _:Sig_0af663d581e4cd889ce75181304d3809_2 . _:Sig_0af663d581e4cd889ce75181304d3809_3 . _:Sig_0af663d581e4cd889ce75181304d3809_3 . _:Sig_0af663d581e4cd889ce75181304d3809_3 . _:Sig_0af663d581e4cd889ce75181304d3809_3 "Pascal Schreck" . _:Sig_0af663d581e4cd889ce75181304d3809_3 . _:Sig_0af663d581e4cd889ce75181304d3809_3 "3"^^ . _:Sig_0af663d581e4cd889ce75181304d3809_3 . . . . . "306-324" . "Automated Deduction in Geometry" . "Automated Deduction in Geometry" . "2000"^^ . "2001"^^ . . "provenance information for RDF data of dblp record 'conf/adg/DehlingerDS00'" . . . . "2017-05-25T00:43:38+0200" .