{"entities":{"Q3454125":{"pageid":5233525,"ns":120,"title":"Item:Q3454125","lastrevid":88240838,"modified":"2026-06-04T14:00:25Z","type":"item","id":"Q3454125","labels":{"en":{"language":"en","value":"MathCheck: a math assistant via a combination of computer algebra systems and SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515535"}},"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":"Q3454125$1D309BF1-DB34-48FF-8C1F-CC730EA09B13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f57779fdde4cb2a99054b5bd431f0f001a8b3c0","datavalue":{"value":{"text":"MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454125$20A4E599-91A4-4306-AB99-A9ED502D6476","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"230145e7a0130a52a1892112a9bdda05edd26df7","datavalue":{"value":"1465.68300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454125$D9148E79-733F-4AE7-9421-9818D03EA177","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ffb65e62a03db7709acbfba1dd9ab8781b3d6a3","datavalue":{"value":"10.1007/978-3-319-21401-6_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454125$ED0D5042-C257-422F-8E57-A3BAC13DBA58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2cda14bc6b1b04129e7701b20f3b53ddf5320fa","datavalue":{"value":{"entity-type":"item","numeric-id":2360871,"id":"Q2360871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$21D8DA75-5C72-48D0-BCC7-BCE3AB61FF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50100327a2c6f555e4a4810ba0263aa80d7a14ed","datavalue":{"value":{"entity-type":"item","numeric-id":526761,"id":"Q526761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$4AA0D0A5-888A-4784-8759-2DBD828104D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b538041e577252a1107ef2c5fdaa276b146caa5e","datavalue":{"value":{"entity-type":"item","numeric-id":1680250,"id":"Q1680250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$FF477B4F-2C62-42A5-A5CB-F163C5F86F16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$830A1680-ACC9-4AD5-AEA9-E6BDE350AF02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454125$85F9AFA1-32B4-4ECE-93DE-A2135B91DEE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454125$FA9B4170-6C3F-4B35-9C08-FCF7FBC82CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f9920e258389d79a7ef76ef96a77d2e9cc60267","datavalue":{"value":"05-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454125$B615AD98-A5EB-4D86-83FA-D484F187C967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454125$CF6E0436-FD54-4A54-A882-420BB20ADD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eef1b49f4a66afb755b22d7419db9d61ba07415f","datavalue":{"value":"05C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454125$463CAECF-83F1-417E-876E-02565F52CD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625e55f1f2a96178239720bc1bbbe7ad21cf0a75","datavalue":{"value":"05C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454125$80021634-6CE7-480E-88A3-237952BA8AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454125$D213C27D-CD9F-46F3-BE81-15E03A867821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454125$386CB1D9-92CC-409A-84C6-80DDE083E21E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc6c572a5abc3878d337bb8acbe213cd4189a969","datavalue":{"value":"6515535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454125$A0687ED5-71DB-4302-88BC-729A5F4ED484","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5df14ee9c6f65085bdee53a419634b2235aa5c43","datavalue":{"value":{"entity-type":"item","numeric-id":19326,"id":"Q19326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$B41C852B-9FDE-4436-94D2-EE6D142E2544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b5c9b35d8e9d156fad0e174bf1ededba57ccca7","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$534BDB3D-333C-480A-B06F-3880F102BF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dbb0bb2a8210f1f7926078c3d1e2fe559108eeb1","datavalue":{"value":{"entity-type":"item","numeric-id":25557,"id":"Q25557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$601E6BF1-1745-4328-89C2-BB834D698C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$E16593E7-8614-4726-956B-189B20654FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eb1fc07b1f3dcc0bd395e3c1ee93fcd6a49761a2","datavalue":{"value":{"entity-type":"item","numeric-id":20699,"id":"Q20699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$AB203821-BE9E-4A36-AABC-6CC614B60BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$467E2AB1-8DB1-49AD-BB16-4A4D6DEBF144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce9cbcc0fc2b6a78318bde796c3568f4cac70749","datavalue":{"value":{"entity-type":"item","numeric-id":28582,"id":"Q28582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$A41559FA-F6B6-4877-BD49-B0A673785E64","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":"Q3454125$FFA426B4-F3C2-4F2A-9007-B95E8878ED87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5780ba7f786bbb3fa5936ebcb781af1378391d16","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21401-6_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454125$AF158B6D-DDA3-49E3-B447-CC134F9FB4B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67c814259b560601570be7321399345aba25ccad","datavalue":{"value":"W2233119526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454125$66CE3908-AFD6-4416-8443-CBDFD5DAEDF4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$CF0D41AC-BDB1-4814-9103-BE6B5E126110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"235643c9c785a4e91d3d9ae796ab88b99b2adb6e","datavalue":{"value":{"entity-type":"item","numeric-id":3524175,"id":"Q3524175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$6A5C3EA7-0729-4578-B287-1FAA2314A6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc880ebefc9ab43df84acf424167a7f742809856","datavalue":{"value":{"entity-type":"item","numeric-id":2446321,"id":"Q2446321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$7F1FD140-76E9-4A3B-99B6-8B8A67F32A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16c74707e58e9a17e7e18d05765e77f5b5f601e","datavalue":{"value":{"entity-type":"item","numeric-id":2384812,"id":"Q2384812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$F4711400-DDBA-4CD5-8533-8ACBB7E46A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c57d2399e0085306ab0b24537305ad365024cec","datavalue":{"value":{"entity-type":"item","numeric-id":3563962,"id":"Q3563962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$BFA4F842-B2B0-4A81-9581-439C3D6C3179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb644c5841dd8ef7fdeb2c27817dada70761fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5429343,"id":"Q5429343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$73694447-5B63-4AFC-9DFC-FAB6F192F91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95128ddf49a4bb5e5e07dad11c9a363647975f5a","datavalue":{"value":{"entity-type":"item","numeric-id":2938490,"id":"Q2938490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$9EBFF934-1EC7-4630-81B4-43DF1C4CC939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a389dd59aebaf0cc4ed5fbda54c807dbe75e6bc9","datavalue":{"value":{"entity-type":"item","numeric-id":1024489,"id":"Q1024489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$DCEC321B-243E-4506-B09A-891141122489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ba1ea5471ab0cb7b3379d0ad0d1e3da7dcecef","datavalue":{"value":{"entity-type":"item","numeric-id":5441357,"id":"Q5441357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$0E907E9D-DCAE-4FF2-8288-F89BFC7145D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ebd646b82cf8ee7484d451ee05b668c27b65b2","datavalue":{"value":{"entity-type":"item","numeric-id":3192068,"id":"Q3192068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$EA308804-7BC4-4439-8BDC-6AB8578B0AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103d28c1dbdf16ee025b2b302833c03273293813","datavalue":{"value":{"entity-type":"item","numeric-id":5705940,"id":"Q5705940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$DEBEDFD4-9138-4908-91D5-3AD0C889C746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2acab5496037dde549c2eaf86963c22cab5772d2","datavalue":{"value":{"entity-type":"item","numeric-id":5285944,"id":"Q5285944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$DB5A249A-6C38-45E7-87B4-92F1EEA72207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1ef4c8566673a8a5c94d00ea3fc5ee04078d8e","datavalue":{"value":{"entity-type":"item","numeric-id":3506045,"id":"Q3506045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$5A5A5491-9DAD-40A1-8BA7-91F274DFB41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fac9813e5185a7a23f2af918eb684b59adac35","datavalue":{"value":{"entity-type":"item","numeric-id":2938540,"id":"Q2938540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454125$AA028E2A-E456-4BD2-A8EA-0ED43D1EE178","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0be8bc3f49f9f4a49326e9c33dcdba8ce711111","datavalue":{"value":{"entity-type":"item","numeric-id":2360872,"id":"Q2360872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14b6598eaed422acc470549e964f2c428707061e","datavalue":{"value":{"amount":"+0.9366735816001892","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":"Q3454125$CEF464ED-16A0-42A4-AFAF-3A9D1B21CD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"951ed624955ebbbda5f71448f24acf9edcc956f5","datavalue":{"value":{"entity-type":"item","numeric-id":2829996,"id":"Q2829996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d8643f5f9041f790df1cd07c5f8d5d1a38bc14","datavalue":{"value":{"amount":"+0.8490892052650452","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":"Q3454125$6BC3E332-B83D-45D5-8E19-CC27F16830BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c06e27fe979e9d69641e2fa7640f7d06ff3e29e4","datavalue":{"value":{"entity-type":"item","numeric-id":2294574,"id":"Q2294574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567863239552a242ce84146b566071b82bd843b7","datavalue":{"value":{"amount":"+0.7540005445480347","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":"Q3454125$6F9F6790-C405-47A5-9A30-8B5036E0132E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab7e5fbdc6c2b3a12f649e72dff75f5485ad2e9c","datavalue":{"value":{"entity-type":"item","numeric-id":286803,"id":"Q286803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab7bcb910a2704be7097dbb4e6f696b2dcf546c","datavalue":{"value":{"amount":"+0.7419586777687073","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":"Q3454125$2255DDD7-FAF5-4710-A5EA-678C2D491124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ee1543602a49b70abf79c4f9e2688587d1cc15","datavalue":{"value":{"entity-type":"item","numeric-id":862395,"id":"Q862395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b81fac60179006ad98cb86613a81fd6c3c8f72","datavalue":{"value":{"amount":"+0.7351877689361572","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":"Q3454125$15DEE87F-EC81-4622-A9A3-561CDAB0B4DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MathCheck: a math assistant via a combination of computer algebra systems and SAT solvers","badges":[]}}}}}