{"id":"W7132955156","doi":"","title":"Model-Theoretic Analysis of Asher and Vieu's Mereotopology","year":2008,"lang":"en","type":"dissertation","venue":"TSpace","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Soundness; Mathematical proof; Axiom; Completeness (order theory); Cartesian product; Algebra over a field; Translation (biology)","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.000146348,0.0002352347,0.0006174532,0.0004358801,0.00008527171,0.00003075955,0.0005575521,0.0002669455,0.00008819575],"category_scores_gemma":[0.00005337959,0.0002062707,0.0001970374,0.0007516592,0.0001170988,0.00007769103,0.00008190353,0.0001826243,0.00001681765],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002380816,"about_ca_system_score_gemma":0.0001230517,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001617434,"about_ca_topic_score_gemma":0.0004931903,"domain_scores_codex":[0.9987416,0.00007945418,0.0002394506,0.0004873864,0.0002083056,0.0002437702],"domain_scores_gemma":[0.9988374,0.0000884424,0.0002583298,0.0005653236,0.0001627092,0.0000877932],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000850291,0.0002636414,0.001761673,0.0003534708,0.002442513,0.00005520353,0.1445546,0.001822017,0.001607485,0.8312269,0.003490656,0.01233675],"study_design_scores_gemma":[0.0008330932,0.0003243252,0.00985068,0.0001111338,0.002806698,0.00003262811,0.002702042,0.9522883,0.003791631,0.0238471,0.002035672,0.001376672],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6296231,0.005722115,0.07127566,0.0001813507,0.0006225482,0.0003237478,0.000005639281,0.0001701296,0.2920758],"genre_scores_gemma":[0.9532381,0.0009581554,0.00508393,0.00005347813,0.00003452781,0.00001763564,0.00008196593,0.00001995239,0.04051229],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9504663,"threshold_uncertainty_score":0.8411474,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03035806325424429,"score_gpt":0.3422311664462055,"score_spread":0.3118731031919613,"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."}}