{"entities":{"Q3541722":{"pageid":5571626,"ns":120,"title":"Item:Q3541722","lastrevid":80954642,"modified":"2026-05-06T17:22:59Z","type":"item","id":"Q3541722","labels":{"en":{"language":"en","value":"MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5374262"}},"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":"Q3541722$3E5F2A3B-7ADD-490A-96C6-8F17C2D6C905","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b83e218cc2a0f2f6152dda5e30f7b9da06e5addb","datavalue":{"value":{"text":"MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3541722$D2B32444-D292-4799-8A8B-BAFB0B96BF50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d25ea77497a23e4e903bdaa6b43431cf2a6dc5a","datavalue":{"value":"1165.68434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541722$A25614F0-3B8F-40FF-B63E-261EDB287EE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd739e7c6ceae254a4689250daf677420f1c1682","datavalue":{"value":"10.1007/978-3-540-71070-7_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541722$5B64744E-BF41-42BC-841D-D702BD565CD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc204e2e78d924e815f2b640ec35c8c2356ad41f","datavalue":{"value":{"entity-type":"item","numeric-id":286786,"id":"Q286786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$A9B1880B-C9D1-4BF7-BA03-67EA323B7AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$8CEF33E4-BB17-4989-8763-141A5EA35CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c9eb10efb36d91b4a71eba9375e0f24add1b3f2","datavalue":{"value":{"entity-type":"item","numeric-id":1687710,"id":"Q1687710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$BB3ACAEC-3AE3-4CC3-A4C1-DC44B1F71D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c6d707c999cc6d62a42a2f34c4e05c6ede74383","datavalue":{"value":{"entity-type":"item","numeric-id":679254,"id":"Q679254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$A1D2F119-33E0-4866-9FF6-142876E4F497","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$86A9F060-4269-4BAA-95C3-1B02B125E58A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a5749b126b021d85a2ebf6a8aa65ef57ba3c669","datavalue":{"value":{"time":"+2008-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3541722$D43ADC02-A2CE-4F05-9AEB-2E01F1D533BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541722$6A2F2E46-04C7-4042-8063-71D0A4998902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541722$E4E19043-9105-4EC0-9745-EE459C6E1796","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d810d29fa8db7ff971dceacc8cae038be6a32f0","datavalue":{"value":"5374262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541722$752B3AC7-CDA5-4C0D-8148-157A18FBF949","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$9B376B81-1F1B-473E-BF34-45F68A24CC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62af2c5e450adf37bd9acb47c5a55b60b68447ea","datavalue":{"value":{"entity-type":"item","numeric-id":22241,"id":"Q22241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$FE2A30BC-E645-45B6-A7C2-2C3B9DCE0C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effe99d4b547ffcbc07915d8ced5dc197768f166","datavalue":{"value":{"entity-type":"item","numeric-id":15028,"id":"Q15028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$580ADAD9-D3DA-4E7E-AB7D-917388A3B8A3","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":"Q3541722$3A482213-BB58-4495-8F9C-B16896874D4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe514bfd675f983974ce0480bfcce6b398dce7fc","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71070-7_37","type":"string"},"datatype":"url"},"type":"statement","id":"Q3541722$A7FB5637-7DDB-4209-8886-5E6816ECCA94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef73fd5c253d70484c4ab8151832ec2e827168d4","datavalue":{"value":"W1623345509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541722$DCF334A9-E765-4C69-A3FE-9F63D40CBBE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a25e9311f149db16764369e47282066b24774c","datavalue":{"value":{"entity-type":"item","numeric-id":5307058,"id":"Q5307058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$F989570A-AC98-4248-8E79-5627B5079532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e22ba87969e65ae8e3ab31f9554443a9bbb69d7c","datavalue":{"value":{"entity-type":"item","numeric-id":5927985,"id":"Q5927985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$755C0C6E-CA95-43F1-95D2-B678B4BBED90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f38c339bbd571c9f13a1b3052c0abde7b640b4a","datavalue":{"value":{"entity-type":"item","numeric-id":2471742,"id":"Q2471742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$911AED1F-87AB-40E1-815B-D8E7425C1842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"040388a79a6c169ddca977411c0445df2cb87a5b","datavalue":{"value":{"entity-type":"item","numeric-id":814429,"id":"Q814429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$26C7C345-D846-4C75-8AB6-690E3D1D30BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847e3dcf8d17a4bf2ebc16dc465d8fb6ca2c9cf1","datavalue":{"value":{"entity-type":"item","numeric-id":4032144,"id":"Q4032144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$AFD6783E-254F-4BFF-AF90-7C2D06EC32A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb051a6b1eb9b88364c46513701492fc0e99189","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$8BB85112-A49D-4677-80CD-A33326061DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$517209EE-D653-47C4-BA37-A1A4A0249109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81eb1bed6fe619f48a29f5aee3e7db00567c1586","datavalue":{"value":{"entity-type":"item","numeric-id":3608780,"id":"Q3608780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$E2DB420F-052F-4D7D-B547-3A09F0386CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$A1D38206-BF34-4BB8-8685-1ABF733FAA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3291604ce22a8258f8e59a2281ca904d1657af7","datavalue":{"value":{"entity-type":"item","numeric-id":4672985,"id":"Q4672985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$C710165F-B361-45F0-98AD-C30BF39BC4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b514a4f7338b45fdf5de5487918e2ae3d624f2f1","datavalue":{"value":{"entity-type":"item","numeric-id":865631,"id":"Q865631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$9A675E67-265A-447F-ADA3-D85BC242AF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf7b4ce3ab96d4236a4c36e2f89589530011a89","datavalue":{"value":{"entity-type":"item","numeric-id":877826,"id":"Q877826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$5F94E123-3903-4950-A801-0AC537E4A04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3087f1a7eb9309c1646d3032c16c6ac9f3d28d8c","datavalue":{"value":{"entity-type":"item","numeric-id":1923820,"id":"Q1923820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$C00C6BC6-00C5-49AE-AF89-630B81414F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541722$A5C29071-DB6D-4341-A4AD-CA41347DE715","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ebeb42e750736cf2af6797d7bcafdde45e2a430","datavalue":{"value":{"entity-type":"item","numeric-id":6102981,"id":"Q6102981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aac1254442e7c5ee8660ac45b99d92fd34ebe2a0","datavalue":{"value":{"amount":"+0.80778325","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":"Q3541722$37B68F55-8F17-47BE-B1CF-839F482CE927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"734e160cefc179714dbfd8631505c3773d5ba087","datavalue":{"value":{"entity-type":"item","numeric-id":3995545,"id":"Q3995545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6079ecac2f4cfdfc30f7bc0959ae5daa19015a4b","datavalue":{"value":{"amount":"+0.7923622","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":"Q3541722$F11E8643-ADA7-4434-A69D-E7844B21AD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62eb5673352ddfd5c999328fdcfb0b637fbd9630","datavalue":{"value":{"entity-type":"item","numeric-id":2351415,"id":"Q2351415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45e9f2187b6c3908de6327d3ad768bf41c9172af","datavalue":{"value":{"amount":"+0.7915462","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":"Q3541722$7D340837-58B5-4872-B275-C0B4580D5B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"927960b7e317072ae4c347438572ec78b2401a8a","datavalue":{"value":{"entity-type":"item","numeric-id":287333,"id":"Q287333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29a91cf5f916a6c1d5086481e0a8acf27f4a0a7","datavalue":{"value":{"amount":"+0.78836465","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":"Q3541722$1369EE38-53C7-483B-A0C2-A2783937FC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ff67d31d0ef350e84d3f721ef5b69fa27ee6d7","datavalue":{"value":{"entity-type":"item","numeric-id":3454081,"id":"Q3454081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65554eaaddead48179164b9d769b4e1b46ca37b1","datavalue":{"value":{"amount":"+0.7745669","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":"Q3541722$788AA8CE-440A-4819-989C-B0AB86C5F72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e231d38000785161272fed77affbe9125f5392d","datavalue":{"value":{"entity-type":"item","numeric-id":4540945,"id":"Q4540945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"599a47fc9de604f483b0b821a417ef1fac36a8f5","datavalue":{"value":{"amount":"+0.7738856","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":"Q3541722$BA2B265D-B0D9-4605-8DC7-DC0C72EF484D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MaLARea_SG1_-_Machine_Learner_for_Automated_Reasoning_with_Semantic_Guidance"}}}}}