{"entities":{"Q5049033":{"pageid":7078610,"ns":120,"title":"Item:Q5049033","lastrevid":40874741,"modified":"2025-04-12T05:35:54Z","type":"item","id":"Q5049033","labels":{"en":{"language":"en","value":"Prolog Technology Reinforcement\u00a0Learning Prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614694"}},"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":"Q5049033$8601F64E-32C2-4094-98FE-C49E4B442FD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99b2a451e52cbffad172bf863c1b18b16906149b","datavalue":{"value":{"text":"Prolog Technology Reinforcement\u00a0Learning Prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5049033$F7D502E9-02A7-4DE7-B32D-8CD27DB5160B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3388cdefab49ce03e3c2ee9ddfa5ed461dd63959","datavalue":{"value":"10.1007/978-3-030-51054-1_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049033$6B4E571E-CDCA-4D1C-9A08-1321A758788F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d79de818eb4bf6e8880cc6ae4b548aa91543c411","datavalue":{"value":{"entity-type":"item","numeric-id":2142071,"id":"Q2142071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$142C6044-6FCE-4B7C-A40A-2905B3842B8E","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":"Q5049033$E15E6166-DDFC-4F1C-947B-EEA916DD406B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12a1f3f19dead339cd86bffa0b34dbb56772c8d8","datavalue":{"value":{"entity-type":"item","numeric-id":438560,"id":"Q438560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$7B81F226-E471-4BCA-B8C8-419068C9DA96","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":"Q5049033$5CF36728-23BD-4A98-BFF8-75818C077868","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":"Q5049033$E7E046B7-1DFF-4832-9467-9F564174B7AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b2e2d45c45f0ee8dd7897d2b80530d4fb9f32e2","datavalue":{"value":"https://arxiv.org/abs/2004.06997","type":"string"},"datatype":"url"},"type":"statement","id":"Q5049033$FCBF4C5E-8928-4EF8-A3BA-87B71583C17A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049033$BA97B6E2-9135-4435-9D2A-886A88CD5B99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f13804424e8211cf7882cb28cec544c480cdfc59","datavalue":{"value":"7614694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049033$2754BE27-844F-48D2-9ECD-4E62B920AC7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049033$B1685CCA-C056-4D65-AD1B-23037B8660CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab31482eee8f34fa99c5284980862acac4a0b6b4","datavalue":{"value":"reinforcement learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049033$DEC11934-56C8-426A-BEF3-243F9F103E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049033$536E4162-610C-4484-8B42-FB2901FFBB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dc292ec8410de0b220995394fe058fe411f9d59","datavalue":{"value":"connection tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049033$6747798C-3690-48F6-AB5A-AA580B18B456","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccd1d0bb2717360c541381c661e7bb40d86b318","datavalue":{"value":{"entity-type":"item","numeric-id":21962,"id":"Q21962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$E25B7CF0-A9C4-4C5B-8B3D-A7FDE8211183","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":"Q5049033$EB2BA375-0466-4782-8830-63695483B81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7cbb37e14a01458626c5623c37a9141435c8062","datavalue":{"value":{"entity-type":"item","numeric-id":19250,"id":"Q19250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$28B560B1-65FC-4EEC-81D7-21F0628D87D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$6059B81E-BC58-487E-8055-2504EC12D913","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":"Q5049033$0D5CB780-6D1D-4D72-B47D-B43FB3D9CB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"824e66560bf30b02805a91f52441dbc38109d38d","datavalue":{"value":{"entity-type":"item","numeric-id":21736,"id":"Q21736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$DFD948F3-C8B0-49A4-9276-A5BC038A99D1","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":"Q5049033$CCF392BB-74F4-47C1-8879-F53AA107B00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae510ff9d7026cdfae7484e5c88af62cffb92c77","datavalue":{"value":{"entity-type":"item","numeric-id":21735,"id":"Q21735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$BD682A74-82C1-41C6-B220-57D55FB306FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0cef52017e4e3abb65b54005e36080c4a777722e","datavalue":{"value":{"entity-type":"item","numeric-id":32763,"id":"Q32763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$2A400B45-48EC-4D09-B41C-D04FDE2CF9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a1e94f157d41116391eea794e4679c715853699","datavalue":{"value":{"entity-type":"item","numeric-id":32991,"id":"Q32991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$0C8163DB-63DB-4239-BA56-A3F3CCA72349","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":"Q5049033$BDE2D3B0-756B-4CFB-BE2F-338BF462DDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c878e0612532c0062425095dd8513fc853131ce","datavalue":{"value":{"entity-type":"item","numeric-id":21818,"id":"Q21818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$9E61A438-E635-445A-8910-AD33DD0B7FF7","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":"Q5049033$92F6EA6C-C6C0-4A1E-AA80-08063E5A38AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"11457aba592a0d27712f8b8dca979adeee93d14f","datavalue":{"value":{"entity-type":"item","numeric-id":33329,"id":"Q33329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$8A21597B-0ADC-4C64-AB02-A38B54779765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efbc9c0ffecce111990689e7c9fa5153da65c282","datavalue":{"value":{"entity-type":"item","numeric-id":5972779,"id":"Q5972779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$EB63E1B4-F072-4061-8743-DBD42CBE0A43","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":"Q5049033$F5C4DE4D-0228-430C-B4D0-F486BFB2EBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$B1ADD5DC-4E1B-40FC-B861-DC87486CFA98","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":"Q5049033$124F9EFA-401F-4971-9C63-E0C31706304A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ac1d0704f8cf1c9d9c559b153e03b8d2cf1567d","datavalue":{"value":"W3102252921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049033$5D5BF009-A572-477E-B681-AF288447AE39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b0802dd9ffb89108bee25aa26120dffc46ad60","datavalue":{"value":{"entity-type":"item","numeric-id":2352489,"id":"Q2352489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$A6D31EF1-2BDE-497F-82E9-DF2BB28B5A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84661190c70e049933b7bb825904abf4b4a875a","datavalue":{"value":{"entity-type":"item","numeric-id":908896,"id":"Q908896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$956D15F8-C6A4-413F-9766-5A6B4BC4C7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f9608b13e21870d0ea96a60dac80597e508d93","datavalue":{"value":{"entity-type":"item","numeric-id":1904400,"id":"Q1904400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$46ACF600-BA44-4892-8184-ED88D0A64BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$0B07792C-5BE9-4C20-9903-515AE1B10D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9370899dedc1d653d16f1f5aaa8b6c6be96f529c","datavalue":{"value":{"entity-type":"item","numeric-id":3604000,"id":"Q3604000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$39BA664C-C276-4F67-A5AF-D5430B4E9D50","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":"Q5049033$22E06780-595B-46E6-BA68-042FF89D4E7D","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":"Q5049033$B08DA6F6-9757-4008-ADF3-643DA31326AF","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":"Q5049033$25BDDFB9-24BB-482D-ABE8-D2D86F0538F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdebf38e9057b48da95e1d4aa1dd3058634e8858","datavalue":{"value":{"entity-type":"item","numeric-id":3460043,"id":"Q3460043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$C1F59551-A5AC-4F80-96FD-7FD8DA418535","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":"Q5049033$B8BB19B6-C40D-4B61-8144-D498451DF849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd41301b78a03236dc27ccdfce83b246065d0cdc","datavalue":{"value":{"entity-type":"item","numeric-id":2751380,"id":"Q2751380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$F3666E79-A4A2-4DA9-A20B-DE71558DF788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4664bb57de74b2131833ba33d6f5ae1dd0bce5e4","datavalue":{"value":{"entity-type":"item","numeric-id":4645728,"id":"Q4645728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$AA7A7FF6-C1D9-4A05-8AC4-AD09A3F842BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3596a9549d7af4592b1e52293190f101f19182fa","datavalue":{"value":{"entity-type":"item","numeric-id":3393230,"id":"Q3393230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$07A3A7B9-B428-4F91-9BDE-701C5FA10D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d20bdcea5490376265832e57967847211e2ee14","datavalue":{"value":{"entity-type":"item","numeric-id":4305633,"id":"Q4305633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$58BEA1B3-5F39-41E6-A2EE-3C1A1A17F885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe69fc028355d5cb639899e284adf226488cd64","datavalue":{"value":{"entity-type":"item","numeric-id":3541708,"id":"Q3541708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$C030CABD-A2AA-4F46-95A5-D835F214E963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3c55acef09b75ced3de6aa80cdbdc9a1e475f","datavalue":{"value":{"entity-type":"item","numeric-id":3192198,"id":"Q3192198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$EA30300E-30E9-4615-BAD9-77CC7D31F5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e114146a9d2d5e6b8c252e3e4a144fcee5ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":1404981,"id":"Q1404981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$2EC6714C-21E4-4453-B4BD-EC28CA616905","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":"Q5049033$3758CBA8-B0EC-4E0C-84D9-AA725CBFAF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab938ba3d2bb1de7d34dc0f9166735f59a48b21","datavalue":{"value":{"entity-type":"item","numeric-id":1114446,"id":"Q1114446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$C5DB80AA-D8D5-4F97-BAD1-C5D049822F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d3bd02791f3fd6f2c39b3ae9244b7d656a93c72","datavalue":{"value":{"entity-type":"item","numeric-id":4626283,"id":"Q4626283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$27CAEEAD-7DE7-4607-A684-7BE54D270BDC","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":"Q5049033$3CD2ED96-6CF0-4307-BCBA-507582A250AA","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":"Q5049033$FB4C330C-E640-498F-AC91-CA5C21AF5F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5195f079b24d72ee2311e1fa679a5be0342958f5","datavalue":{"value":{"entity-type":"item","numeric-id":3010374,"id":"Q3010374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$35F7E14E-FB43-4343-88B3-0B50B1DE0E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68fff7cd23dc9fed5e2bdbe657efa6e902461ce6","datavalue":{"value":{"entity-type":"item","numeric-id":2893092,"id":"Q2893092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049033$BD001079-FFD9-437F-AD74-84C75AA67F76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5049033","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5049033"}}}}}