{"entities":{"Q3100213":{"pageid":3110928,"ns":120,"title":"Item:Q3100213","lastrevid":86479634,"modified":"2026-06-03T22:18:20Z","type":"item","id":"Q3100213","labels":{"en":{"language":"en","value":"The teaching tool CalcCheck: a proof-checker for Gries and Schneider's ``Logical approach to discrete math''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977514"}},"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":"Q3100213$AFBB902F-A311-4679-BFBE-62FFF9973475","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"495394786db5fc185c77f2ea79baeeb5cda8dccd","datavalue":{"value":{"text":"The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider\u2019s \u201cLogical Approach to Discrete Math\u201d","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3100213$9CD501AE-8872-4AE1-A92B-9CDD486CA34F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"459e460155275c77f5bb9a40f2ad6b8a9c6145f1","datavalue":{"value":"1350.68238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100213$74C2B782-C999-4B5B-8967-3A97F53ADFD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a3b5033695461dd313f5b078252b296065e8714","datavalue":{"value":"10.1007/978-3-642-25379-9_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100213$D01C841D-00BE-425E-9284-B3B8F82DF2D5","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":"Q3100213$C1629E37-6B05-4036-A945-244C3ACBFF9E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100213$91E4E615-B452-407B-B4A5-996D14F4BE13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d06d6de084d6566994eb3940381939ab0e2877d","datavalue":{"value":{"time":"+2011-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":"Q3100213$96B4163D-B88F-41A7-B6ED-D24107A20909","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100213$9F37AF01-99DE-452C-8CA5-193E3602DD4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2048ccb04b8fe48928cea843e6a84a456ec2e87d","datavalue":{"value":"5977514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100213$CF80F7E6-265C-442C-AE8F-4DC1E6EA4FEE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100213$C6C4F31D-60F6-4BDC-8F91-B92271BAFD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100213$06E3DBB7-A69C-4C44-9785-330C90676C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100213$1F86E595-328D-4F6A-A860-8B7E59BC306A","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":"Q3100213$4FDAF9D8-BBFB-4DC3-8424-BC9DC9DBD530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"211c43a5b835fe620b561d29820fa20ae55def41","datavalue":{"value":{"entity-type":"item","numeric-id":45361,"id":"Q45361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100213$96B899EB-829F-4BD1-9887-20EA5A2A4E77","rank":"normal"},{"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":"Q3100213$D87B55AA-7349-48D2-9A8D-E0B9C80CC49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100213$DBDA64E2-C457-4F8F-B4E7-7685A2E83F81","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":"Q3100213$16380A7B-6159-4324-99BC-A8D6D407FB2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1467085e09a3bcde404e5c8741c48a88c6656ba3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-25379-9_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3100213$24B6D16A-23E6-4DEF-A6A0-07C21D8ECA4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b7cdee5d17fc9b8569948f5d98a6a94038f5da6","datavalue":{"value":"W37664042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100213$548B5E2F-9235-4412-9D21-E6CB7FF58288","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3694ae59a098648624de4957c30ca2270dfdbedf","datavalue":{"value":{"entity-type":"item","numeric-id":2736597,"id":"Q2736597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100213$BE361BC2-200D-4DE2-A6C6-BB26E5DD5A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38256027c7e0fe74f7ac6d967e5095866a89e6b7","datavalue":{"value":{"entity-type":"item","numeric-id":5428270,"id":"Q5428270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100213$AEC5ABE6-FA4D-4CE6-ABB5-32CBD0441181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5dc32522e0062cccf7ff7280961b0c091134e3a","datavalue":{"value":{"entity-type":"item","numeric-id":5901563,"id":"Q5901563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100213$E461DF43-546B-45A6-BA48-6C4367501F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bab11b75e766c233c3a1b9a3682b90b0e288d","datavalue":{"value":{"entity-type":"item","numeric-id":3075247,"id":"Q3075247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100213$BED6F9BE-9A26-428F-B424-80E459C6C3A0","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":"Q3100213$868A8717-993C-4F9C-9B46-70AEA75B12C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b430e85ce041664f165c8018c4e5ae7fa672fe","datavalue":{"value":{"entity-type":"item","numeric-id":3316551,"id":"Q3316551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100213$0739E2F8-BF27-4524-AAC5-2CA0489A8347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b74e03be808ae2aa2d74c7f08311d95f43c60a0","datavalue":{"value":{"entity-type":"item","numeric-id":5485626,"id":"Q5485626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100213$28F1CD98-DDD1-469A-9FB0-8A8BB1CC2946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8219577a178b5e6bc0cc5aede73996c94784449","datavalue":{"value":{"entity-type":"item","numeric-id":4435474,"id":"Q4435474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100213$56A4A240-1451-4F9D-9068-2084310384FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c852981cf03ba0205dbadf36200c00bb56793d8c","datavalue":{"value":{"entity-type":"item","numeric-id":3183518,"id":"Q3183518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100213$B9D83DAD-45DA-4B8D-A3C4-8B0741A542EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63bb6bdbc25564edc909b73c35dad5601709a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":1791172,"id":"Q1791172"},"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":"Q3100213$FD08BD97-0926-46D9-96CD-9BD07E9FE8BC","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":"cf35c34e6f3925f7d81fa4da7fed6f0305a8bc33","datavalue":{"value":{"amount":"+0.8180928230285645","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":"Q3100213$B05F8F71-465B-4030-BAFA-E005B9B811FF","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":"c84cbb9d45577dda3f14ce8e6d9fda578bf3e3f6","datavalue":{"value":{"amount":"+0.8175475597381592","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":"Q3100213$A5859AD1-C965-427B-AC9D-6A7BAAE1B99F","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":"10e471a4118f5573fc062f17927b8cd8c36b8bb4","datavalue":{"value":{"amount":"+0.710781991481781","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":"Q3100213$26D85CCA-F75E-4F8C-A450-83991D3AE485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffce656a3b349ae7375eb718151524e72da5bf33","datavalue":{"value":{"entity-type":"item","numeric-id":1607098,"id":"Q1607098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"710645a26a54bc27f3c2edcf5287be833b32ea7b","datavalue":{"value":{"amount":"+0.7094244956970215","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":"Q3100213$D5F2D1AD-E37F-4F1A-A1D5-C0FA88D76649","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The teaching tool CalcCheck: a proof-checker for Gries and Schneider's ``Logical approach to discrete math''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_teaching_tool_CalcCheck:_a_proof-checker_for_Gries_and_Schneider%27s_%60%60Logical_approach_to_discrete_math%27%27"}}}}}