{"entities":{"Q1996023":{"pageid":2006765,"ns":120,"title":"Item:Q1996023","lastrevid":82359452,"modified":"2026-05-06T20:42:59Z","type":"item","id":"Q1996023","labels":{"en":{"language":"en","value":"Active learning of timed automata with unobservable resets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317095"}},"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":"Q1996023$54D0ED78-23C1-442C-8F4F-8C9465913F38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2baef7a0034a3c4184995172942cb8706bdff70","datavalue":{"value":{"text":"Active learning of timed automata with unobservable resets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1996023$76F25CEB-86A5-4A5D-9D91-91EC80470AEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05db6117302865c67827851f114bbf2523747e26","datavalue":{"value":"10.1007/978-3-030-57628-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996023$EDD6E54E-5024-4352-B39A-C72D07DFBEC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64066157851a8a0acdeed32f391a9d2a7c80cbbb","datavalue":{"value":{"entity-type":"item","numeric-id":1996022,"id":"Q1996022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996023$BA9BCE06-FC54-4A9D-8390-1BDBF2633E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f8ef2e44345b44d5df789c93a6d744e54eb86f","datavalue":{"value":{"entity-type":"item","numeric-id":487255,"id":"Q487255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996023$024F2674-FC35-4393-933B-0CC00F96C07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996023$044AC605-99FD-4087-83F2-4F82AD2645CA","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":"Q1996023$B7E03164-8B30-4082-BC6A-D6E2243BF138","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dc3a4db4a315b324482bd65457d401f68a17360","datavalue":{"value":"https://arxiv.org/abs/2007.01637","type":"string"},"datatype":"url"},"type":"statement","id":"Q1996023$9B5576FD-A032-4224-ACD0-5E84DC7B48DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996023$7C377D67-1FF3-4F9F-B004-17595E8AB33F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36a26e15848cb44df6665b4a939088643d6cee77","datavalue":{"value":"7317095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996023$017ED906-6532-441D-9535-D42373430BE5","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":"Q1996023$C99CB10B-A057-4764-B660-AB5B4CCC400D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e856334c4637d8a843ca4d535633fb62a6a8e9bb","datavalue":{"value":"W3041783001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996023$F5B68FE2-7584-4F9C-90CA-2E8EACA0CD9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fabcbdc508115aa84f275d1309d55494bc63e27b","datavalue":{"value":{"entity-type":"item","numeric-id":5039523,"id":"Q5039523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996023$1C62E850-1A45-4B80-91D6-13F847C0F605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996023$FB50AF05-1999-4A33-86C8-59983811491A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996023$AF22944F-01D0-4EB6-BDAB-0CBBB15250DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996023$60D6EBBA-8060-41CF-9014-50175B245D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c3d281ab1020686fa49be9fbda50f89b24139f2","datavalue":{"value":{"entity-type":"item","numeric-id":2232294,"id":"Q2232294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996023$691860AE-21A6-467F-B69A-BC6E8035551B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e01e7fc2f264a8f7c6b74dc8d4088f47d8ba96e","datavalue":{"value":{"entity-type":"item","numeric-id":3000613,"id":"Q3000613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996023$A5A8F147-DE23-4C78-B33E-EB3FA3496B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca9a0c9a28b5b6d8e99ce2601c02f6f127951f6","datavalue":{"value":{"entity-type":"item","numeric-id":5756611,"id":"Q5756611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996023$99461E35-15FA-43D5-819A-04E195771118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f677a18c11adc70587fae98d94c47a90c4f934ac","datavalue":{"value":{"entity-type":"item","numeric-id":1019007,"id":"Q1019007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996023$63BBBD8B-3093-481C-B564-DDE8BA222B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6957ef7b0f8cfc41a59481890562b8f0d4756a","datavalue":{"value":{"entity-type":"item","numeric-id":1996023,"id":"Q1996023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996023$879C7361-64A1-4E88-B4D5-4BCADD6FCC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf4523d868430bb55780072c2376bb2b99d0ff9","datavalue":{"value":{"entity-type":"item","numeric-id":2176706,"id":"Q2176706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996023$4F30B2CE-FD49-45A2-89A7-BEA2DEC96CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48c6fd545eb7067241f0042eb3d2b7a80d8183f2","datavalue":{"value":{"entity-type":"item","numeric-id":3528423,"id":"Q3528423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996023$431E7670-07C0-44C2-B937-6AF328BD814F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2c175a34d1d4db540f7eaf0f460077eacb9cc2","datavalue":{"value":{"entity-type":"item","numeric-id":420918,"id":"Q420918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996023$23FB93BE-0D72-4DD7-BA19-615C1B526914","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Active learning of timed automata with unobservable resets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Active_learning_of_timed_automata_with_unobservable_resets"}}}}}