Matches in SemOpenAlex for { <https://semopenalex.org/work/W1485166189> ?p ?o ?g. }
- W1485166189 created "2016-06-24" @default.
- W1485166189 creator A5011463106 @default.
- W1485166189 date "2006-09-01" @default.
- W1485166189 modified "2023-09-25" @default.
- W1485166189 title "Verification Techniques for Extensions of Equality Logic" @default.
- W1485166189 cites W107758709 @default.
- W1485166189 cites W122898706 @default.
- W1485166189 cites W1483620970 @default.
- W1485166189 cites W1484352250 @default.
- W1485166189 cites W1487564513 @default.
- W1485166189 cites W1491477330 @default.
- W1485166189 cites W1498734916 @default.
- W1485166189 cites W1500091966 @default.
- W1485166189 cites W1500991862 @default.
- W1485166189 cites W1501263237 @default.
- W1485166189 cites W1501912551 @default.
- W1485166189 cites W1507115617 @default.
- W1485166189 cites W1511965757 @default.
- W1485166189 cites W1512886641 @default.
- W1485166189 cites W1513006286 @default.
- W1485166189 cites W1514370277 @default.
- W1485166189 cites W1515278398 @default.
- W1485166189 cites W1522429036 @default.
- W1485166189 cites W1522965407 @default.
- W1485166189 cites W1524356195 @default.
- W1485166189 cites W1531082202 @default.
- W1485166189 cites W1532000439 @default.
- W1485166189 cites W1534557881 @default.
- W1485166189 cites W1540047335 @default.
- W1485166189 cites W1540083798 @default.
- W1485166189 cites W1541130101 @default.
- W1485166189 cites W1542298067 @default.
- W1485166189 cites W1543180705 @default.
- W1485166189 cites W1544459976 @default.
- W1485166189 cites W1547265787 @default.
- W1485166189 cites W1547562281 @default.
- W1485166189 cites W1557386766 @default.
- W1485166189 cites W1563533791 @default.
- W1485166189 cites W1569595378 @default.
- W1485166189 cites W1569953369 @default.
- W1485166189 cites W1570783318 @default.
- W1485166189 cites W1570854248 @default.
- W1485166189 cites W1572729891 @default.
- W1485166189 cites W1575003479 @default.
- W1485166189 cites W1579129613 @default.
- W1485166189 cites W1581243896 @default.
- W1485166189 cites W1582500475 @default.
- W1485166189 cites W1582571943 @default.
- W1485166189 cites W1583295953 @default.
- W1485166189 cites W1586417778 @default.
- W1485166189 cites W1587860638 @default.
- W1485166189 cites W1592502301 @default.
- W1485166189 cites W1596885258 @default.
- W1485166189 cites W1599173152 @default.
- W1485166189 cites W1601833083 @default.
- W1485166189 cites W1602567617 @default.
- W1485166189 cites W1605048253 @default.
- W1485166189 cites W1605936044 @default.
- W1485166189 cites W1606724249 @default.
- W1485166189 cites W1607120552 @default.
- W1485166189 cites W1659048632 @default.
- W1485166189 cites W1737419777 @default.
- W1485166189 cites W1739770529 @default.
- W1485166189 cites W1742760325 @default.
- W1485166189 cites W1751719170 @default.
- W1485166189 cites W1844468970 @default.
- W1485166189 cites W1860481808 @default.
- W1485166189 cites W1929502661 @default.
- W1485166189 cites W1930138276 @default.
- W1485166189 cites W1972478730 @default.
- W1485166189 cites W1985161650 @default.
- W1485166189 cites W2009023733 @default.
- W1485166189 cites W2019702515 @default.
- W1485166189 cites W2027246586 @default.
- W1485166189 cites W2030224590 @default.
- W1485166189 cites W2033074970 @default.
- W1485166189 cites W2036915776 @default.
- W1485166189 cites W2038813971 @default.
- W1485166189 cites W2044667269 @default.
- W1485166189 cites W2057361103 @default.
- W1485166189 cites W205961229 @default.
- W1485166189 cites W2062897452 @default.
- W1485166189 cites W2068748360 @default.
- W1485166189 cites W2096008648 @default.
- W1485166189 cites W2096494922 @default.
- W1485166189 cites W2097197843 @default.
- W1485166189 cites W2099331641 @default.
- W1485166189 cites W2100249553 @default.
- W1485166189 cites W2100738443 @default.
- W1485166189 cites W2101604841 @default.
- W1485166189 cites W2104639956 @default.
- W1485166189 cites W2104778110 @default.
- W1485166189 cites W2107886735 @default.
- W1485166189 cites W2107940672 @default.
- W1485166189 cites W2108953880 @default.
- W1485166189 cites W2108980444 @default.
- W1485166189 cites W2109220893 @default.
- W1485166189 cites W2109236102 @default.
- W1485166189 cites W2112911540 @default.
- W1485166189 cites W2114566589 @default.