Has the paper 'Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology' not been published by John W. in Mechanizing Mathematical Reasoning?
Wasn't the paper 'Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology' published by the author John W. in Mechanizing Mathematical Reasoning?
ASK { <https://dblp.org/rec/conf/birthday/BarringerGW05> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/62/2689-1> . <https://dblp.org/rec/conf/birthday/BarringerGW05> <https://dblp.org/rdf/schema#publishedIn> 'Mechanizing Mathematical Reasoning' FILTER NOT EXISTS { <https://dblp.org/rec/conf/birthday/BarringerGW05> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/62/2689-1> . <https://dblp.org/rec/conf/birthday/BarringerGW05> <https://dblp.org/rdf/schema#publishedIn> 'Mechanizing Mathematical Reasoning' } }
<https://dblp.org/pid/62/2689-1> <https://dblp.org/rec/conf/birthday/BarringerGW05>