MaRDI QIDQ6675403
mathematical model comparing objects using a boolean ring over the object properties
