{"entities":{"Q2404073":{"pageid":2414816,"ns":120,"title":"Item:Q2404073","lastrevid":44029656,"modified":"2025-11-19T04:17:02Z","type":"item","id":"Q2404073","labels":{"en":{"language":"en","value":"ACTL for modal interface automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6774150"}},"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":"Q2404073$A408FFF3-FA56-4094-99E7-6B0FBAE6126A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2768186dade9e6fa15cb4f66359330567f907ab8","datavalue":{"value":{"text":"ACTL for modal interface automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2404073$532B5833-D7D0-46AA-9005-25CA37461534","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70a82a745f0c65df4a05d2926a55dd1bbae0437b","datavalue":{"value":"1373.68296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404073$E370C499-6FD4-4896-AA45-F201CB7E7E10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c10aaf9737015a42aa795d49fcf35d32365a0fa","datavalue":{"value":{"entity-type":"item","numeric-id":2404072,"id":"Q2404072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404073$356B3982-5178-4AF2-8B1C-4F85201F5C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f747afa3575ea8e92f39fe28bf85bb3ce76cb341","datavalue":{"value":{"entity-type":"item","numeric-id":396978,"id":"Q396978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404073$9088DCEB-95E1-4343-8600-A22B442E1E4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404073$C54D3E78-142E-4D71-871D-3D76AD5D4F87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2404073$77008099-DEDE-499E-A263-7A5F81E02B69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404073$96BAEA28-DC88-4FC6-9F3D-8FC3E5E342CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404073$CF585497-C396-4838-AC2C-A76E92DF4EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404073$5E7241C4-2057-4D72-96BE-D4105F41B93B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52de1c1f8e327896d77128bf151bdc7b79d7ee4a","datavalue":{"value":"6774150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404073$48A0DB02-2168-4031-B9C5-45B598FE8CD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49f28da70e59d6ba7588daea7fd89c5299296ad4","datavalue":{"value":"action-based CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2404073$19AF3FA8-6A5E-4A44-9884-5A1B3EB59FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2404073$570BD921-3149-47DD-8FD1-DD0757807DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1be68ca3b7d850a566f2d04f341616b9c992b9","datavalue":{"value":"interface automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2404073$41C75C53-EC75-4954-A78F-03BCE4DBEA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f92cdce1e8f176577a41fba03cd20378f2eef4","datavalue":{"value":"modal transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2404073$FF268EA6-698A-4DA1-9E0D-91C2E82EA545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2404073$6F92818B-2EC0-47E1-B678-7B92B7372B2F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a35027a4ff7a1fa2dee9ad0e3ae4ceeca4f05a51","datavalue":{"value":{"entity-type":"item","numeric-id":21741,"id":"Q21741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404073$3E8B4CD6-30BF-4CD3-83A1-51EC432490B0","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":"Q2404073$4CFCE1DD-C4CC-4801-876A-B9D152047EBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a1f623822dc017e9a4775cf07b22fdc634819c3","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2017.06.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2404073$07D247E7-7948-48BD-A082-5BE5247EA271","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b14ac18484bd5d2db0acbc83f25a1655e53e4131","datavalue":{"value":"W2727157302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404073$CA65ABC6-7CEF-4A6E-8092-FF3797882E67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9025c5e5cd65e45de7ef9a05b354bfa439bf450e","datavalue":{"value":{"entity-type":"item","numeric-id":3557076,"id":"Q3557076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404073$74291A2D-2160-4D7D-A9F0-51C0613D6760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de6702ef2786d3f23033008a62b6e461ea0cfce","datavalue":{"value":{"entity-type":"item","numeric-id":2842098,"id":"Q2842098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404073$74DBADA0-ADCB-445E-B7FE-6C3BF1AEDB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03086d42c9b86e2ad473ee8c3dc642b1e5b52ab5","datavalue":{"value":{"entity-type":"item","numeric-id":3172917,"id":"Q3172917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404073$CC677E3C-36FE-4F42-898B-8EA4E08DC4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"875736f390fbee8f5115e55c84e89462043693ee","datavalue":{"value":{"entity-type":"item","numeric-id":685358,"id":"Q685358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404073$E0212A9B-B789-45AA-B29E-3B64EC32017E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504ba749f5854365da6e47d1b331018fd951d8f9","datavalue":{"value":{"entity-type":"item","numeric-id":2629098,"id":"Q2629098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404073$58747CD0-6A25-4BA8-B3D5-2BCBA9728245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8fff6d2653f5e55d025371ea7a7334e5537a8c","datavalue":{"value":{"entity-type":"item","numeric-id":4697197,"id":"Q4697197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404073$AAA59D68-1732-498A-B53C-1946E531901D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"122c5b85f6456a1e30176df03c8819cda670dd10","datavalue":{"value":{"entity-type":"item","numeric-id":2938159,"id":"Q2938159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404073$75E90D7D-1E66-453A-8293-E9A64E20C21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404073$C3C166A7-AAD7-45F8-887D-1725F3BEC1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865c522875e67852c200e186a35b758da44ac340","datavalue":{"value":{"entity-type":"item","numeric-id":5756489,"id":"Q5756489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404073$1E6B0B3A-46A0-4DE3-91CB-595A311510E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a534936fd0e514cb6f784f74c0bb78f8cb07d1f","datavalue":{"value":{"entity-type":"item","numeric-id":875513,"id":"Q875513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404073$F1D6CA85-0011-4747-978A-992882F2F3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04b89c35c7e7a60f330d5e75264364028412b99e","datavalue":{"value":{"entity-type":"item","numeric-id":549200,"id":"Q549200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404073$C3D4AA83-2C29-480B-95AE-3A4A76025BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691c632cba378f8895b57cf95f014d3ff93df847","datavalue":{"value":{"entity-type":"item","numeric-id":5891133,"id":"Q5891133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404073$3B040E75-AC1E-4DB4-92C9-97FFE49B90E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e20c7e2689e4f3b63711f4c7e65e528931a1603","datavalue":{"value":{"entity-type":"item","numeric-id":2350491,"id":"Q2350491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404073$9C37EA1F-6653-4377-8FE6-CEC9945D9A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"569ddc537916e27ee02748157df0c231738e3012","datavalue":{"value":{"entity-type":"item","numeric-id":2895779,"id":"Q2895779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404073$04EFAE12-0198-4B3A-B4B9-DA7892318F1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"784d55cd11045ec0a68ab54172690b0724301aac","datavalue":{"value":"10.1016/J.TCS.2017.06.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404073$CA125197-E3F7-4F93-B76C-51ABA5613754","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9086ff309d2aee54a565e9c6d8c03e2a22c87413","datavalue":{"value":{"entity-type":"item","numeric-id":5891780,"id":"Q5891780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6679f091dc83ae7be9d6e4338ef90b7cd3c83b55","datavalue":{"value":{"amount":"+0.9060337","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":"Q2404073$13FAC97A-540B-4B7B-BAC5-0B4DE808D563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434a4458627648def9563ea8a1af79385bfed551","datavalue":{"value":{"entity-type":"item","numeric-id":5891133,"id":"Q5891133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c3167a277672b94062861bef53350b84a2fff2","datavalue":{"value":{"amount":"+0.90603364","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":"Q2404073$FB8604FF-A5CE-43AD-9112-7C2E64531959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd82bfb92e104886deded56d08072692f812d6dc","datavalue":{"value":{"entity-type":"item","numeric-id":4592716,"id":"Q4592716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5025555e526f2db925d30aa0bc9e41488dc09507","datavalue":{"value":{"amount":"+0.87078273","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":"Q2404073$8C550A32-B0B7-4F1F-9948-B38F997212AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf26d946b5b67d3568a8de7b67aae20a3195c2f","datavalue":{"value":{"entity-type":"item","numeric-id":5756489,"id":"Q5756489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d4d8fe55f511c4e7a952ef980ef751b9290828","datavalue":{"value":{"amount":"+0.8649081","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":"Q2404073$09E66F39-79FC-44ED-8714-1BF06E889C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ac60df6efcdf2ce1d47a22c95fc8e8c2023fb3","datavalue":{"value":{"entity-type":"item","numeric-id":5464474,"id":"Q5464474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d880314683741f309e89bc047d47b869ef9c865","datavalue":{"value":{"amount":"+0.85483634","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":"Q2404073$05F1D907-2D41-4E2F-990D-72462F627917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"982e6f58388861cd999ded83376c67f25ff648df","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae44d7248e0858cc58b967285e269fc1d0af25e7","datavalue":{"value":{"amount":"+0.8516755","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":"Q2404073$A4623DBE-39EF-454F-A093-E785792885C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22af2dc8ddab2f2ce054b7e8f30fc52de22d295c","datavalue":{"value":{"entity-type":"item","numeric-id":402131,"id":"Q402131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a782a6b2769b18ae5220b9b43686936dbae8498","datavalue":{"value":{"amount":"+0.842543","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":"Q2404073$D3A115ED-A0B4-4C38-9E74-25017B3B18BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebb638adc3dd24baaf5bebd588c7d4ac869a9a8","datavalue":{"value":{"entity-type":"item","numeric-id":4632321,"id":"Q4632321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8c6060fcb56997dce8f041edaa07bb881b0feec","datavalue":{"value":{"amount":"+0.8400389","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":"Q2404073$48294DB5-C46B-4ED7-82D7-BD1B98DFA672","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2404073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2404073"}}}}}