{"entities":{"Q1974312":{"pageid":1985054,"ns":120,"title":"Item:Q1974312","lastrevid":82131893,"modified":"2026-05-06T20:10:42Z","type":"item","id":"Q1974312","labels":{"en":{"language":"en","value":"On the bound of algorithmic resolvability of correctness problems of automaton interaction through communication channels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1439542"}},"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":"Q1974312$8D001D07-20F4-454A-8D52-FF0B192E90BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60de31770d538aaa9a48958147fe3bb2c9ffa467","datavalue":{"value":{"text":"On the bound of algorithmic resolvability of correctness problems of automaton interaction through communication channels","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1974312$D78D4482-4BCA-400A-A323-5E5B052A0FDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d7bfbff18a86ab93feb4daa30f65e5f7bd273b6","datavalue":{"value":"0953.68564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974312$D8C2C585-4456-4258-BBE8-63DD2ECEE942","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5e6b24fe912bc46dddfe8925dce8c4a0d1d6f00","datavalue":{"value":"10.1007/BF02733427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974312$288C49F7-8174-4C81-9508-B6AB9E64FDDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"807142105aa1664e5151baafb69f7ee1d455666b","datavalue":{"value":{"entity-type":"item","numeric-id":220286,"id":"Q220286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974312$52768F95-EB95-4CF4-A1DF-117E2AA2B04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8146fdf9f63034d917dda60741ed4cd9822a94d9","datavalue":{"value":{"entity-type":"item","numeric-id":1974311,"id":"Q1974311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974312$08FC5415-4C67-4336-9F36-077D5E426E47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974312$7EC1AC5B-CE6C-4273-A75B-AD4607580931","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70ba7dc2fb555efbe1a7d3728b26669e2903b3e0","datavalue":{"value":{"time":"+2000-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1974312$0D4FBE59-ECEC-4F85-AB0D-E9FB883498EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974312$673D1A82-D440-4F30-AA61-BC7CD1447555","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d30c0a57610fde18e48c5a7fceb2497c06d8ab86","datavalue":{"value":"1439542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974312$F8CB3944-C83B-46A7-BD65-0D3F57263D91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1974312$EF4EE480-64E6-4DD0-8895-649AFDA91AA3","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":"Q1974312$C8C0ACC5-3542-43F8-BBDD-E3EDDE46BC2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0359303f542d3a6625160082a639b43abfeb7b69","datavalue":{"value":{"entity-type":"item","numeric-id":3719838,"id":"Q3719838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974312$E0F9F5D3-3CAD-4EB0-83D3-AFA28FCCB720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b310ee40be749327fb4fdd0c1bfb31d52059675","datavalue":{"value":{"entity-type":"item","numeric-id":4037389,"id":"Q4037389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974312$AE645610-51B7-4454-B22E-1EFCD4B4BB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3b659d3d7804cae06e24915bd0c1a5610d4350","datavalue":{"value":{"entity-type":"item","numeric-id":5637892,"id":"Q5637892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974312$003FD26B-B855-4800-8AD0-B3ED20ACDDEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c963e23b50912df180fd46132ffafe96bd57fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5431917,"id":"Q5431917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff137441a27d862410a9ecc9cfb52eb5696a726","datavalue":{"value":{"amount":"+0.9046056","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":"Q1974312$567F03E7-37C8-44B1-955E-3B1C21AB7A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ec24ec125f8c9b30814d7f4c6c5e76dd3acda9f","datavalue":{"value":{"entity-type":"item","numeric-id":3504343,"id":"Q3504343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff137441a27d862410a9ecc9cfb52eb5696a726","datavalue":{"value":{"amount":"+0.9046056","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":"Q1974312$251E17A6-04B9-4440-AF5D-5C778AF0EE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b4349491242e40d0f2631481009db3469a38b6d","datavalue":{"value":{"entity-type":"item","numeric-id":2735908,"id":"Q2735908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36727239a988c85954ff36aed02bfd117f89588c","datavalue":{"value":{"amount":"+0.9038036","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":"Q1974312$946BD489-B7A5-4629-9B36-203BCCD8E784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f29e69f4b10a17702e694be597d0e140aa964b5","datavalue":{"value":{"entity-type":"item","numeric-id":3447694,"id":"Q3447694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ee2ff920874a39c154002178e91d05414cc168","datavalue":{"value":{"amount":"+0.8793648","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":"Q1974312$20B694DC-1E5E-41EE-B3ED-6421F9E85E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dae8aa0eeaeaa43174b1d727f71dccdddf7db96","datavalue":{"value":{"entity-type":"item","numeric-id":2496297,"id":"Q2496297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2868fb134650529dc82bfd8196af874dfbad94a","datavalue":{"value":{"amount":"+0.87609696","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":"Q1974312$C163FA1F-C293-48BF-9D4A-80C78B9A9A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48ef26ec33055bda9f3a94de841ca4018646f17","datavalue":{"value":{"entity-type":"item","numeric-id":5711975,"id":"Q5711975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c91b192f8528860eb7e2092cc722af9eb660e6f","datavalue":{"value":{"amount":"+0.86875296","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":"Q1974312$6E8A068A-4215-40BD-9F2D-899342E6EB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4ac0d39f8c880fd391e168e460b72e1bd8fe15d","datavalue":{"value":{"entity-type":"item","numeric-id":1819939,"id":"Q1819939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c05d30ef68b85e00de3fa4dd800bf57641d0fe","datavalue":{"value":{"amount":"+0.8669764","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":"Q1974312$4D0EDD82-6EC0-4D84-AF43-223EB8C27410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e970356126d19a9ab19e29b43d570aad57b6d3","datavalue":{"value":{"entity-type":"item","numeric-id":2978552,"id":"Q2978552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14ffe57aa9dc773337c080ddd1b717316ecc6b60","datavalue":{"value":{"amount":"+0.8560208","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":"Q1974312$86EF755F-BF85-41CF-8E6E-CB0311D02814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8320d72d565ad0f0e2b58fe7437cd57ec2533f88","datavalue":{"value":{"entity-type":"item","numeric-id":2921990,"id":"Q2921990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f7d1e806ba948464067507ce3eee953feba17a","datavalue":{"value":{"amount":"+0.8557687","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":"Q1974312$766FB95B-649C-4578-B057-B7856C0DCA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1105fdfd8e3156866e395bedee1f93252b6b861","datavalue":{"value":{"entity-type":"item","numeric-id":1127549,"id":"Q1127549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ab01100bb87f00040d205ddb8b5e1455c60c783","datavalue":{"value":{"amount":"+0.85378337","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":"Q1974312$2EF9DDEF-6FB2-4EAA-9A53-ADD28172B2F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the bound of algorithmic resolvability of correctness problems of automaton interaction through communication channels","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_bound_of_algorithmic_resolvability_of_correctness_problems_of_automaton_interaction_through_communication_channels"}}}}}