{"entities":{"Q6165768":{"pageid":13300649,"ns":120,"title":"Item:Q6165768","lastrevid":41810205,"modified":"2025-05-08T14:50:12Z","type":"item","id":"Q6165768","labels":{"en":{"language":"en","value":"Decidability of the initial-state opacity of real-time automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7721013"}},"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":"Q6165768$02CE8499-2CD4-4DAC-A932-2CEAE77CDD4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4158d094e6b03c96f0e8d9225c26c67c724f3ef","datavalue":{"value":{"text":"Decidability of the initial-state opacity of real-time automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6165768$8AAD70E4-9BE0-4145-9BCC-45B66E51E789","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21c28af23eeeded5e128c2b1b76211bc863e1c72","datavalue":{"value":"1518.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165768$794C02EE-DF16-42B1-A54A-578B39949793","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3905d83c0dba23de8eea5f497b9bc051072e4236","datavalue":{"value":"10.1007/978-3-030-01461-2_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165768$11B85545-BC54-4FBD-9AA3-4D89FAEEB198","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c0d319a128ea41f3ae8f79244f2ffcd41ae6789","datavalue":{"value":{"entity-type":"item","numeric-id":6165767,"id":"Q6165767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165768$43458E98-5DF3-4949-A7A7-8D5F939A24FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165768$5DAC54B4-6B98-4B6C-A127-3B61C5B3FE49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165768$BC5AFE94-CBA2-4282-AD14-A183C0A9F68A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c377ab7875b781eda1304e6f4ef79ea097f76f82","datavalue":{"value":{"time":"+2023-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6165768$AEBB6398-DC1B-4D92-9100-C1F3A1355A76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165768$D7A215FE-8610-45FA-99A0-931264683947","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b273ce19f833976a5fcf17bf0bbaf86231c63f9d","datavalue":{"value":"7721013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165768$8DEEFB07-0556-4AF7-BAF1-7A0A2A7AF216","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"643ffcbfd4f975247ba2e3e5a8c70f5448f7eced","datavalue":{"value":"real-time automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165768$CA096317-BB33-498F-A51D-F16E597AAF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec1327872d22b3300dbe1dbdd966ac9d0da05d9","datavalue":{"value":"initial-state opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165768$F5E7F63F-2F43-4134-970C-DB6CACE4E86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165768$67279908-4A26-4405-A0BC-BDD0D5F8549A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90c40d3d7374fb207d71ac52c2aa7ded2a50a6be","datavalue":{"value":"trace-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165768$0069CCAE-D4A1-4171-99CB-1F952705BEB7","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":"Q6165768$483F909C-F498-4858-88F6-5449C5BE02F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e9862e8aabe68ff5ba67432c53207af3a085c67","datavalue":{"value":"https://doi.org/10.1007/978-3-030-01461-2_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q6165768$E6519FD7-BE38-4350-B38C-8E4005A24A55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f02372edb28f1000a0e01aba176f2f64e24b8c8","datavalue":{"value":"W2894347312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165768$87502C88-E646-41C4-AFB7-820D554D1985","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4faab5cf397d8a6d39829681c25acc86be3c5504","datavalue":{"value":{"entity-type":"item","numeric-id":2664211,"id":"Q2664211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a1f9239300be8b072407984eac9e21509ae8981","datavalue":{"value":{"amount":"+0.8674251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165768$3862D85D-5BD7-4511-B50A-DBB98169367F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2004921462150a09a296ce53be1232c74a8a315","datavalue":{"value":{"entity-type":"item","numeric-id":3511220,"id":"Q3511220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a041b57a3b9096d0fc9ff8261c27aac6354beb4d","datavalue":{"value":{"amount":"+0.866112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165768$F70530B3-EE46-4407-BC20-06B470ED9309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9968e936c48054e81c3fd1b90019dbc19e7029","datavalue":{"value":{"entity-type":"item","numeric-id":4953401,"id":"Q4953401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd3cffcb365d06c24e7154f5b8c68f10970801d","datavalue":{"value":{"amount":"+0.85420376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165768$4368D707-9074-4593-944E-0C8A5611657C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e88e951ffd6bf0e120ffb34da2e669159aca938","datavalue":{"value":{"entity-type":"item","numeric-id":5716855,"id":"Q5716855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f76758370c4f52e6295ee4457f3d0671ad110d53","datavalue":{"value":{"amount":"+0.85074466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165768$3A914B68-0441-4B8C-BE52-F111844F3FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"586e244c0177497a29fc0de320a03965e35c6c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5215449,"id":"Q5215449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67023ecfe4e8b33f96436c880bbff535e35d4c80","datavalue":{"value":{"amount":"+0.84677607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165768$5833C602-824E-4066-A711-00AC0B80A8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d9256376bfa5059b1e08a7cd826fbeb3b6849c","datavalue":{"value":{"entity-type":"item","numeric-id":5094137,"id":"Q5094137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bdbc9296757e0421cc96615a6d5daa9a158249e","datavalue":{"value":{"amount":"+0.8445763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165768$F7E41206-B888-48A5-9D97-46998EB6A257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ffa99d3446f6d662d8ad820528ea62fdda590f6","datavalue":{"value":{"entity-type":"item","numeric-id":5465853,"id":"Q5465853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8452e58d72f4608ea67a2da9c8abbc2c1fbedd","datavalue":{"value":{"amount":"+0.8439576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165768$ED1EE624-F7C9-40E8-9C07-24B574334B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"026e5ad8e8532ce67ab8def3e78a83c75bb63d4f","datavalue":{"value":{"entity-type":"item","numeric-id":4824483,"id":"Q4824483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c588a2507af3dd662bc1637634c7c9bc2d43a410","datavalue":{"value":{"amount":"+0.843297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165768$0F8EC934-2B0F-4637-9ED4-4322FE12149A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621f98f4d7bc48baef8bbddc4541c9418daff32c","datavalue":{"value":{"entity-type":"item","numeric-id":2983295,"id":"Q2983295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c0b0a3583e61d1920db28805740c381d37b8cb","datavalue":{"value":{"amount":"+0.84283745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165768$30396630-0843-41AC-A80B-8FA08459448B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6165768","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6165768"}}}}}