{"entities":{"Q6869938":{"pageid":20716219,"ns":120,"title":"Item:Q6869938","lastrevid":84234137,"modified":"2026-05-14T00:22:54Z","type":"item","id":"Q6869938","labels":{"en":{"language":"en","value":"Efficient neural clause-selection reinforcement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8149363"}},"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":"Q6869938$35C90B86-1C73-4129-ACC0-81E80E1672A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee006b819887a0b13cc6ec3a263db9e6dc29ad13","datavalue":{"value":{"text":"Efficient neural clause-selection reinforcement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6869938$8D185A30-F451-4076-B5AC-63EC591F38BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d39b830a7134cf879d75d897c96d4d760295ad35","datavalue":{"value":"10.1007/978-3-031-99984-0_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869938$44A9D2A0-73BB-4208-ACB0-C91FD1DDAB39","rank":"normal"}],"P16":[{"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":"Q6869938$281A1065-A719-430F-8519-B4A2D95486D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd0535754d1571e407a6ce2636467dab5aaebc85","datavalue":{"value":{"time":"+2026-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6869938$19AC469D-189E-49FD-9C14-33983737AA68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869938$647D3221-6FBF-4D2E-B6AB-49A572698801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869938$075408A9-5C61-4D06-80E6-DEAC7E829DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869938$DE4AC9E8-A25F-4D30-AAAA-1C47CD6E9A49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebf4a3183bb5671b6a5f12e1bb86027edcc79075","datavalue":{"value":"8149363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869938$01682CFA-5C06-413C-9939-0D2423273C0F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$E7E20C02-308A-4B95-9820-A7FDD90457D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97de72f1a81796c93de71f0abb1c69ae6667b471","datavalue":{"value":"saturation-based theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869938$13607652-DFCC-461F-92AF-4C7E2F6E7122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05a8f9ec83e26a19d4d6048f4bacb97d662c90ba","datavalue":{"value":"clause selection","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869938$9A16C2E9-502B-4F39-86C6-4919355871F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ef70ec4a0380be8b800afd966921a769652fecc","datavalue":{"value":"deep reinforcement learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869938$C01C6362-A4CF-4638-932C-476A87E3E2C1","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":"Q6869938$7B09ABBB-F252-4E34-868A-5B44F57850FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7a6cd5e2c0fff841662d86f4e5afca358737cc","datavalue":{"value":{"entity-type":"item","numeric-id":7034867,"id":"Q7034867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$92B146FB-B7A9-4D70-85DC-C33970775234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3041171d92fa40c71ea77e749c222ea0b1427271","datavalue":{"value":{"entity-type":"item","numeric-id":7030790,"id":"Q7030790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$069CA8FA-0C4A-40FF-AA49-F2BCDE73DCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"910eebce2fda573f90c2a4662a5c17cbe390ca4c","datavalue":{"value":{"entity-type":"item","numeric-id":2142080,"id":"Q2142080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$D80213FF-0C45-4D66-B47C-68CA58F56C1E","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":"Q6869938$1ED3D1CB-DA1D-43D8-934C-35BB097434A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b945f2840d1c2d5e46ba120dbb78eb02edc11ef","datavalue":{"value":{"entity-type":"item","numeric-id":5049017,"id":"Q5049017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$06B93D7B-029D-43FD-99E5-432C98D6088B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5faec126d2254990f2fb19f39831ecfc4da6194f","datavalue":{"value":{"entity-type":"item","numeric-id":5828365,"id":"Q5828365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$1CB15565-648A-4870-9B1D-AB6CD95E3F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf2a467582e2ce551e8d6f09e937481123bd1d1","datavalue":{"value":{"entity-type":"item","numeric-id":5049022,"id":"Q5049022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$22DB3700-400C-495A-8EE6-95B11E1D299B","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":"Q6869938$74DFA9F1-101C-49A8-8E8C-76A16DFC42D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c79011eb677d6e971ef98e3684922f919c5be84","datavalue":{"value":{"entity-type":"item","numeric-id":5875448,"id":"Q5875448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$DFDC9037-1B40-4DA2-845B-271891CBAA9B","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":"Q6869938$7B9B6E39-0636-4D29-BF74-BFD818793847","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":"Q6869938$353BFD06-0EB1-4D5C-9DA2-34406D68E44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c115dcfc03ba15799910de9e502a35693681ed","datavalue":{"value":{"entity-type":"item","numeric-id":4999300,"id":"Q4999300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$B3DCED94-846B-4AF9-B5D2-D60817367A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cf443dde1d2e5809a6b6bdf2e4ea1022579959","datavalue":{"value":{"entity-type":"item","numeric-id":1404979,"id":"Q1404979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$67D2C636-B9E9-42DE-A643-C87684DFB0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9297b6a91a7c29eb2b70ce4159ebd40915c17240","datavalue":{"value":{"entity-type":"item","numeric-id":2305435,"id":"Q2305435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$F6B2DF83-4E19-4286-80E3-F52E95FF8290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678ab028e64aa47294ec33138952f2e29114a933","datavalue":{"value":{"entity-type":"item","numeric-id":2817933,"id":"Q2817933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$9C47CD3C-6574-4E4E-A9A7-FBA21B0D68A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6de3f74a55e9af53b31755fc8fddbc82780540d","datavalue":{"value":{"entity-type":"item","numeric-id":5218653,"id":"Q5218653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$6B737BD7-234B-49F5-949A-E9C66C861389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5687ca8aa9448396e7de8fbd207984f582d774f0","datavalue":{"value":{"entity-type":"item","numeric-id":2055886,"id":"Q2055886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$F0863A2B-3FAE-4E6B-9E7C-97CDDAD71424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5402ee74270ab8c51652a1b8671f28fcac792662","datavalue":{"value":{"entity-type":"item","numeric-id":831938,"id":"Q831938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$3688BE83-DB76-4D99-8D95-4C3854206636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e469516266f4e2890c1ac8cb1d1faa4dcfd0c0b","datavalue":{"value":{"entity-type":"item","numeric-id":2104552,"id":"Q2104552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$337AA3F7-C961-42B5-8E39-CD6D0C5CEA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09106c6d9267cda8c0701815cd120652ee438ee5","datavalue":{"value":{"entity-type":"item","numeric-id":7034880,"id":"Q7034880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$59485D70-FB03-4D00-8DD0-BAB270074BAC","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":"Q6869938$993BA86B-D87E-4157-949A-2C01C4C8D673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa6750f3149d248c4e232f6fdbdc36d7bc86e39","datavalue":{"value":{"entity-type":"item","numeric-id":2920991,"id":"Q2920991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$57095B66-5D1B-48DD-AA46-A816E9109936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00230673e703c339b2d770b71ef179a8241cadd5","datavalue":{"value":{"entity-type":"item","numeric-id":2270573,"id":"Q2270573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$D14D2212-F3D8-4C00-99FF-EA2A57591313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9fa9193367945546e03c34f8fa648a589e41aa","datavalue":{"value":{"entity-type":"item","numeric-id":1812928,"id":"Q1812928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$42E58F30-491E-4F17-B463-46C5E16DDB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4bcbad64f875eb6f4febe17a9f661585cc7d242","datavalue":{"value":{"entity-type":"item","numeric-id":2142077,"id":"Q2142077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869938$0771B337-D77E-42AE-B2DE-E3F587B47635","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient neural clause-selection reinforcement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_neural_clause-selection_reinforcement"}}}}}