NUM FL AI SUBMITTER TITLE 5296 O1 1.7 root Decidable Undetermination
6xFOR
5297 D1 3 Murphy root is a Cretan
FOR
5298 O1 1 Murphy More prerogatives
6xAGAINST
5299 D1 2 Murphy Micropayments
FOR
5300 O1 1 Murphy No multiple MwP's
6xFOR
5301 O1 1 Murphy Allow retraction of CFJs
6xFOR
5302 O1 1 Zefram tighten up contests
PRESENT
