{"entities":{"Q6840985":{"pageid":18338364,"ns":120,"title":"Item:Q6840985","lastrevid":74398131,"modified":"2026-04-14T20:37:06Z","type":"item","id":"Q6840985","labels":{"en":{"language":"en","value":"Active learning of symbolic Mealy automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8175053"}},"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":"Q6840985$20F9657B-24E2-4DE8-B085-12731BB63189","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4357fa352ab0b4acca552296c501794fd94e7b7","datavalue":{"value":{"text":"Active learning of symbolic Mealy automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6840985$C3CA6C97-F446-43E0-9F30-7760EC88A1ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dc75a599949c7b255ec71f4a8bbc5727ac19108","datavalue":{"value":"10.1007/978-3-032-11176-0_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840985$52B07658-6E35-4374-93D4-D23D3327A23D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2a5e4e4977a8264d8135e16fb28a65fed49d797","datavalue":{"value":{"entity-type":"item","numeric-id":6840983,"id":"Q6840983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840985$2E58FE5E-5C16-4AB6-9EDE-07BD67FA7AED","rank":"normal"},{"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":"Q6840985$FBA607F6-253F-471A-8375-7ED56F51C3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d0424aed08dbbf639f7162eabe730fdbbec3679","datavalue":{"value":{"entity-type":"item","numeric-id":784141,"id":"Q784141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840985$5A82CB36-2797-49FE-B1F7-BFAC9F7E4C54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18cefc5b01f2a823fd075bc66e852b3f0c15dac7","datavalue":{"value":{"time":"+2026-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6840985$89B0419A-0C77-41C6-BA75-4C6178FB0FA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840985$27D53124-BDA7-4226-8B61-101C10C23A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840985$0E1EA228-8080-4EC0-9418-39172C1E4351","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"675a984f2b6158480d96342edb9079b390e5d6ed","datavalue":{"value":"8175053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840985$08E7EB44-0122-478A-A736-9A93D5B5469A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddab13ca2dd92b42a4c2037010c2b7ac5483d808","datavalue":{"value":"automata learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6840985$37BF3032-A643-4137-A47D-D1BB52EA2BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6310ae7fbf6e5cbf15b32d853e4d6f85f70b565d","datavalue":{"value":"symbolic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6840985$CD7EA0F0-67D8-4C8F-B0C8-3E8019972F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"336f9cc1f5ba0f2bec287498f43d766f7d2511c5","datavalue":{"value":"Mealy automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6840985$9B98189A-BAB6-45B8-AF9C-64A42B6F8622","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":"Q6840985$E324E172-8B71-4653-B108-2B42DB0E67C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Active learning of symbolic Mealy automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Active_learning_of_symbolic_Mealy_automata"}}}}}