000013013 001__ 13013
000013013 005__ 20230301174638.0
000013013 0247_ $$2CORDIS$$aG:(EU-Grant)291592$$d291592
000013013 0247_ $$2CORDIS$$aG:(EU-Call)ERC-2011-ADG_20110209$$dERC-2011-ADG_20110209
000013013 0247_ $$2originalID$$acorda_______::291592
000013013 035__ $$aG:(EU-Grant)291592
000013013 150__ $$aProofCert: Broad Spectrum Proof Certificates$$y2012-01-01 - 2016-12-31
000013013 371__ $$aFrench Institute for Research in Computer Science and Automation$$bINRIA$$dFrance$$ehttp://www.inria.fr/en/$$vCORDIS
000013013 372__ $$aERC-2011-ADG_20110209$$s2012-01-01$$t2016-12-31
000013013 450__ $$aPROOFCERT$$wd$$y2012-01-01 - 2016-12-31
000013013 5101_ $$0I:(DE-588b)5098525-5$$2CORDIS$$aEuropean Union
000013013 909CO $$ooai:juser.fz-juelich.de:124683$$pauthority$$pauthority:GRANT
000013013 909CO $$ooai:juser.fz-juelich.de:124683
000013013 970__ $$aoai:dnet:corda_______::0a4992912bc0c38879595800593a9108
000013013 980__ $$aG
000013013 980__ $$aCORDIS
000013013 980__ $$aAUTHORITY