{"entities":{"Q5915548":{"pageid":8031473,"ns":120,"title":"Item:Q5915548","lastrevid":53270573,"modified":"2026-01-24T14:42:17Z","type":"item","id":"Q5915548","labels":{"en":{"language":"en","value":"Calculational relation-algebraic proofs in the teaching tool \\textsc{CalcCheck}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6975220"}},"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":"Q5915548$9FFA36B1-231A-429E-8680-586F7BB052BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"391ae8be854c1b5c36d5c59ecd022a6ddae67418","datavalue":{"value":{"text":"Calculational relation-algebraic proofs in the teaching tool \\textsc{CalcCheck}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5915548$D51288C3-5EA2-4D87-A992-9D3D90B367EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"585c73b8ef8d5d2ffc47d96e56c55f04a51fc809","datavalue":{"value":"1462.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915548$7CD435C2-055D-49CF-8D56-7EF8CC8F5594","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6fd40bbb90cac4657d388daa203a4fbea06f37c","datavalue":{"value":"10.1007/978-3-030-02149-8_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915548$25F8F955-BD64-47F8-B9AA-BA0D87DE87D7","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":"Q5915548$DD5C30C4-6779-40A5-BBBC-AD6EE5B1FF5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915548$07B2DA1E-EC57-48F0-8864-FF622D4A1803","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d94f266e665f0d182ce6e3f9a96799908413b14","datavalue":{"value":{"time":"+2018-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5915548$8F1B8683-93C3-4602-9B62-72A8BED0D89F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915548$3AFC618A-7C93-4BBC-B608-B7FA1CD66183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cdc6607323b1932e270dcc852c92792416514a3","datavalue":{"value":"97U70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915548$6F6AA0A2-DE86-4F69-B887-1278CA767628","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c75eabe8a99ea886b61f8c79c846c08bf65aea6","datavalue":{"value":"6975220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915548$A9C45F21-C265-4123-80E8-286ACFDE4952","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":"Q5915548$6CA771F1-C9D8-4DDF-9CC1-C6ADB3233AFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1315879b5ba2a43839ba26c68e6ca3e32cb0c44d","datavalue":{"value":"https://doi.org/10.1007/978-3-030-02149-8_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5915548$FF92C841-0BAC-436A-A58E-A7094F9AABFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b7851b3507afb4c1480d15b121d71318255f411","datavalue":{"value":"W2895195227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915548$F205CF89-3643-49BD-88A9-B8A46B5EB0A7","rank":"normal"}],"P1643":[{"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":"56cc96d9e4c876e20bf032c2a1bdc2929fe2d0ff","datavalue":{"value":{"amount":"+0.9999374747276306","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":"Q5915548$859AFB48-87CA-4DEE-A777-67D01D030969","rank":"normal"},{"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":"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":"Q5915548$5A4857B5-4135-4396-9718-9A880735FC3E","rank":"normal"},{"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":"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":"Q5915548$7E9C848E-6C37-4A7E-9BE8-42E15F3A6B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8abfd7d163f725b618c6a170aecf3337c560d3c","datavalue":{"value":{"entity-type":"item","numeric-id":5234720,"id":"Q5234720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4202afccbb942f7b4c106594de3166e18ad2db3d","datavalue":{"value":{"amount":"+0.7504039406776428","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":"Q5915548$D8BB5CEC-B8FA-4A10-81A7-351E2AB9B568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a13efb3b5dff20960925457086d5e64ebcdcc42","datavalue":{"value":{"entity-type":"item","numeric-id":3541686,"id":"Q3541686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3bec04c992b1831946acb378c69d9e058984896","datavalue":{"value":{"amount":"+0.7371242046356201","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":"Q5915548$1365393E-7756-4A6E-9979-7C18CE48B015","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5915548","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5915548"}}}}}