{"entities":{"Q2147688":{"pageid":2158431,"ns":120,"title":"Item:Q2147688","lastrevid":71406213,"modified":"2026-04-13T22:04:17Z","type":"item","id":"Q2147688","labels":{"en":{"language":"en","value":"From LTL to unambiguous B\u00fcchi automata via disambiguation of alternating automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7544941"}},"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":"Q2147688$8F9414EB-BEA2-46EF-8D1E-E2AFDE13B787","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4dbdfa5f17e2e0f4f741aec0ad9ea75a1cb44ed6","datavalue":{"value":{"text":"From LTL to unambiguous B\u00fcchi automata via disambiguation of alternating automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2147688$151374C6-159D-4369-A4F2-C1B056D6748E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5e912e295b921e1a88a9fbeccf17e133cdc7272","datavalue":{"value":"1505.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147688$E8386D6A-7968-42B9-9598-92F14804B565","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38fcb30a53aadaa16c67f4c81a6c40126b13614f","datavalue":{"value":{"entity-type":"item","numeric-id":832240,"id":"Q832240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$AA24A76E-4E24-4180-805E-572E9E4C5057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ab0b86ebccd10592dbeeb4a2884ac12bc359108","datavalue":{"value":{"entity-type":"item","numeric-id":321897,"id":"Q321897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$75BC0ACE-85D0-458E-B2BA-CEDA37940164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$DA84682B-440D-4FA2-8F29-9602B56E2AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25777c84de0bec6686a1c05a5e686b2e7021d4cd","datavalue":{"value":{"entity-type":"item","numeric-id":860861,"id":"Q860861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$9AA09F91-3C20-4D16-B893-24C10FCCEA9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$954EBF8F-F71D-4957-9C69-5FE4DF399EEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95e580f4051f5bb4afafd11f30b01e18c9a41ef8","datavalue":{"value":{"time":"+2022-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2147688$FD04941E-F1B6-495B-B275-E96718074F65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"454153df8ccc074eaabc84e729ba25d9ea57ea4e","datavalue":{"value":"https://arxiv.org/abs/1907.02887","type":"string"},"datatype":"url"},"type":"statement","id":"Q2147688$954CB8A7-C0D7-47DB-8DC2-302665382289","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147688$D78BE77B-292F-4348-A1FE-32BB464D9D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147688$24456629-4EF1-422A-8125-C74915AF732E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147688$1082F992-D03D-4FE8-8383-7819BBA04AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147688$364BEB50-3E81-4B7F-B003-50CF7D5D89F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4537bec9948e2be490528fcc799a84da833037e","datavalue":{"value":"7544941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147688$FF0124EE-0A3E-42C2-9FBD-590EDE2632C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fcad81409e0e658e233a32fc409911afe0e88bb","datavalue":{"value":"\\(\\omega\\)-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147688$3FFC94E1-004F-4903-892C-FFFE2CEED413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9025a2e231a3d99af12246374a3c1e886fff7db2","datavalue":{"value":"unambiguous B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147688$606B8724-6424-44AF-9E3E-87E4B665B7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147688$FD88F8EC-1093-45B5-AAC5-0A2C5C5FFB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147688$F6C75CB6-1A08-4C8A-94E9-3E8E91BDC971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dec23bfabd2e80d595a3a253b903efd88865fa","datavalue":{"value":"alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147688$1E8F7CF1-6663-4BC0-9F02-981BC89B7706","rank":"normal"}],"P1463":[{"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":"Q2147688$43C34922-AB6D-4516-B779-B95E86ED0FB7","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":"Q2147688$977796F1-116F-4D55-A952-F498587A6482","rank":"normal"},{"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":"Q2147688$1FE6A6D6-13E5-42A7-94CA-E03E22168B57","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":"Q2147688$043DC6D9-AA62-4539-BAFC-77187285FA15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b7deaba47a1a26eeddb5df4c8a1516ecf5c815b","datavalue":{"value":"W2953711673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147688$21EEB583-4B28-4BC8-AA47-0AE3A7AB2816","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"463af6bc91e40aeb1968d2b3cd67e4f136d4f65c","datavalue":{"value":{"entity-type":"item","numeric-id":383830,"id":"Q383830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$2A3F3FE7-8449-4101-8310-626296861ECB","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":"Q2147688$7AF7F861-AE16-4216-BA8A-EB70F1A81148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$1DC8A203-24BE-4B35-A798-84A1147952EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9da4bb5fda3121b6ec3f75c252a35c7b7eaea5","datavalue":{"value":{"entity-type":"item","numeric-id":4633525,"id":"Q4633525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$59517C87-6D50-40AD-89E8-58FD46C0F17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4724c47f3cacb30f5e37f3e2ace4b84b4d68e76","datavalue":{"value":{"entity-type":"item","numeric-id":3623013,"id":"Q3623013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$39418A67-F9C8-4259-A414-66B56029CB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"321c7ff19c3b51b5e44271aef686f874af82d7f1","datavalue":{"value":{"entity-type":"item","numeric-id":5326312,"id":"Q5326312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$F4E3C015-0F85-49B0-84AF-63E5148EA211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c61567bec04b92f85e8877d33fd2b3d2f797b95","datavalue":{"value":{"entity-type":"item","numeric-id":3564854,"id":"Q3564854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$27F113E3-71BF-45AF-8E08-660BE6026875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e88580796b91d6f4f3cf3d4f3e2798396e09b0c","datavalue":{"value":{"entity-type":"item","numeric-id":1401292,"id":"Q1401292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$DE713B47-5A5A-4AA4-A66B-D5D9FA3B4D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f4904dc70de55fa7f56b5a2d7d9209dbf71934","datavalue":{"value":{"entity-type":"item","numeric-id":5500675,"id":"Q5500675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$F8FD36E9-CF88-4B2B-83AE-2F96C824AA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b1ca4463eaad5e2b392062cef8e5e6abde5678","datavalue":{"value":{"entity-type":"item","numeric-id":4493881,"id":"Q4493881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$9B457880-7083-4E9C-ABF5-78C22CB630D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6930e49ca203e4c5be273ceae28c8fea75c5054","datavalue":{"value":{"entity-type":"item","numeric-id":3408150,"id":"Q3408150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$A0C63687-B977-49F0-90C0-6F0FAE76D0DC","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":"Q2147688$CAFCFCC0-A472-496E-8724-AD6860BF33DE","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":"Q2147688$2347E795-DACA-453E-B289-08137F7551A0","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":"Q2147688$CFDD00DF-7D0E-4DD2-8334-75A5E266E74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$B91C5DC3-B65D-47A8-9B62-AC9FE26D9EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"781f94707fe3f5b866a579370646ed71f0cd6fe7","datavalue":{"value":{"entity-type":"item","numeric-id":5357715,"id":"Q5357715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$F0EDA37D-200F-407B-A567-003DBACAF590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60cf0788982d6fed5a439c5a38e1c5872122227f","datavalue":{"value":{"entity-type":"item","numeric-id":436610,"id":"Q436610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$8D1B0FB8-0BC5-4385-970A-0F2D2DE7350D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ca68d21b1b06ebf1c22bbc5b4da9a3b62e5e70","datavalue":{"value":{"entity-type":"item","numeric-id":2642467,"id":"Q2642467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$938E8924-9B38-4CB8-A7FB-B52566865B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17bb89eb2ef027132a3e7a2f2c6a1cd0d7bac8c6","datavalue":{"value":{"entity-type":"item","numeric-id":3459475,"id":"Q3459475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$39ADA087-D4E3-4719-BFD4-CB53281DE8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8150168d8295cf80bd4cb52b44dba3e5d9ea2a","datavalue":{"value":{"entity-type":"item","numeric-id":5277722,"id":"Q5277722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$52C98B74-F00C-4B07-98E6-72D8D1D91A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c158dadd45f723badd393a645542b57039d857","datavalue":{"value":{"entity-type":"item","numeric-id":1603452,"id":"Q1603452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$25CB0850-FF3E-4142-944C-C432378ABBA1","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":"Q2147688$0BBC34BF-B4F1-4EDB-AFFC-A6F474F30ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458f28f29ecaaa307772c45f6d0f68e64a9cb309","datavalue":{"value":{"entity-type":"item","numeric-id":5401560,"id":"Q5401560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$7680E821-09E2-49BE-B78C-91EA24DCA873","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":"Q2147688$D1B40053-2716-454A-A064-C81E4CCF46A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8538023ff8d40f43d3f0f24e047ecceb14e467","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$14A3D488-61C2-4D2E-B79C-8BA19143C80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8d4ae13a37c46d4c1c81628960f47d5dea327","datavalue":{"value":{"entity-type":"item","numeric-id":673778,"id":"Q673778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$F5C9902E-B910-4A93-8D97-AA34A49020E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9646964e7e1eb91000a1d95825afd192e63351d","datavalue":{"value":{"entity-type":"item","numeric-id":294659,"id":"Q294659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$112BA718-6BE4-45E7-8E72-1E563C1267FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$FA59A91C-FAD8-40A8-BFB5-F01150B559EF","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":"Q2147688$4C349C8A-1CF4-462C-958B-3674773B3351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa22c2a09da29028b32fbdec6997075843df5fa","datavalue":{"value":{"entity-type":"item","numeric-id":3698326,"id":"Q3698326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$0B88FC14-16A7-4E4F-BE4C-8D70A3352CAF","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":"Q2147688$1CAB8639-D6E1-480C-9E37-10EE2C116BC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86b4e50a1b5a4a13c385ba6ab8e2eadc600105f7","datavalue":{"value":"10.1007/S10703-021-00379-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147688$44878D23-61FA-484C-BBAD-09A5AA583D65","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":"a14fd016fa0ab03479a688df7cbfc6203368b0a6","datavalue":{"value":{"amount":"+0.8216160535812378","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":"Q2147688$70D0CA47-94CB-4DA0-8F0B-DC13111726FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0729fbb3dbf864d82ca17079f8bed0cc3705c818","datavalue":{"value":{"entity-type":"item","numeric-id":3559779,"id":"Q3559779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30066f1787b49aade3e53244d3c48ffd6ab55698","datavalue":{"value":{"amount":"+0.8174786567687988","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":"Q2147688$AF58FCF0-BEF6-43D3-86F5-A1278F9C5AC7","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":"29f7fe8d6411c10b9e0424f467e5424627e53e3e","datavalue":{"value":{"amount":"+0.8076013326644897","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":"Q2147688$EBB2C450-AD9B-44CF-8418-F733D00370ED","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":"7bd5798b1a4c8f3646f578c1644164843872f50e","datavalue":{"value":{"amount":"+0.8048834800720215","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":"Q2147688$BD036206-42B0-429C-B0E0-7813E68A3B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712e12cffe3c9c9d8e20159d4c25f1635b0ff15c","datavalue":{"value":{"entity-type":"item","numeric-id":5056447,"id":"Q5056447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f93ed89948320ff1dca217f517a2f75b07c7299a","datavalue":{"value":{"amount":"+0.7873237729072571","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":"Q2147688$2E1F851D-C21D-4195-A607-4E208416E18E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147688$13E78C12-0CCE-4CF2-A75C-345E0287E660","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From LTL to unambiguous B\u00fcchi automata via disambiguation of alternating automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_LTL_to_unambiguous_B%C3%BCchi_automata_via_disambiguation_of_alternating_automata"}}}}}