{"entities":{"Q6885129":{"pageid":20807317,"ns":120,"title":"Item:Q6885129","lastrevid":84206105,"modified":"2026-05-13T14:17:48Z","type":"item","id":"Q6885129","labels":{"en":{"language":"en","value":"Quantitative verification of learning-enabled systems using ProbStar reachability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8135914"}},"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":"Q6885129$BC3CCA6D-37EC-4AAE-90A0-8CA169909064","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c51102a4bf6e36c1dba9bcc575e80bd3426ca42","datavalue":{"value":{"text":"Quantitative verification of learning-enabled systems using ProbStar reachability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6885129$8B3251F2-4459-480D-8F02-E58962DF636C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1980797cd3674d1706d2fec99568056141d0e712","datavalue":{"value":"10.1016/J.NAHS.2025.101623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6885129$FBB92FDC-36C5-4569-8CAA-34C837880302","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b78b98c074522ddf33138c54beff069757d2017","datavalue":{"value":{"entity-type":"item","numeric-id":4612733,"id":"Q4612733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$7131B6C9-E890-4F67-907A-9D62ED3F0B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10ec6cecd5088e354d76f5ab5b43752b4f306965","datavalue":{"value":{"entity-type":"item","numeric-id":361192,"id":"Q361192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$4B6DA87E-D828-403E-80BA-7B18651FAF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea4837ae94e63407c41b7a1ffd3d28f0f0efcd81","datavalue":{"value":{"entity-type":"item","numeric-id":6202078,"id":"Q6202078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$59053927-F56A-4A26-9C77-093A2F2185FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd65a8879ed8c832955e8638aa0382303230a492","datavalue":{"value":{"entity-type":"item","numeric-id":2112122,"id":"Q2112122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$B1BA0DE5-AAF2-470B-A58F-F53694630D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e4f6b14f5ecf0170410995e1646547ad080542a","datavalue":{"value":{"entity-type":"item","numeric-id":732014,"id":"Q732014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$D08C4A11-E80E-4C35-A7A2-B7A1CF16A1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d4e6981264371a222c260c51150751e6b6f45dc","datavalue":{"value":{"entity-type":"item","numeric-id":832174,"id":"Q832174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$B61FAB24-7B3B-4D28-9788-5BE88CC4AFCB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9d0f2155ba9995cae9f99d2ed79b4b1c769519a1","datavalue":{"value":{"entity-type":"item","numeric-id":254169,"id":"Q254169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$73A32089-BF77-40AB-B11C-D6272BFEE468","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"247c2a034d97def79b85c1a43b4a75ab8baa8b35","datavalue":{"value":{"time":"+2025-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6885129$ED25CF4B-C31D-4F54-AEFA-1944D625BA19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6885129$99748DC5-5639-4BED-86C3-A92ABC360EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6885129$E3C6A082-FA5A-44D7-BE89-81B58C24F78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6885129$60596C79-FCB8-4AA7-A224-32C952BB10BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6885129$0378C6FB-0AEC-492D-8429-80B5EC3178C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6885129$81EDF37E-20FA-4226-8B24-D2735CF23465","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b6f18506b3c1a306d341c4a375f721e74be5477","datavalue":{"value":"8135914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6885129$AAD3CD84-2197-4050-825B-D6C72713F55A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a37356c3382c350f8dae1854e5c4cb5f061a9b2","datavalue":{"value":"quantitative verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6885129$53BC3DD5-2B77-4354-B35E-0BA5DEE90C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2ea9e11d3e340e4e907a4fdd9b4bbee3e1e39f8","datavalue":{"value":"deep neural network","type":"string"},"datatype":"string"},"type":"statement","id":"Q6885129$9CD87155-9867-44BB-8646-DF8BD347CDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653148492e5cb9c0affad402eab1136a7618becd","datavalue":{"value":"cyber-physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6885129$9B973CC6-1A47-4C3C-9734-92A21B97EAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0e5ff9fcfe126241683996881a90b0ef72c34e","datavalue":{"value":"learning-enabled CPS","type":"string"},"datatype":"string"},"type":"statement","id":"Q6885129$BFDAD28D-9395-4D1D-938A-22480C526A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6885129$994ADAA1-D203-402E-90FA-738F0EAC6569","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":"Q6885129$42667FBE-04A1-4FB2-80D9-8368C35150C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d76610be2db7a475aae1f8e37aec5be549c297","datavalue":{"value":{"entity-type":"item","numeric-id":2151238,"id":"Q2151238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$A2A2D67E-2874-46C7-BAE2-ACDB2E563C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4978f69ddc102f2ab5569daf36651899d3c49181","datavalue":{"value":{"entity-type":"item","numeric-id":6535978,"id":"Q6535978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$6755F881-76D1-43D4-A51B-7DDA058F18AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3971371b90a9c3399b1543fbb0799c60a386f29b","datavalue":{"value":{"entity-type":"item","numeric-id":2225077,"id":"Q2225077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$2886CB9B-B56F-415F-B0B5-A48EDDC8CA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8722bc1cbf4a00db41dff72a40f194ee33bc056c","datavalue":{"value":{"entity-type":"item","numeric-id":6120658,"id":"Q6120658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$36B28453-9F4D-45BA-A022-FBF67293ED42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d08af5bebe8165c58cfdfdfdae462c48cfb5f90","datavalue":{"value":{"entity-type":"item","numeric-id":832164,"id":"Q832164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$0E6728A7-0CE5-4C68-BC10-D83BA43C5A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"763c291ff2ba9310c8ef7eb25800bf72343cf19d","datavalue":{"value":{"entity-type":"item","numeric-id":2181945,"id":"Q2181945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$4D1CDEFF-7EA8-4586-828C-A53BE3514500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e380f0634e7bb742b5e5f5caa3a75eb92cf878","datavalue":{"value":{"entity-type":"item","numeric-id":2225072,"id":"Q2225072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$BBBFF163-DC4C-4EF3-BA1B-AA8A332253D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627334195505159406ab26372b23e8a91a7042ef","datavalue":{"value":{"entity-type":"item","numeric-id":832180,"id":"Q832180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$23CF1BB2-B289-40D8-B664-1403F4419ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5f66cc009c3f39845e416a947dfada1e7f78672","datavalue":{"value":{"entity-type":"item","numeric-id":5239215,"id":"Q5239215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$02C1B556-75EC-46C7-B614-33823129A2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4210c8aea09880546d29e9e230c6a0170c66e8c","datavalue":{"value":{"entity-type":"item","numeric-id":2151263,"id":"Q2151263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$BAA78DAD-77F6-4AB0-B4F3-656EF4966CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ccbd6e154af64b688640cfa7069952b1451025","datavalue":{"value":{"entity-type":"item","numeric-id":4633548,"id":"Q4633548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$3C1AF58C-730A-45AA-A2F0-1293304DCC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75611f0714f7b5295f4061c945878f6fe817c818","datavalue":{"value":{"entity-type":"item","numeric-id":3303914,"id":"Q3303914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$AC970910-76BA-48BD-BDC2-CDC6AD7B9652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed96b6038e2f5256440ccd892dcd94132237ce7","datavalue":{"value":{"entity-type":"item","numeric-id":6202079,"id":"Q6202079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$16AAF4EB-E178-451B-8772-017E980F7322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbd0823fa5b5a36751278925bae4f67a5044c9c","datavalue":{"value":{"entity-type":"item","numeric-id":5239233,"id":"Q5239233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$E0DFDB75-3C58-49D4-8468-37F79B16B2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bef7da6f721acd6129927d43edfe7dfae2ccb7b","datavalue":{"value":{"entity-type":"item","numeric-id":5239232,"id":"Q5239232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$04296C13-0410-4D30-A774-980AEC0C4B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1123c082c42b243f084b51423266e958965dec","datavalue":{"value":{"entity-type":"item","numeric-id":6134350,"id":"Q6134350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$5D2EE871-6E49-4E9A-AEF1-3DCF9B115A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436b9596e0b1c02f2f5d43923938d68d83144f03","datavalue":{"value":{"entity-type":"item","numeric-id":5378158,"id":"Q5378158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$98E24DF8-18F3-4E93-ADF4-5B6D49920044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4570e8b571c59dea29543241760ab8273a73422","datavalue":{"value":{"entity-type":"item","numeric-id":1022028,"id":"Q1022028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$69F9725A-ABCB-496F-A4EB-3EC217681A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d59c28d8710d18bca6b895a72a8846df13678ed2","datavalue":{"value":{"entity-type":"item","numeric-id":2957037,"id":"Q2957037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$5666E7DB-BBEA-4325-9463-2F88C5E0D11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d30620c88cfdd7a86c2bd09a5741679990d2af","datavalue":{"value":{"entity-type":"item","numeric-id":6202081,"id":"Q6202081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$87D4210C-1CBD-4BB8-A025-3A3AF7605826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efe0410e1201db1f1ac1c349cee58665c3f2b1b7","datavalue":{"value":{"entity-type":"item","numeric-id":5033991,"id":"Q5033991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$3241A2F5-0DE8-4FF4-AA9D-EF3F5499EE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486aa65e03e0326d20b4ed3ea97a80fca13e0ad8","datavalue":{"value":{"entity-type":"item","numeric-id":2145327,"id":"Q2145327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$F2058760-1524-4F2D-A404-281AC0FDD4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d8ba3ba2675e44b8c6482a3ed62cae39ea4709","datavalue":{"value":{"entity-type":"item","numeric-id":5239217,"id":"Q5239217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$695AB84D-F21D-43D8-BFDA-F56A705EFDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f0633ab1796d017ff362ce5c69c201e296623a","datavalue":{"value":{"entity-type":"item","numeric-id":5239231,"id":"Q5239231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$5D36AAE6-CC2C-4A36-8577-05C5DA798223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6edf800eade254c32816bc49ffc06179866f3e9a","datavalue":{"value":{"entity-type":"item","numeric-id":5146397,"id":"Q5146397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$D97FCAC6-C4D0-4638-A7F8-C64A594E37E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea36a3722c5fc0f1c6f09b58cc268ee4f050cb5","datavalue":{"value":{"entity-type":"item","numeric-id":6592977,"id":"Q6592977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885129$D9054E48-45B0-49D5-B190-AAE9C6C3C41D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantitative verification of learning-enabled systems using ProbStar reachability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantitative_verification_of_learning-enabled_systems_using_ProbStar_reachability"}}}}}