{"entities":{"Q5049022":{"pageid":7078599,"ns":120,"title":"Item:Q5049022","lastrevid":37455619,"modified":"2024-07-30T17:38:20Z","type":"item","id":"Q5049022","labels":{"en":{"language":"en","value":"ENIGMA Anonymous: Symbol-Independent Inference Guiding\u00a0Machine (System Description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614690"}},"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":"Q5049022$F29A1FA6-523F-4B0A-A7DD-9845C4FE2446","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30af1c12577d81313416b94399494791a1a80950","datavalue":{"value":{"text":"ENIGMA Anonymous: Symbol-Independent Inference Guiding\u00a0Machine (System Description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5049022$8889D7D4-09E7-4205-90F3-615F82F430A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcc657f9b5577cfe167e2d753dcec3c2c778cd6c","datavalue":{"value":"10.1007/978-3-030-51054-1_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049022$A0767BD4-B520-4D95-A9E1-24EF42A696D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87dc4de4518b8db4a5efca79e388ac462c23bd10","datavalue":{"value":{"entity-type":"item","numeric-id":831935,"id":"Q831935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$C26FC19C-42F5-4757-8A2D-1BD14F193DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d0e84ccf37fdb7305408634c4906ddced0fd802","datavalue":{"value":{"entity-type":"item","numeric-id":831934,"id":"Q831934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$57876FFD-CEB2-41B3-B5E9-EC9E38ABFB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f262ccff1e45e707e9f2a40bf03c6342da98b7f","datavalue":{"value":{"entity-type":"item","numeric-id":831936,"id":"Q831936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$33B213BF-F2EA-4C70-B07A-30E56569B58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95bfee5a3b5a686f6bf8619ba46dc852c102368d","datavalue":{"value":{"entity-type":"item","numeric-id":1799116,"id":"Q1799116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$7231F502-3C9E-48D1-9650-C272B7CF1573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5493ce657ff2c3e3dc02ab18ea0d14e2e4a6291d","datavalue":{"value":{"entity-type":"item","numeric-id":748757,"id":"Q748757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$C312BD2D-08FE-4965-9DBA-48E2D9DE66A1","rank":"normal"},{"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":"Q5049022$ED760FA5-847F-488B-819F-01C487FD55F7","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":"Q5049022$CF15D40B-9EAF-44AC-95F6-3A76E0ABB690","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5049022$3ED63E23-E15A-4CCE-A81E-4F83BB26399A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c1c98fcdb5def5506a14ce3262a465e4fa4160c","datavalue":{"value":"https://arxiv.org/abs/2002.05406","type":"string"},"datatype":"url"},"type":"statement","id":"Q5049022$5101338A-4E4C-4E04-AABC-2C628C17B1FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049022$181FFD69-C4C8-4DE0-A5BA-C534A720F101","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4c25fb3467cd1b6116518f7c7847c086d7b4b16","datavalue":{"value":"7614690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049022$1E4D97A8-7ECB-4E06-A77A-374BB0859905","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049022$1C414877-153B-4256-8A63-28C4D27C0438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049022$01C2A594-4208-44ED-9E38-19CF41FB1A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0efe91da4df536f9ec53a9f276b6c2c113d29db","datavalue":{"value":"neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049022$891DD11F-FE37-4500-BA96-7139A47500AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e4e06d9e28eb2b5161a8b77486cae9897ae53d","datavalue":{"value":"decision trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049022$475F0628-31D8-42A9-B04E-6AD4F78961AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"115347500453a4ec7b19b9ba408e07f0aad14001","datavalue":{"value":"saturation-style proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049022$10E3A75C-66CE-4E55-B63A-8233C09C2EF9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ce0cea1f8b98fae8045156d23f48cd2e0b26c2","datavalue":{"value":{"entity-type":"item","numeric-id":22241,"id":"Q22241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$F88CD746-4E4D-4429-A47D-E8B894BC1997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ced8d6f2a9df1ee71786851c7533b59c2dba2f","datavalue":{"value":{"entity-type":"item","numeric-id":331617,"id":"Q331617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$56A0C029-B4A0-4521-9427-B62BBC3AC961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee178f7541c5d2ed1d6ee17e1e99ce6d2d8a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5195271,"id":"Q5195271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$43E430B8-EA2A-4433-BED3-07B366AFBF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ae3186b750126567f78f8fbe4fd7d86109b7ac","datavalue":{"value":{"entity-type":"item","numeric-id":2305414,"id":"Q2305414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$BBFDDA81-4896-41A7-B60C-CF0596731317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd3cb6b9019747c7bbfc2bed55b78e42a7665495","datavalue":{"value":{"entity-type":"item","numeric-id":1663240,"id":"Q1663240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$1FF0B4B4-F8F5-4535-970F-7108343FDF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f57d4b59ecba636dcc4314360e03dd7bafca46b9","datavalue":{"value":{"entity-type":"item","numeric-id":3096176,"id":"Q3096176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$96A1EC22-F4C1-46E6-ABE7-C4C10F87CC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95e6f4239597f494af058b4706d90738a0b9a69","datavalue":{"value":{"entity-type":"item","numeric-id":3460068,"id":"Q3460068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$0AE23682-F39F-41CE-9B80-75EEA3D42A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2e8f4770b19dfe4ed5db70d9e22ebf6c799bda","datavalue":{"value":{"entity-type":"item","numeric-id":1640642,"id":"Q1640642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$106D9C9F-D4E2-4C4D-AD9A-49B6AE4189B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1ac1f501cdec3462d0daf1ebcb19116685903c","datavalue":{"value":{"entity-type":"item","numeric-id":2180529,"id":"Q2180529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$FB23E67F-2C2A-4FD2-A38F-4B6280642787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74d3fce405174a77b93de2a6b609361e3b5e6c0","datavalue":{"value":{"entity-type":"item","numeric-id":2364687,"id":"Q2364687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$AEDD7F25-17A0-434F-9C2D-366F4AA7B17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73bb8ac33997c396ae6d35e49f76805212715260","datavalue":{"value":{"entity-type":"item","numeric-id":1798957,"id":"Q1798957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$BCDE8E7B-406D-4155-88DE-28F3F9856581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483d3c17c09c578723154da4261b70aeda673d47","datavalue":{"value":{"entity-type":"item","numeric-id":2351415,"id":"Q2351415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$6C27F09C-11E5-4D82-9E77-D77E24A8B9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c550078709a24810b3ec6e1d82a47c85cb06a5","datavalue":{"value":{"entity-type":"item","numeric-id":2018657,"id":"Q2018657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$124C95C3-28F2-4EDB-8E4E-CE487C08B3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14549321cbae3c57ae9ce6a9266b4af3d64fd4f","datavalue":{"value":{"entity-type":"item","numeric-id":286800,"id":"Q286800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$097259EB-D8AE-4134-B835-5DC18FE64DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce187d54500a2db26ceae6e0205ecb0b0752213a","datavalue":{"value":{"entity-type":"item","numeric-id":4773313,"id":"Q4773313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$17C266A5-726F-4899-A7F6-104B8E582720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736fa966f95bcbb7d184601f6d7f8bf14e31e981","datavalue":{"value":{"entity-type":"item","numeric-id":2739546,"id":"Q2739546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$9A6E3A12-79AD-487B-822B-BCD6B3D6044A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f49c168bd3b1b635f8641a3778183671a26c45","datavalue":{"value":{"entity-type":"item","numeric-id":4797437,"id":"Q4797437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$5E3FCF94-122A-428B-B2D1-EA79492BBFDC","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":"Q5049022$F854E077-C7EB-4D86-92AB-331539E3C8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42003db60c26fc6c71649bea3c3f355fc8d1c110","datavalue":{"value":{"entity-type":"item","numeric-id":2908518,"id":"Q2908518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$8E1D7285-398A-4142-9919-9A9D1729864B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce5dec0979ee80b250e5f4d24210da01a00ee71d","datavalue":{"value":{"entity-type":"item","numeric-id":4913860,"id":"Q4913860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$0CBBFC37-F48A-4740-8410-9686C84B6E59","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":"Q5049022$904730A7-658B-434B-8119-8719F8CA99BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9655c068a195af6d54bbb62184581b058670a2b2","datavalue":{"value":{"entity-type":"item","numeric-id":3541722,"id":"Q3541722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$14D8CABD-9915-440B-BD62-1A7F8FC5F45C","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":"Q5049022$7E56BE25-4382-417B-9017-1D8E99E3BBFD","rank":"normal"}],"P1463":[{"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":"Q5049022$16BAC51D-E6A8-4C62-B201-50FAA04D6C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27d0ba0f2385e1f67c7a3b66f367fed0cf34c380","datavalue":{"value":{"entity-type":"item","numeric-id":27063,"id":"Q27063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$320A71CD-480F-49D4-99DA-FCD61BF1C6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"742d2cb656243f7db933c39696cbb7d1991ef1dd","datavalue":{"value":{"entity-type":"item","numeric-id":32848,"id":"Q32848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$35DE051C-1F51-42C2-A34C-853BBEAFA4CA","rank":"normal"},{"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":"Q5049022$C826AFCD-EF34-483A-B744-910C259A6B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2dc6a93dee1ff6ab24db04bd93ce0f605963d1a","datavalue":{"value":{"entity-type":"item","numeric-id":17033,"id":"Q17033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$068B3A9B-416D-421C-A3FF-1C94B6AABE81","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":"Q5049022$0B5F9D27-358A-4C44-B78A-61FCD7EB2B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"23f1d4970d4f2ba01b8146500b5c1a10ed17d235","datavalue":{"value":{"entity-type":"item","numeric-id":23493,"id":"Q23493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$F79F776A-2844-49DE-B43B-D00CA9FE9838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$A0769014-DCC9-470D-85FE-39AFAB855538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"484f589bd857c6ecd5604196ba88033adb11a795","datavalue":{"value":{"entity-type":"item","numeric-id":15128,"id":"Q15128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$CCF47051-CF21-4896-9F76-C1C66283F7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33061b9a75e57d93e8912d2c2b716b27d6bd52ab","datavalue":{"value":{"entity-type":"item","numeric-id":40369,"id":"Q40369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049022$91008CC6-BD45-4067-82D7-BF639C8B0648","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":"Q5049022$E4C38009-465E-4C6A-B610-720A885B7501","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f373a737dc60be130aa1141a692216eabf1fb15d","datavalue":{"value":"W3038615574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049022$097FCC39-D588-4ACD-98DC-B70640F468EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5049022","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5049022"}}}}}