{"entities":{"Q6637811":{"pageid":14248963,"ns":120,"title":"Item:Q6637811","lastrevid":40607004,"modified":"2025-03-10T10:11:26Z","type":"item","id":"Q6637811","labels":{"en":{"language":"en","value":"Constrained neural networks for interpretable heuristic creation to optimise computer algebra systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7943829"}},"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":"Q6637811$6A8ABEEC-2057-4AC2-B83C-DC9BA58FF3D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"973f2239a59d574c66b1ea971cf8c9f6a6dd4210","datavalue":{"value":{"text":"Constrained neural networks for interpretable heuristic creation to optimise computer algebra systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6637811$2A6D9513-46DC-4BDA-988A-EF19018AF608","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5be20b529f6cea35bdac609fe4d52ad22bf1a0f6","datavalue":{"value":"10.1007/978-3-031-64529-7_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6637811$0A72160F-1B4B-499B-AA06-42D959332BE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4097ba22ee7fc718864299ba767c1a20a9faef7a","datavalue":{"value":{"entity-type":"item","numeric-id":2287901,"id":"Q2287901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$CCF5C072-3590-41D9-B3BB-47FCC519F912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0abdd09be1ba8c89002f4d0e9d2a1eeb7b1f0b03","datavalue":{"value":{"entity-type":"item","numeric-id":247221,"id":"Q247221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$C37EE1FC-E31A-4920-9A91-80BB811396AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94ed3d9ad2009d09c98d19037b5add3226f6f958","datavalue":{"value":{"time":"+2024-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6637811$F6CCF479-8525-4C11-83C4-A6D3B7FC95E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6637811$453178CD-1112-4E7B-938E-233B4ED7B59E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"748d4ac2cee1307c9cf59c0560fd9482e42a30b3","datavalue":{"value":"7943829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6637811$0906DA4A-9B58-489F-878E-48B700720577","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6637811$F7F34E85-0E42-4BC1-90D1-FEA249D8D2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6637811$94B25DAA-8846-4677-AE04-91C6CA04CAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6637811$A5DBD8D4-40AD-4780-8048-B27BD04F200B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c0da07767d8b05079480d036496c8c447d6ee6a","datavalue":{"value":"explainable AI","type":"string"},"datatype":"string"},"type":"statement","id":"Q6637811$C1AAC54D-73BB-4009-852E-94F5B0197A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5f9848057f674cfae183e8de4c147b96f2b27f","datavalue":{"value":"interpretability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6637811$180408EA-8993-4957-90B3-905A145EEF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e94a09ad9af41f3756baccb654f486af8340cfe","datavalue":{"value":"XAI","type":"string"},"datatype":"string"},"type":"statement","id":"Q6637811$197D9F3F-D6B7-40A1-89F2-0D3EA2492D75","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":"Q6637811$EF90DA89-EC88-4437-9973-102CC4D11E02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1395c223a6f9ea87ba9b6b523afc20f8eef15e54","datavalue":{"value":{"entity-type":"item","numeric-id":2674017,"id":"Q2674017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$B0D97594-AD71-49E6-8914-89FECC2094CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4765e35b51d67c62bda6adc60cf0617f402fbd45","datavalue":{"value":{"entity-type":"item","numeric-id":2284952,"id":"Q2284952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$EFC222B6-9C19-4002-B088-0822A628CE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7d236f00c2aa01435918d7e5943f9ff010edd93","datavalue":{"value":{"entity-type":"item","numeric-id":2843003,"id":"Q2843003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$E29776FC-29E1-4883-B006-2736162E5E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f3232041383b43911a15ddaf2eecfdd6fd82dc","datavalue":{"value":{"entity-type":"item","numeric-id":5301651,"id":"Q5301651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$35AD82D4-6190-4450-B3F7-27D6E1E69E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b194cdeb56e3afe4fdaf2f02279f137ce9d27857","datavalue":{"value":{"entity-type":"item","numeric-id":4657304,"id":"Q4657304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$F5329792-C5C0-47BF-8B07-E81131B69EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baed58f0f695c32b4bf1b1d60073f4fc318e7c59","datavalue":{"value":{"entity-type":"item","numeric-id":5041065,"id":"Q5041065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$FCF82AF8-8987-40D9-94E2-BD7EF2435C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$9A152442-43D9-4C9D-9BDD-299B47561C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfdf450746c95865439cf08883bd3a1c78d6c83","datavalue":{"value":{"entity-type":"item","numeric-id":1114669,"id":"Q1114669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$7A7AA310-AC91-4903-AB51-559E38379271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed4048b6e9fb3b9f62562c9cd3719d2a9d1c7598","datavalue":{"value":{"entity-type":"item","numeric-id":5038939,"id":"Q5038939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$FE38EC6D-C73E-4802-AD99-5D43ADCBF5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce64e099173438b4f5b7f91cb2db741b4f5d93d4","datavalue":{"value":{"entity-type":"item","numeric-id":2109991,"id":"Q2109991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$B3336E1B-197C-4856-B31B-A788F13A28A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f7c7057f3aa99ee0823100d4357f006e3333fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4657310,"id":"Q4657310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$CDF42315-DC58-4ABF-86CD-9C28288C3654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6bd9fb0fa8bc7f4f462ed479f01daa23216ffce","datavalue":{"value":{"entity-type":"item","numeric-id":2287902,"id":"Q2287902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$044F03DA-475C-4E21-A212-25E7187BEEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1ea2efe00a446d749729b9c5e3762a71853e36e","datavalue":{"value":{"entity-type":"item","numeric-id":5014692,"id":"Q5014692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$45D82E7C-841A-418E-9278-E4CA539B7726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a74e9b8b9b36e27e1f06a0e3f97517fbe91205","datavalue":{"value":{"entity-type":"item","numeric-id":5041068,"id":"Q5041068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$254855B8-AB5B-41CC-8BE2-B0C91981216C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca01d67639543c8ae4075473068c432e89a1429","datavalue":{"value":{"entity-type":"item","numeric-id":5495916,"id":"Q5495916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$A472A700-2326-4D60-BCF5-14808E5C4506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777f1076c887270330fde77c60d4932606f558c3","datavalue":{"value":{"entity-type":"item","numeric-id":312006,"id":"Q312006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$9681783E-3542-4BF8-B2A4-335B4A6B304E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beaa1aaf66a10ff3c5b04c7b54f6459969e63e89","datavalue":{"value":{"entity-type":"item","numeric-id":1662274,"id":"Q1662274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$7F41AC88-4740-4948-915E-2E6FD7D26D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a9b9ea14d5a3240cf487f0f6b67f6390ac323b5","datavalue":{"value":{"entity-type":"item","numeric-id":6149145,"id":"Q6149145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637811$EB4C312A-DD05-4FA3-9FB7-5DDB99CB700C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6637811","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6637811"}}}}}