{"entities":{"Q6535563":{"pageid":14146706,"ns":120,"title":"Item:Q6535563","lastrevid":57576084,"modified":"2026-03-31T11:26:32Z","type":"item","id":"Q6535563","labels":{"en":{"language":"en","value":"Comparative verification of the digital library of mathematical functions and computer algebra systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7793090"}},"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":"Q6535563$A47A56A2-417B-4DAF-B1F6-6C4E5E18EAD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0be162e4b707658b4f6bf7c72b76c01df6aebe0d","datavalue":{"value":{"text":"Comparative verification of the digital library of mathematical functions and computer algebra systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535563$076675F2-1EB2-443C-BC49-77B6877135A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccae837b980505f3bc7de9576121fe12b28d771b","datavalue":{"value":"1547.68825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535563$DCA140AD-332E-4AB0-AA8B-57406C47F575","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94b36f19eca505cda978db3889a0118895a79c0a","datavalue":{"value":"10.1007/978-3-030-99524-9_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535563$274DF101-640D-4B1A-9417-17E917091829","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd94cc40b3874744429ca76c06508c37b794a3a4","datavalue":{"value":{"entity-type":"item","numeric-id":1798942,"id":"Q1798942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$F15FCCAC-C22C-41B2-810C-BF2DAD7A5D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b722a1df88b4c59189d877b092ccb807c4e94dc","datavalue":{"value":{"entity-type":"item","numeric-id":352378,"id":"Q352378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$9890514C-979B-4FF0-BAC1-B178F832ADF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4480b17b98ed831067c416926982b47d0be2043d","datavalue":{"value":{"entity-type":"item","numeric-id":841690,"id":"Q841690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$4277C239-20A2-4A07-839C-7F0FC79E4232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3839835b4877c5195d3d9707eda1520f10d7760b","datavalue":{"value":{"entity-type":"item","numeric-id":1798943,"id":"Q1798943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$F1C900D9-8F85-4F84-99F3-73072569EBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c5464911ff7e6959fcc2521faacc2f18b7c19bc","datavalue":{"value":{"entity-type":"item","numeric-id":6535561,"id":"Q6535561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$925BA4C0-1116-41B5-9819-1B545E7BF043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd40e7abdcb2e9b6279cb85dc43a61bc2c340921","datavalue":{"value":{"entity-type":"item","numeric-id":6535562,"id":"Q6535562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$518A5421-A2BA-4916-B119-F09EE9DDCCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a78b8db48f51803b17624b4845dbb73730f164f","datavalue":{"value":{"entity-type":"item","numeric-id":1200142,"id":"Q1200142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$37F96129-14D9-4D2E-8569-610D861E439E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0322bd07e95e02fdd5907ea3658cd31597fd7942","datavalue":{"value":{"entity-type":"item","numeric-id":1798953,"id":"Q1798953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$7B772427-96FF-4310-82F1-55DB7D129136","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535563$9C50718E-D74C-4F3A-BED2-9B033C3D79AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c276f6bcfe480cdd0a7a976933d6fd851c1b746","datavalue":{"value":"68V30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535563$543FF1B0-6032-454F-912B-1E801597FB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"26e632dbe919e3c8d76847495fdd9be8ddbf6b2e","datavalue":{"value":"68V25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535563$23DF24E9-F659-423B-A33B-62EF882B8280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535563$67E4DA18-D472-4E9C-9E76-D7873E98A5A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2193bb7c94079f972b3e174961acc649a70eafae","datavalue":{"value":"7793090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535563$CADDE65B-5869-40A1-BAF3-A8E8BB69BA81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31726b627fcec6ca5ab0cf05d5823c76f6fa091a","datavalue":{"value":"presentation to computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535563$25C17224-B502-445D-B584-009F9A2C7D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3973c04bf0ed5900c55cb837283d158081a34453","datavalue":{"value":"LaCASt","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535563$9704EB87-FE60-49D3-87C7-8A6211C559C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"755fff22e1688c0a97e2d9652268cac5909d76ac","datavalue":{"value":"LaTeX","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535563$6E9C9DC7-FB0D-4C9E-B8A8-7208F8327C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e27e4aa935c4e1620f85f571515635df798277b","datavalue":{"value":"semantic LaTeX","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535563$443D1BF7-7ECC-4568-9F95-B038A6C2B9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13a9fa142fc70a7f7edaa670268faab1282344c1","datavalue":{"value":"computer algebra systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535563$863FE41A-9BAF-4301-BF9E-06CE854DB42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a520cc9ddb1f5370db9471f1a5a32af870ecca3","datavalue":{"value":"digital mathematical library","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535563$94DB4EFE-B117-4E0A-9A27-707EF776418A","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":"Q6535563$57C85EED-9E59-4118-BF88-F74708616139","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$6148A8B1-D700-4830-95ED-7C1FF59D3EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358cbdebda00c19b48eb42e41a36d2b5eb6b9ce8","datavalue":{"value":{"entity-type":"item","numeric-id":4499160,"id":"Q4499160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$E56DEA9A-CE3C-43BF-AA54-D3A70F068E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1046f8f69f2e534d3429eaa8614e8253cec6a5","datavalue":{"value":{"entity-type":"item","numeric-id":532411,"id":"Q532411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$FF50F8D7-0AB6-44C1-9E11-62461B0BC73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e3073df4a530fb342d1c40faea250641b2c6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1798944,"id":"Q1798944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$4801DBDB-B8E7-46B8-BBE4-C3302C8EA7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b62e6ad8c1034d47c54a491e15666cd2970c0def","datavalue":{"value":{"entity-type":"item","numeric-id":2364705,"id":"Q2364705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$0AE43213-CF3C-44EB-961F-6B8FF661D7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7237ffb12f9e25db6f08fc9a97900ed45e5a332","datavalue":{"value":{"entity-type":"item","numeric-id":2813263,"id":"Q2813263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$22340928-BB67-4043-81D3-17C8B960E44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0c612793c29797ec979463eaa19bb3b4e97ae1","datavalue":{"value":{"entity-type":"item","numeric-id":5041072,"id":"Q5041072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$D1D78561-3540-4048-9BB0-1711FD076C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e5d997d3c3c1c4cbe0d251137694980cd98cf08","datavalue":{"value":{"entity-type":"item","numeric-id":1272607,"id":"Q1272607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$B670D688-D800-4C1A-A972-6DB92D7A0308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55c9a5a5d7a017c2e20d9a304ec72cb817783b0","datavalue":{"value":{"entity-type":"item","numeric-id":3637304,"id":"Q3637304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$9DE1BF19-03F9-4E4C-92BB-11742460D5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc5bac2a1c3bf09f6471a60799fa53f4bbb721a1","datavalue":{"value":{"entity-type":"item","numeric-id":5428262,"id":"Q5428262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$3F536A21-50A7-43CB-95D7-3022337BF315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1158ccffb75e4ad88bd78eb0c71c28c0f774cbf2","datavalue":{"value":{"entity-type":"item","numeric-id":5172125,"id":"Q5172125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$4FA85950-CF0E-41AC-B8F4-1B8CD5231050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce8cdd706dec1dbef9e4fd4491f54e4e10374b6","datavalue":{"value":{"entity-type":"item","numeric-id":4810164,"id":"Q4810164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$6FAD560C-CA5D-4C1A-8804-0748779C4855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfaaf1ec1883fdc9c71a289dd96427787b20d4a","datavalue":{"value":{"entity-type":"item","numeric-id":1810916,"id":"Q1810916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$897C7526-ACB2-476A-85A8-B7E41DC51DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$85001D64-09C8-49FB-A52A-01BD28324A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a145900f7406ada38deb3225a9fbbb94c71bfc","datavalue":{"value":{"entity-type":"item","numeric-id":2128802,"id":"Q2128802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$7D19032F-8AE3-4437-A93B-24BB31105C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feaa616f58f2f1b04d104d16640eb45dd11d9ed6","datavalue":{"value":{"entity-type":"item","numeric-id":2364695,"id":"Q2364695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$DC2D4550-3924-487B-8538-BB51D03D329D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc1d07e5d130e85d52323af6be520abbc32176b","datavalue":{"value":{"entity-type":"item","numeric-id":2219417,"id":"Q2219417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$70AF0143-0622-4A46-8DF1-0558A85B26B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"943b0c8e0f90a00df6a6c72ccf718e2484bbd058","datavalue":{"value":{"entity-type":"item","numeric-id":1798944,"id":"Q1798944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47a2e35ae02029be63870f14686d48868bac8d63","datavalue":{"value":{"amount":"+0.7872613668441772","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":"Q6535563$0A7DC3E3-2CA1-414D-8005-F9FAF5C118EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b8fd66b5c9c1158a1833c6186cfcd5a83fadfcf","datavalue":{"value":{"entity-type":"item","numeric-id":3012165,"id":"Q3012165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8465688fb500e18dbd995b3eab6bd58d9cc716ae","datavalue":{"value":{"amount":"+0.7247071862220764","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":"Q6535563$BAD2A253-165F-4D25-B2AD-B7D693427364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305876743b562cc1d016c59850dc06ab245ae5c1","datavalue":{"value":{"entity-type":"item","numeric-id":2364705,"id":"Q2364705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf02f8e6bd68e382d623d64c17d8d5eb1688de19","datavalue":{"value":{"amount":"+0.7229201197624207","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":"Q6535563$678D608D-4FDE-4A55-B290-7CF8DAB8C992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b493aab72cac4026c56b1cdf8484e99570d7416","datavalue":{"value":{"entity-type":"item","numeric-id":1810915,"id":"Q1810915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6762c084981879da5acedeace101a50ff027b27","datavalue":{"value":{"amount":"+0.709211528301239","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":"Q6535563$9DBE7AF6-DCEE-476F-B11F-C2EBC7CD304F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"745c99b96db142def1cc9045fd9519e04e2242da","datavalue":{"value":{"entity-type":"item","numeric-id":2943589,"id":"Q2943589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b970a9a5a2a65bbb110a035fadc966fd0715272","datavalue":{"value":{"amount":"+0.6953739523887634","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":"Q6535563$C2303F92-5CC1-4947-9192-CB4C11CFCCC6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535563$7AF10EB4-0512-4B5C-B46E-BE8920DA49D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535563"}}}}}