Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952851332> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2952851332 abstract "MACE is a program that searches for finite models of first-order statements. The statement to be modeled is first translated to clauses, then to relational clauses; finally for the given domain size, the ground instances are constructed. A Davis-Putnam-Loveland-Logeman procedure decides the propositional problem, and any models found are translated to first-order models. MACE is a useful complement to the theorem prover Otter, with Otter searching for proofs and MACE looking for countermodels." @default.
- W2952851332 created "2019-06-27" @default.
- W2952851332 creator A5017037548 @default.
- W2952851332 date "2001-06-19" @default.
- W2952851332 modified "2023-09-27" @default.
- W2952851332 title "MACE 2.0 Reference Manual and Guide" @default.
- W2952851332 cites W130655838 @default.
- W2952851332 cites W1494059412 @default.
- W2952851332 cites W1495433690 @default.
- W2952851332 cites W1924552249 @default.
- W2952851332 cites W1984341203 @default.
- W2952851332 hasPublicationYear "2001" @default.
- W2952851332 type Work @default.
- W2952851332 sameAs 2952851332 @default.
- W2952851332 citedByCount "0" @default.
- W2952851332 crossrefType "posted-content" @default.
- W2952851332 hasAuthorship W2952851332A5017037548 @default.
- W2952851332 hasConcept C10138342 @default.
- W2952851332 hasConcept C104317684 @default.
- W2952851332 hasConcept C108710211 @default.
- W2952851332 hasConcept C112313634 @default.
- W2952851332 hasConcept C11413529 @default.
- W2952851332 hasConcept C118552586 @default.
- W2952851332 hasConcept C127716648 @default.
- W2952851332 hasConcept C129131279 @default.
- W2952851332 hasConcept C134306372 @default.
- W2952851332 hasConcept C138885662 @default.
- W2952851332 hasConcept C15744967 @default.
- W2952851332 hasConcept C162324750 @default.
- W2952851332 hasConcept C182306322 @default.
- W2952851332 hasConcept C185592680 @default.
- W2952851332 hasConcept C188082640 @default.
- W2952851332 hasConcept C199360897 @default.
- W2952851332 hasConcept C2524010 @default.
- W2952851332 hasConcept C2777026412 @default.
- W2952851332 hasConcept C2780739214 @default.
- W2952851332 hasConcept C33923547 @default.
- W2952851332 hasConcept C36503486 @default.
- W2952851332 hasConcept C41008148 @default.
- W2952851332 hasConcept C41895202 @default.
- W2952851332 hasConcept C45393284 @default.
- W2952851332 hasConcept C500558357 @default.
- W2952851332 hasConcept C55493867 @default.
- W2952851332 hasConcept C80444323 @default.
- W2952851332 hasConceptScore W2952851332C10138342 @default.
- W2952851332 hasConceptScore W2952851332C104317684 @default.
- W2952851332 hasConceptScore W2952851332C108710211 @default.
- W2952851332 hasConceptScore W2952851332C112313634 @default.
- W2952851332 hasConceptScore W2952851332C11413529 @default.
- W2952851332 hasConceptScore W2952851332C118552586 @default.
- W2952851332 hasConceptScore W2952851332C127716648 @default.
- W2952851332 hasConceptScore W2952851332C129131279 @default.
- W2952851332 hasConceptScore W2952851332C134306372 @default.
- W2952851332 hasConceptScore W2952851332C138885662 @default.
- W2952851332 hasConceptScore W2952851332C15744967 @default.
- W2952851332 hasConceptScore W2952851332C162324750 @default.
- W2952851332 hasConceptScore W2952851332C182306322 @default.
- W2952851332 hasConceptScore W2952851332C185592680 @default.
- W2952851332 hasConceptScore W2952851332C188082640 @default.
- W2952851332 hasConceptScore W2952851332C199360897 @default.
- W2952851332 hasConceptScore W2952851332C2524010 @default.
- W2952851332 hasConceptScore W2952851332C2777026412 @default.
- W2952851332 hasConceptScore W2952851332C2780739214 @default.
- W2952851332 hasConceptScore W2952851332C33923547 @default.
- W2952851332 hasConceptScore W2952851332C36503486 @default.
- W2952851332 hasConceptScore W2952851332C41008148 @default.
- W2952851332 hasConceptScore W2952851332C41895202 @default.
- W2952851332 hasConceptScore W2952851332C45393284 @default.
- W2952851332 hasConceptScore W2952851332C500558357 @default.
- W2952851332 hasConceptScore W2952851332C55493867 @default.
- W2952851332 hasConceptScore W2952851332C80444323 @default.
- W2952851332 hasLocation W29528513321 @default.
- W2952851332 hasOpenAccess W2952851332 @default.
- W2952851332 hasPrimaryLocation W29528513321 @default.
- W2952851332 hasRelatedWork W1549715025 @default.
- W2952851332 hasRelatedWork W1575828165 @default.
- W2952851332 hasRelatedWork W2000990072 @default.
- W2952851332 hasRelatedWork W2033513250 @default.
- W2952851332 hasRelatedWork W2115694727 @default.
- W2952851332 hasRelatedWork W2130089820 @default.
- W2952851332 hasRelatedWork W2150903551 @default.
- W2952851332 hasRelatedWork W2438025153 @default.
- W2952851332 hasRelatedWork W261482415 @default.
- W2952851332 hasRelatedWork W2917669195 @default.
- W2952851332 hasRelatedWork W2950567263 @default.
- W2952851332 isParatext "false" @default.
- W2952851332 isRetracted "false" @default.
- W2952851332 magId "2952851332" @default.
- W2952851332 workType "article" @default.