About: Coinduction

Property	Value
dbo:description	метод визначення та доведення властивостей систем об'єктів, що паралельно взаємодіють (uk) метод визначення та доведення властивостей систем об'єктів, що паралельно взаємодіють (uk)
dbo:wikiPageExternalLink	http://www.cs.ucsd.edu/groups/tatami/handdemos/doc/coind.htm http://www.utdallas.edu/~gupta/ppdp06.pdf http://www.cs.unibo.it/~sangio/DOC_public/history_bis_coind.pdf http://citeseer.ist.psu.edu/jacobs97tutorial.html http://www.labri.fr/perso/casteran/RecTutorial.pdf https://www.cs.ru.nl/B.Jacobs/PAPERS/JR.pdf
dbo:wikiPageWikiLink	dbr:Non-well-founded_set_theory dbr:Anamorphism dbr:Total_functional_programming dbc:Logic_programming dbr:Fixed_point_(mathematics) dbc:Category_theory dbr:Logtalk dbr:F-coalgebra dbr:Knaster–Tarski_theorem dbr:Dual_(category_theory) dbr:Category_of_sets dbr:Infinity dbr:Monotonic_function dbr:Stream_(computing) dbr:Davide_Sangiorgi dbc:Theoretical_computer_science dbr:Lazy_evaluation dbc:Mathematical_induction dbr:Data_type dbr:Corecursion dbr:Computer_science dbr:Structural_induction dbr:Sequence dbr:Functor dbr:Repeating_decimal dbr:Bisimulation dbc:Functional_programming dbr:SWI-Prolog dbr:Andrew_D._Gordon dbr:Data_structures dbr:The_University_of_Texas_at_Dallas dbr:Mathematic dbr:Mathematical_Induction dbr:Bisimilarity dbr:Natural_numbers dbr:Specification_(computing) dbr:Implementation_(computing) dbr:Bart_Jacobs dbr:Jan_Rutten dbr:Object_(computing) dbr:Proof_(math)
dbp:date	March 2025 (en)
dbp:reason	This was previously rather generically placed at the start. Unclear what exactly it was supporting (en)
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:See_also dbt:Multiple_issues dbt:Further dbt:About dbt:Citation_needed dbt:Technical dbt:Verify_inline dbt:Block_indent dbt:Primary_sources dbt:Cite_CiteSeerX
dct:subject	dbc:Logic_programming dbc:Category_theory dbc:Theoretical_computer_science dbc:Mathematical_induction dbc:Functional_programming
gold:hypernym	dbr:Technique
rdf:type	owl:Thing
rdfs:label	Coinduction (en) Coinduction (fr) Коиндукция (ru)
rdfs:seeAlso	dbr:Data_type
owl:sameAs	freebase:Coinduction wikidata:Coinduction dbpedia-fr:Coinduction dbpedia-ru:Coinduction dbpedia-global:Coinduction
prov:wasDerivedFrom	wikipedia-en:Coinduction?oldid=1281076141&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Coinduction
is dbo:wikiPageRedirects of	dbr:Co-data_(coinduction) dbr:Co-data_(computer_science) dbr:Co-induction dbr:Codata_(coinduction) dbr:Codata_(computer_science) dbr:Coinductive
is dbo:wikiPageWikiLink of	dbr:Inductive_type dbr:Anamorphism dbr:Logtalk dbr:F-coalgebra dbr:F-algebra dbr:Type_theory dbr:Answer_set_programming dbr:Initial_algebra dbr:Corecursion dbr:Recursion_(computer_science) dbr:Structural_induction dbr:Stream_(abstract_data_type) dbr:Apomorphism dbr:Calculus_of_constructions dbr:Simulation_(computer_science) dbr:Grigore_Roșu dbr:Polynomial_functor_(type_theory) dbr:Co-data_(coinduction) dbr:Co-data_(computer_science) dbr:Co-induction dbr:Codata_(coinduction) dbr:Codata_(computer_science) dbr:Coinductive
is foaf:primaryTopic of	wikipedia-en:Coinduction