{"entities":{"Q2279120":{"pageid":2289863,"ns":120,"title":"Item:Q2279120","lastrevid":78648512,"modified":"2026-05-06T12:06:24Z","type":"item","id":"Q2279120","labels":{"en":{"language":"en","value":"LTL to smaller self-loop alternating automata and back"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7142675"}},"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":"Q2279120$5E3C39A8-9279-4958-97DA-063173EA8E0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"489848078629501cfd1a67d03b43772a2cfd54c4","datavalue":{"value":{"text":"LTL to smaller self-loop alternating automata and back","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2279120$E40E1BD0-DA07-438B-86E6-A78EB1593B56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"897933a58c2f2dc7a7adc72ffeb16adcbae1f7c5","datavalue":{"value":"10.1007/978-3-030-32505-3_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279120$23D7077E-5227-4F85-A1A3-FA5F32F16952","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":"Q2279120$8C40DA45-8E0F-4E34-819D-797CA004B393","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":"Q2279120$EB4E57A8-DA8F-4BF6-9DDB-6677317349A7","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":"Q2279120$FF075CD7-98FC-42BF-A72F-DC50221F84A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b59fb3af1fc435d619b3c51ed9fbb031a0316176","datavalue":{"value":{"time":"+2019-12-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":"Q2279120$48EFD650-7122-478D-81FA-C0FFA75FF350","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3236737942f4c053b9fbeda94db942eb7c014481","datavalue":{"value":"https://arxiv.org/abs/1908.04645","type":"string"},"datatype":"url"},"type":"statement","id":"Q2279120$9DACBCC4-7C92-45BB-917A-55E4D4CF68BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279120$47C034DF-E90B-413D-8B66-AC25834EC9B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"191f4efeb45ec250fb828de0fa491cae85ce87c5","datavalue":{"value":"7142675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279120$C015C7D6-38BD-4A39-B93A-982223BABCED","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":"Q2279120$C3873C53-2A43-479E-9791-05C55B6D56A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06e78448800a2d13982e891682ff49b937d49740","datavalue":{"value":"W2982539700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279120$9A718222-0657-418D-9149-6C6D8521C4F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1607e0c9ace26007a37fc0797087bd33a613be05","datavalue":{"value":{"entity-type":"item","numeric-id":2202003,"id":"Q2202003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c72c6b144b41c707a843a5740ac9764784061f70","datavalue":{"value":{"amount":"+0.9792739748954772","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":"Q2279120$25714B5D-815B-4321-863E-13B9E08D663E","rank":"normal"},{"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":"96d4712a7ab281a4d483d644fb109da476b55cc4","datavalue":{"value":{"amount":"+0.8189457058906555","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":"Q2279120$D9F9EA20-A2FB-44A8-BFF8-8720615801C8","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":"3b511c9cccacbfb3bdc4e994fa917e17783ebf47","datavalue":{"value":{"amount":"+0.8172077536582947","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":"Q2279120$7BD54AF3-6C1D-4EFB-8E92-F5CDE0B419C0","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":"dcfc7fbae87a893c447b49e0d2909b364969127a","datavalue":{"value":{"amount":"+0.7965633869171143","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":"Q2279120$877A2389-7082-4F9F-B85E-44AFF696A831","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":"5556ad5704e4b9f7a29ca4e3c06f99efea037e49","datavalue":{"value":{"amount":"+0.7957439422607422","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":"Q2279120$9F39023E-ACCA-453A-8C8F-CE47B8269F2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LTL to smaller self-loop alternating automata and back","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LTL_to_smaller_self-loop_alternating_automata_and_back"}}}}}