{"entities":{"Q6976538":{"pageid":21362274,"ns":120,"title":"Item:Q6976538","lastrevid":84035561,"modified":"2026-05-08T11:43:28Z","type":"item","id":"Q6976538","labels":{"en":{"language":"en","value":"An example of goal-directed, calculational proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8048067"}},"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":"Q6976538$9EC4EEF5-482D-4206-B6C5-61085713E7FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48f42cb5477f1ec26d93de55e3d780d0c82b4a92","datavalue":{"value":{"text":"An example of goal-directed, calculational proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6976538$D367A7F2-A99D-4814-8AD6-3F232BDC2D98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76f73f1d4518aeda98321f23ad0730461395515d","datavalue":{"value":"1566.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976538$B8B7483C-2FE0-49B7-9577-C4DB854ABA75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5374e678113a3ace719cb642788cdf81adf103bb","datavalue":{"value":"10.1017/S095679682400011X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976538$6DA04B8B-84D4-43C2-B7EC-1BC8C7B174B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71fb904a820c73693b0d5559909fc9d5a5d7f002","datavalue":{"value":{"entity-type":"item","numeric-id":1330442,"id":"Q1330442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976538$1C5B2CCF-33F3-4A61-AD28-E179BB7BD091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed69aaebbce1b2394bce597626494f1caaec9558","datavalue":{"value":{"entity-type":"item","numeric-id":299187,"id":"Q299187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976538$6DB45FEE-742C-4D47-8767-7401F454B1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f56b190e71015a871f15c3d88a85fbb2910354ee","datavalue":{"value":{"entity-type":"item","numeric-id":238923,"id":"Q238923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976538$359F9BDD-3FD0-4A18-839F-997F30B08794","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976538$EA5A9FA0-21FC-4B7A-B35C-1596F2EBD54E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1d287cb8d96589c2cc587d8d419d31e18e77b38","datavalue":{"value":{"time":"+2025-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6976538$6ADEF579-851C-492A-A9E9-1CD9F4C1A860","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976538$A0BF90A4-524A-4701-8CF8-D4098E98C3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5554b9c844f173ce8299bcb1bb0c8b42f6b4a0be","datavalue":{"value":"05C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976538$9042E8A6-5EC4-4283-AAD1-71339250F767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976538$EE5B6779-694B-4AEE-A985-12416108C295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976538$65052C3F-B07D-4013-A901-2A5F14E1BE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976538$EF541801-D37F-492B-AF2A-CC76992A2353","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73df183f4fd0050536363266626832be9977667f","datavalue":{"value":"8048067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976538$61BDB051-E1A5-49DF-915F-09DD3F5BE6A9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976538$A3AF854F-43B3-4F2E-9AAF-8658466CE75C","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":"Q6976538$11A570A6-9905-4F0D-BEFB-8922FDE22F86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"695553d370ba9b3bbaaa3fdbfd6aad2138c600c4","datavalue":{"value":{"entity-type":"item","numeric-id":2667191,"id":"Q2667191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976538$F39D089A-4805-4EEE-8DEC-4CC8BDC84AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976538$810DE1BD-8C87-47EB-A5B8-5F17F016C4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e9c8c0f1a29bc2ad0dca22b983d7fa8a788a3d","datavalue":{"value":{"entity-type":"item","numeric-id":1188723,"id":"Q1188723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976538$A1ECB7C6-3E17-45AE-8859-4F63892006FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An example of goal-directed, calculational proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_example_of_goal-directed,_calculational_proof"}}}}}