Ascent++
Search
quantum gravity
subgroup of
gravity
,
1
assertions
HasProperty
1
necessary
0.68