{"id":"W1864670858","doi":"10.1007/978-0-85729-277-3_12","title":"Set Theory and Relations","year":2011,"lang":"en","type":"book-chapter","venue":"Texts in computer science","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Foundation (evidence); Set (abstract data type); Programming language; Theoretical computer science; Software engineering; History","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.0006143844,0.0009691609,0.0009393705,0.002601283,0.001949098,0.004560662,0.0009027123,0.001123851,0.02796572],"category_scores_gemma":[0.001205176,0.0004830173,0.0005828342,0.004514365,0.006093059,0.006416683,0.00133774,0.003597959,0.00795952],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003145997,"about_ca_system_score_gemma":0.001132726,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001807079,"about_ca_topic_score_gemma":0.002154727,"domain_scores_codex":[0.9993978,0.0001781359,0.00003274429,0.0001219967,0.0002291792,0.00004009271],"domain_scores_gemma":[0.9996344,0.000216588,0.00001376302,0.0000614906,0.00005466887,0.00001908967],"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.000002060813,0.000004301424,0.00001654739,0.00005193506,0.000002484211,0.000009525997,0.0002088865,0.0001345366,0.00006119253,0.9696597,0.01651922,0.01332968],"study_design_scores_gemma":[0.000002772544,0.000004863438,0.00006962464,0.000077734,0.000003417541,0.00004715467,0.00008805234,0.0002028953,0.00006383957,0.7985476,0.2008879,0.000004112595],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.002588598,0.07397754,0.04882187,0.006296494,0.002024276,0.00004739551,0.0004087725,0.0001582459,0.8656769],"genre_scores_gemma":[0.188388,0.07305834,0.0366368,0.004519071,0.006710963,0.000428761,0.001585603,0.0004713242,0.6882011],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02796572,"threshold_uncertainty_score":0.09355468,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04097215514153162,"score_gpt":0.2673390699429412,"score_spread":0.2263669148014095,"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."}}