Rosser's equation

URI: https://gptkb.org/entity/Rosser's_equation
GPTKB entity
Statements (6)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:field gptkb:logic
https://www.w3.org/2000/01/rdf-schema#label Rosser's equation
gptkbp:namedAfter gptkb:J._Barkley_Rosser
gptkbp:bfsParent gptkb:John_Barkley_Rosser_Jr.
gptkbp:bfsLayer 7