{"entities":{"Q40353":{"pageid":40409,"ns":120,"title":"Item:Q40353","lastrevid":105426302,"modified":"2026-10-09T10:05:06Z","type":"item","id":"Q40353","labels":{"en":{"language":"en","value":"VerifyThis"}},"descriptions":{"en":{"language":"en","value":"AFP entry VerifyThis2018"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"30753d9b8a3ef4ff7729f9713363904a742bc91c","datavalue":{"value":"28639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40353$2B4BFCE1-AC55-4FC6-B673-A3036C73F7D2","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":"Q40353$6E76593B-B2A1-4801-A199-4DFE63B703C7","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"3923981622a31c0e665961dcfd598263c44ff7c3","datavalue":{"value":"https://www.isa-afp.org/entries/VerifyThis2018.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40353$977C9041-C78F-4937-9902-1234BC27984D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40353$19E444FC-9D63-4788-823B-2CB4A5A76C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40353$B21A1FCE-73B4-456E-91E8-25870893A0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a8aa801742e290b2e6820d89349e86d8f23555f","datavalue":{"value":"90.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40353$3310A8AB-1E06-47ED-862D-24F0816181D0","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40353$F2D541AA-EE9A-4BEC-A292-CAB854B5A73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40353$7F9153CD-4A38-43AA-A85E-E86C86A8C46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40353$95BE0396-1D13-4AF1-A987-C9585B8284E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7434bcf5c727d2c07e931aea1694436d0b39cd53","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40353$24A42703-C1A5-45C9-8471-3C04F916F55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40353$EE80493B-434E-49AF-874A-EAB3E293B33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"98fc9aeedeb65f4db95f9d1ae8db4db2a9467c85","datavalue":{"value":{"entity-type":"item","numeric-id":41110,"id":"Q41110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40353$08073056-133C-4CA6-BFDE-38202224109B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40353$3D4497A0-7424-410C-9371-B2B63E3C3F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1f660bc310305b62230cc3a480e6654c975c304a","datavalue":{"value":{"entity-type":"item","numeric-id":25180,"id":"Q25180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40353$EC74DFA1-9A1E-4EBD-A4E1-3FF8D1658051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce6dbd474f0e95c568405735a8368bfea0177fbb","datavalue":{"value":{"entity-type":"item","numeric-id":40341,"id":"Q40341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40353$0F1C0664-6145-445E-873F-8985996B2091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28fc316ccc1f38bd6830fcffe3187b6d32168084","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40353$93B143A9-6443-4FDF-9195-B140FD6BD019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40353$91393A63-C8CD-4452-A4B9-D840C90A0328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4d7f4b76492a75780585d40fb718d00d42a05322","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40353$F43CB16B-C674-4458-A02B-E3339405BDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6a1c834eaf7bf2e5bf95e7e5755a5eb5ec3363d0","datavalue":{"value":{"entity-type":"item","numeric-id":23493,"id":"Q23493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40353$10DD33A8-38F0-4FDD-9C22-83EDC96244DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40353$1A2DA1D2-7D07-4866-AB84-47A94EBDB747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40353$1A02718F-066B-482E-B741-1F351BEE83FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"166b09724d8a36af5ab2c78c8989637b88262a20","datavalue":{"value":{"entity-type":"item","numeric-id":53612,"id":"Q53612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40353$2C5518D7-2799-4374-8FA6-34A6FA1D5D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b804d7f6a9d995bf2ea6f073ae4d3f86f8702ec0","datavalue":{"value":{"entity-type":"item","numeric-id":14592,"id":"Q14592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40353$7064CD8E-9B5E-4822-926A-25E9F39FCF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"709c897d47d28994dd794d3214e0445cac264b3c","datavalue":{"value":{"entity-type":"item","numeric-id":40354,"id":"Q40354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40353$B909BFB9-CB5F-4B06-80FC-D571AC3B36E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed7bd55f585fd77a28317079fdb45f4477e719c5","datavalue":{"value":"https://isa-afp.org/entries/VerifyThis2018.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40353$BA891D89-BBC8-4A88-ABE0-A03AC5571920","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7545c5768cca6bd4b47e52bfec18c22cb81849df","datavalue":{"value":"Peter Lammich","type":"string"},"datatype":"string"},"type":"statement","id":"Q40353$06D1C14C-F202-40D4-9902-6919E5292089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"8ad3851178fd4351b5225d703448b2fe1218d392","datavalue":{"value":"Simon Wimmer","type":"string"},"datatype":"string"},"type":"statement","id":"Q40353$14BA0A01-F49D-4CF1-923C-B177CF7AC918","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":"Q40353$2968EAD2-6538-407D-97C7-891709087F64","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":"Q40353$76E49317-2856-457A-9639-941D5A5095B5","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":"Q40353$5F07E190-73BE-42ED-9AF6-98573DCA56B0","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":"Q40353$F2CA1B47-54A0-442C-B187-2EA0D76CF866","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":"Q40353$F0E1F208-7AC2-4C1D-B6C7-98D81FF33533","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":"Q40353$1D0357AE-9517-413C-867B-09FB11357546","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"VerifyThis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/VerifyThis"}}}}}