| http://dbpedia.org/ontology/abstract
|
En matematiko, filozofio kaj logiko, se kaj nur se aŭ mallonge "s.n.s" estas ligesprimo de du asertoj. La frazo "P estas necesa kaj sufiĉa por Q" havas la saman signifon kiel "Q s.n.s. P". Formule oni indikas tiun rilaton per la signoj ⇔ aŭ ≡.
, Om och endast om (förkortat omm) är ett ut … Om och endast om (förkortat omm) är ett uttryck som förekommer inom matematik och logik. Med och som beteckningar för påståenden, är satsen " om och endast om ", liktydig med att de två påståendena är ekvivalenta. Ett annat sätt att uttrycka detta är att är ett nödvändigt och tillräckligt villkor för . Inom matematiken används "" och inom logiken "", där båda symbolerna tolkas som materiell ekvivalens. är liktydig med och , det vill säga en materiell implikation, som går i båda riktningarna. Om och endast om definieras av samma sanningsvärdetabell som materiell ekvivalens.ningsvärdetabell som materiell ekvivalens.
, التطابق الاستلزامي أو إذا وفقط إذا هي وصلة … التطابق الاستلزامي أو إذا وفقط إذا هي وصلة منطقية تستخدم في الرياضيات والفلسفة بين عبارتين. إن أي عبارتين ترتبطان بهذه الوصلة الثنائية تكونان بحيث أن صحة أي عبارة تتوقف على صحة العبارة الثانية، أي أن تكون العبارتان صحيحتان أو خاطئتان، أي أنها تعني «إذا» ولكن تعمل باتجاهين. يرمز لها عادة بالترميز iff. و تستتلزم لتحققها تحقق الطرفين معا أو إنفائهما معا اى ان كلا الطرفين ملزمان بعضهما بعضا. يعبر عنها بالبوابة المنطقية XNORهما بعضا. يعبر عنها بالبوابة المنطقية XNOR
, Η φράση αν και μόνο αν είναι μια της ισοδυ … Η φράση αν και μόνο αν είναι μια της ισοδυναμίας. Χρησιμοποιείται στη λογική και σε άλλα επιστημονικά πεδία που βασίζονται σε αυτή, όπως τα μαθηματικά και η φιλοσοφία. Συνδέει δύο ισχυρισμούς δηλώνοντας ότι, για να είναι ο ένας αληθής θα πρέπει να είναι αναγκαστικά και ο άλλος αληθής. Συνεπώς, είτε και οι δύο ισχυρισμοί είναι αληθείς είτε και οι δύο ψευδείς. Εναλλακτικές διατυπώσεις του «το Α συμβαίνει αν και μόνο αν συμβαίνει το Β», ανάλογα με τα εκάστοτε συμφραζόμενα, είναι οι παρακάτω:
* «Το Α συμβαίνει τότε και μόνο τότε συμβαίνει το Β.»
* «Το Α αποτελεί ικανή και αναγκαία συνθήκη για το Β.»
* «Για να συμβαίνει το Α πρέπει και αρκεί να συμβαίνει το Β.»
* «Το Α ορίζεται ως το Β.»
* «Το Β είναι χαρακτηρισμός του Α.»
* «Το Α είναι (λογικά) ισοδύναμο με το Β.»
* «Το Α συνεπάγεται το Β, και αντιστρόφως.» Ειδικά στη μαθηματική λογική και γενικότερα στα μαθηματικά, το «αν και μόνο αν» συντομογραφείται «ανν» ή «αν-ν» και συμβολίζεται ως ή ή .ι «ανν» ή «αν-ν» και συμβολίζεται ως ή ή .
, En algunos contextos en matemáticas y lógi … En algunos contextos en matemáticas y lógica, un bicondicional (equivalencia o doble implicación, en ocasiones abreviado en español como sii) es un operador lógico binario, es decir, una función , siendo B cualquier conjunto con , aunque es común que se considere a B como o . El bicondicional también se desempeña como conectivo lógico, permitiendo formular expresiones de la forma «P si y solo si Q», que es verdadera en el caso de que ambos componentes tengan el mismo valor de verdad. En otro contexto el bicondicional representa la equivalencia lógica entre dos proposiciones.uivalencia lógica entre dos proposiciones.
, In matematica, filosofia, logica e nei cam … In matematica, filosofia, logica e nei campi tecnici che ne dipendono, si usa spesso l'espressione se e solo se, o l'abbreviazione sse, per esprimere l'equivalenza logica di due enunciati, esplicitando che i due enunciati hanno lo stesso valore di verità: se è vero il secondo allora è vero anche il primo, e viceversa. Nella scrittura, le seguenti espressioni sono equivalenti
* "P se e solo se Q",
* "P sse Q",
* "P è condizione necessaria e sufficiente per Q",
* "P è equivalente a Q". Nelle formulazioni logiche i simboli logici sono usati al posto di queste frasi; vedi la discussione sulle notazioni. Il connettivo logico se e solo se compare nella logica proposizionale con la seguente tavola di verità. In logica matematica l'espressione "a ↔ b" è equivalente all'espressione "". Questa proprietà viene utilizzata in tutti i campi della matematica quando è necessario dimostrare una proprietà del tipo "a ⇔ b"; in questi casi, quindi, si dimostra in un primo momento che e successivamente che . Una definizione informale del connettivo logico sse risulta essere: "ponte tra sinonimi". Esiste infatti un isomorfismo tra una parola e un suo sinonimo.morfismo tra una parola e un suo sinonimo.
, In logic and related fields such as mathem … In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false. The connective is biconditional (a statement of material equivalence), and can be likened to the standard material conditional ("only if", equal to "if ... then") combined with its reverse ("if"); hence the name. The result is that the truth of either one of the connected statements requires the truth of the other (i.e. either both statements are true, or both are false), though it is controversial whether the connective thus defined is properly rendered by the English "if and only if"—with its pre-existing meaning. For example, P if and only if Q means that P is true whenever Q is true, and the only case in which P is true is if Q is also true, whereas in the case of P if Q, there could be other scenarios where P is true and Q is false. In writing, phrases commonly used as alternatives to P "if and only if" Q include: Q is necessary and sufficient for P, for P it is necessary and sufficient that Q, P is equivalent (or materially equivalent) to Q (compare with material implication), P precisely if Q, P precisely (or exactly) when Q, P exactly in case Q, and P just in case Q. Some authors regard "iff" as unsuitable in formal writing; others consider it a "borderline case" and tolerate its use. In logical formulae, logical symbols, such as and , are used instead of these phrases; see below. used instead of these phrases; see below.
, «Тогда́ и то́лько тогда́» — логическая свя … «Тогда́ и то́лько тогда́» — логическая связка эквиваленции между утверждениями, применяемая в логике, математике, философии. Чтобы быть эквиваленцией, связка должна быть идентична стандартному материальному условному высказыванию («только тогда» эквивалентно «если … то»), соединённому со своей противоположностью, откуда и название связки. В результате истинность одного утверждения требует такой же истинности другого, то есть либо оба они истинны, либо оба ложны. Можно спорить о том, передаёт ли выражение русского языка «тогда и только тогда» определённую выше связку с её уже существующим смыслом. Конечно, ничто не может помешать нам читать эту связку именно как «тогда и только тогда», хотя это может иногда привести к путанице. В письменной форме в качестве альтернативы к «тогда и только тогда» часто используется достаточно спорные выражения, включающие: Q необходимо и достаточно для Р; Р эквивалентно (или материально эквивалентно) Q; Р точно, если Q; P точно, когда Q; P точно в случае Q; P именно в случае Q. В логических формулах вместо всех вышеприведённых фраз используются логические символы.нных фраз используются логические символы.
, Dan en slechts dan als (afkorting: desda) … Dan en slechts dan als (afkorting: desda) is in de wiskunde en in de logica een algemeen gebruikte uitdrukking om equivalentie van twee uitspraken aan te geven. Varianten zijn onder andere bi-implicatie, wederzijdse implicatie, dan en alleen dan als en P is nodig en voldoende voor Q (als alternatief voor P dan en slechts dan als Q). Het symbool voor 'dan en slechts dan als' is ⇔. Onder andere in het academisch wiskundemilieu gebruikt men als en slechts dan als. Equivalente uitdrukkingen: asa (het in België meer gebruikte als en slechts als), aeaa (als en alleen als). In Engelstalige literatuur gebruikt men de uitdrukking iff (voor if and only if). betekent: P is waar dan en slechts dan als Q waar is. Een andere manier om hetzelfde te zeggen is: óf P en Q zijn allebei waar, óf P en Q zijn allebei onwaar.lebei waar, óf P en Q zijn allebei onwaar.
, 当且仅当（英語：if and only if，iff），在數位邏輯中，逻辑算符反互斥 … 当且仅当（英語：if and only if，iff），在數位邏輯中，逻辑算符反互斥或閘（英語：Exclusive NOR）是对两个运算元的一种邏輯分析类型，符号为XNOR或ENOR或。与一般的邏輯或非NOR不同，當兩兩數值相同為是，而數值不同時為否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在这个条件成立，并且仅在这个条件成立时”之意。当命题满足“当则”且“仅当则”时，称为“当且仅当则”，其他等价的说法有“当且仅当”；“是的充分必要条件（充要條件）”；“等价于”。 一般而言，當我們看到“当且仅当则”，我們可以知道“如果成立時，則一定成立；如果成立時，則也一定成立”；“如果不成立時，則一定不成立；如果不成立時，則也一定不成立”。立時，則也一定成立”；“如果不成立時，則一定不成立；如果不成立時，則也一定不成立”。
, У логіці й пов'язаних галузях, таких як ма … У логіці й пов'язаних галузях, таких як математика та філософія, тоді й лише тоді — двоумовний логічний сполучник між твердженнями. Сполучник можна порівняти зі звичайною імплікацією («тільки якщо» те саме, що «якщо … тоді»), поєднаною зі своєю оберненою, звідси й назва (див. також еквіваленція). Істинність одного елемента з пов'язаних тверджень вимагає істинності іншого, тобто, або обидва — істинні, або обидва — хибні. Часто вживається, зі спірною правильністю, альтернативи до «тоді й лише тоді» — Q необхідно й достатньо для P, P еквівалентне до Q (порівняйте з імплікацією). У формулах математичної логіки, замість фрази вживають відповідні символи.замість фрази вживають відповідні символи.
, Se e somente se, ou se e só se (abreviado, sse), em matemática, lógica e filosofia, é uma forma de expressão para um teorema: Se A então B, e se B então A; ou A se e somente se B. O correspondente símbolo lógico é
, Równoważność (lub: ekwiwalencja) – twierdz … Równoważność (lub: ekwiwalencja) – twierdzenie, w którym teza jest warunkiem koniecznym, jak i dostatecznym przesłanki. To zdanie zapisuje się za pomocą spójnika wtedy i tylko wtedy (wtw), gdy... Przykłady: Trawa jest zielona wtedy i tylko wtedy, gdy 2 + 2 = 5. (zdanie fałszywe)Jutro pójdę do kina wtedy i tylko wtedy, gdy będzie ładna pogoda. tzn. pójdę do kina, jeżeli będzie ładna pogoda oraz jeżeli pójdę do kina, to będzie ładna pogoda.eli pójdę do kina, to będzie ładna pogoda.
, Si i només si, en lògica i en camps que re … Si i només si, en lògica i en camps que relacionats amb aquest com les matemàtiques i filosofia, és una connectiva lògica bicondicional entre proposicions. Aquest connector està relacionat amb el condicional ("si") combinat amb el ("només si"); d'aquí li ve el nom. El resultat és que la veritat de cadascun de les proposicions connectats requereixen la veritat de l'altre, i.e. o bé les dues proposicions són certes, o les dues són falses. El connector és per tant un "si" que funciona en els dos sentits. En les publicacions escrites s'utilitza l'abreviatura sii en lloc de "si i només si". Q és necessària i suficient per P, P és equivalent (o materialment equivalent) a Q (comparar implicació material), P es dona si Q, P es dona exactament quan es dona Q, P succeeix si succeeix Q, i P en cas que siguiQ. Molts autors creuen que "sii" no és adequat en escrits formals; d'altres l'utilitzen amb total llibertat. En informàtica la frase "(P sii Q)" és equivalent a la frase "not (P xor Q)" o "P = Q". En les fórmules lògiques, els símbols lògics s'utilitzen en lloc d'aquestes frases; vegeu la discussió sobre la notació.ases; vegeu la discussió sobre la notació.
, Jika dan hanya jika (if and only if; disin … Jika dan hanya jika (if and only if; disingkat iff), dalam logika dan bidang-bidang terkait seperti matematika dan filsafat, adalah suatu di antara pernyataan-pernyataan. Karena merupakan "bikondisional", koneksi itu dapat diserupakan dengan baku ("hanya jika", sama dengan "jika ... maka") dikombinasi dengan kebalikannya ("if"); sehingga dinamakan demikian. Hasilnya adalah bahwa kebenaran dari satu pernyataan terkait membutuhkan kebenaran pernyataan yang lain, yaitu keduanya benar, atau keduanya salah.yaitu keduanya benar, atau keduanya salah.
, 同値（どうち）または等価（とうか）とは、2つの命題が共に真または共に偽のときに真となる論理演算である。英語ではequivalence (EQ)。「if and only if」を略して、iff ともいう。否定排他的論理和 (XNOR) に等しい。演算子記号は ⇔、↔、≡、=、EQ などが使われる。
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Example_of_C_is_no_proper_subset_of_B.svg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://web.archive.org/web/20000505112920/http:/www.math.hawaii.edu/~ramsey/Logic/Iff.html +
, http://www.math.hawaii.edu/~ramsey/Logic/Iff.html +
, http://itre.cis.upenn.edu/~myl/languagelog/archives/003470.html +
, http://hesperusphosphorus.wordpress.com/2009/12/08/just-in-case +
|
| http://dbpedia.org/ontology/wikiPageID
|
14922
|
| http://dbpedia.org/ontology/wikiPageLength
|
15857
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1123150119
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Paul_Halmos +
, http://dbpedia.org/resource/Material_conditional +
, http://dbpedia.org/resource/Logical_biconditional +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/XOR_gate +
, http://dbpedia.org/resource/Subset +
, http://dbpedia.org/resource/Mathematical_jargon +
, http://dbpedia.org/resource/John_L._Kelley +
, http://dbpedia.org/resource/Necessary_and_sufficient_conditions +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Euler_diagram +
, http://dbpedia.org/resource/Logical_connective +
, http://dbpedia.org/resource/Category:Mathematical_terminology +
, http://dbpedia.org/resource/Truth_table +
, http://dbpedia.org/resource/Logical_equality +
, http://dbpedia.org/resource/Proof_theory +
, http://dbpedia.org/resource/Category:Necessity_and_sufficiency +
, http://dbpedia.org/resource/Logical_equivalence +
, http://dbpedia.org/resource/Category:Logical_connectives +
, http://dbpedia.org/resource/Polish_notation +
, http://dbpedia.org/resource/Disjunction +
, http://dbpedia.org/resource/Formula_%28mathematical_logic%29 +
, http://dbpedia.org/resource/Metalogic +
, http://dbpedia.org/resource/Triple_bar +
, http://dbpedia.org/resource/Logical_system +
, http://dbpedia.org/resource/TeX +
, http://dbpedia.org/resource/Domain_of_discourse +
, http://dbpedia.org/resource/Philosophy +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Jan_%C5%81ukasiewicz +
, http://dbpedia.org/resource/Euphony +
, http://dbpedia.org/resource/XNOR_gate +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Propositional_logic +
, http://dbpedia.org/resource/Polysyllogism +
, http://dbpedia.org/resource/Biconditional +
, http://dbpedia.org/resource/Truth-function +
, http://dbpedia.org/resource/Consonant_gemination +
, http://dbpedia.org/resource/Exclusive_nor +
, http://dbpedia.org/resource/Equivalence_relation +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Redirect +
, http://dbpedia.org/resource/Template:Commons_category +
, http://dbpedia.org/resource/Template:Cite_web +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Clear +
, http://dbpedia.org/resource/Template:Section_link +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Resize +
, http://dbpedia.org/resource/Template:IPA +
, http://dbpedia.org/resource/Template:Common_logical_symbols +
, http://dbpedia.org/resource/Template:Redirect-distinguish +
, http://dbpedia.org/resource/Template:Quote_box +
, http://dbpedia.org/resource/Template:Unreferenced_section +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Portal +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Mathematical_terminology +
, http://dbpedia.org/resource/Category:Logical_connectives +
, http://dbpedia.org/resource/Category:Necessity_and_sufficiency +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Biconditional +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/If_and_only_if?oldid=1123150119&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Example_of_A_is_a_proper_subset_of_B.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Example_of_C_is_no_proper_subset_of_B.svg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/If_and_only_if +
|
| owl:differentFrom |
http://dbpedia.org/resource/Bidirectional_traffic +
|
| owl:sameAs |
http://id.dbpedia.org/resource/Jika_dan_hanya_jika +
, http://lmo.dbpedia.org/resource/Se_e_dom%C3%A0_se +
, http://cy.dbpedia.org/resource/Os_ac_yn_unig_os +
, http://nn.dbpedia.org/resource/Viss_og_berre_viss +
, https://global.dbpedia.org/id/55j5B +
, http://ja.dbpedia.org/resource/%E5%90%8C%E5%80%A4 +
, http://fa.dbpedia.org/resource/%D8%A7%DA%AF%D8%B1_%D9%88_%D8%AA%D9%86%D9%87%D8%A7_%D8%A7%DA%AF%D8%B1 +
, http://lt.dbpedia.org/resource/Tada_ir_tik_tada_%28teiginys%29 +
, http://mk.dbpedia.org/resource/%D0%90%D0%BA%D0%BE_%D0%B8_%D1%81%D0%B0%D0%BC%D0%BE_%D0%B0%D0%BA%D0%BE +
, http://da.dbpedia.org/resource/Biimplikation +
, http://zh.dbpedia.org/resource/%E5%BD%93%E4%B8%94%E4%BB%85%E5%BD%93 +
, http://io.dbpedia.org/resource/Se_e_nur_se +
, http://is.dbpedia.org/resource/Eff +
, http://vi.dbpedia.org/resource/T%C6%B0%C6%A1ng_%C4%91%C6%B0%C6%A1ng_logic +
, http://rdf.freebase.com/ns/m.03vn7 +
, http://es.dbpedia.org/resource/Bicondicional +
, http://pl.dbpedia.org/resource/R%C3%B3wnowa%C5%BCno%C5%9B%C4%87 +
, http://ro.dbpedia.org/resource/Dac%C4%83_%C8%99i_numai_dac%C4%83 +
, http://th.dbpedia.org/resource/%E0%B8%81%E0%B9%87%E0%B8%95%E0%B9%88%E0%B8%AD%E0%B9%80%E0%B8%A1%E0%B8%B7%E0%B9%88%E0%B8%AD +
, http://bg.dbpedia.org/resource/%D0%A2%D0%BE%D0%B3%D0%B0%D0%B2%D0%B0_%D0%B8_%D1%81%D0%B0%D0%BC%D0%BE_%D1%82%D0%BE%D0%B3%D0%B0%D0%B2%D0%B0%2C_%D0%BA%D0%BE%D0%B3%D0%B0%D1%82%D0%BE +
, http://he.dbpedia.org/resource/%D7%90%D7%9D_%D7%95%D7%A8%D7%A7_%D7%90%D7%9D +
, http://hu.dbpedia.org/resource/Bikondicion%C3%A1lis +
, http://fi.dbpedia.org/resource/Jos_ja_vain_jos +
, http://pa.dbpedia.org/resource/%E0%A8%9C%E0%A9%87_%E0%A8%85%E0%A8%A4%E0%A9%87_%E0%A8%B8%E0%A8%BF%E0%A8%B0%E0%A8%AB_%E0%A8%9C%E0%A9%87 +
, http://eo.dbpedia.org/resource/Se_kaj_nur_se +
, http://simple.dbpedia.org/resource/If_and_only_if +
, http://pt.dbpedia.org/resource/Se_e_somente_se +
, http://www.wikidata.org/entity/Q949972 +
, http://it.dbpedia.org/resource/Se_e_solo_se +
, http://ru.dbpedia.org/resource/%D0%A2%D0%BE%D0%B3%D0%B4%D0%B0_%D0%B8_%D1%82%D0%BE%D0%BB%D1%8C%D0%BA%D0%BE_%D1%82%D0%BE%D0%B3%D0%B4%D0%B0 +
, http://ur.dbpedia.org/resource/%D8%A7%DA%AF%D8%B1_%D8%A8%D8%B4%D8%B1%D8%B7_%D8%A7%DA%AF%D8%B1 +
, http://ca.dbpedia.org/resource/Si_i_nom%C3%A9s_si +
, http://ia.dbpedia.org/resource/Si_e_solmente_si +
, http://et.dbpedia.org/resource/Parajasti_siis%2C_kui +
, http://ar.dbpedia.org/resource/%D8%A5%D8%B0%D8%A7_%D9%88%D9%81%D9%82%D8%B7_%D8%A5%D8%B0%D8%A7 +
, http://nl.dbpedia.org/resource/Dan_en_slechts_dan_als +
, http://uk.dbpedia.org/resource/%D0%A2%D0%BE%D0%B4%D1%96_%D0%B9_%D0%BB%D0%B8%D1%88%D0%B5_%D1%82%D0%BE%D0%B4%D1%96 +
, http://dbpedia.org/resource/If_and_only_if +
, http://hi.dbpedia.org/resource/%E0%A4%AF%E0%A4%A6%E0%A4%BF_%E0%A4%94%E0%A4%B0_%E0%A4%95%E0%A5%87%E0%A4%B5%E0%A4%B2_%E0%A4%AF%E0%A4%A6%E0%A4%BF +
, http://el.dbpedia.org/resource/%CE%91%CE%BD_%CE%BA%CE%B1%CE%B9_%CE%BC%CF%8C%CE%BD%CE%BF_%CE%B1%CE%BD +
, http://sr.dbpedia.org/resource/%D0%90%D0%BA%D0%BE_%D0%B8_%D1%81%D0%B0%D0%BC%D0%BE_%D0%B0%D0%BA%D0%BE +
, http://hr.dbpedia.org/resource/Akko +
, http://sv.dbpedia.org/resource/Om_och_endast_om +
, http://tr.dbpedia.org/resource/Ancak_ve_ancak +
, http://sh.dbpedia.org/resource/Ako_i_samo_ako +
|
| rdf:type |
http://dbpedia.org/class/yago/Symbol106806469 +
, http://dbpedia.org/class/yago/FunctionWord106291318 +
, http://dbpedia.org/class/yago/Conjunction106325826 +
, http://dbpedia.org/class/yago/Signal106791372 +
, http://dbpedia.org/class/yago/WikicatLogicalConnectives +
, http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/class/yago/WikicatLogicSymbols +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Word106286395 +
, http://dbpedia.org/class/yago/Relation100031921 +
, http://dbpedia.org/class/yago/LanguageUnit106284225 +
, http://dbpedia.org/class/yago/Part113809207 +
|
| rdfs:comment |
Jika dan hanya jika (if and only if; disin … Jika dan hanya jika (if and only if; disingkat iff), dalam logika dan bidang-bidang terkait seperti matematika dan filsafat, adalah suatu di antara pernyataan-pernyataan. Karena merupakan "bikondisional", koneksi itu dapat diserupakan dengan baku ("hanya jika", sama dengan "jika ... maka") dikombinasi dengan kebalikannya ("if"); sehingga dinamakan demikian. Hasilnya adalah bahwa kebenaran dari satu pernyataan terkait membutuhkan kebenaran pernyataan yang lain, yaitu keduanya benar, atau keduanya salah.yaitu keduanya benar, atau keduanya salah.
, 当且仅当（英語：if and only if，iff），在數位邏輯中，逻辑算符反互斥 … 当且仅当（英語：if and only if，iff），在數位邏輯中，逻辑算符反互斥或閘（英語：Exclusive NOR）是对两个运算元的一种邏輯分析类型，符号为XNOR或ENOR或。与一般的邏輯或非NOR不同，當兩兩數值相同為是，而數值不同時為否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在这个条件成立，并且仅在这个条件成立时”之意。当命题满足“当则”且“仅当则”时，称为“当且仅当则”，其他等价的说法有“当且仅当”；“是的充分必要条件（充要條件）”；“等价于”。 一般而言，當我們看到“当且仅当则”，我們可以知道“如果成立時，則一定成立；如果成立時，則也一定成立”；“如果不成立時，則一定不成立；如果不成立時，則也一定不成立”。立時，則也一定成立”；“如果不成立時，則一定不成立；如果不成立時，則也一定不成立”。
, In logic and related fields such as mathem … In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false. In logical formulae, logical symbols, such as and , are used instead of these phrases; see below. used instead of these phrases; see below.
, Η φράση αν και μόνο αν είναι μια της ισοδυ … Η φράση αν και μόνο αν είναι μια της ισοδυναμίας. Χρησιμοποιείται στη λογική και σε άλλα επιστημονικά πεδία που βασίζονται σε αυτή, όπως τα μαθηματικά και η φιλοσοφία. Συνδέει δύο ισχυρισμούς δηλώνοντας ότι, για να είναι ο ένας αληθής θα πρέπει να είναι αναγκαστικά και ο άλλος αληθής. Συνεπώς, είτε και οι δύο ισχυρισμοί είναι αληθείς είτε και οι δύο ψευδείς. Εναλλακτικές διατυπώσεις του «το Α συμβαίνει αν και μόνο αν συμβαίνει το Β», ανάλογα με τα εκάστοτε συμφραζόμενα, είναι οι παρακάτω: εκάστοτε συμφραζόμενα, είναι οι παρακάτω:
, En matematiko, filozofio kaj logiko, se kaj nur se aŭ mallonge "s.n.s" estas ligesprimo de du asertoj. La frazo "P estas necesa kaj sufiĉa por Q" havas la saman signifon kiel "Q s.n.s. P". Formule oni indikas tiun rilaton per la signoj ⇔ aŭ ≡.
, У логіці й пов'язаних галузях, таких як ма … У логіці й пов'язаних галузях, таких як математика та філософія, тоді й лише тоді — двоумовний логічний сполучник між твердженнями. Сполучник можна порівняти зі звичайною імплікацією («тільки якщо» те саме, що «якщо … тоді»), поєднаною зі своєю оберненою, звідси й назва (див. також еквіваленція). Істинність одного елемента з пов'язаних тверджень вимагає істинності іншого, тобто, або обидва — істинні, або обидва — хибні. Часто вживається, зі спірною правильністю, альтернативи до «тоді й лише тоді» — Q необхідно й достатньо для P, P еквівалентне до Q (порівняйте з імплікацією).івалентне до Q (порівняйте з імплікацією).
, Si i només si, en lògica i en camps que re … Si i només si, en lògica i en camps que relacionats amb aquest com les matemàtiques i filosofia, és una connectiva lògica bicondicional entre proposicions. Aquest connector està relacionat amb el condicional ("si") combinat amb el ("només si"); d'aquí li ve el nom. El resultat és que la veritat de cadascun de les proposicions connectats requereixen la veritat de l'altre, i.e. o bé les dues proposicions són certes, o les dues són falses. El connector és per tant un "si" que funciona en els dos sentits. En informàtica la frase "(P sii Q)" és equivalent a la frase "not (P xor Q)" o "P = Q".lent a la frase "not (P xor Q)" o "P = Q".
, «Тогда́ и то́лько тогда́» — логическая свя … «Тогда́ и то́лько тогда́» — логическая связка эквиваленции между утверждениями, применяемая в логике, математике, философии. Чтобы быть эквиваленцией, связка должна быть идентична стандартному материальному условному высказыванию («только тогда» эквивалентно «если … то»), соединённому со своей противоположностью, откуда и название связки. В результате истинность одного утверждения требует такой же истинности другого, то есть либо оба они истинны, либо оба ложны. Можно спорить о том, передаёт ли выражение русского языка «тогда и только тогда» определённую выше связку с её уже существующим смыслом. Конечно, ничто не может помешать нам читать эту связку именно как «тогда и только тогда», хотя это может иногда привести к путанице.хотя это может иногда привести к путанице.
, Dan en slechts dan als (afkorting: desda) … Dan en slechts dan als (afkorting: desda) is in de wiskunde en in de logica een algemeen gebruikte uitdrukking om equivalentie van twee uitspraken aan te geven. Varianten zijn onder andere bi-implicatie, wederzijdse implicatie, dan en alleen dan als en P is nodig en voldoende voor Q (als alternatief voor P dan en slechts dan als Q). Het symbool voor 'dan en slechts dan als' is ⇔. Onder andere in het academisch wiskundemilieu gebruikt men als en slechts dan als.ilieu gebruikt men als en slechts dan als.
, 同値（どうち）または等価（とうか）とは、2つの命題が共に真または共に偽のときに真となる論理演算である。英語ではequivalence (EQ)。「if and only if」を略して、iff ともいう。否定排他的論理和 (XNOR) に等しい。演算子記号は ⇔、↔、≡、=、EQ などが使われる。
, Se e somente se, ou se e só se (abreviado, sse), em matemática, lógica e filosofia, é uma forma de expressão para um teorema: Se A então B, e se B então A; ou A se e somente se B. O correspondente símbolo lógico é
, In matematica, filosofia, logica e nei cam … In matematica, filosofia, logica e nei campi tecnici che ne dipendono, si usa spesso l'espressione se e solo se, o l'abbreviazione sse, per esprimere l'equivalenza logica di due enunciati, esplicitando che i due enunciati hanno lo stesso valore di verità: se è vero il secondo allora è vero anche il primo, e viceversa. Nella scrittura, le seguenti espressioni sono equivalenti
* "P se e solo se Q",
* "P sse Q",
* "P è condizione necessaria e sufficiente per Q",
* "P è equivalente a Q". Il connettivo logico se e solo se compare nella logica proposizionale con la seguente tavola di verità.izionale con la seguente tavola di verità.
, Om och endast om (förkortat omm) är ett ut … Om och endast om (förkortat omm) är ett uttryck som förekommer inom matematik och logik. Med och som beteckningar för påståenden, är satsen " om och endast om ", liktydig med att de två påståendena är ekvivalenta. Ett annat sätt att uttrycka detta är att är ett nödvändigt och tillräckligt villkor för . Inom matematiken används "" och inom logiken "", där båda symbolerna tolkas som materiell ekvivalens. är liktydig med och , det vill säga en materiell implikation, som går i båda riktningarna. Om och endast om definieras av samma sanningsvärdetabell som materiell ekvivalens.ningsvärdetabell som materiell ekvivalens.
, Równoważność (lub: ekwiwalencja) – twierdz … Równoważność (lub: ekwiwalencja) – twierdzenie, w którym teza jest warunkiem koniecznym, jak i dostatecznym przesłanki. To zdanie zapisuje się za pomocą spójnika wtedy i tylko wtedy (wtw), gdy... Przykłady: Trawa jest zielona wtedy i tylko wtedy, gdy 2 + 2 = 5. (zdanie fałszywe)Jutro pójdę do kina wtedy i tylko wtedy, gdy będzie ładna pogoda. tzn. pójdę do kina, jeżeli będzie ładna pogoda oraz jeżeli pójdę do kina, to będzie ładna pogoda.eli pójdę do kina, to będzie ładna pogoda.
, التطابق الاستلزامي أو إذا وفقط إذا هي وصلة … التطابق الاستلزامي أو إذا وفقط إذا هي وصلة منطقية تستخدم في الرياضيات والفلسفة بين عبارتين. إن أي عبارتين ترتبطان بهذه الوصلة الثنائية تكونان بحيث أن صحة أي عبارة تتوقف على صحة العبارة الثانية، أي أن تكون العبارتان صحيحتان أو خاطئتان، أي أنها تعني «إذا» ولكن تعمل باتجاهين. يرمز لها عادة بالترميز iff. و تستتلزم لتحققها تحقق الطرفين معا أو إنفائهما معا اى ان كلا الطرفين ملزمان بعضهما بعضا. يعبر عنها بالبوابة المنطقية XNORهما بعضا. يعبر عنها بالبوابة المنطقية XNOR
, En algunos contextos en matemáticas y lógi … En algunos contextos en matemáticas y lógica, un bicondicional (equivalencia o doble implicación, en ocasiones abreviado en español como sii) es un operador lógico binario, es decir, una función , siendo B cualquier conjunto con , aunque es común que se considere a B como o . El bicondicional también se desempeña como conectivo lógico, permitiendo formular expresiones de la forma «P si y solo si Q», que es verdadera en el caso de que ambos componentes tengan el mismo valor de verdad. En otro contexto el bicondicional representa la equivalencia lógica entre dos proposiciones.uivalencia lógica entre dos proposiciones.
|
| rdfs:label |
Bicondicional
, Równoważność
, 当且仅当
, Se e somente se
, Se kaj nur se
, Тогда и только тогда
, Jika dan hanya jika
, Si i només si
, Αν και μόνο αν
, Om och endast om
, إذا وفقط إذا
, If and only if
, Тоді й лише тоді
, 同値
, Se e solo se
, Dan en slechts dan als
|
|
http://dbpedia.org/resource/If +
|
http://dbpedia.org/ontology/wikiPageDisambiguates
|
|
http://dbpedia.org/resource/If%2C_and_only_if +
, http://dbpedia.org/resource/Material_equivalence +
, http://dbpedia.org/resource/Iff +
, http://dbpedia.org/resource/%E2%87%94 +
, http://dbpedia.org/resource/%E2%86%94 +
, http://dbpedia.org/resource/If_&_only_if +
, http://dbpedia.org/resource/Just_in_case_%28catachresis%29 +
, http://dbpedia.org/resource/Bi-implication +
, http://dbpedia.org/resource/Only_if +
, http://dbpedia.org/resource/Materially_equivalent +
, http://dbpedia.org/resource/%E2%9F%BA +
, http://dbpedia.org/resource/All_and_only +
, http://dbpedia.org/resource/Precisely_when +
|
http://dbpedia.org/ontology/wikiPageRedirects
|
|
http://dbpedia.org/resource/Equivalence_relation +
, http://dbpedia.org/resource/HTTPS +
, http://dbpedia.org/resource/Cartesian_coordinate_system +
, http://dbpedia.org/resource/Discriminant +
, http://dbpedia.org/resource/Euclid%27s_theorem +
, http://dbpedia.org/resource/Harmonic_number +
, http://dbpedia.org/resource/Wilson%27s_theorem +
, http://dbpedia.org/resource/Symmetric_polynomial +
, http://dbpedia.org/resource/Star_%28game_theory%29 +
, http://dbpedia.org/resource/Exclusive_or +
, http://dbpedia.org/resource/Convex_analysis +
, http://dbpedia.org/resource/Paraconsistent_logic +
, http://dbpedia.org/resource/Inverse_trigonometric_functions +
, http://dbpedia.org/resource/Complete_metric_space +
, http://dbpedia.org/resource/Differential_entropy +
, http://dbpedia.org/resource/Ordered_pair +
, http://dbpedia.org/resource/Hilbert_space +
, http://dbpedia.org/resource/Equivalence_of_categories +
, http://dbpedia.org/resource/Parallelogram +
, http://dbpedia.org/resource/Hermitian_matrix +
, http://dbpedia.org/resource/Orthonormality +
, http://dbpedia.org/resource/Implicit_function_theorem +
, http://dbpedia.org/resource/Bilinear_form +
, http://dbpedia.org/resource/Square_root_of_a_matrix +
, http://dbpedia.org/resource/Conjugate_transpose +
, http://dbpedia.org/resource/Diagonalizable_matrix +
, http://dbpedia.org/resource/Characteristic_polynomial +
, http://dbpedia.org/resource/Jordan_normal_form +
, http://dbpedia.org/resource/Block_matrix +
, http://dbpedia.org/resource/Cyclic_permutation +
, http://dbpedia.org/resource/LU_decomposition +
, http://dbpedia.org/resource/Adjugate_matrix +
, http://dbpedia.org/resource/Linear_combination +
, http://dbpedia.org/resource/Scaling_%28geometry%29 +
, http://dbpedia.org/resource/Adjacency_matrix +
, http://dbpedia.org/resource/Equality_%28mathematics%29 +
, http://dbpedia.org/resource/Chebyshev_polynomials +
, http://dbpedia.org/resource/Cyclotomic_polynomial +
, http://dbpedia.org/resource/M%C3%B6bius_function +
, http://dbpedia.org/resource/Anomalous_cancellation +
, http://dbpedia.org/resource/Retroactive_overtime +
, http://dbpedia.org/resource/Planar_SAT +
, http://dbpedia.org/resource/Reentrant_mutex +
, http://dbpedia.org/resource/Monge_array +
, http://dbpedia.org/resource/Negentropy +
, http://dbpedia.org/resource/Consequentialism +
, http://dbpedia.org/resource/Positron_emission +
, http://dbpedia.org/resource/Construction_of_the_real_numbers +
, http://dbpedia.org/resource/Operator_norm +
, http://dbpedia.org/resource/Geometric_progression +
, http://dbpedia.org/resource/Negative_and_positive_rights +
, http://dbpedia.org/resource/Forcing_%28mathematics%29 +
, http://dbpedia.org/resource/Banach%E2%80%93Tarski_paradox +
, http://dbpedia.org/resource/Primitive_recursive_function +
, http://dbpedia.org/resource/G%C3%B6del%27s_completeness_theorem +
, http://dbpedia.org/resource/Hilbert%27s_tenth_problem +
, http://dbpedia.org/resource/Sequent_calculus +
, http://dbpedia.org/resource/Busy_beaver +
, http://dbpedia.org/resource/Packing_problems +
, http://dbpedia.org/resource/Hypergraph +
, http://dbpedia.org/resource/Technical_definition +
, http://dbpedia.org/resource/Straightedge_and_compass_construction +
, http://dbpedia.org/resource/Glossary_of_mathematical_symbols +
, http://dbpedia.org/resource/Identity_%28philosophy%29 +
, http://dbpedia.org/resource/Quadrilateral +
, http://dbpedia.org/resource/Epistemic_theories_of_truth +
, http://dbpedia.org/resource/Dedekind-infinite_set +
, http://dbpedia.org/resource/Logic_and_rationality +
, http://dbpedia.org/resource/Soundness +
, http://dbpedia.org/resource/Denying_the_antecedent +
, http://dbpedia.org/resource/Definite_description +
, http://dbpedia.org/resource/Modulo_operation +
, http://dbpedia.org/resource/Harmonic_mean +
, http://dbpedia.org/resource/Fourth_normal_form +
, http://dbpedia.org/resource/Rhombus +
, http://dbpedia.org/resource/Rectangle +
, http://dbpedia.org/resource/2D_computer_graphics +
, http://dbpedia.org/resource/Logical_conjunction +
, http://dbpedia.org/resource/Monad_%28category_theory%29 +
, http://dbpedia.org/resource/Inverse_element +
, http://dbpedia.org/resource/Metamathematics +
, http://dbpedia.org/resource/Logical_connective +
, http://dbpedia.org/resource/Isomorphism_theorems +
, http://dbpedia.org/resource/Closure_%28mathematics%29 +
, http://dbpedia.org/resource/Quasigroup +
, http://dbpedia.org/resource/Alfred_Tarski +
, http://dbpedia.org/resource/Gottlob_Frege +
, http://dbpedia.org/resource/Dot_product +
, http://dbpedia.org/resource/Hyperbolic_geometry +
, http://dbpedia.org/resource/Parallel_%28geometry%29 +
, http://dbpedia.org/resource/Singleton_%28mathematics%29 +
, http://dbpedia.org/resource/Cyclic_quadrilateral +
, http://dbpedia.org/resource/Unipotent +
, http://dbpedia.org/resource/Deterministic_acyclic_finite_state_automaton +
, http://dbpedia.org/resource/Conjugate_diameters +
, http://dbpedia.org/resource/Nonstandard_analysis +
, http://dbpedia.org/resource/Word_problem_%28mathematics%29 +
, http://dbpedia.org/resource/IFF +
, http://dbpedia.org/resource/Nilradical_of_a_ring +
, http://dbpedia.org/resource/5040_%28number%29 +
, http://dbpedia.org/resource/Limit_inferior_and_limit_superior +
, http://dbpedia.org/resource/Discrete_space +
, http://dbpedia.org/resource/Topological_manifold +
, http://dbpedia.org/resource/Kolmogorov_space +
, http://dbpedia.org/resource/Final_topology +
, http://dbpedia.org/resource/Product_topology +
, http://dbpedia.org/resource/Lower_limit_topology +
, http://dbpedia.org/resource/Subspace_topology +
, http://dbpedia.org/resource/Dual_topology +
, http://dbpedia.org/resource/Locally_compact_space +
, http://dbpedia.org/resource/Disjoint_union_%28topology%29 +
, http://dbpedia.org/resource/Cantor_space +
, http://dbpedia.org/resource/Equilateral_triangle +
, http://dbpedia.org/resource/Independence_%28probability_theory%29 +
, http://dbpedia.org/resource/Gauss%E2%80%93Markov_theorem +
, http://dbpedia.org/resource/ATS_%28programming_language%29 +
, http://dbpedia.org/resource/Sorting_network +
, http://dbpedia.org/resource/Pontryagin_duality +
, http://dbpedia.org/resource/Cartesian_product_of_graphs +
, http://dbpedia.org/resource/If%2C_and_only_if +
, http://dbpedia.org/resource/Subset +
, http://dbpedia.org/resource/Glossary_of_education_terms_%28D%E2%80%93F%29 +
, http://dbpedia.org/resource/General_topology +
, http://dbpedia.org/resource/Algebraic_variety +
, http://dbpedia.org/resource/Symplectic_group +
, http://dbpedia.org/resource/Eccentricity_%28mathematics%29 +
, http://dbpedia.org/resource/Concentric_objects +
, http://dbpedia.org/resource/Constructible_polygon +
, http://dbpedia.org/resource/Octahedral_symmetry +
, http://dbpedia.org/resource/Throffer +
, http://dbpedia.org/resource/Parametric_equation +
, http://dbpedia.org/resource/Everett_Hall +
, http://dbpedia.org/resource/Outline_of_discrete_mathematics +
, http://dbpedia.org/resource/Valuation_ring +
, http://dbpedia.org/resource/Cellular_algebra +
, http://dbpedia.org/resource/Perl_language_structure +
, http://dbpedia.org/resource/Equivalents_of_the_Axiom_of_Choice +
, http://dbpedia.org/resource/Finite_model_property +
, http://dbpedia.org/resource/Conditional_dependence +
, http://dbpedia.org/resource/Schwartz%E2%80%93Zippel_lemma +
, http://dbpedia.org/resource/Stein_manifold +
, http://dbpedia.org/resource/Ideal_quotient +
, http://dbpedia.org/resource/Popescu%27s_theorem +
, http://dbpedia.org/resource/If +
, http://dbpedia.org/resource/Equivalent_definitions_of_mathematical_structures +
, http://dbpedia.org/resource/Torsion_subgroup +
, http://dbpedia.org/resource/Matrix_%28mathematics%29 +
, http://dbpedia.org/resource/Complex_number +
, http://dbpedia.org/resource/Decimal +
, http://dbpedia.org/resource/Numeral_system +
, http://dbpedia.org/resource/Computable_function +
, http://dbpedia.org/resource/Propositional_calculus +
, http://dbpedia.org/resource/Lattice_%28order%29 +
, http://dbpedia.org/resource/Ordinal_number +
, http://dbpedia.org/resource/Vigesimal +
, http://dbpedia.org/resource/Integer +
, http://dbpedia.org/resource/Initial_and_terminal_objects +
, http://dbpedia.org/resource/Multiplicative_inverse +
, http://dbpedia.org/resource/Well-order +
, http://dbpedia.org/resource/Parity_%28mathematics%29 +
, http://dbpedia.org/resource/Repeating_decimal +
, http://dbpedia.org/resource/Monotonic_function +
, http://dbpedia.org/resource/Isomorphism +
, http://dbpedia.org/resource/Completeness_%28order_theory%29 +
, http://dbpedia.org/resource/Graded_poset +
, http://dbpedia.org/resource/Duality_%28order_theory%29 +
, http://dbpedia.org/resource/Ideal_%28order_theory%29 +
, http://dbpedia.org/resource/Mathematical_induction +
, http://dbpedia.org/resource/Heyting_algebra +
, http://dbpedia.org/resource/Bijection +
, http://dbpedia.org/resource/Union_%28set_theory%29 +
, http://dbpedia.org/resource/Intersection_%28set_theory%29 +
, http://dbpedia.org/resource/Filter_%28mathematics%29 +
, http://dbpedia.org/resource/Galois_connection +
, http://dbpedia.org/resource/Nim +
, http://dbpedia.org/resource/Collision +
, http://dbpedia.org/resource/LF-space +
, http://dbpedia.org/resource/Locally_convex_topological_vector_space +
, http://dbpedia.org/resource/Direct_limit +
, http://dbpedia.org/resource/Hausdorff_space +
, http://dbpedia.org/resource/Projective_space +
, http://dbpedia.org/resource/Contradiction +
, http://dbpedia.org/resource/Collatz_conjecture +
, http://dbpedia.org/resource/Liouville_number +
, http://dbpedia.org/resource/David_Kaplan_%28philosopher%29 +
, http://dbpedia.org/resource/Necessity_and_sufficiency +
, http://dbpedia.org/resource/Fisher_information +
, http://dbpedia.org/resource/Bell_series +
, http://dbpedia.org/resource/Moufang_loop +
, http://dbpedia.org/resource/L%C3%A9vy%E2%80%93Prokhorov_metric +
, http://dbpedia.org/resource/Mersenne_conjectures +
, http://dbpedia.org/resource/Monoid_factorisation +
, http://dbpedia.org/resource/System_of_imprimitivity +
, http://dbpedia.org/resource/Binomial_series +
, http://dbpedia.org/resource/Degenerate_bilinear_form +
, http://dbpedia.org/resource/All_one_polynomial +
, http://dbpedia.org/resource/Hurwitz_quaternion +
, http://dbpedia.org/resource/Biased_graph +
, http://dbpedia.org/resource/Ricci_calculus +
, http://dbpedia.org/resource/Riesz%E2%80%93Fischer_theorem +
, http://dbpedia.org/resource/Cubic_field +
, http://dbpedia.org/resource/Cuntz_algebra +
, http://dbpedia.org/resource/Cyclically_reduced_word +
, http://dbpedia.org/resource/C%C3%A0dl%C3%A0g +
, http://dbpedia.org/resource/Unlink +
, http://dbpedia.org/resource/Vertex-transitive_graph +
, http://dbpedia.org/resource/Duffin%E2%80%93Schaeffer_conjecture +
, http://dbpedia.org/resource/Incidence_algebra +
, http://dbpedia.org/resource/Indeterminate_system +
, http://dbpedia.org/resource/Interleave_sequence +
, http://dbpedia.org/resource/Inverse_problem_for_Lagrangian_mechanics +
, http://dbpedia.org/resource/Jacobson_radical +
, http://dbpedia.org/resource/Pre-abelian_category +
, http://dbpedia.org/resource/Limit-preserving_function_%28order_theory%29 +
, http://dbpedia.org/resource/Limit_set +
, http://dbpedia.org/resource/Nowhere_commutative_semigroup +
, http://dbpedia.org/resource/Positive_and_negative_parts +
, http://dbpedia.org/resource/Transversality_%28mathematics%29 +
, http://dbpedia.org/resource/Convergence_tests +
, http://dbpedia.org/resource/Analytic_semigroup +
, http://dbpedia.org/resource/Geodesic_convexity +
, http://dbpedia.org/resource/Noetherian_ring +
, http://dbpedia.org/resource/Norm_%28abelian_group%29 +
, http://dbpedia.org/resource/Modulus_and_characteristic_of_convexity +
, http://dbpedia.org/resource/Vitali%E2%80%93Hahn%E2%80%93Saks_theorem +
, http://dbpedia.org/resource/Universal_approximation_theorem +
, http://dbpedia.org/resource/Radial_function +
, http://dbpedia.org/resource/Cluster_graph +
, http://dbpedia.org/resource/Function_of_several_complex_variables +
, http://dbpedia.org/resource/Conductor_%28ring_theory%29 +
, http://dbpedia.org/resource/Congruence_subgroup +
, http://dbpedia.org/resource/Connected_category +
, http://dbpedia.org/resource/Contractible_space +
, http://dbpedia.org/resource/Convex_body +
, http://dbpedia.org/resource/Convex_conjugate +
, http://dbpedia.org/resource/Crinkled_arc +
, http://dbpedia.org/resource/Equating_coefficients +
, http://dbpedia.org/resource/Equivalence_of_metrics +
, http://dbpedia.org/resource/Subderivative +
, http://dbpedia.org/resource/Annihilator_%28ring_theory%29 +
, http://dbpedia.org/resource/Approximate_identity +
, http://dbpedia.org/resource/Berezinian +
, http://dbpedia.org/resource/Berger%27s_isoembolic_inequality +
, http://dbpedia.org/resource/Bochner_measurable_function +
, http://dbpedia.org/resource/Closure_with_a_twist +
, http://dbpedia.org/resource/Club_set +
, http://dbpedia.org/resource/Compact_complement_topology +
, http://dbpedia.org/resource/Complete_category +
, http://dbpedia.org/resource/Frattini_subgroup +
, http://dbpedia.org/resource/Fritz_John_conditions +
, http://dbpedia.org/resource/Fr%C3%A9chet_surface +
, http://dbpedia.org/resource/Functional_predicate +
, http://dbpedia.org/resource/Fundamental_discriminant +
, http://dbpedia.org/resource/Furstenberg%27s_proof_of_the_infinitude_of_primes +
, http://dbpedia.org/resource/Hardy%27s_inequality +
, http://dbpedia.org/resource/Horizontal_line_test +
, http://dbpedia.org/resource/Perfect_power +
, http://dbpedia.org/resource/Projection-valued_measure +
, http://dbpedia.org/resource/Maclaurin%27s_inequality +
, http://dbpedia.org/resource/Strictly_convex_space +
, http://dbpedia.org/resource/Subclass_%28set_theory%29 +
, http://dbpedia.org/resource/Superstrong_cardinal +
, http://dbpedia.org/resource/Mathematics_of_Sudoku +
, http://dbpedia.org/resource/Young%27s_lattice +
, http://dbpedia.org/resource/Well-founded_relation +
, http://dbpedia.org/resource/Hasse_principle +
, http://dbpedia.org/resource/Irreducible_fraction +
, http://dbpedia.org/resource/Irreducible_ideal +
, http://dbpedia.org/resource/Linearised_polynomial +
, http://dbpedia.org/resource/Linearly_disjoint +
, http://dbpedia.org/resource/Locally_finite_measure +
, http://dbpedia.org/resource/Locally_normal_space +
, http://dbpedia.org/resource/Minkowski%27s_first_inequality_for_convex_bodies +
, http://dbpedia.org/resource/Sherman%E2%80%93Morrison_formula +
, http://dbpedia.org/resource/Subharmonic_function +
, http://dbpedia.org/resource/Subdirectly_irreducible_algebra +
, http://dbpedia.org/resource/Ring_class_field +
, http://dbpedia.org/resource/Uniformly_convex_space +
, http://dbpedia.org/resource/Stone_duality +
, http://dbpedia.org/resource/Alexander_polynomial +
, http://dbpedia.org/resource/Five_lemma +
, http://dbpedia.org/resource/Balanced_matrix +
, http://dbpedia.org/resource/Normal_number +
, http://dbpedia.org/resource/Carleson_measure +
, http://dbpedia.org/resource/Cauchy%E2%80%93Hadamard_theorem +
, http://dbpedia.org/resource/Directed_algebraic_topology +
, http://dbpedia.org/resource/Formation_%28group_theory%29 +
, http://dbpedia.org/resource/Glossary_of_order_theory +
, http://dbpedia.org/resource/Glossary_of_topology +
, http://dbpedia.org/resource/Graded_ring +
, http://dbpedia.org/resource/Graph_%28topology%29 +
, http://dbpedia.org/resource/Graph_C%2A-algebra +
, http://dbpedia.org/resource/John_ellipsoid +
, http://dbpedia.org/resource/Kan_extension +
, http://dbpedia.org/resource/Logical_equality +
, http://dbpedia.org/resource/Product_of_rings +
, http://dbpedia.org/resource/Quotient_space_%28topology%29 +
, http://dbpedia.org/resource/Radical_of_a_module +
, http://dbpedia.org/resource/Radical_of_an_ideal +
, http://dbpedia.org/resource/Regular_p-group +
, http://dbpedia.org/resource/Retraction_%28topology%29 +
, http://dbpedia.org/resource/Inverse_limit +
, http://dbpedia.org/resource/Countably_generated_module +
, http://dbpedia.org/resource/Hyperfinite_set +
, http://dbpedia.org/resource/Weakly_measurable_function +
, http://dbpedia.org/resource/Cheeger_constant_%28graph_theory%29 +
, http://dbpedia.org/resource/K-graph_C%2A-algebra +
, http://dbpedia.org/resource/Binary_function +
, http://dbpedia.org/resource/Coherent_ring +
, http://dbpedia.org/resource/Herbrand%E2%80%93Ribet_theorem +
, http://dbpedia.org/resource/Hereditary_ring +
, http://dbpedia.org/resource/Highly_abundant_number +
, http://dbpedia.org/resource/Tonelli%27s_theorem_%28functional_analysis%29 +
, http://dbpedia.org/resource/Weakly_compact_cardinal +
, http://dbpedia.org/resource/Wirtinger%27s_inequality_for_functions +
, http://dbpedia.org/resource/Dirac_measure +
, http://dbpedia.org/resource/Automorphic_number +
, http://dbpedia.org/resource/Axiom_of_extensionality +
, http://dbpedia.org/resource/Axiom_of_pairing +
, http://dbpedia.org/resource/Axiom_of_power_set +
, http://dbpedia.org/resource/B%C3%A9zout_matrix +
, http://dbpedia.org/resource/Pierre_Wantzel +
, http://dbpedia.org/resource/Socle_%28mathematics%29 +
, http://dbpedia.org/resource/Square_triangular_number +
, http://dbpedia.org/resource/Classical_Wiener_space +
, http://dbpedia.org/resource/Fiber_bundle_construction_theorem +
, http://dbpedia.org/resource/Green%27s_relations +
, http://dbpedia.org/resource/Inequality_of_arithmetic_and_geometric_means +
, http://dbpedia.org/resource/Injective_object +
, http://dbpedia.org/resource/Kleene_algebra +
, http://dbpedia.org/resource/Krein%E2%80%93Milman_theorem +
, http://dbpedia.org/resource/Neighbourhood_system +
, http://dbpedia.org/resource/Net_%28mathematics%29 +
, http://dbpedia.org/resource/Open_and_closed_maps +
, http://dbpedia.org/resource/Cameron%E2%80%93Martin_theorem +
, http://dbpedia.org/resource/Cancellative_semigroup +
, http://dbpedia.org/resource/Wolstenholme%27s_theorem +
, http://dbpedia.org/resource/Mahler%27s_compactness_theorem +
, http://dbpedia.org/resource/Silverman%E2%80%93Toeplitz_theorem +
, http://dbpedia.org/resource/Slender_group +
, http://dbpedia.org/resource/Unitary_divisor +
, http://dbpedia.org/resource/Near-ring +
, http://dbpedia.org/resource/Newton%27s_inequalities +
, http://dbpedia.org/resource/Uniformly_connected_space +
, http://dbpedia.org/resource/V-ring_%28ring_theory%29 +
, http://dbpedia.org/resource/Reduced_ring +
, http://dbpedia.org/resource/Topological_ring +
, http://dbpedia.org/resource/Pfister_form +
, http://dbpedia.org/resource/Prevalent_and_shy_sets +
, http://dbpedia.org/resource/Milliken%E2%80%93Taylor_theorem +
, http://dbpedia.org/resource/Regulated_function +
, http://dbpedia.org/resource/Trivial_measure +
, http://dbpedia.org/resource/Paley_graph +
, http://dbpedia.org/resource/Pullback_attractor +
, http://dbpedia.org/resource/Perfectoid_space +
, http://dbpedia.org/resource/Representable_functor +
, http://dbpedia.org/resource/Topological_graph_theory +
, http://dbpedia.org/resource/Strictly_positive_measure +
, http://dbpedia.org/resource/Simple_module +
, http://dbpedia.org/resource/Stratifold +
, http://dbpedia.org/resource/Hauptvermutung +
, http://dbpedia.org/resource/Intersection_graph +
, http://dbpedia.org/resource/Strongly_regular_graph +
, http://dbpedia.org/resource/Graph_isomorphism +
, http://dbpedia.org/resource/Injective_metric_space +
, http://dbpedia.org/resource/Right_kite +
, http://dbpedia.org/resource/Bicentric_quadrilateral +
, http://dbpedia.org/resource/Support_%28measure_theory%29 +
, http://dbpedia.org/resource/Estimator +
, http://dbpedia.org/resource/Abstract_data_type +
, http://dbpedia.org/resource/Decimal_representation +
, http://dbpedia.org/resource/Linear_congruential_generator +
, http://dbpedia.org/resource/Gr%C3%B6bner_basis +
, http://dbpedia.org/resource/Sieve_of_Sundaram +
, http://dbpedia.org/resource/Duality_%28mathematics%29 +
, http://dbpedia.org/resource/B%C3%A9zier_curve +
, http://dbpedia.org/resource/Pollard%27s_rho_algorithm_for_logarithms +
, http://dbpedia.org/resource/Coset +
, http://dbpedia.org/resource/Sieve_of_Atkin +
, http://dbpedia.org/resource/Polynomial_long_division +
, http://dbpedia.org/resource/Partially_ordered_ring +
, http://dbpedia.org/resource/Zero_divisor +
, http://dbpedia.org/resource/Partially_ordered_group +
, http://dbpedia.org/resource/Localization_%28commutative_algebra%29 +
, http://dbpedia.org/resource/Point_groups_in_three_dimensions +
, http://dbpedia.org/resource/Mutual_information +
, http://dbpedia.org/resource/Anil_Gupta_%28philosopher%29 +
, http://dbpedia.org/resource/Modular_multiplicative_inverse +
, http://dbpedia.org/resource/Boolean_ring +
, http://dbpedia.org/resource/Modulo_%28mathematics%29 +
, http://dbpedia.org/resource/Dedekind_sum +
, http://dbpedia.org/resource/Algebraic_integer +
, http://dbpedia.org/resource/Dedekind%E2%80%93Hasse_norm +
, http://dbpedia.org/resource/Fermat%27s_theorem_on_sums_of_two_squares +
, http://dbpedia.org/resource/Agoh%E2%80%93Giuga_conjecture +
, http://dbpedia.org/resource/CMA-ES +
, http://dbpedia.org/resource/Tangential_quadrilateral +
, http://dbpedia.org/resource/Regular_graph +
, http://dbpedia.org/resource/Dominated_convergence_theorem +
, http://dbpedia.org/resource/Stewart%E2%80%93Walker_lemma +
, http://dbpedia.org/resource/Cook%E2%80%93Levin_theorem +
, http://dbpedia.org/resource/Crocodile_dilemma +
, http://dbpedia.org/resource/Helly%E2%80%93Bray_theorem +
, http://dbpedia.org/resource/Tutte_theorem +
, http://dbpedia.org/resource/Abel_equation +
, http://dbpedia.org/resource/Cycle_graph +
, http://dbpedia.org/resource/Cauchy%27s_functional_equation +
, http://dbpedia.org/resource/Four-vertex_theorem +
, http://dbpedia.org/resource/Polynomial_remainder_theorem +
, http://dbpedia.org/resource/Resolvent_%28Galois_theory%29 +
, http://dbpedia.org/resource/Intersection_theorem +
, http://dbpedia.org/resource/Biconditional_elimination +
, http://dbpedia.org/resource/Biconditional_introduction +
, http://dbpedia.org/resource/Block_graph +
, http://dbpedia.org/resource/Transposition_%28logic%29 +
, http://dbpedia.org/resource/Axiom_of_union +
, http://dbpedia.org/resource/Axiom_schema_of_replacement +
, http://dbpedia.org/resource/Kite_%28geometry%29 +
, http://dbpedia.org/resource/Stark%E2%80%93Heegner_theorem +
, http://dbpedia.org/resource/Topological_indistinguishability +
, http://dbpedia.org/resource/Monotone_convergence_theorem +
, http://dbpedia.org/resource/Factor_theorem +
, http://dbpedia.org/resource/Wijsman_convergence +
, http://dbpedia.org/resource/Wallace%E2%80%93Bolyai%E2%80%93Gerwien_theorem +
, http://dbpedia.org/resource/Confluence_%28abstract_rewriting%29 +
, http://dbpedia.org/resource/P-adic_number +
, http://dbpedia.org/resource/Angle_trisection +
, http://dbpedia.org/resource/Abelian_group +
, http://dbpedia.org/resource/Commutative_ring +
, http://dbpedia.org/resource/Subgroup +
, http://dbpedia.org/resource/Linear_equation_over_a_ring +
, http://dbpedia.org/resource/Invertible_matrix +
, http://dbpedia.org/resource/Solvable_group +
, http://dbpedia.org/resource/Real_closed_field +
, http://dbpedia.org/resource/Mathematical_analysis +
, http://dbpedia.org/resource/Multiplicative_group +
, http://dbpedia.org/resource/Regular_prime +
, http://dbpedia.org/resource/Root_of_unity +
, http://dbpedia.org/resource/Plane_%28geometry%29 +
, http://dbpedia.org/resource/Quotient_ring +
, http://dbpedia.org/resource/Algebraic_extension +
, http://dbpedia.org/resource/Prime_ideal +
, http://dbpedia.org/resource/Milnor_K-theory +
, http://dbpedia.org/resource/Ostrowski%27s_theorem +
, http://dbpedia.org/resource/Vector_space +
, http://dbpedia.org/resource/Field_extension +
, http://dbpedia.org/resource/P-adic_analysis +
, http://dbpedia.org/resource/Line_segment +
, http://dbpedia.org/resource/List_of_rules_of_inference +
, http://dbpedia.org/resource/Mean_curvature +
, http://dbpedia.org/resource/Logarithm_of_a_matrix +
, http://dbpedia.org/resource/New_riddle_of_induction +
, http://dbpedia.org/resource/Congruence_relation +
, http://dbpedia.org/resource/Invariant_measure +
, http://dbpedia.org/resource/Cauchy%E2%80%93Schwarz_inequality +
, http://dbpedia.org/resource/Trace_class +
, http://dbpedia.org/resource/Direct_integral +
, http://dbpedia.org/resource/Bounded_set_%28topological_vector_space%29 +
, http://dbpedia.org/resource/Quadric +
, http://dbpedia.org/resource/Relational_operator +
, http://dbpedia.org/resource/Stone%E2%80%93Weierstrass_theorem +
, http://dbpedia.org/resource/Bijection%2C_injection_and_surjection +
, http://dbpedia.org/resource/Desargues%27s_theorem +
, http://dbpedia.org/resource/Algebraic_independence +
, http://dbpedia.org/resource/List_of_mathematical_symbols_by_subject +
, http://dbpedia.org/resource/Perfect_digital_invariant +
, http://dbpedia.org/resource/Decomposition_of_a_module +
, http://dbpedia.org/resource/Connectivity_%28graph_theory%29 +
, http://dbpedia.org/resource/Generalized_permutation_matrix +
, http://dbpedia.org/resource/Samuelson%27s_inequality +
, http://dbpedia.org/resource/Closed_graph_theorem_%28functional_analysis%29 +
, http://dbpedia.org/resource/Gauss%27s_lemma_%28polynomials%29 +
, http://dbpedia.org/resource/Concyclic_points +
, http://dbpedia.org/resource/Consistent_and_inconsistent_equations +
, http://dbpedia.org/resource/Constructible_number +
, http://dbpedia.org/resource/Orthogonality_%28mathematics%29 +
, http://dbpedia.org/resource/Commutator_subgroup +
, http://dbpedia.org/resource/Complement_graph +
, http://dbpedia.org/resource/Computable_set +
, http://dbpedia.org/resource/Dense_order +
, http://dbpedia.org/resource/Hall%27s_marriage_theorem +
, http://dbpedia.org/resource/Symmetric_space +
, http://dbpedia.org/resource/Symplectic_vector_space +
, http://dbpedia.org/resource/Willmore_conjecture +
, http://dbpedia.org/resource/Lambda_calculus_definition +
, http://dbpedia.org/resource/Large_countable_ordinal +
, http://dbpedia.org/resource/Discrete-time_Markov_chain +
, http://dbpedia.org/resource/Formal_group_law +
, http://dbpedia.org/resource/Type_erasure +
, http://dbpedia.org/resource/Group_action +
, http://dbpedia.org/resource/Chordal_graph +
, http://dbpedia.org/resource/Bicentric_polygon +
, http://dbpedia.org/resource/May%27s_theorem +
, http://dbpedia.org/resource/Syntactic_predicate +
, http://dbpedia.org/resource/Linear_complex_structure +
, http://dbpedia.org/resource/Material_equivalence +
, http://dbpedia.org/resource/Riesz%E2%80%93Markov%E2%80%93Kakutani_representation_theorem +
, http://dbpedia.org/resource/Postulates_of_special_relativity +
, http://dbpedia.org/resource/Truth-bearer +
, http://dbpedia.org/resource/Trivialism +
, http://dbpedia.org/resource/Causality_conditions +
, http://dbpedia.org/resource/Marginal_stability +
, http://dbpedia.org/resource/Ex-tangential_quadrilateral +
, http://dbpedia.org/resource/Cauchy%27s_convergence_test +
, http://dbpedia.org/resource/Giuga_number +
, http://dbpedia.org/resource/Fermat_pseudoprime +
, http://dbpedia.org/resource/Series_%28mathematics%29 +
, http://dbpedia.org/resource/Total_order +
, http://dbpedia.org/resource/Character_theory +
, http://dbpedia.org/resource/Ring_of_symmetric_functions +
, http://dbpedia.org/resource/Index_of_philosophy_articles_%28I%E2%80%93Q%29 +
, http://dbpedia.org/resource/Reflexive_relation +
, http://dbpedia.org/resource/Truth_function +
, http://dbpedia.org/resource/Laws_of_Form +
, http://dbpedia.org/resource/Paradoxes_of_material_implication +
, http://dbpedia.org/resource/Corresponding_conditional +
, http://dbpedia.org/resource/Truth_table +
, http://dbpedia.org/resource/Logical_equivalence +
, http://dbpedia.org/resource/Spectral_gap_%28physics%29 +
, http://dbpedia.org/resource/B-convex_space +
, http://dbpedia.org/resource/Watershed_%28image_processing%29 +
, http://dbpedia.org/resource/Nonrecursive_ordinal +
, http://dbpedia.org/resource/Minesweeper_%28video_game%29 +
, http://dbpedia.org/resource/Maximum_satisfiability_problem +
, http://dbpedia.org/resource/Gauss%27s_law +
, http://dbpedia.org/resource/Conformal_map +
, http://dbpedia.org/resource/Linearity +
, http://dbpedia.org/resource/Differentiable_manifold +
, http://dbpedia.org/resource/Infinite-dimensional_vector_function +
, http://dbpedia.org/resource/Kronecker_product +
, http://dbpedia.org/resource/Real_coordinate_space +
, http://dbpedia.org/resource/Exact_differential_equation +
, http://dbpedia.org/resource/Sesquilinear_form +
, http://dbpedia.org/resource/Preference_%28economics%29 +
, http://dbpedia.org/resource/Stochastic_dominance +
, http://dbpedia.org/resource/Ellsberg_paradox +
, http://dbpedia.org/resource/Languages_of_Art +
, http://dbpedia.org/resource/On_the_Plurality_of_Worlds +
, http://dbpedia.org/resource/Sally_Haslanger +
, http://dbpedia.org/resource/Commitment_ordering +
, http://dbpedia.org/resource/Antiholomorphic_function +
, http://dbpedia.org/resource/Deflationary_theory_of_truth +
, http://dbpedia.org/resource/Paxos_%28computer_science%29 +
, http://dbpedia.org/resource/Similarity_relation_%28music%29 +
, http://dbpedia.org/resource/Orthodiagonal_quadrilateral +
, http://dbpedia.org/resource/Formula_for_primes +
, http://dbpedia.org/resource/XNOR_gate +
, http://dbpedia.org/resource/Arrow_%28symbol%29 +
, http://dbpedia.org/resource/Serializability +
, http://dbpedia.org/resource/Substitution_%28logic%29 +
, http://dbpedia.org/resource/Multimodal_distribution +
, http://dbpedia.org/resource/Induction_puzzles +
, http://dbpedia.org/resource/Integral_element +
, http://dbpedia.org/resource/Positive_polynomial +
, http://dbpedia.org/resource/Wiener%27s_Tauberian_theorem +
, http://dbpedia.org/resource/Gelfand_representation +
, http://dbpedia.org/resource/Support_of_a_module +
, http://dbpedia.org/resource/Convergence_of_Fourier_series +
, http://dbpedia.org/resource/Antiprism +
, http://dbpedia.org/resource/Closed_convex_function +
, http://dbpedia.org/resource/Fr%C3%A9chet_filter +
, http://dbpedia.org/resource/Functional_dependency +
, http://dbpedia.org/resource/Overdetermined_system +
, http://dbpedia.org/resource/Specialization_%28pre%29order +
, http://dbpedia.org/resource/Mean_dependence +
, http://dbpedia.org/resource/Wigner_semicircle_distribution +
, http://dbpedia.org/resource/Additive_polynomial +
, http://dbpedia.org/resource/Dual_norm +
, http://dbpedia.org/resource/F%C3%B8lner_sequence +
, http://dbpedia.org/resource/GCD_domain +
, http://dbpedia.org/resource/Logical_biconditional +
, http://dbpedia.org/resource/Normal_morphism +
, http://dbpedia.org/resource/Eulerian_path +
, http://dbpedia.org/resource/Filters_in_topology +
, http://dbpedia.org/resource/Finite-state_transducer +
, http://dbpedia.org/resource/Diophantine_set +
, http://dbpedia.org/resource/Kant%27s_teleology +
, http://dbpedia.org/resource/Characterization_%28mathematics%29 +
, http://dbpedia.org/resource/Hypergeometric_function +
, http://dbpedia.org/resource/Euclid%E2%80%93Euler_theorem +
, http://dbpedia.org/resource/Square-free_integer +
, http://dbpedia.org/resource/List_of_Mersenne_primes_and_perfect_numbers +
, http://dbpedia.org/resource/Multiply_perfect_number +
, http://dbpedia.org/resource/Harmonic_divisor_number +
, http://dbpedia.org/resource/Leinster_group +
, http://dbpedia.org/resource/Gaussian_integer +
, http://dbpedia.org/resource/Riemann_series_theorem +
, http://dbpedia.org/resource/Diophantine_approximation +
, http://dbpedia.org/resource/Gettier_problem +
, http://dbpedia.org/resource/Transparency_%28philosophy%29 +
, http://dbpedia.org/resource/NP-easy +
, http://dbpedia.org/resource/Feature_learning +
, http://dbpedia.org/resource/Spectrum_of_a_C%2A-algebra +
, http://dbpedia.org/resource/Shift_space +
, http://dbpedia.org/resource/Cartesian_closed_category +
, http://dbpedia.org/resource/Compactly_generated_space +
, http://dbpedia.org/resource/Affinity_propagation +
, http://dbpedia.org/resource/Cayley%E2%80%93Menger_determinant +
, http://dbpedia.org/resource/Disquotational_principle +
, http://dbpedia.org/resource/Computational_epistemology +
, http://dbpedia.org/resource/Taylor%27s_theorem +
, http://dbpedia.org/resource/Coefficient_matrix +
, http://dbpedia.org/resource/Matrix_similarity +
, http://dbpedia.org/resource/Eakin%E2%80%93Nagata_theorem +
, http://dbpedia.org/resource/Many-one_reduction +
, http://dbpedia.org/resource/Forbidden_graph_characterization +
, http://dbpedia.org/resource/Equilateral_pentagon +
, http://dbpedia.org/resource/Orthocentric_tetrahedron +
, http://dbpedia.org/resource/Unimodular_lattice +
, http://dbpedia.org/resource/I-adic_topology +
, http://dbpedia.org/resource/Smooth_number +
, http://dbpedia.org/resource/Vandermonde_matrix +
, http://dbpedia.org/resource/Square_matrix +
, http://dbpedia.org/resource/Illocutionary_act +
, http://dbpedia.org/resource/Iff +
, http://dbpedia.org/resource/Laplace_transform +
, http://dbpedia.org/resource/Anomalous_monism +
, http://dbpedia.org/resource/Neighbourhood_%28mathematics%29 +
, http://dbpedia.org/resource/FKT_algorithm +
, http://dbpedia.org/resource/Epistemic_humility +
, http://dbpedia.org/resource/List_of_XML_and_HTML_character_entity_references +
, http://dbpedia.org/resource/M%2Cn%2Ck-game +
, http://dbpedia.org/resource/Tree_of_primitive_Pythagorean_triples +
, http://dbpedia.org/resource/Bicyclic_semigroup +
, http://dbpedia.org/resource/List_of_limits +
, http://dbpedia.org/resource/Quantum_nondemolition_measurement +
, http://dbpedia.org/resource/Krivine%E2%80%93Stengle_Positivstellensatz +
, http://dbpedia.org/resource/Affine_transformation +
, http://dbpedia.org/resource/Data_dependency +
, http://dbpedia.org/resource/Escape_character +
, http://dbpedia.org/resource/Collision_detection +
, http://dbpedia.org/resource/Ernst_Mally +
, http://dbpedia.org/resource/Logical_truth +
, http://dbpedia.org/resource/Convex_function +
, http://dbpedia.org/resource/Diagonal_matrix +
, http://dbpedia.org/resource/Eigendecomposition_of_a_matrix +
, http://dbpedia.org/resource/Lambda_calculus +
, http://dbpedia.org/resource/De_Bruijn%E2%80%93Newman_constant +
, http://dbpedia.org/resource/Conjugacy_class +
, http://dbpedia.org/resource/Maxwell%27s_equations +
, http://dbpedia.org/resource/Translational_symmetry +
, http://dbpedia.org/resource/DE-9IM +
, http://dbpedia.org/resource/Planar_graph +
, http://dbpedia.org/resource/Symmetric_difference +
, http://dbpedia.org/resource/Concave_function +
, http://dbpedia.org/resource/Das_Kapital%2C_Volume_I +
, http://dbpedia.org/resource/Eigenvalues_and_eigenvectors +
, http://dbpedia.org/resource/Nonradiation_condition +
, http://dbpedia.org/resource/Linear_subspace +
, http://dbpedia.org/resource/Sufficient_statistic +
, http://dbpedia.org/resource/Water_pouring_puzzle +
, http://dbpedia.org/resource/The_Hardest_Logic_Puzzle_Ever +
, http://dbpedia.org/resource/Carath%C3%A9odory_metric +
, http://dbpedia.org/resource/Prime_ring +
, http://dbpedia.org/resource/Varignon%27s_theorem +
, http://dbpedia.org/resource/Blossom_algorithm +
, http://dbpedia.org/resource/Dependent_type +
, http://dbpedia.org/resource/Hypertree +
, http://dbpedia.org/resource/Lady_tasting_tea +
, http://dbpedia.org/resource/Sufficient_dimension_reduction +
, http://dbpedia.org/resource/Ordinal_regression +
, http://dbpedia.org/resource/Campbell%27s_theorem_%28probability%29 +
, http://dbpedia.org/resource/Lukacs%27s_proportion-sum_independence_theorem +
, http://dbpedia.org/resource/Strong_product_of_graphs +
, http://dbpedia.org/resource/Parity-check_matrix +
, http://dbpedia.org/resource/Truth-conditional_semantics +
, http://dbpedia.org/resource/T-schema +
, http://dbpedia.org/resource/Logical_consequence +
, http://dbpedia.org/resource/Argument +
, http://dbpedia.org/resource/Group_%28mathematics%29 +
, http://dbpedia.org/resource/Square +
, http://dbpedia.org/resource/Lipschitz_continuity +
, http://dbpedia.org/resource/%E2%87%94 +
, http://dbpedia.org/resource/Triple_bar +
, http://dbpedia.org/resource/Belief +
, http://dbpedia.org/resource/Dirac_delta_function +
, http://dbpedia.org/resource/Linearizability +
, http://dbpedia.org/resource/Discretionary_policy +
, http://dbpedia.org/resource/Divine_command_theory +
, http://dbpedia.org/resource/Full_reptend_prime +
, http://dbpedia.org/resource/73_%28number%29 +
, http://dbpedia.org/resource/Self_number +
, http://dbpedia.org/resource/Wieferich_prime +
, http://dbpedia.org/resource/Pythagorean_prime +
, http://dbpedia.org/resource/Wilson_prime +
, http://dbpedia.org/resource/Fibonacci_prime +
, http://dbpedia.org/resource/List_of_triangle_inequalities +
, http://dbpedia.org/resource/Hadwiger%E2%80%93Finsler_inequality +
, http://dbpedia.org/resource/Pedoe%27s_inequality +
, http://dbpedia.org/resource/Tangential_polygon +
, http://dbpedia.org/resource/Integer_triangle +
, http://dbpedia.org/resource/Acute_and_obtuse_triangles +
, http://dbpedia.org/resource/Altitude_%28triangle%29 +
, http://dbpedia.org/resource/Core_%28game_theory%29 +
, http://dbpedia.org/resource/Bondareva%E2%80%93Shapley_theorem +
, http://dbpedia.org/resource/Shapley%E2%80%93Folkman_lemma +
, http://dbpedia.org/resource/Convergent_series +
, http://dbpedia.org/resource/Indexed_family +
, http://dbpedia.org/resource/Zorn%27s_lemma +
, http://dbpedia.org/resource/Hahn_embedding_theorem +
, http://dbpedia.org/resource/Projective_module +
, http://dbpedia.org/resource/Woodin_cardinal +
, http://dbpedia.org/resource/Tent_map +
, http://dbpedia.org/resource/Torus_knot +
, http://dbpedia.org/resource/Narcissistic_number +
, http://dbpedia.org/resource/Zero_dagger +
, http://dbpedia.org/resource/Cyclic_number_%28group_theory%29 +
, http://dbpedia.org/resource/Quotient_module +
, http://dbpedia.org/resource/Conjugacy_class_sum +
, http://dbpedia.org/resource/Composition_series +
, http://dbpedia.org/resource/Graph_automorphism +
, http://dbpedia.org/resource/Cotorsion_group +
, http://dbpedia.org/resource/Word_%28group_theory%29 +
, http://dbpedia.org/resource/Eutactic_star +
, http://dbpedia.org/resource/Exergonic_process +
, http://dbpedia.org/resource/Singular_submodule +
, http://dbpedia.org/resource/Right_triangle +
, http://dbpedia.org/resource/Independent_and_identically_distributed_random_variables +
, http://dbpedia.org/resource/Mathematics_of_paper_folding +
, http://dbpedia.org/resource/Monstrous_moonshine +
, http://dbpedia.org/resource/Symmetry +
, http://dbpedia.org/resource/Dependency_graph +
, http://dbpedia.org/resource/Holonomy +
, http://dbpedia.org/resource/De_Morgan%27s_laws +
, http://dbpedia.org/resource/Classical_modal_logic +
, http://dbpedia.org/resource/Continuous_linear_extension +
, http://dbpedia.org/resource/Conway_notation_%28knot_theory%29 +
, http://dbpedia.org/resource/Axiom_schema_of_specification +
, http://dbpedia.org/resource/Uniform_norm +
, http://dbpedia.org/resource/Exact_differential +
, http://dbpedia.org/resource/No_free_lunch_with_vanishing_risk +
, http://dbpedia.org/resource/Parity_function +
, http://dbpedia.org/resource/Hypercycle_%28geometry%29 +
, http://dbpedia.org/resource/Paul_Halmos +
, http://dbpedia.org/resource/Binary_relation +
, http://dbpedia.org/resource/Converse_relation +
, http://dbpedia.org/resource/Faithful_representation +
, http://dbpedia.org/resource/Connected_space +
, http://dbpedia.org/resource/Center_%28group_theory%29 +
, http://dbpedia.org/resource/SL2%28R%29 +
, http://dbpedia.org/resource/Matrix_multiplication +
, http://dbpedia.org/resource/Inner_automorphism +
, http://dbpedia.org/resource/Semidirect_product +
, http://dbpedia.org/resource/Group_extension +
, http://dbpedia.org/resource/Fundamental_group +
, http://dbpedia.org/resource/Quotient_group +
, http://dbpedia.org/resource/Triangular_matrix +
, http://dbpedia.org/resource/Pseudorandom_number_generator +
, http://dbpedia.org/resource/Trigonometric_functions_of_matrices +
, http://dbpedia.org/resource/Defective_matrix +
, http://dbpedia.org/resource/Minimal_polynomial_%28linear_algebra%29 +
, http://dbpedia.org/resource/Projection_%28linear_algebra%29 +
, http://dbpedia.org/resource/Baker%E2%80%93Campbell%E2%80%93Hausdorff_formula +
, http://dbpedia.org/resource/Tuple +
, http://dbpedia.org/resource/Association_scheme +
, http://dbpedia.org/resource/Divisor_function +
, http://dbpedia.org/resource/List_of_mathematical_abbreviations +
, http://dbpedia.org/resource/Alternating_group +
, http://dbpedia.org/resource/Interior_%28topology%29 +
, http://dbpedia.org/resource/Field_trace +
, http://dbpedia.org/resource/Hom_functor +
, http://dbpedia.org/resource/Closure_%28topology%29 +
, http://dbpedia.org/resource/Almost_everywhere +
, http://dbpedia.org/resource/On-Line_Encyclopedia_of_Integer_Sequences +
, http://dbpedia.org/resource/Woodward%E2%80%93Hoffmann_rules +
, http://dbpedia.org/resource/Kullback%E2%80%93Leibler_divergence +
, http://dbpedia.org/resource/Contingency_table +
, http://dbpedia.org/resource/List_of_numbers +
, http://dbpedia.org/resource/Homology_sphere +
, http://dbpedia.org/resource/Quotient_space_%28linear_algebra%29 +
, http://dbpedia.org/resource/Petri_net +
, http://dbpedia.org/resource/Bipartite_graph +
, http://dbpedia.org/resource/Regress_argument +
, http://dbpedia.org/resource/Zeckendorf%27s_theorem +
, http://dbpedia.org/resource/Macaulay_representation_of_an_integer +
, http://dbpedia.org/resource/Barycentric_coordinate_system +
, http://dbpedia.org/resource/Implicit_surface +
, http://dbpedia.org/resource/Inner_regular_measure +
, http://dbpedia.org/resource/Symmetric_probability_distribution +
, http://dbpedia.org/resource/Multiplication_operator +
, http://dbpedia.org/resource/Uncorrelatedness_%28probability_theory%29 +
, http://dbpedia.org/resource/Subbase +
, http://dbpedia.org/resource/Boyce%E2%80%93Codd_normal_form +
, http://dbpedia.org/resource/Third_normal_form +
, http://dbpedia.org/resource/Entropy_power_inequality +
, http://dbpedia.org/resource/Convergence_in_measure +
, http://dbpedia.org/resource/String_graph +
, http://dbpedia.org/resource/Port_%28circuit_theory%29 +
, http://dbpedia.org/resource/Gaussian_process +
, http://dbpedia.org/resource/Legendre_transformation +
, http://dbpedia.org/resource/Floor_and_ceiling_functions +
, http://dbpedia.org/resource/Currying +
, http://dbpedia.org/resource/Distributive_lattice +
, http://dbpedia.org/resource/Relation_algebra +
, http://dbpedia.org/resource/Mask_%28computing%29 +
, http://dbpedia.org/resource/Product_order +
, http://dbpedia.org/resource/Material_nonimplication +
, http://dbpedia.org/resource/Simple_theorems_in_the_algebra_of_sets +
, http://dbpedia.org/resource/Empty_category_principle +
, http://dbpedia.org/resource/Cognitive_synonymy +
, http://dbpedia.org/resource/Transitive_reduction +
, http://dbpedia.org/resource/Matching_in_hypergraphs +
, http://dbpedia.org/resource/Mass +
, http://dbpedia.org/resource/Median +
, http://dbpedia.org/resource/1 +
, http://dbpedia.org/resource/Prism_%28geometry%29 +
, http://dbpedia.org/resource/Triangular_number +
, http://dbpedia.org/resource/Triangle +
, http://dbpedia.org/resource/Cube_%28algebra%29 +
, http://dbpedia.org/resource/Mersenne_prime +
, http://dbpedia.org/resource/9 +
, http://dbpedia.org/resource/Linear_independence +
, http://dbpedia.org/resource/Division_algebra +
, http://dbpedia.org/resource/Orthogonal_matrix +
, http://dbpedia.org/resource/Fourier_transform +
, http://dbpedia.org/resource/Cost_curve +
, http://dbpedia.org/resource/Join_%28SQL%29 +
, http://dbpedia.org/resource/Rouch%C3%A9%E2%80%93Capelli_theorem +
, http://dbpedia.org/resource/Tensor_product_of_graphs +
, http://dbpedia.org/resource/Euler%27s_constant +
, http://dbpedia.org/resource/Turk%27s_head_knot +
, http://dbpedia.org/resource/Additive_utility +
, http://dbpedia.org/resource/Preadditive_category +
, http://dbpedia.org/resource/Hermitian_function +
, http://dbpedia.org/resource/Artinian_ring +
, http://dbpedia.org/resource/Split-complex_number +
, http://dbpedia.org/resource/Kakutani%27s_theorem_%28measure_theory%29 +
, http://dbpedia.org/resource/Implementation_of_emojis +
, http://dbpedia.org/resource/Interior_algebra +
, http://dbpedia.org/resource/Epigroup +
, http://dbpedia.org/resource/Antiparallel_%28mathematics%29 +
, http://dbpedia.org/resource/Argument%E2%80%93deduction%E2%80%93proof_distinctions +
, http://dbpedia.org/resource/Cayley_table +
, http://dbpedia.org/resource/Connected_relation +
, http://dbpedia.org/resource/H%C3%BCckel_method +
, http://dbpedia.org/resource/Chinese_hypothesis +
, http://dbpedia.org/resource/Disphenoid +
, http://dbpedia.org/resource/Hadwiger_number +
, http://dbpedia.org/resource/Homeomorphism_%28graph_theory%29 +
, http://dbpedia.org/resource/Sum_of_two_squares_theorem +
, http://dbpedia.org/resource/Noetherian_module +
, http://dbpedia.org/resource/Table_of_congruences +
, http://dbpedia.org/resource/Graph_product +
, http://dbpedia.org/resource/%E2%86%94 +
, http://dbpedia.org/resource/Frink_ideal +
, http://dbpedia.org/resource/If_&_only_if +
, http://dbpedia.org/resource/Just_in_case_%28catachresis%29 +
, http://dbpedia.org/resource/Positive_and_negative_sets +
, http://dbpedia.org/resource/Simple_algebra_%28universal_algebra%29 +
, http://dbpedia.org/resource/Pseudoideal +
, http://dbpedia.org/resource/Schwinger_variational_principle +
, http://dbpedia.org/resource/Bi-implication +
, http://dbpedia.org/resource/Only_if +
, http://dbpedia.org/resource/Materially_equivalent +
, http://dbpedia.org/resource/%E2%9F%BA +
, http://dbpedia.org/resource/All_and_only +
, http://dbpedia.org/resource/Precisely_when +
, http://dbpedia.org/resource/Fifth_normal_form +
, http://dbpedia.org/resource/Join_dependency +
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
|
http://en.wikipedia.org/wiki/If_and_only_if +
|
http://xmlns.com/foaf/0.1/primaryTopic
|
|
http://dbpedia.org/resource/If_and_only_if +
|
owl:sameAs |
