{"id":"W1489366126","doi":"10.1007/978-3-662-07003-1","title":"Elements of Finite Model Theory","year":2004,"lang":"en","type":"book","venue":"","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":990,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Model theory; Computer science; Abstract model theory; Mathematical theory; Theoretical computer science; Calculus (dental); Mathematics; Physics; Discrete mathematics; Relationship between string theory and quantum field theory","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.0004862983,0.00110406,0.001157705,0.001732383,0.001417783,0.002692714,0.001020194,0.0009779643,0.02135635],"category_scores_gemma":[0.001301945,0.000618724,0.0008670915,0.002286139,0.003194534,0.005446084,0.001054477,0.002794616,0.006524421],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002216857,"about_ca_system_score_gemma":0.001015889,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001856588,"about_ca_topic_score_gemma":0.001791137,"domain_scores_codex":[0.9995611,0.0001061345,0.00002079928,0.00007378036,0.0002048763,0.00003330378],"domain_scores_gemma":[0.9996089,0.0001962537,0.00001492623,0.00009523781,0.00006661606,0.00001803829],"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.00000250728,0.000005354182,0.00001675164,0.00003271749,0.000002984661,0.000009570082,0.00007434436,0.0005276352,0.00008023584,0.9784264,0.009514177,0.01130741],"study_design_scores_gemma":[0.000001957806,0.000002819531,0.0000178002,0.00002150913,0.000003234928,0.00002581448,0.00002244787,0.001111104,0.0000713553,0.9426172,0.05610154,0.000003206409],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.004761429,0.0151567,0.3531643,0.004241203,0.001190011,0.00006706722,0.0006366736,0.0007384304,0.6200441],"genre_scores_gemma":[0.278712,0.02010232,0.1497727,0.00247998,0.002934277,0.0006015127,0.001997791,0.001005931,0.5423935],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.02135635,"threshold_uncertainty_score":0.07144409,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01650065209563939,"score_gpt":0.2412631955959929,"score_spread":0.2247625435003535,"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."}}