domain | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/recombination.mmt#236.7.2:272.7.38 |
domain | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/recombination.mmt#276.8.1:311.8.36 |
domain | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/recombination.mmt#314.9.1:345.9.32 |
type | |
parsing-notation | r (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/recombination.mmt#442.13.1:487.13.46 |
type | |
definition | |
parsing-notation | R (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/recombination.mmt#562.16.1:701.18.7 |
domain | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/recombination.mmt#816.23.1:839.23.24 |
type | |
parsing-notation | B (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/recombination.mmt#923.26.1:971.26.49 |
type | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/recombination.mmt#1036.28.1:1089.28.54 |