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/corr/abs-2401-11904.nt
. . . . . . . "Pierre Boutry et al.: Towards an Independent Version of Tarski's System of Geometry. (2023)" . . . _:ID_d8112aa57b5c209f3a9522ffc027b9a0 . _:ID_d8112aa57b5c209f3a9522ffc027b9a0 . _:ID_d8112aa57b5c209f3a9522ffc027b9a0 . _:ID_d8112aa57b5c209f3a9522ffc027b9a0 . _:ID_d8112aa57b5c209f3a9522ffc027b9a0 "journals/corr/abs-2401-11904" . _:ID_d08c7f9c3664e41cbda600d7a759c58d . _:ID_d08c7f9c3664e41cbda600d7a759c58d . _:ID_d08c7f9c3664e41cbda600d7a759c58d . _:ID_d08c7f9c3664e41cbda600d7a759c58d . _:ID_d08c7f9c3664e41cbda600d7a759c58d "10.4204/EPTCS.398.11" . _:ID_d08c7f9c3664e41c96ee877f880da25c . _:ID_d08c7f9c3664e41c96ee877f880da25c . _:ID_d08c7f9c3664e41c96ee877f880da25c . _:ID_d08c7f9c3664e41c96ee877f880da25c . _:ID_d08c7f9c3664e41c96ee877f880da25c "10.48550/ARXIV.2401.11904" . "Towards an Independent Version of Tarski's System of Geometry." . . . . . . . . "3"^^ . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_1 . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_1 . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_1 . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_1 "Pierre Boutry" . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_1 . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_1 "1"^^ . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_1 . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_2 . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_2 . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_2 . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_2 "St\u00E9phane Kastenbaum" . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_2 . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_2 "2"^^ . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_2 . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_3 . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_3 . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_3 . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_3 "Cl\u00E9ment Saintier" . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_3 . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_3 "3"^^ . _:Sig_c4f349826fefbbe3277741dcb4bb54e4_3 . . . . . . "73-84" . "ADG" . "ADG" . "2023"^^ . "2024"^^ . . "provenance information for RDF data of dblp record 'journals/corr/abs-2401-11904'" . . . . "2024-06-12T17:01:20+0200" .