FRINK Linked Data Fragments server

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

• W2301389031 abstract "It was proved by Sela and by the authors that every formula in the theory of a free group $F$ is equivalent to a boolean combination of $existsforall$-formulas. We also proved that the elementary theory of a free group is decidable (there is an algorithm given a sentence to decide whether this sentence belongs to $Th(F)$). In this paper we give an algorithm for reduction of a first order formula over a free group to an equivalent boolean combination of $existsforall$-formulas." @default.
• W2301389031 created "2016-06-24" @default.
• W2301389031 creator A5016991948 @default.
• W2301389031 creator A5039441575 @default.
• W2301389031 date "2012-07-08" @default.
• W2301389031 modified "2023-09-22" @default.
• W2301389031 title "Quantifier elimination algorithm to boolean combination of $existsforall$-formulas in the theory of a free group" @default.
• W2301389031 cites W141907986 @default.
• W2301389031 cites W1487319749 @default.
• W2301389031 cites W1963720790 @default.
• W2301389031 cites W1981155305 @default.
• W2301389031 cites W1992028397 @default.
• W2301389031 cites W1994502794 @default.
• W2301389031 cites W2005047182 @default.
• W2301389031 cites W2018604239 @default.
• W2301389031 cites W2027103910 @default.
• W2301389031 cites W2033831360 @default.
• W2301389031 cites W2040480652 @default.
• W2301389031 cites W2051204832 @default.
• W2301389031 cites W2055875111 @default.
• W2301389031 cites W2057330802 @default.
• W2301389031 cites W2068638265 @default.
• W2301389031 cites W2090997504 @default.
• W2301389031 cites W2093981152 @default.
• W2301389031 cites W2097145367 @default.
• W2301389031 cites W2126634413 @default.
• W2301389031 cites W2134086356 @default.
• W2301389031 cites W2410686863 @default.
• W2301389031 cites W2962704050 @default.
• W2301389031 cites W2962936267 @default.
• W2301389031 cites W2963196760 @default.
• W2301389031 cites W2963705236 @default.
• W2301389031 cites W2963803250 @default.
• W2301389031 cites W94630493 @default.
• W2301389031 hasPublicationYear "2012" @default.
• W2301389031 type Work @default.
• W2301389031 sameAs 2301389031 @default.
• W2301389031 citedByCount "3" @default.
• W2301389031 countsByYear W23013890312013 @default.
• W2301389031 countsByYear W23013890312014 @default.
• W2301389031 crossrefType "posted-content" @default.
• W2301389031 hasAuthorship W2301389031A5016991948 @default.
• W2301389031 hasAuthorship W2301389031A5039441575 @default.
• W2301389031 hasConcept C111335779 @default.
• W2301389031 hasConcept C11413529 @default.
• W2301389031 hasConcept C118615104 @default.
• W2301389031 hasConcept C136119220 @default.
• W2301389031 hasConcept C136979486 @default.
• W2301389031 hasConcept C153269930 @default.
• W2301389031 hasConcept C154945302 @default.
• W2301389031 hasConcept C178790620 @default.
• W2301389031 hasConcept C185592680 @default.
• W2301389031 hasConcept C202444582 @default.
• W2301389031 hasConcept C2524010 @default.
• W2301389031 hasConcept C2777530160 @default.
• W2301389031 hasConcept C2778523021 @default.
• W2301389031 hasConcept C2781311116 @default.
• W2301389031 hasConcept C33923547 @default.
• W2301389031 hasConcept C41008148 @default.
• W2301389031 hasConceptScore W2301389031C111335779 @default.
• W2301389031 hasConceptScore W2301389031C11413529 @default.
• W2301389031 hasConceptScore W2301389031C118615104 @default.
• W2301389031 hasConceptScore W2301389031C136119220 @default.
• W2301389031 hasConceptScore W2301389031C136979486 @default.
• W2301389031 hasConceptScore W2301389031C153269930 @default.
• W2301389031 hasConceptScore W2301389031C154945302 @default.
• W2301389031 hasConceptScore W2301389031C178790620 @default.
• W2301389031 hasConceptScore W2301389031C185592680 @default.
• W2301389031 hasConceptScore W2301389031C202444582 @default.
• W2301389031 hasConceptScore W2301389031C2524010 @default.
• W2301389031 hasConceptScore W2301389031C2777530160 @default.
• W2301389031 hasConceptScore W2301389031C2778523021 @default.
• W2301389031 hasConceptScore W2301389031C2781311116 @default.
• W2301389031 hasConceptScore W2301389031C33923547 @default.
• W2301389031 hasConceptScore W2301389031C41008148 @default.
• W2301389031 hasLocation W23013890311 @default.
• W2301389031 hasOpenAccess W2301389031 @default.
• W2301389031 hasPrimaryLocation W23013890311 @default.
• W2301389031 hasRelatedWork W143215475 @default.
• W2301389031 hasRelatedWork W1483260880 @default.
• W2301389031 hasRelatedWork W1483295069 @default.
• W2301389031 hasRelatedWork W1530996181 @default.
• W2301389031 hasRelatedWork W1532784182 @default.
• W2301389031 hasRelatedWork W1554715854 @default.
• W2301389031 hasRelatedWork W1586036035 @default.
• W2301389031 hasRelatedWork W1597588219 @default.
• W2301389031 hasRelatedWork W1608133301 @default.
• W2301389031 hasRelatedWork W1969966778 @default.
• W2301389031 hasRelatedWork W1981947400 @default.
• W2301389031 hasRelatedWork W2002672992 @default.
• W2301389031 hasRelatedWork W2023602358 @default.
• W2301389031 hasRelatedWork W2050426366 @default.
• W2301389031 hasRelatedWork W2612504636 @default.
• W2301389031 hasRelatedWork W2625349360 @default.
• W2301389031 hasRelatedWork W2884884330 @default.
• W2301389031 hasRelatedWork W3102597374 @default.
• W2301389031 hasRelatedWork W2106972807 @default.
• W2301389031 hasRelatedWork W2155329177 @default.
• W2301389031 isParatext "false" @default.
• W2301389031 isRetracted "false" @default.

• next