{"entities":{"Q2915098":{"pageid":2925818,"ns":120,"title":"Item:Q2915098","lastrevid":51558815,"modified":"2026-01-18T19:00:42Z","type":"item","id":"Q2915098","labels":{"en":{"language":"en","value":"How to translate efficiently extensions of temporal logics into alternating automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084971"}},"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":"Q2915098$83B8FF3E-DD2B-43C7-ABFC-67E192332385","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14dbe324bd22376745f454f41c40f734b0cfac7f","datavalue":{"value":{"text":"How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915098$BD5E3FE0-56A7-4B9F-8087-B5266251E7A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a38b6029d0c3b41585de6f99604bb4f19ebbe44","datavalue":{"value":"1362.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915098$52C7DC3D-4078-4AD1-9915-A9F44C2DD384","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c5070561493d616a206f70f178378caef5128ff","datavalue":{"value":"10.1007/978-3-642-32943-2_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915098$6284C2D7-1C41-4463-9936-7FBEA9042A4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8713ee3f10f93ccd03e7402b982f504280ddecb","datavalue":{"value":{"entity-type":"item","numeric-id":278751,"id":"Q278751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915098$CA25D7CF-D603-4DF7-ABB5-0678EDCDC2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae99d57ddcb0729afd08054aeb7b264a94c86b4c","datavalue":{"value":{"entity-type":"item","numeric-id":2915097,"id":"Q2915097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915098$8802B664-C20B-4C69-93F3-420DBA6E7FBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5d26dfabd2a1eaea8344d31d26120815afdf182","datavalue":{"value":{"entity-type":"item","numeric-id":2915093,"id":"Q2915093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915098$E2A50C4B-1D50-4C07-BB46-F807460BFD56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-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":"Q2915098$5E38A274-9CAB-41D5-B05C-8F11BB9FD6FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915098$E079A29A-9908-4BF0-A0C7-9C8C89BCF917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915098$2F4178D2-5418-4A7F-BE4D-CF7CADD539B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915098$A850328D-BEB2-4BDD-B281-96A24EDA1154","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86040d20eef545f7038302473d0139403a647d81","datavalue":{"value":"6084971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915098$65514370-A7B3-4D46-BB03-701B4DAF8CA8","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":"Q2915098$83F2E076-C260-433B-B906-87722E5D27DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cfa6d942a1cf58e9ea6b639e377d9d543a42edf","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32943-2_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915098$00A84D5D-3403-4208-A0D8-268072CA7862","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6d169b6682d92492178c06ba0671b9a2bba87a7","datavalue":{"value":"W2103874098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915098$C6EAFDBC-0C57-4DA9-844E-9945F1940C0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3df0e98b145a01170e3aa106f0133c472c2412","datavalue":{"value":{"entity-type":"item","numeric-id":2996152,"id":"Q2996152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b038f8d8b89d00fda427443ec3e6efd281267bd","datavalue":{"value":{"amount":"+0.8020291924476624","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":"Q2915098$9422C445-2B7C-4992-A8B2-0B8B5B3DCE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d4b7a755b12582c977069a80b77d13fac10fc8","datavalue":{"value":{"entity-type":"item","numeric-id":5166674,"id":"Q5166674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ac3251168798731746c74a2d0db2e8f61b7fcd5","datavalue":{"value":{"amount":"+0.797976553440094","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":"Q2915098$550A09EF-6B7B-40DB-A177-C777456DCC8B","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":"0534a193028a260026c2d81ff9fb4e4341d3fb59","datavalue":{"value":{"amount":"+0.7962663769721985","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":"Q2915098$1135FA5F-7613-449F-85C2-419F3AA953AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6ed82a4e071cebe633b229977f5f8f7434700f","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2df02c041cecc3c504add4359d4056b372ce28d","datavalue":{"value":{"amount":"+0.7926425933837891","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":"Q2915098$05258533-C355-46F3-AA55-558A385B3237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"035259ecbfa109f4140e19b20b77a851a3b5d10d","datavalue":{"value":{"entity-type":"item","numeric-id":5499149,"id":"Q5499149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b3bde031c0f5923e14cee09aeeb06a1877d5d25","datavalue":{"value":{"amount":"+0.7865209579467773","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":"Q2915098$FD6CE874-F62E-41F4-A08B-999FF46BCCA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2915098","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2915098"}}}}}