FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2575897612> ?p ?o ?g. }

• W2575897612 endingPage "318" @default.
• W2575897612 startingPage "308" @default.
• W2575897612 abstract "Well-founded fixed points have been used in several areas of knowledge representation and reasoning and in particular to give semantics to logic programs involving negation. They are an important ingredient of approximation fixed point theory. We study the logical properties of the (parametric) well-founded fixed point operation. We show that the operation satisfies several, but not all of the standard equational properties of fixed point operations described by the axioms of iteration theories." @default.
• W2575897612 created "2017-01-26" @default.
• W2575897612 creator A5017293831 @default.
• W2575897612 creator A5057935060 @default.
• W2575897612 date "2017-01-01" @default.
• W2575897612 modified "2023-09-30" @default.
• W2575897612 title "An analysis of the equational properties of the well-founded fixed point" @default.
• W2575897612 cites W1443075279 @default.
• W2575897612 cites W1565496223 @default.
• W2575897612 cites W16194962 @default.
• W2575897612 cites W1748927325 @default.
• W2575897612 cites W1972464717 @default.
• W2575897612 cites W1995270677 @default.
• W2575897612 cites W2029438897 @default.
• W2575897612 cites W2043871010 @default.
• W2575897612 cites W2051175345 @default.
• W2575897612 cites W2051756578 @default.
• W2575897612 cites W2071118378 @default.
• W2575897612 cites W2080633262 @default.
• W2575897612 cites W2093397547 @default.
• W2575897612 cites W2093713825 @default.
• W2575897612 cites W2099792091 @default.
• W2575897612 cites W2100577610 @default.
• W2575897612 cites W2103765734 @default.
• W2575897612 cites W2105016364 @default.
• W2575897612 cites W2122293551 @default.
• W2575897612 cites W2141740710 @default.
• W2575897612 cites W2145648043 @default.
• W2575897612 cites W2194172839 @default.
• W2575897612 cites W2949861466 @default.
• W2575897612 cites W63499524 @default.
• W2575897612 doi "https://doi.org/10.1016/j.jlamp.2016.09.004" @default.
• W2575897612 hasPublicationYear "2017" @default.
• W2575897612 type Work @default.
• W2575897612 sameAs 2575897612 @default.
• W2575897612 citedByCount "1" @default.
• W2575897612 countsByYear W25758976122016 @default.
• W2575897612 crossrefType "journal-article" @default.
• W2575897612 hasAuthorship W2575897612A5017293831 @default.
• W2575897612 hasAuthorship W2575897612A5057935060 @default.
• W2575897612 hasBestOaLocation W25758976121 @default.
• W2575897612 hasConcept C105795698 @default.
• W2575897612 hasConcept C117251300 @default.
• W2575897612 hasConcept C118615104 @default.
• W2575897612 hasConcept C134306372 @default.
• W2575897612 hasConcept C136119220 @default.
• W2575897612 hasConcept C154564781 @default.
• W2575897612 hasConcept C154690210 @default.
• W2575897612 hasConcept C167729594 @default.
• W2575897612 hasConcept C17744445 @default.
• W2575897612 hasConcept C199360897 @default.
• W2575897612 hasConcept C199539241 @default.
• W2575897612 hasConcept C202444582 @default.
• W2575897612 hasConcept C206929604 @default.
• W2575897612 hasConcept C2185349 @default.
• W2575897612 hasConcept C2524010 @default.
• W2575897612 hasConcept C27333817 @default.
• W2575897612 hasConcept C2776359362 @default.
• W2575897612 hasConcept C28642324 @default.
• W2575897612 hasConcept C28719098 @default.
• W2575897612 hasConcept C33923547 @default.
• W2575897612 hasConcept C41008148 @default.
• W2575897612 hasConcept C45962547 @default.
• W2575897612 hasConcept C61445026 @default.
• W2575897612 hasConcept C94625758 @default.
• W2575897612 hasConceptScore W2575897612C105795698 @default.
• W2575897612 hasConceptScore W2575897612C117251300 @default.
• W2575897612 hasConceptScore W2575897612C118615104 @default.
• W2575897612 hasConceptScore W2575897612C134306372 @default.
• W2575897612 hasConceptScore W2575897612C136119220 @default.
• W2575897612 hasConceptScore W2575897612C154564781 @default.
• W2575897612 hasConceptScore W2575897612C154690210 @default.
• W2575897612 hasConceptScore W2575897612C167729594 @default.
• W2575897612 hasConceptScore W2575897612C17744445 @default.
• W2575897612 hasConceptScore W2575897612C199360897 @default.
• W2575897612 hasConceptScore W2575897612C199539241 @default.
• W2575897612 hasConceptScore W2575897612C202444582 @default.
• W2575897612 hasConceptScore W2575897612C206929604 @default.
• W2575897612 hasConceptScore W2575897612C2185349 @default.
• W2575897612 hasConceptScore W2575897612C2524010 @default.
• W2575897612 hasConceptScore W2575897612C27333817 @default.
• W2575897612 hasConceptScore W2575897612C2776359362 @default.
• W2575897612 hasConceptScore W2575897612C28642324 @default.
• W2575897612 hasConceptScore W2575897612C28719098 @default.
• W2575897612 hasConceptScore W2575897612C33923547 @default.
• W2575897612 hasConceptScore W2575897612C41008148 @default.
• W2575897612 hasConceptScore W2575897612C45962547 @default.
• W2575897612 hasConceptScore W2575897612C61445026 @default.
• W2575897612 hasConceptScore W2575897612C94625758 @default.
• W2575897612 hasIssue "1" @default.
• W2575897612 hasLocation W25758976121 @default.
• W2575897612 hasLocation W25758976122 @default.
• W2575897612 hasLocation W25758976123 @default.
• W2575897612 hasLocation W25758976124 @default.
• W2575897612 hasLocation W25758976125 @default.
• W2575897612 hasLocation W25758976126 @default.
• W2575897612 hasOpenAccess W2575897612 @default.
• W2575897612 hasPrimaryLocation W25758976121 @default.

• next