{"entities":{"Q3006508":{"pageid":3017232,"ns":120,"title":"Item:Q3006508","lastrevid":45245122,"modified":"2025-12-03T17:43:07Z","type":"item","id":"Q3006508","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5909822"}},"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":"Q3006508$82141137-440B-4BC9-8B68-E94C140B6D17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"049ce1fa2eeeaedac5567f756c8e4f59f9ca1dee","datavalue":{"value":"1219.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006508$C3F185D1-43ED-4A4D-817C-C7E592C3DF5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aabf2394201dcb7bbe23a34a5fcb477729e6b00b","datavalue":{"value":{"entity-type":"item","numeric-id":928663,"id":"Q928663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006508$B32C89BF-6092-4AA3-9B25-683BD5A33830","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9da3e2cf3b9d96f1075fbe50eeeb3bf407d9491","datavalue":{"value":{"time":"+2011-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3006508$85FDF9B8-C42A-4BD6-8721-B05F24C6E838","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006508$B9234654-0A2C-4423-996A-14090DA04A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006508$AA2EE947-0347-4E3C-9FD5-8C9F814AFC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006508$ECB6D1F0-D7FB-41D6-930D-5EABB5D1BF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7648e264a01e1ac608cc86dbe77496edbcddb05a","datavalue":{"value":"11Y55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006508$7540C91D-B74A-47D1-AAC6-1374BFD954CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95f4b7edc511ff470fb47668040c063c9b3f3cb1","datavalue":{"value":"5909822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006508$977E1B7B-8859-4372-B2A4-41BA7A237BA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa9451eb207b4ce72fa9a4a7597a831bac98a5fa","datavalue":{"value":"large scale task","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006508$F7644C0A-B65F-4651-97F2-22EBBD1847F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"025045853061b9880d40638a4caa610d1dc7c578","datavalue":{"value":"automated theory formation in mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006508$7BF38748-F8A4-4A9C-BE18-8EB68304B0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891685425f43f070b792610ff7666ec62a6c3c93","datavalue":{"value":"HR system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006508$39161D3D-D7EF-4C5B-9B5C-18C24E3636B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16834effba32cf14b6ee64b413e4eae00a57dcb6","datavalue":{"value":"axioms of a domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006508$879D8CF7-3B23-44C3-9E94-0186969338DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49b2d4cd509aae4e42148b19cca47093e3b22dc1","datavalue":{"value":"mathematical software","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006508$B8F451D1-AAB7-42CE-A450-1BCB174DA4F3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006508$C27689D5-DF6A-4D65-BC76-91AB5AD97DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"650e761a5f418c574655712b35b1fe882f756011","datavalue":{"value":{"entity-type":"item","numeric-id":19297,"id":"Q19297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006508$8A094D75-E9A7-481D-A260-EA9CAE48B0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006508$A02A48D2-48FC-41C8-8AD4-8F820812E602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006508$9D5FB273-59E9-495C-BAB7-19F580AF42EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5424895cd06947db50aff4fb92d088f3cd4d067","datavalue":{"value":{"entity-type":"item","numeric-id":24107,"id":"Q24107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006508$0D312F0F-3014-48C0-928B-9C353F27B8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006508$FD269ED7-2BEF-419C-9D9F-E05F37B21E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006508$2AC473D0-35FE-4081-AD5B-3D11589FFEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"46dddb69316252419883bbcaa807e09be308a899","datavalue":{"value":{"entity-type":"item","numeric-id":19524,"id":"Q19524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006508$ECD37C46-ADBC-4CF7-90FE-247EADC46206","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":"Q3006508$58A459B6-3F5C-4FA3-A557-4CC14FCD2760","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3562f99303fb8e5d31da968bb8f21c68ff7840b","datavalue":{"value":{"entity-type":"item","numeric-id":3677198,"id":"Q3677198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b3881675f3ce7562cffe54a22d1b9b3f39a3c3","datavalue":{"value":{"amount":"+0.9858908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006508$52DD2AC7-13EF-4D0E-BC40-525C5E044148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18fef7ff67e321f5da285458ae23b57701a5f98b","datavalue":{"value":{"entity-type":"item","numeric-id":4032144,"id":"Q4032144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb81a932890f7589be4af012696dd7ee493b4c9b","datavalue":{"value":{"amount":"+0.94370353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006508$2BCFD03C-228C-49EB-B564-A0522F5A9572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36315ef7ad27204ca0a2d715a1a60a0301d8650c","datavalue":{"value":{"entity-type":"item","numeric-id":5756766,"id":"Q5756766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d85f538ba1617d3a23dc8056355431ac5a9680b","datavalue":{"value":{"amount":"+0.90551716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006508$8F2F5A43-8362-4F89-B75B-0B68642E2415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36121bf5236a82ef04ddf0417f5567032848a833","datavalue":{"value":{"entity-type":"item","numeric-id":3453394,"id":"Q3453394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171995a588a9442343c4b245448bbfb123c36a71","datavalue":{"value":{"amount":"+0.9034444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006508$F090960B-6B69-49A8-92C4-0A0E492D4851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc908b5a67bc17bd2b3b9d7e3d3d9681aac12d3","datavalue":{"value":{"entity-type":"item","numeric-id":3781734,"id":"Q3781734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8625bb0ed57d9d9f9affc0f1d9e2e2bf95e3f7f1","datavalue":{"value":{"amount":"+0.8962838","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006508$DFCBFA08-769D-472F-9148-7DE25E088029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf49746178cebdd65335808acbecf9307429d89","datavalue":{"value":{"entity-type":"item","numeric-id":3655199,"id":"Q3655199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87152fd8a39c4e2487f7b50e723a9cfe7067abb5","datavalue":{"value":{"amount":"+0.8953533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006508$4420099C-96F3-40EF-A1B5-DEACBCF747A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71d8482de6f7633ab6bafe71efe343ff4e4101c","datavalue":{"value":{"entity-type":"item","numeric-id":3485887,"id":"Q3485887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb207f523570b0aaf3b3758b28468efaf99732c","datavalue":{"value":{"amount":"+0.8914077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006508$08D6EBA0-1565-477C-857A-2908AC1B8772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df4b0d16db5f218d4ee065f1f1897c47e139fa49","datavalue":{"value":{"entity-type":"item","numeric-id":3998281,"id":"Q3998281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12fbbc845cc915afc99bec525b05f2efa478c158","datavalue":{"value":{"amount":"+0.88807833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006508$D3EAC5ED-24A6-4FA1-9BEC-224FECBD5F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"296fe6675d89bea4ad31995a9449284b6ddf5342","datavalue":{"value":{"entity-type":"item","numeric-id":5187278,"id":"Q5187278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b1b7af87deae165789a97766ae2437071e96a5","datavalue":{"value":{"amount":"+0.88751197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006508$B49FE9C4-ACBD-401B-ACF8-7782D0CBD250","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3006508","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3006508"}}}}}