{"entities":{"Q40543":{"pageid":40599,"ns":120,"title":"Item:Q40543","lastrevid":105428249,"modified":"2026-10-09T10:09:23Z","type":"item","id":"Q40543","labels":{"en":{"language":"en","value":"LTL_to_DRA"}},"descriptions":{"en":{"language":"en","value":"AFP entry LTL_to_DRA"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"4c74d27031f314867fba7d07f2e7db9ca37f793a","datavalue":{"value":"28829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40543$107E5F63-2055-4E23-94D5-26D8E64E20BC","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$9BC7B82A-A37B-4E1D-B2AA-C33FA7AECF53","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"ae6d39cc5c41b3eea6f69d993285cdbf993a2c7f","datavalue":{"value":"https://www.isa-afp.org/entries/LTL_to_DRA.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40543$28BD52DD-16E7-4406-8D26-92A9BC5C1CF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40543$441AE051-8E3E-43A6-AC2C-1E7BE5AAB257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40543$FF1E562E-254C-4ADE-A9FC-9BB8DF2253F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40543$FF31E39D-0F6C-4E94-8830-29E84C4B637B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40543$BBA200E8-3E6E-46EB-BD23-A3471884FF34","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$AC7B7493-5E74-4FAB-9F01-82CA33D124C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2c30f33a520586f4e186c4684f96d47e7cca3b8e","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$C753A3F1-7A21-4DD7-92C9-F1DEC0DF0F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27b35591f9a1d87570b3e9ffb19e51ff7cd09a28","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$08996D20-6653-405F-A14E-987214FBBEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f37c4bd9e3a1e8f671d27130134b89693886108a","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$23EBC73D-8ECA-42CA-9B8A-9F02F817A6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$47E38A16-A2C6-49D4-A74E-59587035DDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ac6e4b2309e3317f96b1f72a4f626411283f5bc5","datavalue":{"value":{"entity-type":"item","numeric-id":40629,"id":"Q40629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$FF996A41-E2A7-439D-9A69-9C37842DBDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"587eb1ff352d74d75ec39594cac10abdfc1440c2","datavalue":{"value":{"entity-type":"item","numeric-id":40265,"id":"Q40265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$9D8BBDC4-4D90-44DF-ACC3-A54153C9D222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$D9C3C232-AE3A-43A9-B51E-6115A43A2685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$68F19E8E-C69E-4E56-BA25-ED4BC7A88DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$40BDBE4D-B61D-45E6-ADD0-EA71EB83B327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b49b6cd0d730920a3a4cd5d33a24263cc6515903","datavalue":{"value":{"entity-type":"item","numeric-id":43940,"id":"Q43940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$53DFD9CB-705B-40C4-8383-0E9C78EC22CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c9cd4705799de8b5e47d78911c1af4bfa152faf4","datavalue":{"value":{"entity-type":"item","numeric-id":43930,"id":"Q43930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$D8F69458-98D1-4C02-9850-EDC85699D82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b44b4a0b6eed96cdc70d2d21fc12542b8ac5ca3b","datavalue":{"value":{"entity-type":"item","numeric-id":53723,"id":"Q53723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$1208DFE7-740B-42E0-9B37-3045BCED3F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fb0918295880c75ce7e6107c7f8260e1eb005ccf","datavalue":{"value":{"entity-type":"item","numeric-id":40284,"id":"Q40284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$BBCFCEE6-C891-43F5-85C2-97A23AF03752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"aedeaf0144ca38f7cb9a3b8f0e43e0ed5b0f0353","datavalue":{"value":{"entity-type":"item","numeric-id":40283,"id":"Q40283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$31982038-A504-47D1-A3BE-CD1DF24D8F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bfac5d1c4cf880c034d2e48d635f0290d93ae797","datavalue":{"value":{"entity-type":"item","numeric-id":5974534,"id":"Q5974534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$B1B85CA5-EA80-4277-ADE7-40EBA27182D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$C8E80B9F-73FC-418E-A5EC-6A04510F982A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ae9eeb42ed797fea9746777124be53e8f12873d5","datavalue":{"value":{"entity-type":"item","numeric-id":32820,"id":"Q32820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$EBC6FD2D-7573-4A4A-9016-356C0B2C059A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"84c73159f2a667d78ca121d0d6671aeaa4df1541","datavalue":{"value":{"entity-type":"item","numeric-id":32821,"id":"Q32821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$EBE66240-E00E-43AE-B07E-92B9C9A00981","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a42729bca5bb9ba316e9a2cb3a615078a69a6b57","datavalue":{"value":"https://isa-afp.org/entries/LTL_to_DRA.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40543$3F520B4E-2328-4BC4-9425-AB324AFACAF5","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"34ca23e13f3744b21ae1779c590b97468a47c009","datavalue":{"value":"Salomon Sickert","type":"string"},"datatype":"string"},"type":"statement","id":"Q40543$E8CFE921-8CF7-40A9-88FB-241990C17B40","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eeeccfc93b66fc8688731b2b00d04bd571dffba5","datavalue":{"value":"Recently, Javier Esparza and Jan Kretinsky proposed a new method directly translating linear temporal logic (LTL) formulas to deterministic (generalized) Rabin automata. Compared to the existing approaches of constructing a non-deterministic Buechi-automaton in the first step and then applying a determinization procedure (e.g. some variant of Safra's construction) in a second step, this new approach preservers a relation between the formula and the states of the resulting automaton. While the old approach produced a monolithic structure, the new method is compositional. Furthermore, in some cases the resulting automata are much smaller than the automata generated by existing approaches. In order to ensure the correctness of the construction, this entry contains a complete formalisation and verification of the translation. Furthermore from this basis executable code is generated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40543$2A1D66BC-E423-4D38-8C7B-81AFF3364A36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"485257e2a8c4bb44d210af89ed8517de5ca7dfbf","datavalue":{"value":{"entity-type":"item","numeric-id":2248020,"id":"Q2248020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$6B5B445A-F8AF-4AB6-B123-C3E48F88BA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b6e61168db1a4074b0ea52777a6c9cad1a4a50","datavalue":{"value":{"entity-type":"item","numeric-id":2363815,"id":"Q2363815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$2AFA858F-AD02-456F-A89E-03F118509DAA","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"c9cc367333522e85e08c5dafe5daee23f98b641d","datavalue":{"value":{"entity-type":"item","numeric-id":7361409,"id":"Q7361409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$D8900B41-486D-44C2-BDAF-B66A2B344AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"5ffa3ece421da0fc16a3d1ad2141591ffe10ba11","datavalue":{"value":{"entity-type":"item","numeric-id":7361841,"id":"Q7361841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$06DFD83A-D207-4C17-943F-39EBBF986EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"8ac34df43fbb99027916440c753dc68e36985fe2","datavalue":{"value":{"entity-type":"item","numeric-id":7361475,"id":"Q7361475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$8FB6B273-A68E-496F-9425-465C1C71FD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"e0b5465b6a0d9e05645cdb7168eee1aaf7eb2845","datavalue":{"value":{"entity-type":"item","numeric-id":7361518,"id":"Q7361518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$62DDB010-7C0B-4BAF-B708-F77267E9E1FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"78c696a28fe9bd077d52d8c9c7a03ea79d54978b","datavalue":{"value":{"time":"+2015-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40543$8370671C-8C18-4C04-B704-ACCBE9244AA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e82ed87381aa3deae8a32c5e35279f27914c4e2b","datavalue":{"value":{"text":"Converting Linear Temporal Logic to Deterministic (Generalized) Rabin Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40543$EA94C1FC-8711-4581-8EBA-923DE2F993DC","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$FE4E34B2-D8CE-4469-9082-D82F18BEB1BB","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"73d93a21b0749f7f2c51d7daeb11b162660cd756","datavalue":{"value":{"entity-type":"item","numeric-id":7360784,"id":"Q7360784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40543$E866A24E-F4EE-49F9-963E-1EE80A7ACB2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LTL to DRA","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LTL_to_DRA"}}}}}