[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Theorem base summary for Specification Hashset-refines-Set

abs-def(0,0)ren-retINSERT(0,0)step-absstep-I12-I13-tau-other(2,0)step-absstep-I17-I20-tau-same(2,0)step-absstep-I3-I4-tau-same(3,0)step-absstep-I8-I9-tau-same(3,0)step-absstep-M13-M14-tau-same(5,0)step-absstep-M2-M3-tau-same(3,0)step-absstep-M7-M8-tau-same(2,0)
abs-init(8,2)ren-retMEMBER(0,0)step-absstep-I12-I13-tau-same(3,0)step-absstep-I18-I19-doINSERT-other(2,0)step-absstep-I4-I5-tau-same(3,0)step-absstep-I9-idle-retINSERT-other(2,0)step-absstep-M14-M15-tau-same(2,0)step-absstep-M3-M4-tau-same(3,0)step-absstep-M8-M9-tau-same(3,0)
abs-theorem(0,0)ren-tau(0,0)step-absstep-I13-I14-tau-same(2,0)step-absstep-I18-I19-doINSERT-same(3,0)step-absstep-I5-I21-tau-same(2,0)step-absstep-I9-idle-retINSERT-same(2,0)step-absstep-M14-M17-tau-same(2,0)step-absstep-M4-M5-tau-same(3,0)step-absstep-M9-idle-retMEMBER-other(2,0)
gabs-def(0,0)step-absstep-I1-I2-tau-same(3,0)step-absstep-I13-I16-tau-same(2,0)step-absstep-I19-idle-retINSERT-other(2,0)step-absstep-I5-I6-tau-same(2,0)step-absstep-M1-M2-tau-same(3,0)step-absstep-M15-M16-tau-same(3,0)step-absstep-M5-M18-tau-same(2,0)step-absstep-M9-idle-retMEMBER-same(2,0)
labs-def(0,0)step-absstep-I10-I11-tau-same(2,0)step-absstep-I14-I15-tau-same(3,0)step-absstep-I19-idle-retINSERT-same(2,0)step-absstep-I6-I7-doINSERT-other(2,0)step-absstep-M10-M11-tau-same(2,0)step-absstep-M16-idle-retMEMBER-other(2,0)step-absstep-M5-M6-tau-same(2,0)step-absstep-idle-I1-invINSERT-other(2,0)
ren-doINSERT(0,0)step-absstep-I10-I12-tau-same(2,0)step-absstep-I15-idle-retINSERT-other(2,0)step-absstep-I2-I3-tau-same(3,0)step-absstep-I6-I7-doINSERT-same(6,0)step-absstep-M10-M13-tau-same(2,0)step-absstep-M16-idle-retMEMBER-same(2,0)step-absstep-M6-M7-doMEMBER-other(2,0)step-absstep-idle-I1-invINSERT-same(3,0)
ren-doMEMBER(0,0)step-absstep-I11-I17-tau-same(3,0)step-absstep-I15-idle-retINSERT-same(2,0)step-absstep-I20-I5-tau-same(2,0)step-absstep-I6-I7-tau-same(3,0)step-absstep-M11-M12-tau-same(3,0)step-absstep-M17-M5-tau-same(2,0)step-absstep-M6-M7-doMEMBER-same(28,10)step-absstep-idle-M1-invMEMBER-other(2,0)
ren-invINSERT(0,0)step-absstep-I12-I13-doINSERT-other(3,0)step-absstep-I16-I17-tau-same(3,0)step-absstep-I21-idle-retINSERT-other(2,0)step-absstep-I7-I10-tau-same(2,0)step-absstep-M12-idle-retMEMBER-other(2,0)step-absstep-M18-idle-retMEMBER-other(2,0)step-absstep-M6-M7-tau-same(3,0)step-absstep-idle-M1-invMEMBER-same(3,0)
ren-invMEMBER(0,0)step-absstep-I12-I13-doINSERT-same(13,0)step-absstep-I17-I18-tau-same(2,0)step-absstep-I21-idle-retINSERT-same(2,0)step-absstep-I7-I8-tau-same(2,0)step-absstep-M12-idle-retMEMBER-same(2,0)step-absstep-M18-idle-retMEMBER-same(2,0)step-absstep-M7-M10-tau-same(2,0)