{"entities":{"Q607406":{"pageid":609182,"ns":120,"title":"Item:Q607406","lastrevid":51134216,"modified":"2026-01-16T20:54:18Z","type":"item","id":"Q607406","labels":{"en":{"language":"en","value":"Structured derivations: a unified proof style for teaching mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5817991"}},"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":"Q607406$5D421CD8-8650-4C1A-A407-E6A58445E29A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11396045d0ec5efd1549d64604a08c7861cd6e75","datavalue":{"value":{"text":"Structured derivations: a unified proof style for teaching mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q607406$7726FFE7-9871-4C3F-B27F-1ADB995950EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"767bb27be9fb90287edb9890490378527021a9c7","datavalue":{"value":"1217.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607406$D0398922-2942-4DB9-9364-CF3430F788B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7d76bab915fa5b11ba4114aa1f83889a977dcb6","datavalue":{"value":{"entity-type":"item","numeric-id":204599,"id":"Q204599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607406$0300A59B-6919-4C7B-ABD3-9131B180DA71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607406$ED5B7235-BFCC-4945-A836-23AD73A9CA29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0597dd9f38cc744686ebfdde0ab7e717b4afd491","datavalue":{"value":{"time":"+2010-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q607406$2C2EFB32-5FEA-497F-8D02-C90E6A1F913D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607406$86523961-97B1-42D8-9717-90D5DFD5112C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607406$C72DAADA-441F-4059-8274-C2AE6F95B7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607406$84101AA7-8D9F-483F-AB3E-012EB13BCC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"00f42a2a59ec246b1fc914a4d26db8b0ca02a1aa","datavalue":{"value":"97E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607406$BAEECF4D-6B26-414F-825F-3E0B30547B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3eb3832a4185e7e706fecab141c246a315531697","datavalue":{"value":"97E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607406$243D0DE5-BC7A-4478-B84F-B60E4EC158F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87c0ac219076cfff5d1c378d619e4a7616d4ad5f","datavalue":{"value":"5817991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607406$3724A72D-7630-4006-B05A-FC4799B760C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abd925080c678cf0fb3fed5d0b03fd7fbf184d2a","datavalue":{"value":"structured derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q607406$DB1FA027-5D4E-4F0B-AF65-3CD60A9D8342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b00469c3f3ccb9a3eea0d87699beba4e7843b4c","datavalue":{"value":"proof styles","type":"string"},"datatype":"string"},"type":"statement","id":"Q607406$1452ADF6-20B9-4FB6-8791-F7F0A9F3C784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99fae692989311ebac6f677701eb3912b5043313","datavalue":{"value":"Gentzen-style proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q607406$7E2E090E-3A67-4DC0-B860-4CAC665AA369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e0556100d8e1a063835d5cbf68bc3723ebf5403","datavalue":{"value":"Hilbert-style proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q607406$691B0E85-5484-4EA0-BDC3-688ADA665011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67dc5a6c33ce99f032df74e36bad62170daa64cf","datavalue":{"value":"Dijkstra's calculational proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q607406$4264F15F-5452-493E-8456-ECC23BAD8CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2b3bc1b5b1fe00e128873a5db75b9d36561cbdb","datavalue":{"value":"teaching mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q607406$BD87449E-91EB-4991-936D-F5E56E53E1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e94ca77b7fd51b5537b6aeb2410f60febf247e4","datavalue":{"value":"high-school mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q607406$7195E555-1301-4202-A224-3BDC7A3607A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c981250d58ffbb2ce323c73cba72d45c0f2891c","datavalue":{"value":"proof format","type":"string"},"datatype":"string"},"type":"statement","id":"Q607406$5D3F36D5-B3F8-4217-BB9B-D6100893F68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q607406$0622E26F-31A3-4084-98EE-9195B34EB83C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607406$4E07E954-DBF8-431E-ABAE-88E0831B79F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607406$AC22933D-E032-4660-987D-639D0C128551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607406$47FF0473-FDA2-46ED-B8F3-8CF848AFF690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607406$1A80132A-B4EF-44A8-924F-476BD6B121A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607406$06C557B3-F2D4-487D-AF19-948A542DEA42","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":"Q607406$F1FE36ED-3E9F-4DB3-962B-4AA9A101B2ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da6b9b9a634ed0e06b9951ab6d78f1ba6c3ffe06","datavalue":{"value":"https://doi.org/10.1007/s00165-009-0136-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q607406$36157FFA-7B91-4C3C-B3FF-933C6DFFC011","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"befdc58a7c5770b4ea19d291932b47961ad9a332","datavalue":{"value":"W2031462151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607406$0292A50C-2898-4649-9DC3-4CF21F97AACF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7469a14c6b3d5214a08da9b6d9960375ad8bda98","datavalue":{"value":{"entity-type":"item","numeric-id":3898009,"id":"Q3898009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607406$3C609F23-64C6-4AFE-924E-990DF86E1978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d99c5a0e13ee889036714bc5394088e5f34dd18","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607406$0F2079A3-430F-4654-ACEA-4B511DE5B92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f044dcb7488eb8311f04e7a55716837b9df15e3","datavalue":{"value":{"entity-type":"item","numeric-id":1267033,"id":"Q1267033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607406$0D3FE9DF-AA01-4D05-89D4-8B78DAB60E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607406$AF368E93-7CD7-4969-B8D9-A104A49F4969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607406$D7019B45-29D9-43E4-A28A-0E1ADF64D72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607406$717DF62A-D7E5-4144-91F7-3DD4CF0B06E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06b026641aef570787858825e6955c1038b9b05c","datavalue":{"value":{"entity-type":"item","numeric-id":1402465,"id":"Q1402465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607406$F449E310-DE12-4012-ADBE-DA2B6ADE9DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40235e727aa70ad53a8a9ff6438bdb8cd979e140","datavalue":{"value":{"entity-type":"item","numeric-id":4846258,"id":"Q4846258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607406$14F3FA85-0465-4A16-BE09-79C655BC942D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae4ec347f984dabeb86416fe7c6d7aa905ebafe0","datavalue":{"value":{"entity-type":"item","numeric-id":4870030,"id":"Q4870030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607406$05F3A7D5-4B1D-453E-BBB3-530E1EF7D629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37b23b7db99d33ba41b8c893bcac4aca2de8fdd","datavalue":{"value":{"entity-type":"item","numeric-id":4870018,"id":"Q4870018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607406$F09E869F-11E2-413E-B4A5-A2D66E218AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18eae0d93c62338c42d5358a66e2303bf3601de","datavalue":{"value":{"entity-type":"item","numeric-id":1961913,"id":"Q1961913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607406$39CFC9BC-7B98-4879-B49F-7F210EC76640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1661e278d4b3115deddc8fd22a4bfcf611c20cf8","datavalue":{"value":{"entity-type":"item","numeric-id":4282659,"id":"Q4282659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607406$714512E9-AC86-4863-8453-3FDB7D4B6D7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a026594a9c2c14ead91f72b5ca6b9d737cff564","datavalue":{"value":"10.1007/S00165-009-0136-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607406$939DFC7B-701F-40E4-9DBD-A73B8331ED45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400aa91770e1223f8eeb240d768c478ce35e2eee","datavalue":{"value":{"entity-type":"item","numeric-id":1267033,"id":"Q1267033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fff50cdb9b3ff9f2610fe82242d135432323ca2","datavalue":{"value":{"amount":"+0.7811578512191772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q607406$EBCE2F59-701F-472B-9C32-8304FCF57C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb496ff782047b2099af04ec16756413ce47453e","datavalue":{"value":{"entity-type":"item","numeric-id":3686657,"id":"Q3686657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b9e213f5d0a5a5890116aa36fd62adb20a2f4a","datavalue":{"value":{"amount":"+0.7801902294158936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q607406$D19D0175-3F41-4B14-860A-C0372729441E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074793fd282367856a7e352e3d6fba73d60568a3","datavalue":{"value":{"entity-type":"item","numeric-id":5957914,"id":"Q5957914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5507844b4459ced2ad2b3cd0c181c5909f3181df","datavalue":{"value":{"amount":"+0.7380702495574951","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q607406$ADD6C121-64ED-4DE7-91C7-A070CA443EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f3645f3939c4944c377443ebff888eded2ef9cc","datavalue":{"value":{"entity-type":"item","numeric-id":692371,"id":"Q692371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be6128d7577b73a9a8402191cefd01bf0e7ff01c","datavalue":{"value":{"amount":"+0.7240331172943115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q607406$A9C99595-DA2E-4D8A-A9B5-797774813184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8aa3a27f7f6b440c0e0b78bfb9bf2bd8d4cf20c","datavalue":{"value":{"entity-type":"item","numeric-id":4870018,"id":"Q4870018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"260b627de6f45108276752014645945c47f3f7fb","datavalue":{"value":{"amount":"+0.7189467549324036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q607406$4FDBB13E-FA38-4BA7-B13E-AA6ED3960FB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:607406","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:607406"}}}}}