{"entities":{"Q5875404":{"pageid":7904955,"ns":120,"title":"Item:Q5875404","lastrevid":97508675,"modified":"2026-06-05T14:55:14Z","type":"item","id":"Q5875404","labels":{"en":{"language":"en","value":"A Million Lines of Proof About a Moving Target (Invited Talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649950"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875404$AE006EC2-148E-4921-8F20-68CFA613501C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e453fb43ff034a2125090d63962dcad98ba5afe2","datavalue":{"value":{"entity-type":"item","numeric-id":2829243,"id":"Q2829243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875404$13428195-40A5-465C-9A5D-A028A590C56E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875404$23278DBD-F446-4B0E-9826-B7902CE95FA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875404$909AAC2D-C2EA-4112-B0B7-93F84FAFC730","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7d8f928ba3ba9cd4c7fdd43c000f544034a9378","datavalue":{"value":"7649950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875404$211BFEA7-C59C-41FB-BFD7-18E64BBD7C12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eab123f20ed7908026c9dac2bbe4819eb283917a","datavalue":{"value":"proof maintentance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875404$C0782F3A-8A73-4F79-B09B-03107879D256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75d9c44bd3a4120ae85719cf4e2dbab345697665","datavalue":{"value":"proof evolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875404$5D457415-C06A-45F5-BE8B-840143CD6418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a9737e1b54a93dc32f06b795c5f7aaba7d3af98","datavalue":{"value":"sel4","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875404$BCF3CA7C-5A72-47D2-9980-39814484A3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa59f83c775959545914ddd170937182c0bce0f","datavalue":{"value":"isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875404$D2F6151D-B989-4849-8A17-2B64C066B9E3","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875404$E015A045-C587-4EBF-AA2A-3B1BF36DA2B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1691c97c61b8c3d72ff3357f20feccc91849a2c","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2019/11056/pdf/LIPIcs-ITP-2019-1.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875404$3BF0F791-3400-4C4B-B96A-61792BA774F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec3166c863dbf6d1ded2d79f6f83d623e5c87dd4","datavalue":{"value":"W2977706921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875404$E8B4DB82-2D2F-46F2-B4A0-5EB694345044","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e848b489566e9f450440a9f6e2a8cfa6469fed04","datavalue":{"value":{"text":"A Million Lines of Proof About a Moving Target (Invited Talk)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875404$F0FB4F5B-C807-4D6A-AEFA-27A8FAC42442","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0958058b81e9db7b700f6de6bab161659b6302c","datavalue":{"value":"10.4230/LIPICS.ITP.2019.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875404$57AC3278-1CF3-4533-A14F-EC9BA605B827","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Million Lines of Proof About a Moving Target (Invited Talk)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Million_Lines_of_Proof_About_a_Moving_Target_(Invited_Talk)"}}}}}