A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
A single axiom for semi-Boolean SQS-skeins
2008
The Australasian Journal of Combinatorics
Preserved Fulltext
In this note, we show that the variety of semi-Boolean SQS-skeins can be defined by a single axiom and exhibit a single axiom for said variety that was found with the aid of the automated theorem-prover Prover9.
dblp:journals/ajc/Fiala08
fatcat:bkvmtm3bpnadtcmy7wyllccchm