{"entities":{"Q7361216":{"pageid":31519187,"ns":120,"title":"Item:Q7361216","lastrevid":105364097,"modified":"2026-10-07T13:35:14Z","type":"item","id":"Q7361216","labels":{"en":{"language":"en","value":"VerifyThis 2018 - Polished Isabelle Solutions"}},"descriptions":{"en":{"language":"en","value":"AFP entry VerifyThis2018"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed7bd55f585fd77a28317079fdb45f4477e719c5","datavalue":{"value":"https://isa-afp.org/entries/VerifyThis2018.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361216$1012C22B-F7CA-4B81-8356-9D0DE428C2E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4bdceec116463fa1916ed9809f1256cafcc0079","datavalue":{"value":{"time":"+2018-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361216$E32D4A5A-45DF-4DAE-8F3C-EF831A7A22C5","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7545c5768cca6bd4b47e52bfec18c22cb81849df","datavalue":{"value":"Peter Lammich","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361216$728D9617-ECB6-47F8-AFE5-CAB9D532676B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"8ad3851178fd4351b5225d703448b2fe1218d392","datavalue":{"value":"Simon Wimmer","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361216$21CFC830-6974-4B9A-9E9D-314F4A5F9FF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1a9961672526675159f97957cec6455668e67bc","datavalue":{"value":{"text":"VerifyThis 2018 - Polished Isabelle Solutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361216$EDF8C455-76FC-4976-8695-2141E7C1B6BA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"117f0ba2ecb0cb943a3f4d4b713d6f5a5a738796","datavalue":{"value":"VerifyThis 2018 was a program verification competition associated with ETAPS 2018. It was the 7th event in the VerifyThis competition series. In this entry, we present polished and completed versions of our solutions that we created during the competition.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361216$A4F0E9FB-532C-40FD-8327-D374C18EB768","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361216$BD85912A-86F8-486D-9E87-BBF659D632B5","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"6df1e1600a3acc40d1b0a9c9cf7cbc177462ddf9","datavalue":{"value":{"entity-type":"item","numeric-id":7361373,"id":"Q7361373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361216$A9A66172-CA6C-41DE-9FE2-8A1628A9A23C","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"1157f6239d5752bb0ad1cee836272bd46c6bf40f","datavalue":{"value":{"entity-type":"item","numeric-id":7360772,"id":"Q7360772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361216$58B2A73D-9C1B-4F3F-AE85-D1052EACE845","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361216$B24433FA-04C2-45C9-AA8A-DE68C4FE972D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"VerifyThis 2018 - Polished Isabelle Solutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/VerifyThis_2018_-_Polished_Isabelle_Solutions"}}}}}