{"entities":{"Q2202003":{"pageid":2212746,"ns":120,"title":"Item:Q2202003","lastrevid":53824232,"modified":"2026-01-25T18:57:52Z","type":"item","id":"Q2202003","labels":{"en":{"language":"en","value":"LTL to self-loop alternating automata with generic acceptance and back"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7248837"}},"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":"Q2202003$E390466A-3BEE-4986-B8C0-B86FB6E57679","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18029c58fa4245e580aa39f676b461df64200918","datavalue":{"value":{"text":"LTL to self-loop alternating automata with generic acceptance and back","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2202003$4CD1A686-D310-4420-A003-89BF0EC71469","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5824177d64eab1e60924d67857c9f3f2e4f5520","datavalue":{"value":"1460.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2202003$2E310147-8CDA-409F-8E4F-18B1D6CAAB63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee4f64a12bc86ce8cf7eaa1f7ae2622731f942a1","datavalue":{"value":{"entity-type":"item","numeric-id":2202001,"id":"Q2202001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$B61A95DE-228A-4707-B7B1-E6649B24BF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4674172448c07699532e2556f971b2910584fef0","datavalue":{"value":{"entity-type":"item","numeric-id":2202002,"id":"Q2202002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$864BEF39-C37D-4EEA-A69F-8A8F1A82E718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"952e13cf13a37e2b25a37008848ccc82d63b7b29","datavalue":{"value":{"entity-type":"item","numeric-id":832316,"id":"Q832316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$9E4AAD07-8191-406D-BD36-855D16B96111","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":"Q2202003$F50E2079-A62F-48DE-8410-6E91F11061BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7b654844b81166f884849fbb386fac59a7d85c1","datavalue":{"value":{"time":"+2020-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2202003$2D1FD779-50E5-4DB9-AAE6-AEDB17086D90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2202003$8831D470-2379-4113-8D22-D80E0818D900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2202003$B9111A83-8F17-456D-9EC5-7059AFBAEC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2202003$6769DE6F-63B2-4FE6-A521-CD3176D79B00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82a6b88c2a6d0c6e2e72451908daea5c832b28ed","datavalue":{"value":"7248837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2202003$4E426887-6288-46AD-8CD2-BA3D07E48DEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2202003$79E94DDD-BD08-446B-8BD9-EB2F5CA6F16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e866cbfa5519817f1d5df6b2f4b4a59a5be64a1a","datavalue":{"value":"omega-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2202003$BBD1AAC0-3720-4A35-AB91-D9BD5423CB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"427b07f09475f26d773110c2d1e5f6b1793582bc","datavalue":{"value":"LTL-to-automata translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2202003$068A524C-C77C-4B13-9751-AEFD054392EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dec23bfabd2e80d595a3a253b903efd88865fa","datavalue":{"value":"alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2202003$E6894E27-0CC9-4C3E-8E65-06EC8D02D0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e5a4c532f6d62455f5459b795d7072e1c987e52","datavalue":{"value":"ltl3tela","type":"string"},"datatype":"string"},"type":"statement","id":"Q2202003$7432E873-37C8-4F8C-B8E6-1C90866E5C60","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6976c9708a5aa9505c1c237bb7aa5bd5a0ecc30d","datavalue":{"value":{"entity-type":"item","numeric-id":5972886,"id":"Q5972886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$7AD1F413-7E00-406E-BA22-DE3526853929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$7A5DB5ED-8A71-4CED-86FA-DD1DFE699D3E","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":"Q2202003$F7DC7BC8-5E45-45BE-8A79-740BE8E54ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"552fb94da027a8fb9ad249dd880ff1062aea71b2","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$1D5C5A81-75B4-4BE7-B68C-90A5B0730FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36775e519793d9171689cd087c9a00c3267ecefa","datavalue":{"value":{"entity-type":"item","numeric-id":21794,"id":"Q21794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$000B5112-E3AA-4A24-BE4D-24061BCE01CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$E53082C0-4E52-4614-A7D1-927C59859F88","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":"Q2202003$1E82E50F-B2FD-48DC-B875-F06843E73FD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"509a0db77eec7e875c6a16ab399214916b03d341","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2020.07.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2202003$152FA4BD-BB8E-4D2A-A60B-F2C33152F8DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8f114106a32b682e458c2503188d54d361ea496","datavalue":{"value":"W3044150573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2202003$1D41B92F-37D1-4925-A42C-B0309E26E5A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a0c59ef124fec457ea0ff565a0f42fd4bfd4ae9","datavalue":{"value":{"entity-type":"item","numeric-id":5166674,"id":"Q5166674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$F7219078-415C-471B-AF56-EA6678524EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d943a0ef985ccc7c0d6f0843144df920387ac2","datavalue":{"value":{"entity-type":"item","numeric-id":2894268,"id":"Q2894268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$2A4E88E8-F435-44B9-A242-B9D134892B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c494a39646d97b02d2041c6facf8d30cf21133","datavalue":{"value":{"entity-type":"item","numeric-id":3297604,"id":"Q3297604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$FDF486D6-1253-490C-85B6-FAD65E64D5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25358c2adfefa5ad4a0861cf970b27b1e1a651b1","datavalue":{"value":{"entity-type":"item","numeric-id":2279120,"id":"Q2279120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$7C447374-E45F-4B61-8049-A92F6F6EDA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18092ab083062e92326bbeef5a26dc16f6128110","datavalue":{"value":{"entity-type":"item","numeric-id":5394558,"id":"Q5394558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$285BDF8E-5C26-44E5-8665-C4A283908AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359856dbb38e7eabbf89c76fc46ab66f8a75570e","datavalue":{"value":{"entity-type":"item","numeric-id":5166705,"id":"Q5166705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$EB6AD4C5-2556-41AB-9A54-A16CDE779DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$77211CE1-014F-41D7-A423-662870B05A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5b46a43271cb7bdb8bd8f6aed80d0b79118e81","datavalue":{"value":{"entity-type":"item","numeric-id":4536600,"id":"Q4536600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$2927C32E-59D3-46E6-8D24-6359FE2B7459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$D9E045CF-6B4E-46CB-87B4-8D5ACE5FEF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64052bf66d4808ae98a3365915a7f430a9951822","datavalue":{"value":{"entity-type":"item","numeric-id":5899036,"id":"Q5899036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$86ACD7F9-E75F-4D87-9DB2-0FAEBDE445BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4d7e47b7300c176b601096e1931554ddb948e8","datavalue":{"value":{"entity-type":"item","numeric-id":5703759,"id":"Q5703759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$D44CBFFD-6B66-4A62-AC8B-D26F53EBBF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d04c5f4ad33f5228976d2d495af9a574068a0c","datavalue":{"value":{"entity-type":"item","numeric-id":6109606,"id":"Q6109606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$8A7CEB2A-31AD-4855-912F-D111976544B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36c698d8c5f8fcb5726cd8f5372348955f71972d","datavalue":{"value":{"entity-type":"item","numeric-id":4536446,"id":"Q4536446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$B1F86D42-E8C0-4FFF-8591-D12ABF1CEF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be5d2185f8c51f7a3428dc8fb1cb0ae85aadb0a","datavalue":{"value":{"entity-type":"item","numeric-id":3384171,"id":"Q3384171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$BEAF6D67-BB3A-41FD-B0B4-77C761741097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a06f4c4197e594020d602c717ac1e1130aca08b","datavalue":{"value":{"entity-type":"item","numeric-id":5897680,"id":"Q5897680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$F463B37F-65FB-4C78-93A2-5D365A88BB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6c5c5c3dda355e8adc09225b58f62e3e2cd330","datavalue":{"value":{"entity-type":"item","numeric-id":5194963,"id":"Q5194963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$091922CF-FFA0-47E5-B50D-D8F6C0894C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cd54413287e6e70989953202b0183dd784ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$D3023438-7EC1-401D-9CD5-61FB87874728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d813fca75a3d719a33bbcd4c1644084d452a9730","datavalue":{"value":{"entity-type":"item","numeric-id":4490750,"id":"Q4490750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2202003$8B0D0492-1988-4204-93CD-0662FBCDB0D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77adcaa180dbce16f54f2f46520043e5f91ea3fe","datavalue":{"value":"10.1016/J.TCS.2020.07.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2202003$A07697A9-5A04-445A-9499-D59CBFD3D820","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ceee7cb320da2a0165c0827f8cb7a6d187aa514","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7493655f4fd50b80a462b9f56923e0a604819b72","datavalue":{"value":{"amount":"+0.7956593036651611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2202003$1406A1A1-FBAF-45D9-860A-3044DF2F6515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aea161b8c3619543c5366b4985739b079dbf0cb","datavalue":{"value":{"entity-type":"item","numeric-id":2894268,"id":"Q2894268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e9b547415b3ca26a6f4c3f7e1b8bb972ba8e7a","datavalue":{"value":{"amount":"+0.7928032875061035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2202003$91CE2104-970C-44C8-A28C-FC335172BB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d73e3fbbb404df50c9f0023cec83982ea94790f","datavalue":{"value":{"entity-type":"item","numeric-id":1791171,"id":"Q1791171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec6316e0b5cda7a91313f47250ddcc80a9092b2c","datavalue":{"value":{"amount":"+0.7912242412567139","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2202003$51CD974B-9DAB-4E54-B36D-A2AFB8AD5665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa216bf7272d243ffe26b544ec086ceb7f5db8d8","datavalue":{"value":{"entity-type":"item","numeric-id":3384171,"id":"Q3384171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2f1354599af97f3e8cf2683d2d9539938edd0f","datavalue":{"value":{"amount":"+0.7861143946647644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2202003$B21C0F04-4F31-4040-90DD-9B13A2D7D47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c716f9b9cfdea17a8142f09e610efd2b250bdac7","datavalue":{"value":{"entity-type":"item","numeric-id":5387877,"id":"Q5387877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc92d81422599e65b521872b21040e02a81a0fa","datavalue":{"value":{"amount":"+0.7765567302703857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2202003$D7B8A4D6-76C2-4C89-9022-F481C702C980","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2202003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2202003"}}}}}