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/journals/jar/BoutryGNS19.rdf
Pierre Boutry et al.: Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq. (2019) journals/jar/BoutryGNS19 10.1007/S10817-017-9422-8 Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq. 4 Pierre Boutry 1 Charly Gries 2 Julien Narboux 3 Pascal Schreck 4 1-68 J. Autom. Reason. J. Autom. Reason. 62 1 2019 provenance information for RDF data of dblp record 'journals/jar/BoutryGNS19' 2023-06-26T20:56:54+0200