{"entities":{"Q6836288":{"pageid":16960203,"ns":120,"title":"Item:Q6836288","lastrevid":84291185,"modified":"2026-05-14T17:37:59Z","type":"item","id":"Q6836288","labels":{"en":{"language":"en","value":"Bridging informal reasoning and formal proving: the role of argumentation in proof-events"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8178817"}},"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":"Q6836288$EA14E51B-B584-40BD-840E-206F9561A197","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aed25ba662c557f6c3e1ed0a8a37711fd22f0fb0","datavalue":{"value":{"text":"Bridging informal reasoning and formal proving: the role of argumentation in proof-events","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6836288$464071B4-46D7-4AE8-AEC3-9D73A65DC7B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54e4c6b523b10c46d7714b283a06c4a61604e16a","datavalue":{"value":"10.1007/S10699-023-09926-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6836288$3CCA9785-58AF-441F-B68C-6C925BCBE565","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f447f81e51d68720ea05b25b3b443a26a2bb168","datavalue":{"value":{"entity-type":"item","numeric-id":6836273,"id":"Q6836273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836288$EC34467F-E7FC-4840-B41A-9CD347CBB079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed08a608b0cad7875b65422876c04080feb987fe","datavalue":{"value":{"entity-type":"item","numeric-id":1697085,"id":"Q1697085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836288$5EFFF7E1-9BA4-467E-A51B-51128B9066C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d056fa390317638b94cd33674f80c57ad98aec6b","datavalue":{"value":{"entity-type":"item","numeric-id":161821,"id":"Q161821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836288$0357E0CC-312F-49CF-902B-2BF06B410496","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92c4bb9c5b701d90a0e553ee058a3cbb14feafcb","datavalue":{"value":{"time":"+2026-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6836288$426FDB25-A524-4C50-9ADA-B2FE174E3AB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6836288$14A61E2F-5A3F-4BF8-915A-8563832A504F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6836288$443D7F60-39AA-481F-B562-8281971D6B6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95950161df4e3ba3700fb9b413ce215c92398b63","datavalue":{"value":"8178817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6836288$9090C117-D802-466B-9580-C1BAEA1B83C7","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":"Q6836288$8AB1D90B-27E9-483A-818E-4DD76A2ABCE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"503bf0f226606aaefbf1cddd5b98073d7387e8e9","datavalue":{"value":"argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6836288$34DE7959-2D3C-494F-BFFE-477C0F620043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18a881c4c999d2b509e531f5e6500e2bd05e88b3","datavalue":{"value":"arguments","type":"string"},"datatype":"string"},"type":"statement","id":"Q6836288$C52AD54C-37C4-43CD-8425-3599CEE285E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6836288$134D6B39-5E4B-4F4E-88F0-0B23E1BED768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e387b99154d26aa609b68058fc2c4480ac6963b9","datavalue":{"value":"proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6836288$44726CC7-64EB-497C-85EC-6B7F283E364F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"606cd32f3b2d7936a17eda0aa84e26d1a9e41117","datavalue":{"value":"proof-events","type":"string"},"datatype":"string"},"type":"statement","id":"Q6836288$0FE71045-E90A-4DF3-8852-D90A3FE9AFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7122f6b434ec62d62a0c28aa6b0d782dc60199d4","datavalue":{"value":"mathematical proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q6836288$1C34A4F5-ADA8-4E45-A18E-DF3F4D7A190E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e977db44bd54fd53e55c7cddc5eaab507bef6107","datavalue":{"value":"philosophy of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6836288$C4872B86-1DB0-4EF7-B5A4-4125978FEEA3","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":"Q6836288$8EA126A8-560A-45E2-AECA-08BE001D96EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a3eacb628d8d56a9b33429fc2a1b27984d2d70c","datavalue":{"value":{"entity-type":"item","numeric-id":2271083,"id":"Q2271083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836288$F319774C-A2F6-42F3-A06D-FE231FE157D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076921f96f6dec982ace7fd7359b2b25c3537120","datavalue":{"value":{"entity-type":"item","numeric-id":1950302,"id":"Q1950302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836288$FFCC1671-8C50-4D5C-9597-98AE54D46DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0f7e101a0ec1c49d6dbda6afd04acdf641c074","datavalue":{"value":{"entity-type":"item","numeric-id":1855240,"id":"Q1855240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836288$4FC220D8-E370-4AB0-B378-FE1E6C337C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed97f9a12af7dab83b0170165c738f6d7a41584","datavalue":{"value":{"entity-type":"item","numeric-id":5286914,"id":"Q5286914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836288$17F2E017-8441-45C5-9043-1A3EA74D8E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29296419733cec00d5e60f6515ecd8938a9dcfd4","datavalue":{"value":{"entity-type":"item","numeric-id":4352533,"id":"Q4352533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836288$4B8211EC-67D2-4475-A2E9-A05E1336C027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c6843c5febd090e042836f9b70a3a8e904ad12","datavalue":{"value":{"entity-type":"item","numeric-id":514239,"id":"Q514239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836288$F5203B16-B0CE-4E56-A5BB-44C48C91E80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946adaf1a8c8f141e0757f8f6f8365e21e858a9","datavalue":{"value":{"entity-type":"item","numeric-id":4099559,"id":"Q4099559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836288$43DA29A0-88D8-4202-B384-E82D7230A13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6618c2e327f561010ebb398f01a8c90f6975d3","datavalue":{"value":{"entity-type":"item","numeric-id":360132,"id":"Q360132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836288$C933BC0C-D815-4316-B7A8-6F3BF5A2EC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0365f3d595cb15be66ebcfaf541b2c3cf752e0","datavalue":{"value":{"entity-type":"item","numeric-id":2407885,"id":"Q2407885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836288$5EA46E3C-EF8E-421A-A8E0-B90D317A9CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b50513cbd8e29535347e4c399626981fd9fed5","datavalue":{"value":{"entity-type":"item","numeric-id":2950042,"id":"Q2950042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836288$E7D127C8-9050-4A64-ADC0-2D39DCFE6E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1dfd51121a90fd24cbcb8685728f1d504494bc2","datavalue":{"value":{"entity-type":"item","numeric-id":1199924,"id":"Q1199924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836288$5EEA66E1-F7B6-40CA-9898-F34BA0270102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6e5dd9b7834236f0e21bc36215f759a070cf9a9","datavalue":{"value":{"entity-type":"item","numeric-id":1402750,"id":"Q1402750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836288$529550D4-CE8E-4466-AFE1-2566DD4F0CF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bridging informal reasoning and formal proving: the role of argumentation in proof-events","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bridging_informal_reasoning_and_formal_proving:_the_role_of_argumentation_in_proof-events"}}}}}