FRINK Linked Data Fragments server

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

• W3042291487 endingPage "423" @default.
• W3042291487 startingPage "357" @default.
• W3042291487 created "2020-07-23" @default.
• W3042291487 creator A5034642471 @default.
• W3042291487 date "2020-07-18" @default.
• W3042291487 modified "2023-09-25" @default.
• W3042291487 title "Decidable $${exists }^*{forall }^*$$ First-Order Fragments of Linear Rational Arithmetic with Uninterpreted Predicates" @default.
• W3042291487 cites W100246148 @default.
• W3042291487 cites W110471801 @default.
• W3042291487 cites W116178176 @default.
• W3042291487 cites W1416602162 @default.
• W3042291487 cites W1481397690 @default.
• W3042291487 cites W1481689110 @default.
• W3042291487 cites W1484186647 @default.
• W3042291487 cites W1488662850 @default.
• W3042291487 cites W1488686801 @default.
• W3042291487 cites W1489527380 @default.
• W3042291487 cites W1491144250 @default.
• W3042291487 cites W1495026145 @default.
• W3042291487 cites W1497884533 @default.
• W3042291487 cites W1498428138 @default.
• W3042291487 cites W1500991862 @default.
• W3042291487 cites W1511737804 @default.
• W3042291487 cites W1513644114 @default.
• W3042291487 cites W1515441675 @default.
• W3042291487 cites W1517830222 @default.
• W3042291487 cites W1519036689 @default.
• W3042291487 cites W1531082700 @default.
• W3042291487 cites W1532000439 @default.
• W3042291487 cites W1532358383 @default.
• W3042291487 cites W1535925611 @default.
• W3042291487 cites W1536511644 @default.
• W3042291487 cites W1536646831 @default.
• W3042291487 cites W1540069634 @default.
• W3042291487 cites W1549008998 @default.
• W3042291487 cites W1550776561 @default.
• W3042291487 cites W1559664284 @default.
• W3042291487 cites W1583912692 @default.
• W3042291487 cites W1592502301 @default.
• W3042291487 cites W1628379673 @default.
• W3042291487 cites W1633653664 @default.
• W3042291487 cites W1747570770 @default.
• W3042291487 cites W1790807402 @default.
• W3042291487 cites W1801713495 @default.
• W3042291487 cites W1859059663 @default.
• W3042291487 cites W1897269102 @default.
• W3042291487 cites W1927589922 @default.
• W3042291487 cites W1966217515 @default.
• W3042291487 cites W1966647497 @default.
• W3042291487 cites W1971727793 @default.
• W3042291487 cites W1977733379 @default.
• W3042291487 cites W1978356133 @default.
• W3042291487 cites W1980102547 @default.
• W3042291487 cites W1994486216 @default.
• W3042291487 cites W199467017 @default.
• W3042291487 cites W1999468161 @default.
• W3042291487 cites W2004496038 @default.
• W3042291487 cites W2013702670 @default.
• W3042291487 cites W2015376829 @default.
• W3042291487 cites W2021891065 @default.
• W3042291487 cites W2030670832 @default.
• W3042291487 cites W2033040247 @default.
• W3042291487 cites W2035045326 @default.
• W3042291487 cites W2056350513 @default.
• W3042291487 cites W2062792526 @default.
• W3042291487 cites W2065145482 @default.
• W3042291487 cites W2069422398 @default.
• W3042291487 cites W2072380992 @default.
• W3042291487 cites W2076908710 @default.
• W3042291487 cites W2077264791 @default.
• W3042291487 cites W2080220005 @default.
• W3042291487 cites W2084417024 @default.
• W3042291487 cites W2086470346 @default.
• W3042291487 cites W2101508170 @default.
• W3042291487 cites W2104419987 @default.
• W3042291487 cites W2104715607 @default.
• W3042291487 cites W2114544510 @default.
• W3042291487 cites W2122865749 @default.
• W3042291487 cites W2125267811 @default.
• W3042291487 cites W2127882277 @default.
• W3042291487 cites W2130773092 @default.
• W3042291487 cites W2136584020 @default.
• W3042291487 cites W2137351629 @default.
• W3042291487 cites W2141780739 @default.
• W3042291487 cites W2157787341 @default.
• W3042291487 cites W2162131937 @default.
• W3042291487 cites W2164502223 @default.
• W3042291487 cites W2164778826 @default.
• W3042291487 cites W2166403227 @default.
• W3042291487 cites W2168177042 @default.
• W3042291487 cites W2210320991 @default.
• W3042291487 cites W2211800868 @default.
• W3042291487 cites W2259817465 @default.
• W3042291487 cites W2521367263 @default.
• W3042291487 cites W2537376148 @default.
• W3042291487 cites W2608023254 @default.
• W3042291487 cites W2611147814 @default.
• W3042291487 cites W2617497701 @default.
• W3042291487 cites W2652260735 @default.
• W3042291487 cites W2744775619 @default.

• next