{"entities":{"Q2735908":{"pageid":2746647,"ns":120,"title":"Item:Q2735908","lastrevid":41949571,"modified":"2025-05-19T11:31:05Z","type":"item","id":"Q2735908","labels":{"en":{"language":"en","value":"On the decidability of correctness problems for a communicating automata net"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1641410"}},"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":"Q2735908$44FDE6D9-62CA-40E4-987F-4E3D2DA9897E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a0d3c718cda1b0ec5f5e8c18d938394d675656a","datavalue":{"value":"0970.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735908$832E3003-571A-472D-82FB-BA77A1848239","rank":"normal"}],"P16":[{"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":"Q2735908$EFEEA6D7-5CEC-4CE5-A24C-71315FDB97BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbe75a70230035dd524404f684e8680186c503aa","datavalue":{"value":{"time":"+2001-09-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":"Q2735908$06470D78-D1C0-47BE-A4C3-760159FF2491","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735908$673387A8-EB2E-4FB5-97F9-705FFB8E2B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735908$C61E1BC7-0072-4A47-AC0F-3F82CD430D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25fe30a6fe5285f54b3a7ea7d7e97ac0b640e4f9","datavalue":{"value":"68R99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735908$2785FA20-9F7C-4926-97A0-6D43FD1682F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e9188fef92123952b360a17d315dc001be65ba8","datavalue":{"value":"1641410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735908$49ECB625-FED0-4289-8F3B-2BCC85FA27B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77f3393ee1bf5e04c83e196aa8891cae0cc3cb71","datavalue":{"value":"communicating finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735908$CCCA8F6B-98DE-4802-B1EE-15B930EE311C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735908$826D6BC6-1DDB-4FD9-A65C-BFC9C3469283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735908$96DB29D6-F5FC-44AA-A061-DC2AF2E9FB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9a6aaefc6b8b4a31a4503712ed9a9e2b300d87","datavalue":{"value":"deadlocks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735908$180FE2EE-FCBD-4307-A0F7-D32CA263D8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81fcad3beb60a7f62f1dbcdca789a3d9c37e6400","datavalue":{"value":"unspecified receptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735908$85ABE3C3-DE27-4DD5-8281-E95A98748FD2","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":"Q2735908$39F34045-F2BA-4F89-AB60-F88ED4489340","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b4f32df86cceb175ac1d587f913dcfa2d3aa6f","datavalue":{"value":{"entity-type":"item","numeric-id":1974312,"id":"Q1974312"},"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":"Q2735908$04439C94-986D-4676-84E1-9DB36BA7015B","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":"99109bafa0ebb296c62d378b316c0c5c2f4c10da","datavalue":{"value":{"amount":"+0.87176085","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":"Q2735908$172F0BBA-11C6-4C06-8037-6A4133BFB86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c154df2e81206cb389e45b52dec4eee1111584","datavalue":{"value":{"entity-type":"item","numeric-id":1603408,"id":"Q1603408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a665cfbcfe1720c1ca1f38316ec949777260a46b","datavalue":{"value":{"amount":"+0.87161523","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":"Q2735908$E9CC44AC-2522-4EDE-B283-D2A5AE64A528","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":"a307f2f674d6050ba1bca9f96e2e7c59b5e62ae3","datavalue":{"value":{"amount":"+0.87160534","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":"Q2735908$3E299A69-3070-4040-BEA5-A84F5E136502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e379cae00814343f7acff2777f9ccfcf95f6ef6","datavalue":{"value":{"entity-type":"item","numeric-id":3584884,"id":"Q3584884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93234097e3d7e3368a94ceab03563b93a59d86fc","datavalue":{"value":{"amount":"+0.87007093","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":"Q2735908$AFDE47E4-D528-4398-A847-180518058731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf335a4c19bd829a2840b050f0e2ce37db3f6c09","datavalue":{"value":{"entity-type":"item","numeric-id":2909096,"id":"Q2909096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93234097e3d7e3368a94ceab03563b93a59d86fc","datavalue":{"value":{"amount":"+0.87007093","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":"Q2735908$83D2CD99-BAE0-4E96-9C16-02B49387B4E4","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":"d09c6fbd395921ff48266ff6012ea479f457c048","datavalue":{"value":{"amount":"+0.8700075","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":"Q2735908$A85AFDD7-FA63-4854-B897-353DD32A05DC","rank":"normal"},{"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":"bc617c51d8fbf085b4361a4d4f2a675c84a7be3b","datavalue":{"value":{"amount":"+0.8682822","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":"Q2735908$653872BE-72BF-4356-ABE9-132746C4512C","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":"bc617c51d8fbf085b4361a4d4f2a675c84a7be3b","datavalue":{"value":{"amount":"+0.8682822","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":"Q2735908$44958E70-3D2D-4F62-AA44-2A0DA8CFD16F","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":"46be531f05329c45776d5eca3c6dac6c9cb2d0ae","datavalue":{"value":{"amount":"+0.8670975","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":"Q2735908$7547A293-8BF5-4BC4-A9FD-69FFB827184D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4312c4a19e038997dcd1127b5c4306d308179fbb","datavalue":{"value":{"text":"On the decidability of correctness problems for a communicating automata net","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2735908$FD712BF6-5F84-408E-B4A8-C78BCD164F97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7f4cc04fcaa20fb1b72f843077f0fff94947d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6768708,"id":"Q6768708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2735908$8BD2CEAB-EDF5-4EC4-A475-66228BD3992B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa18058d2919fca1101ada9a11408e91244b9b9a","datavalue":{"value":"It is considered the well known problem concerning a finite set of finite state machines that exchange messages via one-directional channel: ``Is these a positive integer \\(k\\) such that the communication between the machines over \\(k\\)-capacity channels is guaranteed to progress infinitely i.e. free from deadlocks and unspecified receptions?'' The problem is known to be undecidable in general. Restriction on the power of the messages are received for which the problem is decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735908$60EFA94F-64DC-48C8-B85B-813CA2779480","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d20ed94b56f3ad787b298349be5c72783add32af","datavalue":{"value":{"entity-type":"item","numeric-id":1962004,"id":"Q1962004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2735908$B38A0848-CB0B-43D1-9B3E-0985B5286622","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2735908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2735908"}}}}}