iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/journals/jar/StannettN14.nt
.
.
.
.
.
"Mike Stannett and Istv\u00E1n N\u00E9meti: Using Isabelle/HOL to Verify First-Order Relativity Theory. (2014)" .
.
.
_:ID_62f70411bc913f66b43418b228ea7967 . _:ID_62f70411bc913f66b43418b228ea7967
. _:ID_62f70411bc913f66b43418b228ea7967
. _:ID_62f70411bc913f66b43418b228ea7967
. _:ID_62f70411bc913f66b43418b228ea7967
"journals/jar/StannettN14" .
_:ID_92246f91678f9fe35b36b87691ec9c03 . _:ID_92246f91678f9fe35b36b87691ec9c03
. _:ID_92246f91678f9fe35b36b87691ec9c03
. _:ID_92246f91678f9fe35b36b87691ec9c03
. _:ID_92246f91678f9fe35b36b87691ec9c03
"10.1007/S10817-013-9292-7" .
_:ID_819669a29817a49f6bb3ccc93760dd54 . _:ID_819669a29817a49f6bb3ccc93760dd54
. _:ID_819669a29817a49f6bb3ccc93760dd54
. _:ID_819669a29817a49f6bb3ccc93760dd54
"Q57691192" .
"Using Isabelle/HOL to Verify First-Order Relativity Theory." .
.
.
.
.
.
"2"^^
.
_:Sig_264fa3d0181a9eaa778cb8708473d8ab_1 . _:Sig_264fa3d0181a9eaa778cb8708473d8ab_1
. _:Sig_264fa3d0181a9eaa778cb8708473d8ab_1
. _:Sig_264fa3d0181a9eaa778cb8708473d8ab_1
"Mike Stannett" . _:Sig_264fa3d0181a9eaa778cb8708473d8ab_1
. _:Sig_264fa3d0181a9eaa778cb8708473d8ab_1
. _:Sig_264fa3d0181a9eaa778cb8708473d8ab_1
"1"^^
. _:Sig_264fa3d0181a9eaa778cb8708473d8ab_1
.
_:Sig_264fa3d0181a9eaa778cb8708473d8ab_2 . _:Sig_264fa3d0181a9eaa778cb8708473d8ab_2
. _:Sig_264fa3d0181a9eaa778cb8708473d8ab_2
. _:Sig_264fa3d0181a9eaa778cb8708473d8ab_2
"Istv\u00E1n N\u00E9meti" . _:Sig_264fa3d0181a9eaa778cb8708473d8ab_2
. _:Sig_264fa3d0181a9eaa778cb8708473d8ab_2
"2"^^
. _:Sig_264fa3d0181a9eaa778cb8708473d8ab_2
.
.
.
.
.
"361-378" .
"J. Autom. Reason." .
"J. Autom. Reason." .
"52" .
"4" .
"2014"^^
.
"provenance information for RDF data of dblp record 'journals/jar/StannettN14'" .
.
.
.
"2020-09-02T13:30:05+0200" .
