{"entities":{"Q6630879":{"pageid":14242031,"ns":120,"title":"Item:Q6630879","lastrevid":100092314,"modified":"2026-06-05T21:24:08Z","type":"item","id":"Q6630879","labels":{"en":{"language":"en","value":"Mathematical explanations: an analysis via formal proofs and conceptual complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7937050"}},"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":"Q6630879$399B3AC0-8AEE-4C04-8673-72DBA34F58C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"720e9bbc76241a915f980ecc8895d250b9c06687","datavalue":{"value":{"text":"Mathematical explanations: an analysis via formal proofs and conceptual complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6630879$51326A03-1EA4-4587-9137-22E1D11734F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54f3f146d4c950a3a5ffcc19e82123e94fd4cf97","datavalue":{"value":{"entity-type":"item","numeric-id":332081,"id":"Q332081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630879$CF0F83AD-42D8-48D8-AE72-397AC9E4DE35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"826c094a631331acfd27cd41d9426c10b165133a","datavalue":{"value":{"entity-type":"item","numeric-id":6551593,"id":"Q6551593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630879$D55C15EF-3AD4-4BAC-9627-A4D7152073FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7b639e699f7e190ac6074c505ed75a9af171b9e","datavalue":{"value":{"time":"+2024-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6630879$2B6690BC-00C5-4D81-9CAD-13FDACDB3A63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630879$C9DD2A2B-BD8D-4EFD-8E90-769C2A637629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630879$0ABBF654-569C-4A74-AB11-2DE9F510A324","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58a37fc6db686bf7934633e1a89168ceb9f35866","datavalue":{"value":"7937050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630879$934FBE65-A299-40BC-BC3F-F57A1A3FB737","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":"Q6630879$E54DF30F-F7A9-4230-A46C-935867EBB46B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"829b18ce5e7eb0e46a4e3d3f43896868884958e4","datavalue":{"value":"10.1093/PHILMAT/NKAD023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630879$73DD6FBB-01ED-44EF-AAD6-4645B29EC4D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical explanations: an analysis via formal proofs and conceptual complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_explanations:_an_analysis_via_formal_proofs_and_conceptual_complexity"}}}}}