{"entities":{"Q420918":{"pageid":422685,"ns":120,"title":"Item:Q420918","lastrevid":61740510,"modified":"2026-04-11T01:20:06Z","type":"item","id":"Q420918","labels":{"en":{"language":"en","value":"Efficiently identifying deterministic real-time automata from labeled data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6037844"}},"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":"Q420918$1F272300-368C-4229-819B-2AFFD4909095","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14936274ee02cd37c2f97788e608c64210624520","datavalue":{"value":{"text":"Efficiently identifying deterministic real-time automata from labeled data","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q420918$16368D88-0AC8-4E0F-81D0-0032A92C2B57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adface486ce3aca64727e75422a7cd036e3f617b","datavalue":{"value":"1238.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420918$F11B88DB-CE51-4F53-8992-35D4CC794B1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b548df5d7d1760c0061b9927546906de93c38b7f","datavalue":{"value":{"entity-type":"item","numeric-id":420916,"id":"Q420916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$1AE6B13F-89B6-4A13-989C-5E9DD600C948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f0bccc0bcb0c3b2b5645577749caae7fc43177a","datavalue":{"value":{"entity-type":"item","numeric-id":420917,"id":"Q420917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$13A63830-8B37-46F7-84C5-4A3D8DFF08C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"701f0b981e19138800eaa9b9c7a4c78e6c85fccd","datavalue":{"value":{"entity-type":"item","numeric-id":361804,"id":"Q361804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$CB1195A0-EE91-412F-A55B-A189C226E4F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2500bd7472785bf7f3577cddf9bbcc323031858b","datavalue":{"value":{"entity-type":"item","numeric-id":65106,"id":"Q65106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$8D77B927-9022-451D-A8FE-C9A045617D19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a791962b7bf8be6759d99d8d914e7c75a4b20fc2","datavalue":{"value":{"time":"+2012-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q420918$B857CE29-6754-41A2-9872-7C023281E32C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420918$5FD454BE-52E0-4AA0-A4FC-E34293FC44A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420918$9B829CD1-D5B0-4740-8A58-E745B59198A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420918$F958DF84-6734-4936-ABCB-FDBFA34F515A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f20b66c09832ef5ceb537d323273db5b87e5d2e2","datavalue":{"value":"6037844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420918$F8EA7A28-249F-4C54-AA50-5AD728F80FBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q420918$0DA934AD-2154-46E9-A71E-E879AF15FA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"643ffcbfd4f975247ba2e3e5a8c70f5448f7eced","datavalue":{"value":"real-time automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q420918$FB8E9766-F91D-4911-9D41-5084B4168EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1d62c198a8d99438b7d6418b5be32f7efa58a9","datavalue":{"value":"identification in the limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q420918$E0E14E59-2B39-46BB-9454-C518FB7C2C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4064784273eabf360dc56a804f3c36d1d76a45b","datavalue":{"value":"supervised learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q420918$468C16A0-C00D-4A48-BE39-C98E763FC0C3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$72FB5701-C809-4973-8E30-444A3E788713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"949824462ad75642ee7793400532e555fbc697cc","datavalue":{"value":{"entity-type":"item","numeric-id":1352844,"id":"Q1352844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$BB9B780E-F340-4D09-8B2B-5596F5073F46","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":"Q420918$CFC925FB-9944-452C-9D1B-B80F28D367FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe3714c40425074eddc1a81f5d86068e81d21b30","datavalue":{"value":"https://doi.org/10.1007/s10994-011-5265-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q420918$7BB2A235-EB67-408F-A13F-236277F29223","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe09bf4b64f3eb7ac88963ae0d12a2ca838f462f","datavalue":{"value":"W2133625193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420918$7A9DDD01-CBB9-4B7D-8C4B-08C02D236C26","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":"Q420918$002081E1-262D-4A73-B3DA-4934902F5B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1567a09831badd078143bff84c1a31067ac56c49","datavalue":{"value":{"entity-type":"item","numeric-id":5483032,"id":"Q5483032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$00F19739-50EF-4BA9-9E04-36A55C9C341D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1534c1dfa1a793990d9927f6cf9cc3a54f6ec4be","datavalue":{"value":{"entity-type":"item","numeric-id":2485087,"id":"Q2485087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$BDE84798-B0C4-4659-A242-561E10C1F412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61e41b4b5a19448651bc3fecabe6838f2f4755d","datavalue":{"value":{"entity-type":"item","numeric-id":3093192,"id":"Q3093192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$CA0ABF1E-480F-402F-8FD2-8CB4956F161A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43ea4b5e6f1970f1c7d8b2e6a663375a71bea7ba","datavalue":{"value":{"entity-type":"item","numeric-id":2708466,"id":"Q2708466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$D95DAACF-D6C0-4F7E-822F-6DCB2B899B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a8e00c193841fba0a251ac567301254921189d","datavalue":{"value":{"entity-type":"item","numeric-id":2485074,"id":"Q2485074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$AB5A723D-95C3-498C-A3A1-111DC86B84C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab91af9300c03108c83f175294005fece9bfeff","datavalue":{"value":{"entity-type":"item","numeric-id":4153610,"id":"Q4153610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$58D867C3-D63D-40F7-A802-9FB479CDB6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"578dbe6645c8557dc8be31c821aae03fe2be2748","datavalue":{"value":{"entity-type":"item","numeric-id":960469,"id":"Q960469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$B257284E-D7FC-455B-AF7A-B8CBB269B686","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":"Q420918$0ECAFC0F-75A4-4A05-9792-466C0310366A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0747d8aaaf3bff92bd08b164a85efc268fc0bda2","datavalue":{"value":{"entity-type":"item","numeric-id":1366803,"id":"Q1366803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$016A6E1C-4DEE-4114-922F-0607FFBA33A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74e2f148627f61f2867ed8d52f427afd4e2c2d59","datavalue":{"value":{"entity-type":"item","numeric-id":4440393,"id":"Q4440393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$F47F2AB6-357C-4256-99E0-E8F6632EBE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$02B9C63B-C332-4631-BEE0-88BD11374AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb40d55c384e43c0f7f459b4c221814c7ba3e671","datavalue":{"value":{"entity-type":"item","numeric-id":4398828,"id":"Q4398828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$67240145-A79C-4848-8BA7-71BED51BBD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b4523eb4271d397583e2bd2c326763625bd59d","datavalue":{"value":{"entity-type":"item","numeric-id":5450783,"id":"Q5450783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$7B1C3ACE-79D2-40D6-A0B1-3F025F46C9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$DC75FD42-6B7F-43F1-857C-38A2AB415FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2780791d98c005bb8ebf69e36cb9dcdfd75b38b4","datavalue":{"value":{"entity-type":"item","numeric-id":5940921,"id":"Q5940921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$D62F1312-5E3C-4356-B7BB-12EAE970835F","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":"Q420918$A79BE1E7-AFF0-4CB6-8C8E-A948E815C3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1bf48785e5a23dad1685105699f4a949075e428","datavalue":{"value":{"entity-type":"item","numeric-id":3618628,"id":"Q3618628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$9D1C46E9-262F-48AF-BE78-8219D2BB7855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88f42ce9cbd4865145df6dbe9b38a648ce2e86f5","datavalue":{"value":{"entity-type":"item","numeric-id":553334,"id":"Q553334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$B23AE1D4-6996-4871-9099-226CD9524FBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bf29052a343465f4b55c6f28c69cb764c826c19","datavalue":{"value":"10.1007/S10994-011-5265-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420918$808C2AD7-36C8-42F1-A8C9-3520C15E694A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0f77748ece988a17001d1d3cb177e5e86f17371","datavalue":{"value":{"entity-type":"item","numeric-id":3588378,"id":"Q3588378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7caa29f453c9a6c369db3ee28116b380204c25","datavalue":{"value":{"amount":"+0.9202483892440796","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":"Q420918$CFCB83A0-A39F-41E9-8706-4E1FB8300BE9","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":"1d43c38b13796375a3d4d6ca5aa3f62dffecb95a","datavalue":{"value":{"amount":"+0.7848873734474182","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":"Q420918$0CD1F6BD-79CA-4772-8C3C-073BE83681AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2f28fb659811c60d7a76e7605a2e54c1d97a0d","datavalue":{"value":{"entity-type":"item","numeric-id":3618628,"id":"Q3618628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22972c6579b54a67f95ce0e4fb7b15d9f5ac1b9","datavalue":{"value":{"amount":"+0.7782650589942932","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":"Q420918$2A864AB4-A2B8-4938-844B-1C3B94072172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8649070f9e9b2e22d23069aeb23f01e48921db0f","datavalue":{"value":{"entity-type":"item","numeric-id":553334,"id":"Q553334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11285c03897296a59251ae3d92e1a5df6dfe78b3","datavalue":{"value":{"amount":"+0.7672562599182129","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":"Q420918$4774759C-EDAA-4CCD-8544-01FED52AC0C5","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":"071e1ea8f854d432a7d89e3541c0344d5fe11deb","datavalue":{"value":{"amount":"+0.7655022144317627","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":"Q420918$6B15970E-217A-4A3B-9EF2-7FCACDE1148A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420918$D5618743-80AF-4E65-B4C0-8FD03D575C98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficiently identifying deterministic real-time automata from labeled data","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficiently_identifying_deterministic_real-time_automata_from_labeled_data"}}}}}