{"entities":{"Q1791172":{"pageid":1801914,"ns":120,"title":"Item:Q1791172","lastrevid":72966498,"modified":"2026-04-14T09:04:36Z","type":"item","id":"Q1791172","labels":{"en":{"language":"en","value":"CalcCheck: a proof checker for teaching the ``Logical approach to discrete math''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946988"}},"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":"Q1791172$907DEDC4-0C6B-4757-ABEC-424CB798C16C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a5844ab7d375dd5fbffb37906ba2bd25217e44b","datavalue":{"value":{"text":"CalcCheck: a proof checker for teaching the ``Logical approach to discrete math''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791172$CCB49826-2638-4B39-B7B4-F3808BF63DFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd9b57499aec70b6b469fc0576b0d9dc5a216f21","datavalue":{"value":"1462.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791172$45FE4676-E82B-485B-AFE1-9F05B4A15A2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ecdcd585257ed9536393d9575ee1e05486e91bc","datavalue":{"value":"10.1007/978-3-319-94821-8_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791172$32ED47C5-963A-4DC7-92DF-ECAD83A7E1FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e0d1feb73bc6dc1f21f46312ef6e54527d133b3","datavalue":{"value":{"entity-type":"item","numeric-id":406452,"id":"Q406452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791172$1BC057D1-7F74-4036-A429-1A44450D46C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791172$AD50F882-3D66-40C3-9DD1-CF8CA31ED774","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791172$4BA48D02-54E4-473B-BCF8-4E35C10B47D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cdc6607323b1932e270dcc852c92792416514a3","datavalue":{"value":"97U70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791172$BA59C87F-AA94-4DA8-A9CD-CFA8095B7C94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8596bd8d88ad171c07db557f6b7dd1e964d13a89","datavalue":{"value":"6946988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791172$C29F8385-5E46-45C3-9FAA-85D9619D3EB5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bc08cca12dff13e56e887929c6b1a5688c3f92b","datavalue":{"value":{"entity-type":"item","numeric-id":21739,"id":"Q21739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791172$3A5CF84B-8AC3-4A20-A11E-317C805E07FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31bbaf0014ccb88d7d041bd216e2993b42806245","datavalue":{"value":{"entity-type":"item","numeric-id":20718,"id":"Q20718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791172$F92949B7-7A03-4F2B-8943-B7AFDC36ABD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0fc2788f500d5a85209feb98cc4093337dc745d","datavalue":{"value":{"entity-type":"item","numeric-id":40367,"id":"Q40367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791172$A2332A4B-96F1-4336-9E06-EBAB7EB37D71","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":"Q1791172$1EF44972-44D9-4880-B50D-81C96CB77A1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a80e36199287a382db7742761d0108c1c4d5912b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94821-8_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791172$E471E96E-CA22-446C-A1DA-F0D1C7ED6DB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75980401d28ae66f578f3b8cc558460caca0d896","datavalue":{"value":"W2810881672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791172$51216029-0483-41D7-B803-9191DC640FEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11a65dea20a4a0a310e05458cb39807284a82b1e","datavalue":{"value":{"entity-type":"item","numeric-id":3100213,"id":"Q3100213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36432bb8c3b0d022e3e11059f3664259e012af34","datavalue":{"value":{"amount":"+0.9498358964920044","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":"Q1791172$9E86BE9F-07BF-474F-8D99-A0247FF988F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"306b74f6aaff3392e75b2e90a1d31e7f3c60be09","datavalue":{"value":{"entity-type":"item","numeric-id":5919026,"id":"Q5919026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4320d9e8dce05cac6bb06b2ce26993cc1d0db726","datavalue":{"value":{"amount":"+0.8066590428352356","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":"Q1791172$D14E1103-8D9F-48C6-8FDC-81DD2311E157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f989ff0888c38cfea9858e2278a3acffeeca1f10","datavalue":{"value":{"entity-type":"item","numeric-id":5915548,"id":"Q5915548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e546954405bacec06c41042ac9bd2996690baa","datavalue":{"value":{"amount":"+0.8055357933044434","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":"Q1791172$A0E0B658-8A28-4EB2-B20B-877063465A75","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":"7e48a46dabadfed3bcd3ba72c72838a5b4651ba9","datavalue":{"value":{"amount":"+0.7147854566574097","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":"Q1791172$4B0908B4-4A38-469E-9B43-9E114B8A3CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ef6f8cd8718f1d64bdad3d35d2a8750a28f6eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3759967,"id":"Q3759967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa139a2ccf5e649f5a7d13a045c1a789d7d95e0b","datavalue":{"value":{"amount":"+0.7112165689468384","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":"Q1791172$579BAF5E-4034-42F4-BAFD-31418DA688A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CalcCheck: a proof checker for teaching the ``Logical approach to discrete math''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CalcCheck:_a_proof_checker_for_teaching_the_%60%60Logical_approach_to_discrete_math%27%27"}}}}}