{"entities":{"Q6535337":{"pageid":14146480,"ns":120,"title":"Item:Q6535337","lastrevid":57344226,"modified":"2026-03-30T14:07:29Z","type":"item","id":"Q6535337","labels":{"en":{"language":"en","value":"A learner-verifier framework for neural network controllers and certificates of stochastic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7777296"}},"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":"Q6535337$E57F13D9-90CD-461B-B137-217EDE95D7CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4563f5ee15397ca0a5125b445699ab6bc45fad0","datavalue":{"value":{"text":"A learner-verifier framework for neural network controllers and certificates of stochastic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535337$8289FBB6-5E4F-4CC4-AD78-8B362D1226EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"260ff6e4b9bbfea11bf41f3e53c60425fd857663","datavalue":{"value":"1545.93589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535337$9384A418-DC8B-4CB0-925B-A37C062E793F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e00add542da3aaa57beabe955f2a9ce1b0f3d67e","datavalue":{"value":"10.1007/978-3-031-30823-9_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535337$DD409EF1-639D-4AD2-B4B5-9550B7DBA118","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$982FDC0C-438C-4082-AC51-92F4B7FBDF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$903B0ACC-1181-4CFB-927F-395A2204EA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c89c102957361390b3ef264cc8e76d8ac6001f9","datavalue":{"value":{"entity-type":"item","numeric-id":2096433,"id":"Q2096433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$4BAF412F-5FDC-4F78-B1CD-8B370AA2175A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda3d7f024da16a0466017d0ba3242249661e0fb","datavalue":{"value":{"entity-type":"item","numeric-id":2662674,"id":"Q2662674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$3D9AAB70-5384-4AF3-AD51-44E9E1765F69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"370dd048328bd35e66746fcb16650fb884273700","datavalue":{"value":{"time":"+2023-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535337$1AD17D3F-4299-4D8D-8865-AAAE8F0817E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535337$4DCCCD81-371F-4532-B149-08562CCC4527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535337$C2E1623D-867B-4DFF-98C7-E640C7090E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535337$2C41B330-C055-44AE-ADBB-ED9B83EFA25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535337$A71F2CE9-BB5D-48FE-9EC3-3AB05C2721D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7954ad5a677b6f1bc2938a65a328af9dfae9e5bf","datavalue":{"value":"7777296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535337$E6F5F889-A499-4D3E-956E-E3A5CB4818AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60f69589a512b32b7a69238e24bd7246ab926498","datavalue":{"value":"learning-based control","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535337$A613CED5-8519-4984-8F83-B745DAD5D67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e101f7f59f22564ca505a04735b03a71301737","datavalue":{"value":"stochastic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535337$5FF1F052-0E7A-4DA6-BF47-255A17B78BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"497025502464a7cf9612f628a3b10a91be58c373","datavalue":{"value":"martingales","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535337$381ED665-EF26-4DEB-9000-17C9935BE809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535337$B5ED6472-8BF5-45F7-9A0A-CF30DFF5C85F","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":"Q6535337$1D863314-1F1D-4775-8A12-8EDA534BD8AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fa7cf1301348853b1d7dfbe9a4c7978c20eee6","datavalue":{"value":{"entity-type":"item","numeric-id":6120668,"id":"Q6120668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$4BAD06D1-A7AE-4F41-9139-681FEE368928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d91b70da5d91298109b9b6c672680f0ad5e32f3","datavalue":{"value":{"entity-type":"item","numeric-id":832245,"id":"Q832245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$B85C4A8C-743C-4B99-AB2D-4B4CFA0F1ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1284b5082362b298340ee680337da76d4487c47","datavalue":{"value":{"entity-type":"item","numeric-id":4264741,"id":"Q4264741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$BE4F5472-3DA4-4C87-9597-1C45127B1795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315f6cb50c8c0fe68623f757d4cd0b8f783709ae","datavalue":{"value":{"entity-type":"item","numeric-id":2272919,"id":"Q2272919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$864B9AD3-1AD6-41EF-86FF-5B0474A7E9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b2e31ac893aa29128650b9cc43fa3a6b0fcfb14","datavalue":{"value":{"entity-type":"item","numeric-id":4633524,"id":"Q4633524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$D4E19E23-15D8-4425-9216-87E0F69972C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94843e74cff4f6c0a9c61a11a081fe4a8d98563b","datavalue":{"value":{"entity-type":"item","numeric-id":2828275,"id":"Q2828275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$ACA81158-4AE0-41D2-95CC-74A2CE3AB50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d79fae0e490d4de93be67ea5956cf2be9fe74d5","datavalue":{"value":{"entity-type":"item","numeric-id":6487312,"id":"Q6487312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$9E4F3E91-E0F0-48A8-8EBF-95014448734B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c48c1b5335f38418b8536e609549aea982b5eff","datavalue":{"value":{"entity-type":"item","numeric-id":6488476,"id":"Q6488476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$9A88B6E8-23E2-4FB6-9CAC-00FE791A2893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9932219303365b4b5720c36b0bda5dfd72a1484","datavalue":{"value":{"entity-type":"item","numeric-id":5370852,"id":"Q5370852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$EBB3EDC7-FF56-46BA-867B-768B18250A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3cc7660938be70f93b3af9adf73ae0fca24ca0","datavalue":{"value":{"entity-type":"item","numeric-id":1421446,"id":"Q1421446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$6F1B3611-78FB-4C3C-8F06-534EB771943D","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":"Q6535337$6AA07A10-9260-454E-8F54-F8B1D3F4F55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e11ce6d7cae5817203b2754499822a3f997c5ab","datavalue":{"value":{"entity-type":"item","numeric-id":6488463,"id":"Q6488463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$FD77B034-73C7-45D0-99F9-694741BE2693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d98bd22cb58d14823c6693f47013d0778797ecc","datavalue":{"value":{"entity-type":"item","numeric-id":1768941,"id":"Q1768941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$D0FB7821-A7BA-4D5B-838F-A8E43619BE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86b43fdc52b4928ef4cdc1ed999ac4f9fb7d4657","datavalue":{"value":{"entity-type":"item","numeric-id":5089265,"id":"Q5089265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$A491E692-00F4-4831-9C4F-4E8F9C707BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2fbb44be5c8369154e478ff92ed4f82bd0e805e","datavalue":{"value":{"entity-type":"item","numeric-id":2628408,"id":"Q2628408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$5FFFDC3C-46C6-4FB6-AAFD-9B842F2BD4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68347b18c57b6f2ce675ea20e6bb599af37ed33e","datavalue":{"value":{"entity-type":"item","numeric-id":2226754,"id":"Q2226754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$4065EE93-AF42-467C-A519-056EBBAF1E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc84d7dabbd19066d4807bd2505625aa596c6c2","datavalue":{"value":{"entity-type":"item","numeric-id":3138769,"id":"Q3138769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$8C2049E3-8B8D-4E7D-B57E-F6E7F08E686D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad625576141754dfc809ee18801b070c92de70","datavalue":{"value":{"entity-type":"item","numeric-id":2855953,"id":"Q2855953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$15151BCE-E355-46CE-8DCA-C08D956946B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8a0c7f69cc7b61244a88a3320724a7c0f897ae","datavalue":{"value":{"entity-type":"item","numeric-id":5282200,"id":"Q5282200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$410C7BF6-C7F0-47DA-BBFC-AA58DA6786B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$A9AD7FC1-DCEE-4DD1-B9E5-E3A28210C68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cb0350dea2b02f2c06e60eb32c7c04dc1f504b","datavalue":{"value":{"entity-type":"item","numeric-id":1932114,"id":"Q1932114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$F9F40A08-0704-4BE0-9906-87CC823C8F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670a48bc2495836b5660dcf6d2d15e6710807c99","datavalue":{"value":{"entity-type":"item","numeric-id":5239216,"id":"Q5239216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$2F64E179-790F-4DAE-A80F-1565F92336A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9c2550f2044f38e927ec98fa3c402888fe8ba32","datavalue":{"value":{"entity-type":"item","numeric-id":3997813,"id":"Q3997813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535337$4ECF2362-E863-417E-9135-7AFE5493D5A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c0d9bbb2e84e54d5d77c51d76b08cf8b960bc3","datavalue":{"value":{"entity-type":"item","numeric-id":5918787,"id":"Q5918787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"571a7eba35f13f14fcd2812cb4e2ae7a9f548f8c","datavalue":{"value":{"amount":"+0.7728468179702759","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":"Q6535337$98437048-6852-42FF-BAA8-023A3F2E434A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95a39b8346a701dca94fccc131df022344915ff","datavalue":{"value":{"entity-type":"item","numeric-id":5918375,"id":"Q5918375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfcee3246e530779b186088bcc77417d06e60ff9","datavalue":{"value":{"amount":"+0.7728017568588257","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":"Q6535337$D07A3279-2514-499D-BBBF-692647C64F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247d2778ad12707d5eb18c4036c6bd4370b231a8","datavalue":{"value":{"entity-type":"item","numeric-id":5239233,"id":"Q5239233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc49f1ec98d63c91e76307da192b3bdbdc1753f","datavalue":{"value":{"amount":"+0.7408077716827393","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":"Q6535337$C9174FAA-81BC-4A29-A7C5-0776AE40E458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40792f462c0b5f87b2c1aa4c159684fd3e0d38d","datavalue":{"value":{"entity-type":"item","numeric-id":6120690,"id":"Q6120690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d6322164933521a9a32914bee2d5ffafd2301ac","datavalue":{"value":{"amount":"+0.7291358113288879","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":"Q6535337$5F1BCB6B-30C1-4DB6-B082-6F5C436F0E14","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":"Q6535337$903A495D-3791-468C-85F9-9F51075B5C89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535337"}}}}}