{"shas":[["a5ea09cfbf3192d0298fcf1869e6cfd645608a38","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","GTL structural operational semantic","Henning Günther"]],"repo":"hguenther/master-thesis","actor":"hguenther","ref":"refs/heads/master","size":1,"head":"a5ea09cfbf3192d0298fcf1869e6cfd645608a38","actor_gravatar":"8307c10ba82e5fcdbafd446fc259c84f","push_id":27673363}