Wikipedia: ar.wikipedia.or ... https://ar.wikipedia.org/wiki/%D9%85%D8%AC%D9%84%D8%A9_%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82_%D8%A7%D9%84%D8%A2%D9%84%D9%8A
Wikipedia: en.wikipedia.or ... https://en.wikipedia.org/wiki/Journal_of_Automated_Reasoning
SUDOC: www.sudoc.fr/03 ... http://www.sudoc.fr/03911791X
Wikidata: www.wikidata.or ... http://www.wikidata.org/entity/Q6294821
FATCAT: fatcat.wiki/con ... https://fatcat.wiki/container/2ewief65xnegfh2slwulpgsnba
Wikipedia: ar.wikipedia.or ... https://ar.wikipedia.org/wiki/%D9%85%D8%AC%D9%84%D8%A9_%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82_%D8%A7%D9%84%D8%A2%D9%84%D9%8A
Wikipedia: en.wikipedia.or ... https://en.wikipedia.org/wiki/Journal_of_Automated_Reasoning
SUDOC: www.sudoc.fr/03 ... http://www.sudoc.fr/03911791X
Wikidata: www.wikidata.or ... http://www.wikidata.org/entity/Q6294821
FATCAT: fatcat.wiki/con ... https://fatcat.wiki/container/2ewief65xnegfh2slwulpgsnba
Google: www.google.com/ ... https://www.google.com/search?q=ISSN+%220168-7433%22
Bing: www.bing.com/se ... https://www.bing.com/search?q=ISSN+%220168-7433%22
Yahoo: search.yahoo.co ... https://search.yahoo.com/search?p=ISSN%20%220168-7433%22
Koninklijke Bibliotheek: opc4.kb.nl/DB=1 ... http://opc4.kb.nl/DB=1/LNG=EN/CMD?ACT=SRCHA&IKT=8&TRM=0168-7433
CROSSREF: search.crossref ... https://search.crossref.org/?q=+0168-7433
Pubmed: pubmed.ncbi.nlm ... https://pubmed.ncbi.nlm.nih.gov/?term=%220168-7433%22%5BJournal%5D&sort=