{"entities":{"Q6169541":{"pageid":13304428,"ns":120,"title":"Item:Q6169541","lastrevid":55476235,"modified":"2026-02-17T17:17:07Z","type":"item","id":"Q6169541","labels":{"en":{"language":"en","value":"Learning through imitation by using formal verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7726614"}},"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":"Q6169541$C0731377-BE1D-46AD-85C6-23475866D5B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bb688e0cf1e76e07cd82158fc2b01f4619fa606","datavalue":{"value":{"text":"Learning through imitation by using formal verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6169541$78AEFE33-7AE2-49F8-844B-C33EDD2E529C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4ec8a408b282774a36032595f532dd1b542a4df","datavalue":{"value":"1528.68347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6169541$55FB9157-69E8-4BF5-9577-606F794D31F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fd01a6d1a8f5d3f94cdec2cc4668e90518b6c40","datavalue":{"value":"10.1007/978-3-031-23101-8_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6169541$411CD75A-2D03-4AE1-83CE-DAB11301418A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb132b8838a306cc8824f81681fa5ddb91b50cf9","datavalue":{"value":{"entity-type":"item","numeric-id":2234094,"id":"Q2234094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169541$48F3F216-A0C2-413C-A680-00281422F1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56cafeeb452dafdeccf0ff5bf3c7d6683a663c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6169539,"id":"Q6169539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169541$9D826440-65A9-49B4-B170-2BD32659C71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3212a7cca9ebd9e072a3372ee0217cef01718762","datavalue":{"value":{"entity-type":"item","numeric-id":6169540,"id":"Q6169540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169541$8F689F8F-4F20-4BB5-8083-A72542CB2839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a72f7ffeadb3320be0ec39263ca2afd30e85f3a","datavalue":{"value":{"entity-type":"item","numeric-id":2234092,"id":"Q2234092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169541$6A24CF91-9691-4133-9463-F04C41DB54D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47ba31a0dd52d729abd5e87310a7cf44922fd880","datavalue":{"value":{"entity-type":"item","numeric-id":2234095,"id":"Q2234095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169541$58494211-C14C-4555-B9B9-48F257FF7DF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169541$D54FCFE3-0457-43E7-AD77-3D23A0226862","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb3c2cc5cd737caf151e6b27348a374c51a199e2","datavalue":{"value":{"time":"+2023-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6169541$19EF8F0D-99A1-4C3B-A9AC-EFFBC676A69B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6169541$226E7219-479C-4862-8C45-3E18AB9EA158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6169541$28B01FE4-135B-40DD-ACF6-C379BD29F212","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2733022cdb148b4c6f4fa7ae824a76eaed52d644","datavalue":{"value":"7726614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6169541$AA100E6B-0F25-40A7-8FA1-31EC0FD476F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab31482eee8f34fa99c5284980862acac4a0b6b4","datavalue":{"value":"reinforcement learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6169541$6E428FCB-C3F0-4EB3-A223-FD2F9870E74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"579ed68c03153f46f77ecfd1ecb281775cee5e51","datavalue":{"value":"\\(Q\\)-learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6169541$7C951226-9DD6-4F75-B3ED-FDEC997FCFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6169541$10962B27-8163-40E4-95C8-6C22FAF38A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6169541$6697D8C1-4CAB-48EE-827E-57A5367B16C7","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":"Q6169541$FA81A76A-06B1-47AD-A30A-C75C12A52124","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04e3c9f6e498db253ff9398312697fd3eaba0078","datavalue":{"value":"https://doi.org/10.1007/978-3-031-23101-8_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q6169541$A939040D-EEDF-4595-B432-9B8EEBC57598","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fe445e05f0e1524f63b92c188926b8a78eb2339","datavalue":{"value":"W4313429538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6169541$E63061CD-25EB-4DFD-9B5D-5EEFA9A9207F","rank":"normal"}],"P223":[{"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":"Q6169541$6634D230-5271-4D30-A3A9-33DBBDDCB62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb88dc9dc35f61e61e60466bd4c440ff01861524","datavalue":{"value":{"entity-type":"item","numeric-id":5744808,"id":"Q5744808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169541$8E9B395C-7E01-491D-9806-F268FD6A83B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"341dda0bb94fd905e2cb312edcb2f200c03ab34c","datavalue":{"value":{"entity-type":"item","numeric-id":832198,"id":"Q832198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169541$A1689DEE-DF6D-4CE4-8A7A-EB734DA69892","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":"Q6169541$13F4F9E7-FEE3-40B4-8309-843A51784160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c10880db3512cb44b0c7a9adcd35842c8fcabb1c","datavalue":{"value":{"entity-type":"item","numeric-id":793755,"id":"Q793755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169541$4E21EF20-22B4-4A54-867C-1E16993D61B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aec7a5195d839105a9eaed2e0df2aa8b7b1aebe","datavalue":{"value":{"entity-type":"item","numeric-id":4159394,"id":"Q4159394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169541$ACD9F514-E201-4DDD-BEA8-3BBAFB9A038C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea48396d735dd37c99857b4ad202ab9e2df13d3e","datavalue":{"value":{"entity-type":"item","numeric-id":6091337,"id":"Q6091337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dba781e2bab3dd3444c4f1fd447234a0fa03945","datavalue":{"value":{"amount":"+0.7463265061378479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6169541$1091C678-DD24-45E5-A47D-050967B4D23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22e7f7b145a568e4034ce108b8bf1dfd3b07b259","datavalue":{"value":{"entity-type":"item","numeric-id":4530025,"id":"Q4530025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6aa1d44c22fea499db31d06c77a9975aa36485c","datavalue":{"value":{"amount":"+0.6834053993225098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6169541$D71BAF44-3E87-4BB1-9AA3-640F23CC1921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e95d6088a6b758e9c4a4496a7c94d8586eadc61","datavalue":{"value":{"entity-type":"item","numeric-id":6535337,"id":"Q6535337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc3b54e1f14cafc448fbbae3d97bc6324544a0d0","datavalue":{"value":{"amount":"+0.6559767723083496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6169541$8ECDE919-26E1-4E51-A611-6EBC5C4C468E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f4c7574f4658669058c57dd333aa00dd6eb471d","datavalue":{"value":{"entity-type":"item","numeric-id":2675741,"id":"Q2675741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c488b0b26054fdf6abe1186397a6d49d3fc04065","datavalue":{"value":{"amount":"+0.6512771248817444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6169541$5C86BAD2-3A9D-4DED-8DE3-532C077EAA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8d486b9659ea0975766c5d5268a9a95b95aa3c","datavalue":{"value":{"entity-type":"item","numeric-id":6164418,"id":"Q6164418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8909623c46de7b3e7b23102c553ccae6014fa2d2","datavalue":{"value":{"amount":"+0.6480996012687683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6169541$41368987-922B-48D4-8E83-490D25793BC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6169541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6169541"}}}}}