Matches in SemOpenAlex for { <https://semopenalex.org/work/W74155995> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W74155995 abstract "We give a reduction, in polynomialy bounded time, of the satisfiability problem in the set language MPLS, to an equivalent linear integer programming problem. We show that this provides an algorithm to decide the Set Unification Problem. The procedure performed gives the eventual unifiers of two set terms (i.e. at least a minimal exhaustive collection of unifiers) in “compact form”. The unifiers are given via the solutions of a linear integer system generated by the reduction. We also report further results concerning the construction of models over the atoms of the universe HFSA (the set model conceived here). These predict the number of useful atoms needed to produce a model of formulae involving the negation." @default.
- W74155995 created "2016-06-24" @default.
- W74155995 creator A5002114345 @default.
- W74155995 creator A5023601144 @default.
- W74155995 creator A5082306957 @default.
- W74155995 date "1993-01-01" @default.
- W74155995 modified "2023-09-25" @default.
- W74155995 title "Deciding in HFS-theory via linear integer programming" @default.
- W74155995 cites W1486270631 @default.
- W74155995 cites W1589346249 @default.
- W74155995 cites W2025586204 @default.
- W74155995 cites W2142584035 @default.
- W74155995 cites W3022987785 @default.
- W74155995 cites W4293117209 @default.
- W74155995 cites W69066391 @default.
- W74155995 cites W74155995 @default.
- W74155995 doi "https://doi.org/10.1007/3-540-56944-8_51" @default.
- W74155995 hasPublicationYear "1993" @default.
- W74155995 type Work @default.
- W74155995 sameAs 74155995 @default.
- W74155995 citedByCount "3" @default.
- W74155995 crossrefType "book-chapter" @default.
- W74155995 hasAuthorship W74155995A5002114345 @default.
- W74155995 hasAuthorship W74155995A5023601144 @default.
- W74155995 hasAuthorship W74155995A5082306957 @default.
- W74155995 hasConcept C111335779 @default.
- W74155995 hasConcept C11413529 @default.
- W74155995 hasConcept C126255220 @default.
- W74155995 hasConcept C134306372 @default.
- W74155995 hasConcept C168773769 @default.
- W74155995 hasConcept C177264268 @default.
- W74155995 hasConcept C182620335 @default.
- W74155995 hasConcept C199360897 @default.
- W74155995 hasConcept C2524010 @default.
- W74155995 hasConcept C33923547 @default.
- W74155995 hasConcept C34388435 @default.
- W74155995 hasConcept C41008148 @default.
- W74155995 hasConcept C41045048 @default.
- W74155995 hasConcept C56086750 @default.
- W74155995 hasConcept C80444323 @default.
- W74155995 hasConcept C96146094 @default.
- W74155995 hasConcept C97137487 @default.
- W74155995 hasConceptScore W74155995C111335779 @default.
- W74155995 hasConceptScore W74155995C11413529 @default.
- W74155995 hasConceptScore W74155995C126255220 @default.
- W74155995 hasConceptScore W74155995C134306372 @default.
- W74155995 hasConceptScore W74155995C168773769 @default.
- W74155995 hasConceptScore W74155995C177264268 @default.
- W74155995 hasConceptScore W74155995C182620335 @default.
- W74155995 hasConceptScore W74155995C199360897 @default.
- W74155995 hasConceptScore W74155995C2524010 @default.
- W74155995 hasConceptScore W74155995C33923547 @default.
- W74155995 hasConceptScore W74155995C34388435 @default.
- W74155995 hasConceptScore W74155995C41008148 @default.
- W74155995 hasConceptScore W74155995C41045048 @default.
- W74155995 hasConceptScore W74155995C56086750 @default.
- W74155995 hasConceptScore W74155995C80444323 @default.
- W74155995 hasConceptScore W74155995C96146094 @default.
- W74155995 hasConceptScore W74155995C97137487 @default.
- W74155995 hasLocation W741559951 @default.
- W74155995 hasOpenAccess W74155995 @default.
- W74155995 hasPrimaryLocation W741559951 @default.
- W74155995 hasRelatedWork W134055995 @default.
- W74155995 hasRelatedWork W1516569168 @default.
- W74155995 hasRelatedWork W1598800203 @default.
- W74155995 hasRelatedWork W1913232854 @default.
- W74155995 hasRelatedWork W2008994564 @default.
- W74155995 hasRelatedWork W2035437402 @default.
- W74155995 hasRelatedWork W2040284237 @default.
- W74155995 hasRelatedWork W2041361797 @default.
- W74155995 hasRelatedWork W2054063537 @default.
- W74155995 hasRelatedWork W2059159759 @default.
- W74155995 hasRelatedWork W2084017197 @default.
- W74155995 hasRelatedWork W2114038357 @default.
- W74155995 hasRelatedWork W2121510281 @default.
- W74155995 hasRelatedWork W2136218185 @default.
- W74155995 hasRelatedWork W2138967979 @default.
- W74155995 hasRelatedWork W2167791891 @default.
- W74155995 hasRelatedWork W2220051496 @default.
- W74155995 hasRelatedWork W2405230269 @default.
- W74155995 hasRelatedWork W2753007631 @default.
- W74155995 hasRelatedWork W59000853 @default.
- W74155995 isParatext "false" @default.
- W74155995 isRetracted "false" @default.
- W74155995 magId "74155995" @default.
- W74155995 workType "book-chapter" @default.