{"entities":{"Q1996007":{"pageid":2006749,"ns":120,"title":"Item:Q1996007","lastrevid":71212185,"modified":"2026-04-13T20:32:13Z","type":"item","id":"Q1996007","labels":{"en":{"language":"en","value":"Deep reinforcement learning with temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317087"}},"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":"Q1996007$6EA3FBEE-0CD4-4F6D-90E3-77A10877D01F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa75a0a9566e82a3e966832224771ce4a26d652b","datavalue":{"value":{"text":"Deep reinforcement learning with temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1996007$C46CF574-5076-456D-89CB-336DE3C3984B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c8fd28efd9f272b32775d113851b96e54a2c9f0","datavalue":{"value":"1455.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996007$0AF82535-CDE8-44A2-A104-3C5DFF0EB39F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa16f0390e55db26240da71cd3904ff2b3107b66","datavalue":{"value":"10.1007/978-3-030-57628-8_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996007$77D25C57-4C95-4F72-B417-120D231AEBB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23287e1cfef1b754187b9795ecadcf40da76d7dd","datavalue":{"value":{"entity-type":"item","numeric-id":1996006,"id":"Q1996006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996007$BEB7D8AE-26D8-43BD-9A02-CEC0E092D96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996007$579C357B-2F7C-479A-8B24-F0B4CE7A646E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e149cd480f45d2379e65fc119900d9656b0738a3","datavalue":{"value":{"entity-type":"item","numeric-id":262436,"id":"Q262436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996007$AAF00360-14DA-4049-AAE9-F8025816C131","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da52b2635d2cd12aed90d9fb08209aaf7209a581","datavalue":{"value":{"time":"+2021-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1996007$621DEAAB-105E-48A1-8BF3-90E09C4A531F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996007$227F10E8-D49A-4C90-832F-3B7BACCCAD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996007$BBA27AD5-F57E-4869-AC66-D88455142C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996007$8339DF90-AA58-4C48-A5F6-7876D57D4B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996007$2ED3AD01-A2E5-4D96-A420-9675882B956D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dee8d3e087f4bd36f6995c9a990905d703e645a4","datavalue":{"value":"7317087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996007$D32DE130-C40B-4B55-8C07-9A6B1DB75AC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b7cd675274b27181b826c7ba1bfe995002bfa63","datavalue":{"value":"model-free reinforcement learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996007$7B216DCF-C200-4195-8116-DDA481151192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"977ed9a5dd338bf424fd0ab29d89678ee0103ad0","datavalue":{"value":"deep learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996007$15DF9BA9-E433-47AF-ABCB-FA56C13EC2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996007$B39F5E7A-3BCB-4AA5-A049-A786C0F1C223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f91f91946665ecdf22374b52a7cf139e5408a185","datavalue":{"value":"continuous-state Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996007$C492A8E0-0BAE-4895-8D10-A8501F931488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5d2cea642c34af204730b5e8b5e09e2f10935b4","datavalue":{"value":"continuous-action Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996007$749FB273-C7A0-4BFD-A967-3A3DF5C43D19","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":"Q1996007$8126514D-D1C8-4831-B1B7-A0B7CBF49ECA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b16fdcca3363f6a9c00baf05a170eae5941e6507","datavalue":{"value":"https://doi.org/10.1007/978-3-030-57628-8_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1996007$6E3211BA-F71C-40D1-9AE6-5F96663E1C9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b86eb6ff9f2daa157fb3b902a1e75b008e92b7e5","datavalue":{"value":"W3080598349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996007$68D9FC7D-9962-4224-B36B-E0968560FB1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4909f9c57bf236ef39d69086f7cd14a22e9b31dc","datavalue":{"value":{"entity-type":"item","numeric-id":629650,"id":"Q629650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996007$C54B74C8-3C85-44EB-AE58-A3C039372DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996007$D310CF67-F088-4CB7-8D32-0EFD480518A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e8829cb252cde6a855b1ce3f090a7c599659e27","datavalue":{"value":{"entity-type":"item","numeric-id":1158123,"id":"Q1158123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996007$D2DC057B-85EF-4C1D-9FF1-6F07F703F6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b50f77e0d0d1f2d88a34fb14cb0abf195a6c441","datavalue":{"value":{"entity-type":"item","numeric-id":4257216,"id":"Q4257216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996007$22C0A294-712B-4A32-ACF3-0425C05C9099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7478f7e5eb6073b49fc25f1cf590815bd02a9a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3457782,"id":"Q3457782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996007$06B04D56-B59A-425E-9709-174E9AEF14B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eebd92314f06a222531560c253ad541ebcb87206","datavalue":{"value":{"entity-type":"item","numeric-id":6091337,"id":"Q6091337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996007$17356A02-9743-498F-A27A-63232437D747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5abe19eaac08b73cbbe114940b48fc8282c5137f","datavalue":{"value":{"entity-type":"item","numeric-id":6091336,"id":"Q6091336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996007$E7AD6294-E3D6-400E-93B0-BEC1BC807991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"562105a4f45c197209cf879e1e742184d2572324","datavalue":{"value":{"entity-type":"item","numeric-id":1996007,"id":"Q1996007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996007$410349D4-44BF-425F-9D1F-2A1CFAF6AD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc56aedb29a0849749e60f47fd110df5a49626f","datavalue":{"value":{"entity-type":"item","numeric-id":1604817,"id":"Q1604817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996007$6F2932C5-8F71-4BE7-9370-6470B32D04BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0caeaa500e35059e4f73e82c6df1ec87450c8e","datavalue":{"value":{"entity-type":"item","numeric-id":1404947,"id":"Q1404947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996007$9ACC6F2D-9C1E-4F09-904A-2D969A970197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d789ac168a4414aaee7be5ed0816585e0b06ce","datavalue":{"value":{"entity-type":"item","numeric-id":4633559,"id":"Q4633559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996007$245E4C29-559B-46CF-87C7-20003E84F3CE","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":"Q1996007$FDEE236B-FF0A-425D-8A85-63953F4C47EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ff99291fc23db333da452abed8dce9cbb5fdc5","datavalue":{"value":{"entity-type":"item","numeric-id":1812931,"id":"Q1812931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996007$5E24C171-BB38-4AB3-BEAD-4AA31E40FA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751537277953b2ffedad1a8e119d63f600b31271","datavalue":{"value":{"entity-type":"item","numeric-id":408405,"id":"Q408405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996007$41873DBC-70AE-41F1-BB06-4149E9070BA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f8414de4334ed891e24d96b10cbb8671fdca4e","datavalue":{"value":{"entity-type":"item","numeric-id":5879167,"id":"Q5879167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc2d2443cf70f07491a92efcf8eff8b67e99b267","datavalue":{"value":{"amount":"+0.87905484","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":"Q1996007$D12A1027-558E-4A88-A01A-3DF3AC1AEEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"634d62a9a152ba34c210515648db38c17bb085ef","datavalue":{"value":{"entity-type":"item","numeric-id":5223015,"id":"Q5223015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"995945cc088163aa7a9475f1db6372de911c3a95","datavalue":{"value":{"amount":"+0.86125755","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":"Q1996007$930F2D61-923D-4BEB-9CAF-515686DBEB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"166d821ced20836450daf934817fb794b0ca8c4b","datavalue":{"value":{"entity-type":"item","numeric-id":5107281,"id":"Q5107281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d56c973f0f50bd9045f6f2eb07dcb65db4a1bfb2","datavalue":{"value":{"amount":"+0.858488","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":"Q1996007$530F8D4E-66B1-41AB-829C-05B13ECE5057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e13acd32936643796db5fa23586e1de028836adc","datavalue":{"value":{"entity-type":"item","numeric-id":6136089,"id":"Q6136089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc3a341429fc6f9a28d28f67f3334d0fa112389b","datavalue":{"value":{"amount":"+0.85393214","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":"Q1996007$F08C6F02-4B1D-4700-8671-EB8848D6BF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfea692762b61d0088ffe9ec7661f2382e5991ff","datavalue":{"value":{"entity-type":"item","numeric-id":2677109,"id":"Q2677109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70cc0caa4d639f45c8b157634d935207aa9d71c","datavalue":{"value":{"amount":"+0.85173273","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":"Q1996007$AB4F3399-5733-4139-8DE1-571D86121F3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deep reinforcement learning with temporal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deep_reinforcement_learning_with_temporal_logics"}}}}}