{"id":"W2144930856","doi":"10.1215/00294527-1731344","title":"Complementation in Representable Theories of Region-Based Space","year":2013,"lang":"en","type":"article","venue":"Notre Dame Journal of Formal Logic","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of New Brunswick; University of Toronto","funders":"","keywords":"Closure (psychology); Mereology; Mathematics; Class (philosophy); Topological space; Algebraic number; Space (punctuation); Pure mathematics; Identity (music); Complementation; Topology (electrical circuits); Computer science; Combinatorics; Physics; Epistemology","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002673921,0.00006244066,0.0001401872,0.0001742722,0.00003723753,0.00005063892,0.0002172335,0.0000283273,0.0001715863],"category_scores_gemma":[0.00005772496,0.00004957732,0.0000556174,0.000254198,0.00004183697,0.001250277,0.0000334422,0.0001011526,0.000005415527],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003798985,"about_ca_system_score_gemma":0.0000706077,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008110653,"about_ca_topic_score_gemma":0.00002233674,"domain_scores_codex":[0.9991333,0.00006307728,0.0004005719,0.00007189254,0.0002046936,0.0001264813],"domain_scores_gemma":[0.9990976,0.00008500529,0.0004297238,0.0001317858,0.0002151888,0.00004063711],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.0001699109,0.0003922285,0.2890023,0.00009209567,0.00005385678,0.00005714628,0.002969901,0.1347301,0.004363967,0.4209509,0.004532014,0.1426855],"study_design_scores_gemma":[0.005068009,0.001157872,0.4993863,0.0002391981,0.00002603168,0.0002805331,0.002132235,0.4050103,0.01356684,0.07160331,0.001084467,0.0004449615],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07983442,0.00003492837,0.9146788,0.002505665,0.0002125511,0.0001274034,0.000001041548,0.00001190076,0.002593261],"genre_scores_gemma":[0.9568805,0.00001323526,0.04286526,0.0001797926,0.00001729926,0.000001634718,0.000001722907,0.000001983292,0.00003854547],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8770461,"threshold_uncertainty_score":0.2021704,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01871847657607837,"score_gpt":0.2585181402292027,"score_spread":0.2397996636531243,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}