{"entities":{"Q998679":{"pageid":1000527,"ns":120,"title":"Item:Q998679","lastrevid":65834187,"modified":"2026-04-12T05:41:41Z","type":"item","id":"Q998679","labels":{"en":{"language":"en","value":"An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5504344"}},"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":"Q998679$6974FDF3-A554-411B-9FBA-38C736620206","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"051ed62e32def0eecd4cf235396176e8fded0c7f","datavalue":{"value":{"text":"An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q998679$B2ABA223-6B54-4A8A-AFAE-27200F273DF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9bb44f9198a1377d8b86ccbeeb32ca9b1c006b2","datavalue":{"value":"1155.93387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998679$CAF74320-43AD-45D9-BDB5-B6A35AB18486","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f100dccebdea55f222bbcbfdd9f5a97eaf70803","datavalue":{"value":{"entity-type":"item","numeric-id":680538,"id":"Q680538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998679$AB0A77F2-D51B-4044-87BB-FC78392F7F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e773f68da8658f60713e049cee0eb2fdccc8f78","datavalue":{"value":{"entity-type":"item","numeric-id":460379,"id":"Q460379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998679$24D85FE2-F3C3-47C6-8064-02B1F1C6692C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d89490944a0cf65c3919d65bf38beba776c368b","datavalue":{"value":{"entity-type":"item","numeric-id":243736,"id":"Q243736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998679$BA1A589A-9F82-40FC-A21F-7316F25FCDB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b1ed7a090d8f1d0a3795177bace50e8f939f7c97","datavalue":{"value":{"entity-type":"item","numeric-id":196914,"id":"Q196914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998679$28880080-BD0D-4DC4-A1E3-4534DC8EAC44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"534babf470585851b3efc418a9a4130e46805740","datavalue":{"value":{"time":"+2009-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q998679$18A9883E-8663-4E1B-828C-4419DA6D9800","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998679$AB841278-73CE-4BD4-8DEF-C519BF5D412E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa31302a6315eb00d745d9c7dacf89c33763ee49","datavalue":{"value":"93B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998679$EE5DB052-FE6B-4E16-A122-5B6243AD55A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998679$4755CF64-FE7A-48B3-84EF-7AFAC1ED4086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998679$901885A7-E265-401A-9BEF-3DB548734D45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c56e755cbe92bb2b2ce44bc3192e6bb6485a6b9","datavalue":{"value":"5504344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998679$8FAB718A-2A4C-4CE7-97A5-30A6B59CB7D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q998679$C219E6E8-2369-4806-B1BD-9E8A44E2AA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q998679$71CCC32D-C2B8-403E-8A6A-64EC561417C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94dfb4ddcb0fd0d83b75bb7aea00eff560b8ca59","datavalue":{"value":"observability","type":"string"},"datatype":"string"},"type":"statement","id":"Q998679$3319CB18-029B-44EC-98A6-B08361C7956E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46c0d05d0f8755f6e52cdc691747cd8d87d6782d","datavalue":{"value":"state clusters","type":"string"},"datatype":"string"},"type":"statement","id":"Q998679$C6A8DC06-C8F1-4103-9DD5-61B92FEAB85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q998679$CF0A8758-FE8F-475E-9F04-CA67548BD8C4","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":"Q998679$9DBFBB2B-3DE1-439E-918E-51CB286BA907","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":"Q998679$CCDDE9A1-F4B2-4D0E-A489-A4DB2B96AF70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86e7d25e71e9af986ff9875fc5585e4240e69e5d","datavalue":{"value":"https://doi.org/10.1016/j.sysconle.2007.03.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q998679$6830AFC9-1E2C-4451-95E3-961BDF6733A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d40ca04e98b392129d94d6323fa4ab8499ba8cf4","datavalue":{"value":"W2170197341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998679$4895C06B-F9FD-4755-9024-A1FF52B20DFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4b27df433dd681bd3bffea572d668a1d25f01d","datavalue":{"value":{"entity-type":"item","numeric-id":4719062,"id":"Q4719062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998679$88FC76AE-D56D-422D-9055-A39D6BDA12A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b7b5124b70fb76984ffe5a0b7aa33dad827e140","datavalue":{"value":{"entity-type":"item","numeric-id":3493235,"id":"Q3493235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998679$058DA734-98E8-4F9E-BDCE-3EDDF350FDCA","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":"Q998679$D20A52D8-919E-405D-A3A8-2CF6C6B7EFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa1ad61c4605d170d2b6e7cec68b0a97ed717f0","datavalue":{"value":{"entity-type":"item","numeric-id":3727828,"id":"Q3727828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998679$F15C11B0-1F06-4EC6-91EC-E9C5649C7210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39dc71b76a765830d2baf820b7feaf2f585eaf56","datavalue":{"value":{"entity-type":"item","numeric-id":5266818,"id":"Q5266818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998679$4E38C679-C2C4-4189-AE5A-FBF68C9D6164","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":"Q998679$5CCABB7B-752E-43B3-8B76-92A49371097B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a45415c61f5a2543c1c923c13cbf76075f8e90","datavalue":{"value":{"entity-type":"item","numeric-id":1123861,"id":"Q1123861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998679$DEFE418F-FC54-4C26-A7D8-8E54C471CDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4e39cac1be71c6762af84fd87f4243af5695b4","datavalue":{"value":{"entity-type":"item","numeric-id":5267079,"id":"Q5267079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998679$032F0BAD-9D4A-4E31-85BD-D1BCD7A36C45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39501ddd9f7778a364a2ecd26246e6882bf84188","datavalue":{"value":"10.1016/J.SYSCONLE.2007.03.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998679$092B979E-50D0-4EE6-9700-6ABD09C962AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dd57db7e8cd1983f9b3944ba837e8f2b720667b","datavalue":{"value":{"entity-type":"item","numeric-id":5951338,"id":"Q5951338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7476da58d2ddbd9d4e573f0c1f0c41b7a1db7db7","datavalue":{"value":{"amount":"+0.7189772725105286","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":"Q998679$831253E1-BF03-4A9D-BFDA-949D318993D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882bd58cdc53bccf38629a4bded47864285f6c37","datavalue":{"value":{"entity-type":"item","numeric-id":3140219,"id":"Q3140219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e51745e4a932128f7b43edc46e12528e069186","datavalue":{"value":{"amount":"+0.6924769878387451","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":"Q998679$269D3DA7-D83E-4490-9D90-4B950C303542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7139c5d4191d6a7da33eb6bdf4b82eb94e81025b","datavalue":{"value":{"entity-type":"item","numeric-id":5738999,"id":"Q5738999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fe2039360ea41e5d722e6681fbca009285f43bd","datavalue":{"value":{"amount":"+0.6895078420639038","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":"Q998679$ED7EDA28-6712-4095-B1B2-5ADE6A1A52B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"624c9c9f08a5d045dda0e520e5d1f880280c6b14","datavalue":{"value":{"entity-type":"item","numeric-id":3363151,"id":"Q3363151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de0d22b7a5b7017dd16183371938d822af2b119","datavalue":{"value":{"amount":"+0.6863889694213867","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":"Q998679$30583B0B-2147-4622-8788-94A957B1916A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e1625b00987d20234571605222020a7d3cc5f1","datavalue":{"value":{"entity-type":"item","numeric-id":3835746,"id":"Q3835746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e337c4e1570d10427ed22ce6bd456b6d0b06b37","datavalue":{"value":{"amount":"+0.6829221248626709","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":"Q998679$0C7CA287-5503-41E8-8640-E3C6DF4734A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algorithm_for_calculating_indistinguishable_states_and_clusters_in_finite-state_automata_with_partially_observable_transitions"}}}}}