Matches in SemOpenAlex for { <https://semopenalex.org/work/W2532653057> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2532653057 abstract "Extended abstract for Association of Logic Programming (ALP) Newsletter on FLOPS/TCS special issue paper on SAT and SMT solving in Prolog." @default.
- W2532653057 created "2016-10-28" @default.
- W2532653057 creator A5039886424 @default.
- W2532653057 creator A5072649512 @default.
- W2532653057 date "2011-03-01" @default.
- W2532653057 modified "2023-09-27" @default.
- W2532653057 title "A Pearl on SAT Solving in Prolog (Logic Programming Newsletter)" @default.
- W2532653057 hasPublicationYear "2011" @default.
- W2532653057 type Work @default.
- W2532653057 sameAs 2532653057 @default.
- W2532653057 citedByCount "0" @default.
- W2532653057 crossrefType "journal-article" @default.
- W2532653057 hasAuthorship W2532653057A5039886424 @default.
- W2532653057 hasAuthorship W2532653057A5072649512 @default.
- W2532653057 hasConcept C102993220 @default.
- W2532653057 hasConcept C127001435 @default.
- W2532653057 hasConcept C128838566 @default.
- W2532653057 hasConcept C154945302 @default.
- W2532653057 hasConcept C166957645 @default.
- W2532653057 hasConcept C189790780 @default.
- W2532653057 hasConcept C199360897 @default.
- W2532653057 hasConcept C203659156 @default.
- W2532653057 hasConcept C205649164 @default.
- W2532653057 hasConcept C2779251273 @default.
- W2532653057 hasConcept C41008148 @default.
- W2532653057 hasConcept C81721847 @default.
- W2532653057 hasConceptScore W2532653057C102993220 @default.
- W2532653057 hasConceptScore W2532653057C127001435 @default.
- W2532653057 hasConceptScore W2532653057C128838566 @default.
- W2532653057 hasConceptScore W2532653057C154945302 @default.
- W2532653057 hasConceptScore W2532653057C166957645 @default.
- W2532653057 hasConceptScore W2532653057C189790780 @default.
- W2532653057 hasConceptScore W2532653057C199360897 @default.
- W2532653057 hasConceptScore W2532653057C203659156 @default.
- W2532653057 hasConceptScore W2532653057C205649164 @default.
- W2532653057 hasConceptScore W2532653057C2779251273 @default.
- W2532653057 hasConceptScore W2532653057C41008148 @default.
- W2532653057 hasConceptScore W2532653057C81721847 @default.
- W2532653057 hasLocation W25326530571 @default.
- W2532653057 hasOpenAccess W2532653057 @default.
- W2532653057 hasPrimaryLocation W25326530571 @default.
- W2532653057 hasRelatedWork W130578230 @default.
- W2532653057 hasRelatedWork W1481367841 @default.
- W2532653057 hasRelatedWork W1507547096 @default.
- W2532653057 hasRelatedWork W1523712082 @default.
- W2532653057 hasRelatedWork W155681780 @default.
- W2532653057 hasRelatedWork W1603584666 @default.
- W2532653057 hasRelatedWork W171691975 @default.
- W2532653057 hasRelatedWork W1966879767 @default.
- W2532653057 hasRelatedWork W1977834309 @default.
- W2532653057 hasRelatedWork W214339206 @default.
- W2532653057 hasRelatedWork W2150537182 @default.
- W2532653057 hasRelatedWork W2195859267 @default.
- W2532653057 hasRelatedWork W2240129858 @default.
- W2532653057 hasRelatedWork W2400940216 @default.
- W2532653057 hasRelatedWork W2546957924 @default.
- W2532653057 hasRelatedWork W2547797938 @default.
- W2532653057 hasRelatedWork W2699188596 @default.
- W2532653057 hasRelatedWork W3080664507 @default.
- W2532653057 hasRelatedWork W4167769 @default.
- W2532653057 hasRelatedWork W756832115 @default.
- W2532653057 isParatext "false" @default.
- W2532653057 isRetracted "false" @default.
- W2532653057 magId "2532653057" @default.
- W2532653057 workType "article" @default.