FRINK Linked Data Fragments server

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

• W2092007705 endingPage "748" @default.
• W2092007705 startingPage "723" @default.
• W2092007705 abstract "Let a quantified inequality constraint over the reals be a formula in the first-order predicate language over the structure of the real numbers, where the allowed predicate symbols are ≤ and <. Solving such constraints is an undecidable problem when allowing function symbols such sin or cos. In this article, we give an algorithm that terminates with a solution for all, except for very special, pathological inputs. We ensure the practical efficiency of this algorithm by employing constraint programming techniques." @default.
• W2092007705 created "2016-06-24" @default.
• W2092007705 creator A5025056965 @default.
• W2092007705 date "2006-10-01" @default.
• W2092007705 modified "2023-10-14" @default.
• W2092007705 title "Efficient solving of quantified inequality constraints over the real numbers" @default.
• W2092007705 cites W1483874187 @default.
• W2092007705 cites W1504204411 @default.
• W2092007705 cites W1570787829 @default.
• W2092007705 cites W1579484017 @default.
• W2092007705 cites W1596669356 @default.
• W2092007705 cites W1598317541 @default.
• W2092007705 cites W1972645441 @default.
• W2092007705 cites W1988549558 @default.
• W2092007705 cites W1990426442 @default.
• W2092007705 cites W1991813962 @default.
• W2092007705 cites W1994738145 @default.
• W2092007705 cites W2007074311 @default.
• W2092007705 cites W2013702670 @default.
• W2092007705 cites W2016056788 @default.
• W2092007705 cites W2022125816 @default.
• W2092007705 cites W2029381483 @default.
• W2092007705 cites W2048801726 @default.
• W2092007705 cites W2054700680 @default.
• W2092007705 cites W2063402394 @default.
• W2092007705 cites W2067456686 @default.
• W2092007705 cites W2084965339 @default.
• W2092007705 cites W2104715607 @default.
• W2092007705 cites W2104882047 @default.
• W2092007705 cites W2115955567 @default.
• W2092007705 cites W4247032301 @default.
• W2092007705 cites W4298255709 @default.
• W2092007705 cites W4298290503 @default.
• W2092007705 doi "https://doi.org/10.1145/1183278.1183282" @default.
• W2092007705 hasPublicationYear "2006" @default.
• W2092007705 type Work @default.
• W2092007705 sameAs 2092007705 @default.
• W2092007705 citedByCount "80" @default.
• W2092007705 countsByYear W20920077052012 @default.
• W2092007705 countsByYear W20920077052013 @default.
• W2092007705 countsByYear W20920077052014 @default.
• W2092007705 countsByYear W20920077052015 @default.
• W2092007705 countsByYear W20920077052016 @default.
• W2092007705 countsByYear W20920077052017 @default.
• W2092007705 countsByYear W20920077052018 @default.
• W2092007705 countsByYear W20920077052019 @default.
• W2092007705 countsByYear W20920077052020 @default.
• W2092007705 countsByYear W20920077052021 @default.
• W2092007705 countsByYear W20920077052022 @default.
• W2092007705 countsByYear W20920077052023 @default.
• W2092007705 crossrefType "journal-article" @default.
• W2092007705 hasAuthorship W2092007705A5025056965 @default.
• W2092007705 hasBestOaLocation W20920077052 @default.
• W2092007705 hasConcept C100481476 @default.
• W2092007705 hasConcept C11413529 @default.
• W2092007705 hasConcept C118615104 @default.
• W2092007705 hasConcept C126255220 @default.
• W2092007705 hasConcept C134306372 @default.
• W2092007705 hasConcept C140146324 @default.
• W2092007705 hasConcept C153269930 @default.
• W2092007705 hasConcept C192034797 @default.
• W2092007705 hasConcept C199360897 @default.
• W2092007705 hasConcept C2524010 @default.
• W2092007705 hasConcept C2776036281 @default.
• W2092007705 hasConcept C33923547 @default.
• W2092007705 hasConcept C41008148 @default.
• W2092007705 hasConcept C45555294 @default.
• W2092007705 hasConcept C94020503 @default.
• W2092007705 hasConceptScore W2092007705C100481476 @default.
• W2092007705 hasConceptScore W2092007705C11413529 @default.
• W2092007705 hasConceptScore W2092007705C118615104 @default.
• W2092007705 hasConceptScore W2092007705C126255220 @default.
• W2092007705 hasConceptScore W2092007705C134306372 @default.
• W2092007705 hasConceptScore W2092007705C140146324 @default.
• W2092007705 hasConceptScore W2092007705C153269930 @default.
• W2092007705 hasConceptScore W2092007705C192034797 @default.
• W2092007705 hasConceptScore W2092007705C199360897 @default.
• W2092007705 hasConceptScore W2092007705C2524010 @default.
• W2092007705 hasConceptScore W2092007705C2776036281 @default.
• W2092007705 hasConceptScore W2092007705C33923547 @default.
• W2092007705 hasConceptScore W2092007705C41008148 @default.
• W2092007705 hasConceptScore W2092007705C45555294 @default.
• W2092007705 hasConceptScore W2092007705C94020503 @default.
• W2092007705 hasIssue "4" @default.
• W2092007705 hasLocation W20920077051 @default.
• W2092007705 hasLocation W20920077052 @default.
• W2092007705 hasLocation W20920077053 @default.
• W2092007705 hasOpenAccess W2092007705 @default.
• W2092007705 hasPrimaryLocation W20920077051 @default.
• W2092007705 hasRelatedWork W1986884618 @default.
• W2092007705 hasRelatedWork W1990616702 @default.
• W2092007705 hasRelatedWork W2021891065 @default.
• W2092007705 hasRelatedWork W2028367584 @default.
• W2092007705 hasRelatedWork W2036224946 @default.
• W2092007705 hasRelatedWork W2047223671 @default.
• W2092007705 hasRelatedWork W2092007705 @default.
• W2092007705 hasRelatedWork W2103957426 @default.
• W2092007705 hasRelatedWork W2907274630 @default.

• next