{"entities":{"Q2894268":{"pageid":2904993,"ns":120,"title":"Item:Q2894268","lastrevid":58053879,"modified":"2026-04-03T15:11:37Z","type":"item","id":"Q2894268","labels":{"en":{"language":"en","value":"LTL to B\u00fcchi automata translation: fast and more deterministic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051080"}},"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":"Q2894268$688E1A5A-E0F1-4AEC-B7BF-DA6F428BAFCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7a2ad2e4870a5e0de5c610e82d5a052adbe2d56","datavalue":{"value":{"text":"LTL to B\u00fcchi Automata Translation: Fast and More Deterministic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894268$E1A61F1E-FF09-45D9-A4A3-CE990600F4CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f575dd0c2fabeb70407a061447d3fe29dd13d486","datavalue":{"value":"1352.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894268$0D8ECD72-C4EC-4F13-AA43-791018764EA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f34dfe8532455de42a04195f114e130f9d0ed74a","datavalue":{"value":"10.1007/978-3-642-28756-5_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894268$222E435A-D65B-422A-B804-A8A79CD356A2","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":"Q2894268$41EFED0E-B479-4D0A-9292-282A44F36C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df947b76f92cbda5e54e048fb6e7e1d050d26bfc","datavalue":{"value":{"entity-type":"item","numeric-id":1006889,"id":"Q1006889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894268$DF214B10-A3ED-4BF5-B4C2-5A40C27C1C91","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":"Q2894268$A1FFBCBF-7930-4812-85DC-7F108059BA06","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":"Q2894268$BD273593-CD77-45C7-8B81-6713F75968BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894268$F4B68C2E-5E98-4A76-92DE-87D08F572169","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894268$1BB2E4CE-8401-400D-A89B-AB04580941B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bff214731f65f5eef0885688481f83056111e262","datavalue":{"value":"https://arxiv.org/abs/1201.0682","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894268$55F0A626-E28B-4577-B544-F5800A2675DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894268$AA2FF53A-917B-43CE-B65A-2509BE47FC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894268$6A766661-828D-48E1-B913-98E5B3C5B2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894268$CF3F18B0-7735-4098-8AA5-817B131B4757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894268$76F55EA1-2019-4FAA-8F9E-00BD52403A29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19b8ebe696f97001af8f3ab55ae5a008a684ebcd","datavalue":{"value":"6051080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894268$E368F8DA-7C86-4AC4-8751-4695B69A96B5","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":"Q2894268$C9BBB62B-FDB5-4E85-80A3-8D473BDAD33F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1b7214e709c8ec93923a4c019e6297d0296a361","datavalue":{"value":"W1754034137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894268$5810697F-F521-4C0F-A91C-775B3DE7F45F","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":"6e8ad9311b5719a298499cb8518955cb180db8e3","datavalue":{"value":{"amount":"+0.9165156483650208","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":"Q2894268$28EBBED7-A167-4E1D-A841-6B0270215641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ce49ec48b485aa795ea158899126e078dd4c58","datavalue":{"value":{"entity-type":"item","numeric-id":5431331,"id":"Q5431331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07728afd45ee66691e48519dafe47cd1b05747a9","datavalue":{"value":{"amount":"+0.9150267839431764","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":"Q2894268$C2EEE46A-62B8-43CE-99E9-1BDDC7A7C79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991c13c38e3008a6f3176552cb5d7af880831a5a","datavalue":{"value":{"entity-type":"item","numeric-id":2026563,"id":"Q2026563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5972af44fde12b63a847e3034b4122f6907996ea","datavalue":{"value":{"amount":"+0.8906152248382568","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":"Q2894268$251FA130-B2A0-4BA9-B891-94E621754A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc9aea1b951655a49141d76560061ff598a3106b","datavalue":{"value":{"entity-type":"item","numeric-id":1633083,"id":"Q1633083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce637fa383270f89ab68e82e5dabb59546be30f","datavalue":{"value":{"amount":"+0.8530077934265137","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":"Q2894268$9C43F9ED-FE1B-4C68-B8D3-B94F963825C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ff5c5704d7c393a836969185b008981f867e13","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddcffed8b945d2f1b656a7887965dd09f71cf0d3","datavalue":{"value":{"amount":"+0.8526982665061951","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":"Q2894268$128C2AB7-9797-43A7-8CB1-9EE02D3143BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2894268","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2894268"}}}}}