{"entities":{"Q5145684":{"pageid":7175255,"ns":120,"title":"Item:Q5145684","lastrevid":38786949,"modified":"2024-12-16T11:41:28Z","type":"item","id":"Q5145684","labels":{"en":{"language":"en","value":"An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299516"}},"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":"Q5145684$9E392E00-E512-4F60-BD77-4E977FD83A3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e74dc23a2959bde672ceb0ffc97fbd96f7c05c59","datavalue":{"value":{"text":"An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145684$40101C64-ABC0-49D3-8D3D-6C8FAD146ACB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"077967b85ce1ef04fcd08acd6a3a555f94d9d6e0","datavalue":{"value":"10.1145/3373718.3394743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145684$161F25E3-FEC2-4F16-91FF-37FF2288992A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55938b21f53eb1e267f2a1b02fe977fafd23cce7","datavalue":{"value":{"entity-type":"item","numeric-id":2147178,"id":"Q2147178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145684$E21146D6-8B6A-48A3-AA77-1D5D1F16AB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145684$921F8433-2921-40DB-8170-C1478B36B48B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145684$DE5BB16D-2770-4E8E-85EF-330404F3697D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145684$68343697-5385-4E7F-987B-A3B5F4BF3364","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6fda444039520612e820e5c68ea4e358fa17e78","datavalue":{"value":"https://arxiv.org/abs/2005.00472","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145684$C3F5CE62-E3A8-44A0-820C-7DF3E1962C71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145684$F4FE1E52-274B-4D42-80AD-61D1198C4C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145684$2A39A737-ACCE-42B8-8863-552718FFC38C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f322843a7900f81311819b29fc6f5bdd8f25f731","datavalue":{"value":"7299516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145684$5BD46E40-3C39-4D93-9C8D-A10D03337B72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8ab26526eb6012f223dcc6d0c0e0ffdcc6b9ab","datavalue":{"value":"deterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145684$50501507-8023-48DA-BB9F-E93EC83078D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145684$096B0195-7DDB-48A3-B006-45BC5F3E7F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145684$2ED28C3A-E561-4486-90C6-75B785B8EE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46c855c378a8b7ad145c1b716602f6ae7a643f94","datavalue":{"value":"weak alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145684$22FF38F5-AB44-4F7D-9F25-E7783B73822B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145684$6F4FEFF7-0884-4286-BD7A-1EFAC319F86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a85031fb0713ae5c27d157a52cfd6a0c9a84230","datavalue":{"value":{"entity-type":"item","numeric-id":5972836,"id":"Q5972836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145684$74C6C720-FBF8-47C2-8109-DD93B77D3E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145684$D2024985-57BF-4B9C-9047-3C97D700E962","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":"Q5145684$83E8CFE2-0AC8-484A-8B6D-83C570E6BC60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c189447d1e7dfcaa117e33b4d77b2a82f14143d9","datavalue":{"value":"W3023211140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145684$DDE0CD4A-D8E6-4F19-87EC-EEDC9A55985B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1ded19a2831271d788e2fce8a448f4b2b9bbba5e","datavalue":{"value":"Q130836271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145684$2C9A1200-578E-4CB5-8E73-B41E2DCBFD5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145684","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145684"}}}}}