{"entities":{"Q6901009":{"pageid":20904817,"ns":120,"title":"Item:Q6901009","lastrevid":75524239,"modified":"2026-04-19T08:48:24Z","type":"item","id":"Q6901009","labels":{"en":{"language":"en","value":"How to Prove it with Lean"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8120310"}},"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":"Q6901009$E3DEF3B4-564C-47D8-8BF8-C2F599A053C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc10538b4c14679dd4db82804709ddf12ef00e7e","datavalue":{"value":{"text":"How to Prove it with Lean","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6901009$F443CC87-E0A1-4DCB-95C8-2145028413AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de5ad3aa104a9ab31911697b98a0f10a556cf0e3","datavalue":{"value":"10.1080/00029890.2025.2532295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6901009$7EF00CE9-ABB3-4916-8CD9-551F1C73A643","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f652543c82d93e756dcc0eb054370033cae3ef15","datavalue":{"value":{"entity-type":"item","numeric-id":1049752,"id":"Q1049752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6901009$CD85852E-B4ED-41A1-AF67-28666EB151A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f5ab0baf7eae70aecb4af413b43b8b6a1ca6194f","datavalue":{"value":{"entity-type":"item","numeric-id":559780,"id":"Q559780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6901009$808F7EDF-6A4F-47BC-A102-CB4E38C2835E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca40fd8abdd4028001e271b64bec45a65c5b5050","datavalue":{"value":{"time":"+2025-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6901009$7D6EF8A7-BA49-409B-9ED0-3A32DD89BEF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cdbcb9a9433c83028f6e622f8bfd7755585518b","datavalue":{"value":"00A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6901009$96FDBE76-58D9-4738-9490-D4D3F02D31BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cf1a7be1eef81d0fc006cf0fe7a57db894cd6a9","datavalue":{"value":"8120310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6901009$AA458822-1D94-4EA0-B179-55305F3B7FFB","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":"Q6901009$94D57F33-684B-4BE8-B89A-F3E9C678B609","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How to Prove it with Lean","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/How_to_Prove_it_with_Lean"}}}}}