{"id":"W1969404474","doi":"10.2478/forma-2013-0009","title":"Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane","year":2013,"lang":"en","type":"article","venue":"Formalized Mathematics","topic":"Advanced Topics in Algebra","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Line (geometry); Plane (geometry); Mathematics; Product (mathematics); Topology (electrical circuits); Linear subspace; Product topology; Pure mathematics; Discrete mathematics; Combinatorics; Geometry","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.0008044255,0.0003170822,0.0003551544,0.001572696,0.001191902,0.00209512,0.0005449641,0.0007286053,0.00800663],"category_scores_gemma":[0.001903807,0.0002439673,0.0006653506,0.001320502,0.003351683,0.004898126,0.001427514,0.001653541,0.0009182062],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009136666,"about_ca_system_score_gemma":0.0002908347,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001408141,"about_ca_topic_score_gemma":0.0007418985,"domain_scores_codex":[0.9991835,0.0001798492,0.00005585913,0.0001419078,0.0003014715,0.0001374228],"domain_scores_gemma":[0.9983911,0.000472471,0.0002773824,0.0002210456,0.0004527053,0.000185213],"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.00004526943,0.00001259846,0.0007038356,0.00002784148,0.000009421018,0.0001593303,0.0002605382,0.0007431908,0.001386104,0.9905877,0.001063505,0.00500062],"study_design_scores_gemma":[0.0000194674,0.00008020027,0.001955254,0.00002095822,0.000009284184,0.0004997483,0.0004669986,0.003791261,0.002275013,0.9718823,0.01897453,0.00002492567],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"other","genre_scores_codex":[0.5980741,0.002718996,0.1829228,0.003040802,0.0002130169,0.00008434629,0.0007975483,0.0003492602,0.2117991],"genre_scores_gemma":[0.972748,0.0005958661,0.01446797,0.0002183314,0.0001910245,0.00004542381,0.0005453072,0.00006036306,0.01112766],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.00800663,"threshold_uncertainty_score":0.02678484,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04111223914397769,"score_gpt":0.2685643895698792,"score_spread":0.2274521504259015,"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."}}