google/LoraxBench huggingface dataset:
Language: su_FORMAL
Premise: Saatos kota Stuttgart, Jerman Barat sareng Helsinki, Finlandia ngalamar, Dewan IAAF mutuskeun Helsinki minangka tempat penyelenggaraan kejuaraan dunya anu kahiji.
Hypothesis: Kejuaraan dunya kaping kahiji diselenggarakeun di Stuttgart.
Label: contradiction
Language: su_FORMAL
Premise: Saatos kota Stuttgart, Jerman Barat sareng Helsinki, Finlandia ngalamar, Dewan IAAF mutuskeun Helsinki minangka tempat penyelenggaraan kejuaraan dunya anu kahiji.
Hypothesis: Tuan imah kejuaraan dunya anu kahiji nyaéta Finlandia.
Label: entailment
Language: su_FORMAL
Premise: Saatos kota Stuttgart, Jerman Barat sareng Helsinki, Finlandia ngalamar, Dewan IAAF mutuskeun Helsinki minangka tempat penyelenggaraan kejuaraan dunya anu kahiji.
Hypothesis: Stuttgart teu kapilih janten penyelenggara kejuaraan dunya anu kahiji.
Label: entailment
Language: su_FORMAL
Premise: Saatos kota Stuttgart, Jerman Barat sareng Helsinki, Finlandia ngalamar, Dewan IAAF mutuskeun Helsinki minangka tempat penyelenggaraan kejuaraan dunya anu kahiji.
Hypothesis: Dewan IAAF nangtukeun juri anu ngalaksanakeun tugas dina kejuaraan dunya.
Label: neutral
Language: su_FORMAL
Premise: Saatos kota Stuttgart, Jerman Barat sareng Helsinki, Finlandia ngalamar, Dewan IAAF mutuskeun Helsinki minangka tempat penyelenggaraan kejuaraan dunya anu kahiji.
Hypothesis: Finlandia ngalamar deui salaku tempat penyelenggara kejuaraan dunya salajengna.
Label: neutral
Language: su_FORMAL
Premise: Kejuaraan Dunia Atletik anu kahiji dina taun 1983 ngan nandingkeun 1.300 atlet ti 154 nagara, sedengkeun dina taun 2003 nandingkeun ku 1.907 atlet ti 203 nagara.
Hypothesis: Kurang ti sarebu atlet janten peserta Kejuaraan Dunia Atletik taun 1983.
Label: contradiction
Language: su_FORMAL
Premise: Kejuaraan Dunia Atletik anu kahiji dina taun 1983 ngan nandingkeun 1.300 atlet ti 154 nagara, sedengkeun dina taun 2003 nandingkeun ku 1.907 atlet ti 203 nagara.
Hypothesis: Kurang langkung 1.300 atlet ngiluan Kejuaraan Dunia Atletik di taun 2003.
Label: contradiction
Language: su_FORMAL
Premise: Kejuaraan Dunia Atletik anu kahiji dina taun 1983 ngan nandingkeun 1.300 atlet ti 154 nagara, sedengkeun dina taun 2003 nandingkeun ku 1.907 atlet ti 203 nagara.
Hypothesis: Langkung ti 200 nagara kantos ngirimkeun atletna ka Kejuaraan Dunia Atletik.
Label: entailment
Language: su_FORMAL
Premise: Kejuaraan Dunia Atletik anu kahiji dina taun 1983 ngan nandingkeun 1.300 atlet ti 154 nagara, sedengkeun dina taun 2003 nandingkeun ku 1.907 atlet ti 203 nagara.
Hypothesis: Jumlah peserta Kejuaraan Dunia Atletik taun 2003 ngaronjat dibandingkeun jeung penyelenggaraan kahiji.
Label: entailment
Language: su_FORMAL
Premise: Kejuaraan Dunia Atletik anu kahiji dina taun 1983 ngan nandingkeun 1.300 atlet ti 154 nagara, sedengkeun dina taun 2003 nandingkeun ku 1.907 atlet ti 203 nagara.
Hypothesis: Mung 154 nagara anu ilubiung dina Kejuaraan Dunia Atletik sateuacan taun 2003.
Label: neutral
Language: su_FORMAL
Premise: Hukum Gossen kahiji mangrupa generalisasi tina fakta dumasar pangalaman yén pemuasan kabutuhan kana hiji jinis barang tinangtu dilakukeun sacara terus-menerus, kenikmatanna bakal terus berkurang nepi ka ahirna ngahontal hiji kejenuhan.
Hypothesis: Hukum Gossen I ngajelaskeun yén pemuasan kana hiji hal anu dilakukeun sacara terus-menerus bakal ngahasilkeun kenikmatan anu ahirna bakal berkurang.
Label: contradiction
Language: su_FORMAL
Premise: Hukum Gossen kahiji mangrupa generalisasi tina fakta dumasar pangalaman yén pemuasan kabutuhan kana hiji jinis barang tinangtu dilakukeun sacara terus-menerus, kenikmatanna bakal terus berkurang nepi ka ahirna ngahontal hiji kejenuhan.
Hypothesis: Hukum Gossen kahiji ngajelaskeun yén pemuasan kana hiji hal anu dilakukeun sacara berkesinambungan tiasa ngahasilkeun hiji kejenuhan.
Label: entailment
Language: su_FORMAL
Premise: Hukum Gossen kahiji mangrupa generalisasi tina fakta dumasar pangalaman yén pemuasan kabutuhan kana hiji jinis barang tinangtu dilakukeun sacara terus-menerus, kenikmatanna bakal terus berkurang nepi ka ahirna ngahontal hiji kejenuhan.
Hypothesis: Ide dasar Hukum Gossen kahiji dicokot tina fakta anu dumasar kana pangalaman ngeunaan hubungan antara kabutuhan manusa sareng pemuasan kabutuhanana.
Label: entailment
Language: su_FORMAL
Premise: Hukum Gossen kahiji mangrupa generalisasi tina fakta dumasar pangalaman yén pemuasan kabutuhan kana hiji jinis barang tinangtu dilakukeun sacara terus-menerus, kenikmatanna bakal terus berkurang nepi ka ahirna ngahontal hiji kejenuhan.
Hypothesis: Hukum Gossen kahiji dicokot tina téori ahli ékonomi dina jaman baheula.
Label: neutral
Language: su_FORMAL
Premise: Hukum Gossen kahiji mangrupa generalisasi tina fakta dumasar pangalaman yén pemuasan kabutuhan kana hiji jinis barang tinangtu dilakukeun sacara terus-menerus, kenikmatanna bakal terus berkurang nepi ka ahirna ngahontal hiji kejenuhan.
Hypothesis: Conto palaksanaan hukum ieu utamina tiasa katingali dina kahirupan perkotaan dimana kabutuhan kana hiji jinis barang terus robih sapanjang waktos.
Label: neutral
Language: su_FORMAL
Premise: Hukum Gossen kahiji mangrupa generalisasi tina fakta dumasar pangalaman yén pemuasan kabutuhan kana hiji jinis barang tinangtu dilakukeun sacara terus-menerus, kenikmatanna bakal terus berkurang nepi ka ahirna ngahontal hiji kejenuhan.
Hypothesis: Nalika kabutuhan kana hiji jinis barang parantos kapuasan, manusa condong pikeun ngalih ka barang séjén anu can katarima.
Label: neutral
Language: su_FORMAL
Premise: Hukum Gossen 2 ogé disebut hukum guna Horizontal sabab ngabahas pemuasan kana sababaraha barang, sedengkeun hukum Gossen 1 disebut hukum guna vertikal sabab ngan ngabahas pemuasan hiji jinis barang.
Hypothesis: Beda sareng hukum Gossen kahiji, hukum Gossen kadua langkung nekenkeun kana pemuasan kabutuhan kana hiji jinis barang.
Label: contradiction
Language: su_FORMAL
Premise: Hukum Gossen 2 ogé disebut hukum guna Horizontal sabab ngabahas pemuasan kana sababaraha barang, sedengkeun hukum Gossen 1 disebut hukum guna vertikal sabab ngan ngabahas pemuasan hiji jinis barang.
Hypothesis: Hukum Gossen kahiji sareng kadua dikategorikeun minangka hukum guna vertikal.
Label: contradiction
Language: su_FORMAL
Premise: Hukum Gossen 2 ogé disebut hukum guna Horizontal sabab ngabahas pemuasan kana sababaraha barang, sedengkeun hukum Gossen 1 disebut hukum guna vertikal sabab ngan ngabahas pemuasan hiji jinis barang.
Hypothesis: Beda antara kadua hukum kasebut aya dina jumlah barang anu dipuaskan.
Label: entailment
Language: su_FORMAL
Premise: Hukum Gossen 2 ogé disebut hukum guna Horizontal sabab ngabahas pemuasan kana sababaraha barang, sedengkeun hukum Gossen 1 disebut hukum guna vertikal sabab ngan ngabahas pemuasan hiji jinis barang.
Hypothesis: Kadua hukum Gossen sami-sami ngabahas ngeunaan pemuasan kana barang.
Label: entailment
Language: su_FORMAL
Premise: Hukum Gossen 2 ogé disebut hukum guna Horizontal sabab ngabahas pemuasan kana sababaraha barang, sedengkeun hukum Gossen 1 disebut hukum guna vertikal sabab ngan ngabahas pemuasan hiji jinis barang.
Hypothesis: Kadua hukum Gossen ngagaduhan tingkat aplikasi anu sami di kahirupan masarakat.
Label: neutral
Language: su_FORMAL
Premise: Hukum Gossen 2 ogé disebut hukum guna Horizontal sabab ngabahas pemuasan kana sababaraha barang, sedengkeun hukum Gossen 1 disebut hukum guna vertikal sabab ngan ngabahas pemuasan hiji jinis barang.
Hypothesis: Hukum Gossen seueur dijadikeun studi kasus kumaha kabutuhan masarakat tiasa mangaruhan harga pasar.
Label: neutral
Language: su_FORMAL
Premise: Hukum pewarisan Mendel nyaéta hukum ngeunaan pewarisan sipat dina organisme anu dijelaskeun ku Gregor Johann Mendel dina karyanya 'Percobaan ngeunaan Persilangan Tanaman'.
Hypothesis: Hukum pewarisan Mendel ogé ngawengku hukum ngeunaan pewarisan sipat dina organisme anu dijelaskeun ku Gregor Johann Mendel dina karyanya 'Percobaan ngeunaan Persilangan Héwan'.
Label: contradiction
Language: su_FORMAL
Premise: Hukum pewarisan Mendel nyaéta hukum ngeunaan pewarisan sipat dina organisme anu dijelaskeun ku Gregor Johann Mendel dina karyanya 'Percobaan ngeunaan Persilangan Tanaman'.
Hypothesis: Hukum pewarisan sipat can sempat ditulis ku Mendel dina bentuk karya ilmiah.
Label: contradiction
Language: su_FORMAL
Premise: Hukum pewarisan Mendel nyaéta hukum ngeunaan pewarisan sipat dina organisme anu dijelaskeun ku Gregor Johann Mendel dina karyanya 'Percobaan ngeunaan Persilangan Tanaman'.
Hypothesis: Gregor Johann Mendel gaduh kontribusi kailmuan dina widang genetika.
Label: entailment
Language: su_FORMAL
Premise: Hukum pewarisan Mendel nyaéta hukum ngeunaan pewarisan sipat dina organisme anu dijelaskeun ku Gregor Johann Mendel dina karyanya 'Percobaan ngeunaan Persilangan Tanaman'.
Hypothesis: Mendel ngajelaskeun hukum pewarisan sipat dina salah sahiji karya tulisna.
Label: entailment
Language: su_FORMAL
Premise: Hukum pewarisan Mendel nyaéta hukum ngeunaan pewarisan sipat dina organisme anu dijelaskeun ku Gregor Johann Mendel dina karyanya 'Percobaan ngeunaan Persilangan Tanaman'.
Hypothesis: Hukum pewarisan sipat kapendak sateuacan taun 1800-an.
Label: neutral
Language: su_FORMAL
Premise: Hukum pewarisan Mendel nyaéta hukum ngeunaan pewarisan sipat dina organisme anu dijelaskeun ku Gregor Johann Mendel dina karyanya 'Percobaan ngeunaan Persilangan Tanaman'.
Hypothesis: Salain hukum pewarisan sipat, Mendel ogé gaduh kontribusi dina téori évolusi.
Label: neutral
Language: su_FORMAL
Premise: Gen gaduh bentuk-bentuk alternatif anu ngatur variasi dina karakter turunanana.
Hypothesis: Gen henteu gaduh bentuk-bentuk alternatif anu ngatur variasi dina karakter turunanana.
Label: contradiction
Language: su_FORMAL
Premise: Gen gaduh bentuk-bentuk alternatif anu ngatur variasi dina karakter turunanana.
Hypothesis: Gen gaduh bentuk anu monoton.
Label: contradiction
Language: su_FORMAL
Premise: Gen gaduh bentuk-bentuk alternatif anu ngatur variasi dina karakter turunanana.
Hypothesis: Gen gaduh sababaraha bentuk.
Label: entailment
Language: su_FORMAL
Premise: Gen gaduh bentuk-bentuk alternatif anu ngatur variasi dina karakter turunanana.
Hypothesis: Bentuk gen mangaruhan variasi karakter turunan.
Label: entailment
Language: su_FORMAL
Premise: Gen gaduh bentuk-bentuk alternatif anu ngatur variasi dina karakter turunanana.
Hypothesis: Bentuk gen anu aya dina manusa variasina langkung seueur dibandingkeun sareng variasi dina gen tutuwuhan.
Label: neutral
Language: su_FORMAL
Premise: Gen gaduh bentuk-bentuk alternatif anu ngatur variasi dina karakter turunanana.
Hypothesis: Nepika ayeuna, aya langkung ti 1000 bentuk alternatif ti gen.
Label: neutral
Language: su_FORMAL
Premise: Upami sapasang gen ieu mangrupikeun dua alel anu béda (Sb sareng sB dina gambar 2), alel dominan (S atanapi B) bakal salawasna kaekspresikeun (katingal sacara visual ti luar).
Hypothesis: Upami sapasang gen ieu mangrupikeun dua alel anu béda (Sb sareng sB dina gambar 2), alel dominan (S atanapi B) bakal salawasna kaekspresikeun (katingal sacara visual ti luar), nanging dina kaayaan tangtu tiasa henteu katingali.
Label: contradiction
Language: su_FORMAL
Premise: Upami sapasang gen ieu mangrupikeun dua alel anu béda (Sb sareng sB dina gambar 2), alel dominan (S atanapi B) bakal salawasna kaekspresikeun (katingal sacara visual ti luar).
Hypothesis: Upami sapasang gen ieu mangrupikeun dua alel anu béda (Sb sareng sB dina gambar 2), alel dominan (S atanapi B) bakal salawasna kaekspresikeun (teu katingal sacara visual ti luar).
Label: contradiction
Language: su_FORMAL
Premise: Upami sapasang gen ieu mangrupikeun dua alel anu béda (Sb sareng sB dina gambar 2), alel dominan (S atanapi B) bakal salawasna kaekspresikeun (katingal sacara visual ti luar).
Hypothesis: Upami sapasang gen ieu mangrupikeun dua alel anu béda (Sb sareng sB dina gambar 2), alel resesif (S atanapi B) bakal salawasna kaekspresikeun (katingal sacara visual ti luar).
Label: contradiction
Language: su_FORMAL
Premise: Upami sapasang gen ieu mangrupikeun dua alel anu béda (Sb sareng sB dina gambar 2), alel dominan (S atanapi B) bakal salawasna kaekspresikeun (katingal sacara visual ti luar).
Hypothesis: Upami kedua gen ieu mangrupikeun dua alel anu béda (Sb sareng sB dina gambar 2), alel dominan (S atanapi B) bakal salawasna kaekspresikeun (katingal sacara visual ti luar).
Label: entailment
Language: su_FORMAL
Premise: Upami sapasang gen ieu mangrupikeun dua alel anu béda (Sb sareng sB dina gambar 2), alel dominan (S atanapi B) bakal salawasna kaekspresikeun (katingal sacara visual ti luar).
Hypothesis: Upami sapasang gen ieu mangrupikeun dua alel anu béda (Sb sareng sB dina gambar 2), alel dominan (S atanapi B) bakal salawasna katingali.
Label: entailment
Language: su_FORMAL
Premise: Upami sapasang gen ieu mangrupikeun dua alel anu béda (Sb sareng sB dina gambar 2), alel dominan (S atanapi B) bakal salawasna kaekspresikeun (katingal sacara visual ti luar).
Hypothesis: Upami sapasang gen ieu mangrupikeun dua alel anu béda (Sb sareng sB dina gambar 2), alel dominan (S atanapi B) bakal salawasna kaekspresikeun kalayan massa anu béda.
Label: neutral
Language: su_FORMAL
Premise: Teorema nilai rata-rata sahih keneh dina kaayaan anu langkung umum.
Hypothesis: Teorema nilai rata-rata henteu sahih dina kaayaan anu langkung umum.
Label: contradiction
Language: su_FORMAL
Premise: Teorema nilai rata-rata sahih keneh dina kaayaan anu langkung umum.
Hypothesis: Teorema nilai rata-rata sahih keneh dina kaayaan anu langkung husus.
Label: contradiction
Language: su_FORMAL
Premise: Teorema nilai rata-rata sahih keneh dina kaayaan anu langkung umum.
Hypothesis: Teorema nilai rata-rata iasa keneh dianggo dina kaayaan anu langkung umum.
Label: entailment
Language: su_FORMAL
Premise: Teorema nilai rata-rata sahih keneh dina kaayaan anu langkung umum.
Hypothesis: Teorema nilai rata-rata sahih keneh dina kaayaan anu langkung umum nurutkeun saurang matematikawan ti MIT.
Label: neutral
Language: su_FORMAL
Premise: Teorema nilai rata-rata sahih keneh dina kaayaan anu langkung umum.
Hypothesis: Teorema nilai rata-rata sahih keneh dina kaayaan anu langkung umum, hal ieu anyar waé dibuktikeun ku Prof. Hassan dina publikasi terbaruna.
Label: neutral
Language: su_FORMAL
Premise: Sistem kalayan massa anu robih-robih sapertos roket atanapi ember anu bolong biasana henteu tiasa dihitung sapertos sistem partikel, ku kituna hukum kadua Newton henteu tiasa dianggo langsung.
Hypothesis: Sistem kalayan massa anu robih-robih sapertos roket atanapi ember anu bolong biasana henteu tiasa dihitung sapertos sistem partikel, ku kituna hukum kadua Newton tiasa dianggo langsung.
Label: contradiction
Language: su_FORMAL
Premise: Sistem kalayan massa anu robih-robih sapertos roket atanapi ember anu bolong biasana henteu tiasa dihitung sapertos sistem partikel, ku kituna hukum kadua Newton henteu tiasa dianggo langsung.
Hypothesis: Sistem kalayan massa anu robih-robih sapertos roket atanapi ember anu bolong biasana henteu tiasa dihitung sapertos sistem partikel, ku kituna hukum kahiji Newton henteu tiasa dianggo langsung.
Label: contradiction
Language: su_FORMAL
Premise: Sistem kalayan massa anu robih-robih sapertos roket atanapi ember anu bolong biasana henteu tiasa dihitung sapertos sistem partikel, ku kituna hukum kadua Newton henteu tiasa dianggo langsung.
Hypothesis: Pikeun sistem kalayan massa anu henteu robih, hukum kadua Newton tiasa dianggo langsung.
Label: entailment
Language: su_FORMAL
Premise: Sistem kalayan massa anu robih-robih sapertos roket atanapi ember anu bolong biasana henteu tiasa dihitung sapertos sistem partikel, ku kituna hukum kadua Newton henteu tiasa dianggo langsung.
Hypothesis: Hukum Newton aya hubunganana sareng fenomena fisika.
Label: entailment
Language: su_FORMAL
Premise: Sistem kalayan massa anu robih-robih sapertos roket atanapi ember anu bolong biasana henteu tiasa dihitung sapertos sistem partikel, ku kituna hukum kadua Newton henteu tiasa dianggo langsung.
Hypothesis: Hukum Newton dipublikasikeun awalna di Perancis.
Label: neutral
Language: su_FORMAL
Premise: Sistem kalayan massa anu robih-robih sapertos roket atanapi ember anu bolong biasana henteu tiasa dihitung sapertos sistem partikel, ku kituna hukum kadua Newton henteu tiasa dianggo langsung.
Hypothesis: Hukum Newton mimiti dipikawanoh saprak awal taun 1800-an.
Label: neutral
Language: su_FORMAL
Premise: Teorema Terakhir Fermat (Fermat's Last Theorem) nyaéta salah sahiji teorema anu paling kasohor dina matematika, diciptakeun ku Pierre de Fermat dina abad ka-17.
Hypothesis: Teorema Terakhir Fermat (Fermat's Last Theorem) diciptakeun ku Pierre de Fermat sateuacan abad ka-17.
Label: contradiction
Language: su_FORMAL
Premise: Teorema Terakhir Fermat (Fermat's Last Theorem) nyaéta salah sahiji teorema anu paling kasohor dina matematika, diciptakeun ku Pierre de Fermat dina abad ka-17.
Hypothesis: Fermat's Last Theorem nyaéta teorema matematika anu henteu teuing populér.
Label: contradiction
Language: su_FORMAL
Premise: Teorema Terakhir Fermat (Fermat's Last Theorem) nyaéta salah sahiji teorema anu paling kasohor dina matematika, diciptakeun ku Pierre de Fermat dina abad ka-17.
Hypothesis: Pierre de Fermat ngadamel teorema terakhir Fermat dina abad ka-17.
Label: entailment
Language: su_FORMAL
Premise: Teorema Terakhir Fermat (Fermat's Last Theorem) nyaéta salah sahiji teorema anu paling kasohor dina matematika, diciptakeun ku Pierre de Fermat dina abad ka-17.
Hypothesis: Fermat's Last Theorem diciptakeun sateuacan abad ka-20.
Label: entailment
Language: su_FORMAL
Premise: Teorema Terakhir Fermat (Fermat's Last Theorem) nyaéta salah sahiji teorema anu paling kasohor dina matematika, diciptakeun ku Pierre de Fermat dina abad ka-17.
Hypothesis: Fermat mendakan teorema éta nalika anjeunna yuswaan keneh 25 taun.
Label: neutral
Language: su_FORMAL
Premise: Teorema Terakhir Fermat (Fermat's Last Theorem) nyaéta salah sahiji teorema anu paling kasohor dina matematika, diciptakeun ku Pierre de Fermat dina abad ka-17.
Hypothesis: Fermat nyaéta matematikawan ti Perancis.
Label: neutral
Language: su_FORMAL
Premise: Sakitar taun 1955, matematikawan Jepang Goro Shimura sareng Yutaka Taniyama ngawaskeun kamungkinan hubungan antara dua widang anu béda dina matematika, nyaéta kurva eliptik sareng bentuk modular.
Hypothesis: Goro Shimura sareng Yutaka Taniyama nalungtik kurva eliptik sareng bentuk modular salami langkung ti 1955 taun.
Label: contradiction
Language: su_FORMAL
Premise: Sakitar taun 1955, matematikawan Jepang Goro Shimura sareng Yutaka Taniyama ngawaskeun kamungkinan hubungan antara dua widang anu béda dina matematika, nyaéta kurva eliptik sareng bentuk modular.
Hypothesis: Goro Shimura sareng Yutaka Taniyama nyaéta ahli dina élmu biologi.
Label: contradiction
Language: su_FORMAL
Premise: Sakitar taun 1955, matematikawan Jepang Goro Shimura sareng Yutaka Taniyama ngawaskeun kamungkinan hubungan antara dua widang anu béda dina matematika, nyaéta kurva eliptik sareng bentuk modular.
Hypothesis: Goro Shimura sareng Yutaka Taniyama ahli dina widang matematika.
Label: entailment
Language: su_FORMAL
Premise: Sakitar taun 1955, matematikawan Jepang Goro Shimura sareng Yutaka Taniyama ngawaskeun kamungkinan hubungan antara dua widang anu béda dina matematika, nyaéta kurva eliptik sareng bentuk modular.
Hypothesis: Dina pertengahan abad ka-20, matematikawan Jepang Goro Shimura sareng Yutaka Taniyama ngawaskeun kamungkinan hubungan antara dua widang anu béda dina matematika, nyaéta kurva eliptik sareng bentuk modular.
Label: entailment
Language: su_FORMAL
Premise: Sakitar taun 1955, matematikawan Jepang Goro Shimura sareng Yutaka Taniyama ngawaskeun kamungkinan hubungan antara dua widang anu béda dina matematika, nyaéta kurva eliptik sareng bentuk modular.
Hypothesis: Goro Shimura sareng Yutaka Taniyama nalungtik kurva eliptik sareng bentuk modular salami langkung ti 10 taun.
Label: neutral
Language: su_FORMAL
Premise: Sakitar taun 1955, matematikawan Jepang Goro Shimura sareng Yutaka Taniyama ngawaskeun kamungkinan hubungan antara dua widang anu béda dina matematika, nyaéta kurva eliptik sareng bentuk modular.
Hypothesis: Sakitar taun 1955 dina bulan Désémber, matematikawan Jepang Goro Shimura sareng Yutaka Taniyama ngawaskeun kamungkinan hubungan antara dua widang anu béda dina matematika, nyaéta kurva eliptik sareng bentuk modular
Label: neutral
Language: su_FORMAL
Premise: Dina taun 1984, Gerhard Frey ngawaskeun hiji hubungan antara persamaan Fermat sareng Konjektur Taniyama-Shimura-Weil (anu ayeuna disebut teorema modularitas).
Hypothesis: Dina taun 1983, Gerhard Frey ngawaskeun hiji hubungan antara persamaan Fermat sareng Konjektur Taniyama-Shimura-Weil (anu ayeuna disebut teorema modularitas).
Label: contradiction
Language: su_FORMAL
Premise: Dina taun 1984, Gerhard Frey ngawaskeun hiji hubungan antara persamaan Fermat sareng Konjektur Taniyama-Shimura-Weil (anu ayeuna disebut teorema modularitas).
Hypothesis: Dina taun 1983, Gerhard Frey ngawaskeun hiji hubungan antara persamaan Fermat sareng Hukum Newton (anu ayeuna disebut teorema modularitas).
Label: contradiction
Language: su_FORMAL
Premise: Dina taun 1984, Gerhard Frey ngawaskeun hiji hubungan antara persamaan Fermat sareng Konjektur Taniyama-Shimura-Weil (anu ayeuna disebut teorema modularitas).
Hypothesis: Gerhard Frey ngawaskeun hiji hubungan antara persamaan Fermat sareng Konjektur Taniyama-Shimura-Weil sateuacan taun 1990.
Label: entailment
Language: su_FORMAL
Premise: Dina taun 1984, Gerhard Frey ngawaskeun hiji hubungan antara persamaan Fermat sareng Konjektur Taniyama-Shimura-Weil (anu ayeuna disebut teorema modularitas).
Hypothesis: Gerhard Frey ngalaksanakeun panalungtikan anu aya hubunganana sareng persamaan Fermat sareng teorema modularitas.
Label: entailment
Language: su_FORMAL
Premise: Dina taun 1984, Gerhard Frey ngawaskeun hiji hubungan antara persamaan Fermat sareng Konjektur Taniyama-Shimura-Weil (anu ayeuna disebut teorema modularitas).
Hypothesis: Gerhard Frey hasil mendakan téori anyar anu ngajelaskeun hubungan antara persamaan Fermat sareng teorema modularitas.
Label: neutral
Language: su_FORMAL
Premise: Dina taun 1984, Gerhard Frey ngawaskeun hiji hubungan antara persamaan Fermat sareng Konjektur Taniyama-Shimura-Weil (anu ayeuna disebut teorema modularitas).
Hypothesis: Dina taun 1984, Gerhard Frey sareng sababaraha mahasiswa doktoral ngawaskeun hiji hubungan antara persamaan Fermat sareng Konjektur Taniyama-Shimura-Weil (anu ayeuna disebut teorema modularitas).
Label: neutral
Language: su_FORMAL
Premise: Aya sababaraha generalisasi tina persamaan Fermat ka persamaan anu langkung umum anu ngamungkinkeun ayana eksponen n janten bilangan bulat négatif atanapi rasional, atanapi pikeun mertimbangkeun tilu eksponen anu béda
Hypothesis: Aya sababaraha generalisasi tina persamaan Fermat ka persamaan anu langkung husus anu ngamungkinkeun ayana eksponen n janten bilangan bulat négatif atanapi rasional, atanapi pikeun mertimbangkeun tilu eksponen anu béda.
Label: contradiction
Language: su_FORMAL
Premise: Aya sababaraha generalisasi tina persamaan Fermat ka persamaan anu langkung umum anu ngamungkinkeun ayana eksponen n janten bilangan bulat négatif atanapi rasional, atanapi pikeun mertimbangkeun tilu eksponen anu béda
Hypothesis: Persamaan Fermat teu gaduh generalisasi.
Label: contradiction
Language: su_FORMAL
Premise: Aya sababaraha generalisasi tina persamaan Fermat ka persamaan anu langkung umum anu ngamungkinkeun ayana eksponen n janten bilangan bulat négatif atanapi rasional, atanapi pikeun mertimbangkeun tilu eksponen anu béda
Hypothesis: Bentuk anu langkung umum tina persamaan Fermat tiasa dianggo pikeun eksponen n janten bilangan négatif.
Label: entailment
Language: su_FORMAL
Premise: Aya sababaraha generalisasi tina persamaan Fermat ka persamaan anu langkung umum anu ngamungkinkeun ayana eksponen n janten bilangan bulat négatif atanapi rasional, atanapi pikeun mertimbangkeun tilu eksponen anu béda
Hypothesis: Persamaan Fermat kapanggih sateuacan taun 1900.
Label: neutral
Language: su_FORMAL
Premise: Aya sababaraha generalisasi tina persamaan Fermat ka persamaan anu langkung umum anu ngamungkinkeun ayana eksponen n janten bilangan bulat négatif atanapi rasional, atanapi pikeun mertimbangkeun tilu eksponen anu béda
Hypothesis: Persamaan Fermat kapanggih ku élmuwan Perancis
Label: neutral