{"entities":{"Q6888932":{"pageid":20830126,"ns":120,"title":"Item:Q6888932","lastrevid":75408799,"modified":"2026-04-18T23:51:06Z","type":"item","id":"Q6888932","labels":{"en":{"language":"en","value":"Anatomy of a formal proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8132352"}},"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":"Q6888932$39D57270-AA1C-42CD-9E73-D642E496DFCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"183be057cf17794513d07ea874a48602fcebcf9e","datavalue":{"value":{"text":"Anatomy of a formal proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6888932$38F9A7B0-F813-4D72-9D7A-3703D26B3470","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5a2ce7d87a60ffadb785c8716e4ac39136fb3eb","datavalue":{"value":"10.1090/NOTI3114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6888932$8C5E7F99-864C-49BB-AB1A-248E8DEC3242","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6888932$E4FCF846-4FE5-4620-93E0-7CADAFDC81B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fb99c05ec16c612d126d969714a868adb95a827","datavalue":{"value":{"entity-type":"item","numeric-id":504309,"id":"Q504309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6888932$B297D202-C04C-4893-BAC9-35C2688B8645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e14dacc63b6dc54408a9c18a47b52131676d9276","datavalue":{"value":{"entity-type":"item","numeric-id":658023,"id":"Q658023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6888932$E572E993-7C4C-470D-B277-522DC08AECDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52e55c1fca8527c65f389a90dfe815dd8a573f8f","datavalue":{"value":{"entity-type":"item","numeric-id":330849,"id":"Q330849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6888932$615B033E-3A2C-40FF-B0F0-1B728704C103","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bdae145ecfb71d226d6b4bd74c06a5b992e49347","datavalue":{"value":{"entity-type":"item","numeric-id":2813083,"id":"Q2813083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6888932$779F69D5-075E-4035-9AD3-363ADCCE77F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8246b5b2aaf4f43e1c158fce736d739bfaed0dd","datavalue":{"value":{"time":"+2025-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6888932$82E24AB4-4B8D-43B5-BCD0-4D49638DFE07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6888932$D077A613-9B82-4F9C-8100-0DA6A7C991D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6888932$05243C05-2AEE-4AC0-B021-7C761B378573","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56595f234cce286a1f3b7f7fd6aaf73615b2855d","datavalue":{"value":"8132352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6888932$5BB0F463-AAA0-4427-AEA8-1CE27253B133","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":"Q6888932$6C53D44A-38B2-467F-B3B5-FE5173387528","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Anatomy of a formal proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Anatomy_of_a_formal_proof"}}}}}