{"entities":{"Q6535622":{"pageid":14146765,"ns":120,"title":"Item:Q6535622","lastrevid":57343638,"modified":"2026-03-30T14:04:13Z","type":"item","id":"Q6535622","labels":{"en":{"language":"en","value":"Active learning of deterministic timed automata with Myhill-Nerode style characterization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798054"}},"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":"Q6535622$846197EE-EDB4-441B-8F79-259F5C6F9D0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a1c28bc90f0fce72abd7034999a463c33856e51","datavalue":{"value":{"text":"Active learning of deterministic timed automata with Myhill-Nerode style characterization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535622$C39712CC-B1CB-4FA0-A0A0-B7287AF51743","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1a206d88d285d21b696a48f8c3cf166ba8aca68","datavalue":{"value":"1547.68287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535622$FF42BEA8-D860-4D69-8415-F8C4C91E2437","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8dc78fa8de2c757b71a2e3dac52fff110141d9d4","datavalue":{"value":"10.1007/978-3-031-37706-8_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535622$C177F1F8-81B1-416E-8DE8-21246B53BA41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"360eac716c8af03a5d82eb78988459646f5620f4","datavalue":{"value":{"entity-type":"item","numeric-id":1683451,"id":"Q1683451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535622$C6F6EB3C-21AF-4032-8818-F5854A536233","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535622$D5B17B40-2ECC-4E89-BC2B-13528A169DD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535622$95F27EE4-FC26-4214-9F5A-170F23C85F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535622$5C2B3589-8C88-496F-9C4E-EB8F0A11526D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13d0d4f18865b5154ff5125994a6d387cd9b6ff3","datavalue":{"value":"7798054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535622$AA21C7D3-C97B-4E6C-9269-789F5ECA828F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535622$BAF5C403-CF7B-4899-B639-785CE4BD59F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1ec69baca02a6f3136ad3e8325018cc7916caa7","datavalue":{"value":"active automata learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535622$1B1A42EC-B2A4-4C9A-BA3E-B4647DDD521E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ed1e9a3e8c79b06a74e68b8e58480d58b0ba895","datavalue":{"value":"recognizable timed languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535622$E94FC538-D74B-4E4C-985D-EB6EF645AE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"749c3e3ed48ee75e8656e4b6d58fc4549d6c9e28","datavalue":{"value":"L* algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535622$0FF27587-6F5C-4D62-92AF-91476438A233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ed798fc2d16e83c8a3ec98d9962df9eb9b20cfa","datavalue":{"value":"observation table","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535622$5086BAB5-4F58-4B8A-B6E4-F57A40A4913F","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":"Q6535622$594ABFD3-6CBE-4C44-B2DA-BBF8FDEABC49","rank":"normal"}],"P223":[{"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":"Q6535622$243B6167-9422-44AD-A57B-D6B817A4C494","rank":"normal"},{"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":"Q6535622$5E276452-54F8-4924-BE2F-6E9540022CB4","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":"Q6535622$C8B6EF48-C8B7-411A-9E86-6F376F68371F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7071b994624b473f568a8aa717c45ae2e5f62ba3","datavalue":{"value":{"entity-type":"item","numeric-id":6045017,"id":"Q6045017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535622$7CE25BCA-FA32-4ADD-9652-5A36BDA76695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d72c197e3f29ab967906174be198c67b7201d31a","datavalue":{"value":{"entity-type":"item","numeric-id":3196640,"id":"Q3196640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535622$1B4B2EF5-7959-4CDB-BE2D-114530756E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f8ddf98942aaab531dc2cec46baee628437be0f","datavalue":{"value":{"entity-type":"item","numeric-id":728264,"id":"Q728264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535622$06AA8E30-EBB7-4500-A603-5EDDB45A477B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c858ff7d646b5e61d59d7ab8b0d3c88780592b","datavalue":{"value":{"entity-type":"item","numeric-id":3167002,"id":"Q3167002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535622$FF7BDA07-CBE3-4511-9033-CCFE591B02AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab36f0753d220db47cf99aa525c969b25dc0e43","datavalue":{"value":{"entity-type":"item","numeric-id":4791839,"id":"Q4791839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535622$CDC1F8EB-2076-4B7E-8E86-8ACAF869BF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310fa0b26265dc62ba64c5201f3feb9dd1ea3182","datavalue":{"value":{"entity-type":"item","numeric-id":3303893,"id":"Q3303893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535622$47286B10-2F41-4629-A3E6-9DCD0465ACCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3176b8f9f33bec50a735e690263fe124617a6aed","datavalue":{"value":{"entity-type":"item","numeric-id":604474,"id":"Q604474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535622$A75A6A7E-0549-4071-AA75-03BE4ECC8583","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":"Q6535622$0BABED96-FDFA-49C0-B5CE-E118834C4F41","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":"Q6535622$09D2BFCA-A055-4434-93E9-397C675AA2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535622$ECB3BF37-C09E-4949-B5C1-1794C64DFC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92325a8e80037d21fa787dfcadc2acde793b266","datavalue":{"value":{"entity-type":"item","numeric-id":5308461,"id":"Q5308461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535622$9CBA52BA-8B8B-479A-960D-5CED3CDE6513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b08353f64bee56a663ab8a98982684a8b6497fb1","datavalue":{"value":{"entity-type":"item","numeric-id":4942015,"id":"Q4942015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535622$7F3832E3-63CE-4E0F-97C2-7FD874D9027D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d82d8fbef7207e3a8c855b494fb9281aee4749","datavalue":{"value":{"entity-type":"item","numeric-id":2365762,"id":"Q2365762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535622$01EB29F8-9EE0-46A3-9E08-98780841D9A8","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":"Q6535622$386C0B9C-71EF-4623-B97F-5BA7F6A2FB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7288fce2854898a0ec4db125404d3829d2f3776","datavalue":{"value":{"entity-type":"item","numeric-id":5146373,"id":"Q5146373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535622$80187E01-F733-4A2F-9ED6-FF4EBE2F360C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ecaedce3a4e3f999750d57d9de1da1021f6cd0a","datavalue":{"value":{"entity-type":"item","numeric-id":6535622,"id":"Q6535622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535622$8FEE80D6-F3C1-44C8-9C4B-98BB71AC1D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94bd8e2efb529c3b30822f29746fb2ba8bb7446e","datavalue":{"value":{"entity-type":"item","numeric-id":6160915,"id":"Q6160915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535622$72069AAA-F022-46A1-8D64-76B27C1F99D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d6261676c97d898dd99ef17ea8b1e16e004249d","datavalue":{"value":{"entity-type":"item","numeric-id":6160915,"id":"Q6160915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e840f93741ddd8da499dedc861474925aa8cca5","datavalue":{"value":{"amount":"+0.839363157749176","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":"Q6535622$B541D5B6-1BF2-4127-AD3E-13355680FD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d1e12db7d7624c49aa6b5402e0c4ba7f4c2a395","datavalue":{"value":{"entity-type":"item","numeric-id":5039523,"id":"Q5039523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb95d258d9d25f1a4a8e0dd144bd312e5bde18c","datavalue":{"value":{"amount":"+0.8385788798332214","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":"Q6535622$14B6D094-EB0D-470A-B942-861D6A53C3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5a7e08f454290d1db07b3a8c76dfbc62a6943ef","datavalue":{"value":{"entity-type":"item","numeric-id":5464760,"id":"Q5464760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a79e9d8f1aec5f0136a0de72af6f43dee3c28a4","datavalue":{"value":{"amount":"+0.8332793712615967","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":"Q6535622$9C1D32FA-F184-482C-A9FE-4C60E86E939E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56836ec2fc682b52b2488070d5d35a5cad490205","datavalue":{"value":{"entity-type":"item","numeric-id":3172935,"id":"Q3172935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d04c6f631c49014ae2d2b5c4e6b9c5e7a5a738","datavalue":{"value":{"amount":"+0.8117757439613342","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":"Q6535622$68C66E7D-007F-4416-84B0-8E3236D69071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47bae07c88edec6333444b0ace243f19dd2a957a","datavalue":{"value":{"entity-type":"item","numeric-id":604474,"id":"Q604474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc5510f1a2971992eb64303ee6561fb4a2391d5","datavalue":{"value":{"amount":"+0.807583749294281","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":"Q6535622$A24E589C-C491-47B8-904C-8915000FA72F","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":"Q6535622$6FF0B408-383C-4552-9AE4-A7B4BDE10635","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535622"}}}}}