{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00169077,0.0005000143,0.0005408778,0.001360641,0.001481734,0.00361965,0.00109854,0.001022187,0.003765156],"category_scores_gemma":[0.00306685,0.0003183156,0.001467556,0.001303935,0.006590717,0.008238085,0.003009493,0.001837469,0.0002675517],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002406398,"about_ca_system_score_gemma":0.001301979,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001950017,"about_ca_topic_score_gemma":0.001892332,"domain_scores_codex":[0.9984535,0.0006108002,0.00009394604,0.000229764,0.000434817,0.0001771762],"domain_scores_gemma":[0.9984817,0.0007421964,0.0002174067,0.000246903,0.0001822696,0.0001294983],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000002736298,0.000003799329,0.00005581955,0.000005703359,0.000002465851,0.00002467252,0.0001138337,0.001046102,0.0001346373,0.9980584,0.00003942436,0.0005124554],"study_design_scores_gemma":[0.00000668647,0.00001111006,0.00006316213,0.000008939383,0.000006737846,0.00004101671,0.0001927964,0.01024175,0.0004179212,0.9869199,0.002083269,0.00000670387],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3608923,0.001030074,0.5419447,0.002078423,0.0001026649,0.0001163477,0.0002369803,0.0004046966,0.09319378],"genre_scores_gemma":[0.9499409,0.0003194337,0.04493375,0.0001000607,0.00006181305,0.0001139761,0.0001561096,0.00004364298,0.004330395],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003765156,"threshold_uncertainty_score":0.01745975,"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."}}