{"entities":{"Q5166674":{"pageid":7196246,"ns":120,"title":"Item:Q5166674","lastrevid":58466886,"modified":"2026-04-05T08:32:58Z","type":"item","id":"Q5166674","labels":{"en":{"language":"en","value":"Effective translation of LTL to deterministic Rabin automata: beyond the \\((\\mathrm F,\\mathrm G)\\)-fragment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314144"}},"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":"Q5166674$86CDF269-EB61-42A4-A1EB-693C758D7D5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fde456bb4ffa67bcd61b80194192228b59ae7f28","datavalue":{"value":{"text":"Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166674$7B371BC0-7F56-47B3-B1E6-83F96B6F91B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffa8315c0b4ed3ce157b6b8d675adc66c9aed8c4","datavalue":{"value":"1414.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166674$86EA6148-9C7D-4ACF-8232-8FFFDE2157DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f003320f343ffa11ff666963660b1755d60931da","datavalue":{"value":"10.1007/978-3-319-02444-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166674$D1E1A8A1-2C40-4BB4-98F3-E6B782713023","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db1a8650ca677635fd283e0290fb8db8749de812","datavalue":{"value":{"entity-type":"item","numeric-id":2883117,"id":"Q2883117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166674$FDCB40A7-2BE3-4645-83E3-0B52A8C01528","rank":"normal"},{"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":"Q5166674$44EAF4CE-1EA2-4961-8CD0-A14982069DD1","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":"Q5166674$54FA2A2C-2AA5-43BA-B7AD-BB3C868EF207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e86fa9d0b9effd06fb644383c19d6a5b9829621e","datavalue":{"value":{"entity-type":"item","numeric-id":1006888,"id":"Q1006888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166674$8B6DE304-ACA9-4669-A3B3-97F0D785983D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166674$4515FC70-E63D-471C-9F32-B07033F43BFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166674$F9C8EBFD-35B2-4921-9043-94EFDF4EDE6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fffe65715855c0c9eda393015e8e64e60b46e6a","datavalue":{"value":"https://arxiv.org/abs/1306.4636","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166674$398431C7-C7FD-4A3F-ACCD-E70CA21557B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166674$25B9880D-EC63-4CB2-8A0B-F2887793E341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166674$81C9E40A-D124-41D4-995E-05E261A041CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166674$1FAC8DE6-7B46-4B84-877F-B1EA22D62136","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e949cdaca67678344831fb95f30cf9ac7ba04865","datavalue":{"value":"6314144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166674$D4D455E7-49F1-4AEE-AC6C-92F01E4A0DC8","rank":"normal"}],"P1463":[{"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":"Q5166674$FECB49AF-1F0B-44F7-8224-0C1C929BE170","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":"Q5166674$E3041FDB-C849-41BE-B1FA-C88575D7694B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb0613fb1b03dd9af1b73d728ca58ea9faff70d6","datavalue":{"value":"W1909185322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166674$20A8D800-E8FC-4870-8B39-6BA5CAA8CBCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9bd2f8a6f3507cd11e91bd4a8beac57eaa9b37e","datavalue":{"value":{"entity-type":"item","numeric-id":4649288,"id":"Q4649288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb3225aa8b91e85c102c71729d884f5be68e140","datavalue":{"value":{"amount":"+0.886328399181366","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":"Q5166674$37938669-9319-4ED4-8920-6DC55D1A613F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494940e0dc2536f3602834e5411c92795bef3dfd","datavalue":{"value":{"entity-type":"item","numeric-id":2870123,"id":"Q2870123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af4e7c8cc399f7d25f7e267e48f9fc34e19d98d4","datavalue":{"value":{"amount":"+0.8758926391601562","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":"Q5166674$58AB6D3E-29BA-435B-B203-B37ED9F1D10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c573938e85c0b2ca81197b627607f48161f8c4","datavalue":{"value":{"entity-type":"item","numeric-id":3457793,"id":"Q3457793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc7b3fc66d0a5bb72d0c3779d5bc15abd581e973","datavalue":{"value":{"amount":"+0.8717237710952759","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":"Q5166674$C8097637-2B17-4DE9-AA30-3B467F1CAAEB","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":"b435c01f14c04f9b6a2718311d59cfedeebe12b4","datavalue":{"value":{"amount":"+0.8638331890106201","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":"Q5166674$004FD605-926D-4A18-8BAC-C9E9BFB761D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e870d43dd7d00d590c40da22cef4dfa837e77bb9","datavalue":{"value":{"entity-type":"item","numeric-id":2363815,"id":"Q2363815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"227a4c8c8a099b07dee82b635f6d1b21cb51f63d","datavalue":{"value":{"amount":"+0.8517149090766907","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":"Q5166674$0E797DF1-42D9-4E01-9AEE-F847B74FDE23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166674"}}}}}