{"entities":{"Q1678629":{"pageid":1689370,"ns":120,"title":"Item:Q1678629","lastrevid":68234532,"modified":"2026-04-12T22:19:53Z","type":"item","id":"Q1678629","labels":{"en":{"language":"en","value":"Verification of detectability in probabilistic finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6808559"}},"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":"Q1678629$A0E6736E-B252-4B9D-AA7C-972BAD17B1B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef1923fe1032d4397b32a853f02584f26397a0cb","datavalue":{"value":{"text":"Verification of detectability in probabilistic finite automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1678629$52185AA9-FD6F-429F-8CFF-927ECEA8315E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d09679cb0edf3f18b1b11d8ecf8f2665b9669ee6","datavalue":{"value":"1375.93118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678629$4539BA26-0405-4B56-B402-284ACA6C8CE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fbea460d082a620e28890c80b2208fc5913a197","datavalue":{"value":{"entity-type":"item","numeric-id":897673,"id":"Q897673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678629$59EAFF40-5CA5-46AF-B130-D93EBB795CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20f838b886625463a4d532ab3eeae7ed5215e4b6","datavalue":{"value":{"entity-type":"item","numeric-id":286506,"id":"Q286506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678629$752D1E31-4E07-4AEF-BD8B-DF9D688EAC81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678629$8823BFE5-E52B-4095-8F51-49217FA4535D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"825b3410cb99f0539fb93adb9a664af4059fbf52","datavalue":{"value":{"time":"+2017-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1678629$98C50B47-0866-4EDA-8EF7-ABD5750C34DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678629$284478AE-E555-4CEB-9117-5785002407BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678629$396EEDD9-0DD0-41F9-B194-35594D5CF083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cdf15533e26fc0c4c2e22d28e655c364dfe77a6","datavalue":{"value":"60J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678629$4A6D219D-6796-4982-8A17-318925158463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"508f766b7e9c2eeaec5efc12a64dc8db1872dec8","datavalue":{"value":"93E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678629$8A09599C-DE1B-40A5-BFB9-BF9306139715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678629$75EFB50C-AA92-4E15-8251-DFE60ABA042D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49a5fba5578ed318350d4e51dd9d8c36d42880ba","datavalue":{"value":"6808559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678629$93C2A967-658A-45B5-9E13-81351C766598","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678629$425A34EF-6568-4D47-9C67-AF9D2098B481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678629$12C39163-EA51-45D2-A9A7-C6FB03D046A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c973f8c4ff0aafd5a38f067c67376a15b02bb056","datavalue":{"value":"Markov models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678629$F751BF08-B4DD-46B6-BCFB-3808C3C9D142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31017a2c3b098372f149724ca00c3018ff8602d5","datavalue":{"value":"state estimation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678629$C6F14219-B639-449A-B4EB-B2EB1BF58BF1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678629$F5966B48-D859-468A-8043-9DA7A1777305","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":"Q1678629$01EBDCFA-16F3-4588-9E55-EF7708236CDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"533c6b3df9e86523a47329724c653d95059c2da9","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2017.08.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q1678629$52735FF7-3200-4CD5-A4CC-812F622B16DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d1594f8572eee5a42f4f7e1b7dc8c722a0b319e","datavalue":{"value":"W2756653445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678629$B1D4943E-E6C8-44CB-8EFC-8211C347A960","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6962465e8a74ef6ce0107dc058bfe99433131c4","datavalue":{"value":{"entity-type":"item","numeric-id":2798748,"id":"Q2798748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678629$E7ABECC0-709C-4EC3-995D-74DA91630961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a64f52b248c6e54db6201187ef78fb8c9350cfa","datavalue":{"value":{"entity-type":"item","numeric-id":4256220,"id":"Q4256220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678629$D043DD16-6337-47B1-9063-C2C5ED5977A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678629$3B6DE41D-5977-4AA2-9E4A-AB44506351AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7f26b1bed767ed74f2e866bdc5b49786904da0","datavalue":{"value":{"entity-type":"item","numeric-id":1040906,"id":"Q1040906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678629$A60E6428-2979-4841-ADD4-8935BA400244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c3736520dac9670a86294c4174e782129d4e74","datavalue":{"value":{"entity-type":"item","numeric-id":897674,"id":"Q897674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678629$844B61D4-7D46-4E7A-BCFB-0913A4CD66E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab29fbb87cf5d4d537880bdd006ededfaca50409","datavalue":{"value":{"entity-type":"item","numeric-id":4635862,"id":"Q4635862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678629$2AE17301-1341-48C2-AA4D-60D708132B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db03ae23b54f74c437ab68d89cbbad8954a9c93f","datavalue":{"value":{"entity-type":"item","numeric-id":1102899,"id":"Q1102899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678629$B1D0F1B8-C78A-40F3-AF1C-A7C24FBC82C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047d891125c3d6cc8fffb42811dbd1f32b1c9c21","datavalue":{"value":{"entity-type":"item","numeric-id":3493237,"id":"Q3493237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678629$4F766575-4DA7-411D-A716-838B007F652A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fa3eeeeb3c8a3a6066b8c40815a510ff335cf6","datavalue":{"value":{"entity-type":"item","numeric-id":5352820,"id":"Q5352820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678629$4B13352C-AFD0-40E7-B472-652AD70B2A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fc9e90c5ee3972a410dc4276a1a88eef0dada4","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678629$ADA996CB-7727-4F49-9B92-3432EC55D4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"473cd61866e2885d9944efcf3021bb7e66a1c593","datavalue":{"value":{"entity-type":"item","numeric-id":2492010,"id":"Q2492010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678629$14AF6184-5225-40B8-8D95-0986D2FF8FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80dfa5e7188c53c85abacf05bf358fbc6b5da961","datavalue":{"value":{"entity-type":"item","numeric-id":962185,"id":"Q962185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678629$2936C7FD-4BCA-47E9-BFBE-EBF573D65E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00bd7129f38d194cdcd23f8a5c5d0549588d5e29","datavalue":{"value":{"entity-type":"item","numeric-id":5282320,"id":"Q5282320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678629$A38A9984-4E2A-4B4F-8492-F9393F2EAF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c24a872ede5baf63b925d68ce5e8573c97f8af","datavalue":{"value":{"entity-type":"item","numeric-id":2518973,"id":"Q2518973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678629$F81E4F39-A653-41C5-B9D0-E31DC95E0E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27c10bb8427bdb1c58bc6e73348a613c2658bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5274032,"id":"Q5274032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678629$F1773F9A-6F8F-4695-BD0A-9EA7EFD0843F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37711a8e734d853dbf5ae5765e74cb3241eb6688","datavalue":{"value":"10.1016/J.AUTOMATICA.2017.08.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678629$F52D4127-E73D-4B15-87DF-7DB55A7C4871","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e98efdd2848b4062d6d11514e08ca4a4cf83d56","datavalue":{"value":{"entity-type":"item","numeric-id":897674,"id":"Q897674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4863cd4994286b19b9d9de82bfe515130a5348d","datavalue":{"value":{"amount":"+0.8191019892692566","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":"Q1678629$CF1909B3-2348-4AB0-B2CA-9D6C545B75D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1682e7d2077f9556c25048a7f48d3b4e6e418972","datavalue":{"value":{"entity-type":"item","numeric-id":2518973,"id":"Q2518973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def64c73d03d06872c0acf6506adbba78ac7aa09","datavalue":{"value":{"amount":"+0.7993791699409485","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":"Q1678629$12542B4C-3583-43B5-AB5B-F640F3102547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8093ad82ae684994dd2619b67ddd48ff9788fe6b","datavalue":{"value":{"entity-type":"item","numeric-id":2407177,"id":"Q2407177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b8bcb775416de487714b60b951d372a2cd0b3df","datavalue":{"value":{"amount":"+0.7626601457595825","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":"Q1678629$CADA796F-AB6A-4CF2-A7D0-BAEA661BDF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca8cc260f697cd0c6722fdfb1775c9d79fb9242","datavalue":{"value":{"entity-type":"item","numeric-id":2056383,"id":"Q2056383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3840cce84e1cd7b42737212ffb34fa7c43e1a8ca","datavalue":{"value":{"amount":"+0.7510609030723572","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":"Q1678629$0D16F0C7-2431-4EB3-A94C-3AB210AC4A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ddd993c7207985b0a43160156845bac39f66305","datavalue":{"value":{"entity-type":"item","numeric-id":5131093,"id":"Q5131093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4072dc9ed90b3d6b5c068ad83988bf7c3903d7eb","datavalue":{"value":{"amount":"+0.750106155872345","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":"Q1678629$E25440F0-CB3A-433D-8A7F-FAEA89449244","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of detectability in probabilistic finite automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_detectability_in_probabilistic_finite_automata"}}}}}