{"entities":{"Q5491174":{"pageid":7520734,"ns":120,"title":"Item:Q5491174","lastrevid":49939105,"modified":"2026-01-12T04:46:31Z","type":"item","id":"Q5491174","labels":{"en":{"language":"en","value":"Efficient translation from transition-based generalized B\u00fcchi automata to B\u00fcchi automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061952"}},"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":"Q5491174$29AF4F12-B707-4650-8980-83B7FA36A7A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30e0aa23b1eaa6e7b7514469406215a5fce547de","datavalue":{"value":"1111.68490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491174$2BCE7832-530C-4716-A4CD-8B4585C2DE01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d79918c7fd84d2c95bb1cf7679d20a2fbc11f6","datavalue":{"value":{"entity-type":"item","numeric-id":531805,"id":"Q531805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491174$87C2EEDC-CB26-4273-9760-85E2FB60370F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"700a7ab3c2173bf5b546ffeb63a43807e035e8a6","datavalue":{"value":{"entity-type":"item","numeric-id":250171,"id":"Q250171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491174$0C7B83BF-B4E9-4A38-8AA5-82BE5FEC5BC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17d5dc9e06bd48c78f65617b39b2f452c61f43e4","datavalue":{"value":{"time":"+2006-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5491174$1D3EBBBA-68EA-49BE-96A4-C530420D6EF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491174$D3ACCDF3-4A51-4702-9A5E-7261019109B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491174$C2825EF7-9483-4437-A270-EAB827C0ECFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"833dc89becafb9ddceecd390f572192bbef6550a","datavalue":{"value":"5061952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491174$D551AFAF-BE93-467C-AA1D-798667A84939","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5491174$6243B76D-4A81-4091-81A7-540792C0BC73","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":"Q5491174$0BA8610C-A349-457E-8E62-FBB434FBD3E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb401a14da2b0558e15a9d55c1b1c28abb5808f2","datavalue":{"value":{"entity-type":"item","numeric-id":4422087,"id":"Q4422087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcc21a0e09960d76755b220d68d0ea3a9403f353","datavalue":{"value":{"amount":"+0.8574210405349731","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":"Q5491174$6F88CC5F-7804-485E-8167-10536839F795","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":"ebb5081ff897ebd4902735216c9e50fb6c9c2e57","datavalue":{"value":{"amount":"+0.8546009063720703","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":"Q5491174$9B104510-C92D-4E65-B9A6-0A99941C9C56","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":"f1308d8c56990af13e0a2eab38a571b1a4e9aaad","datavalue":{"value":{"amount":"+0.8316179513931274","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":"Q5491174$F3C95A16-7470-4762-8174-DF4C7892B6C4","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":"ed982a517697d5ffe4c5d7e358661aba117a478d","datavalue":{"value":{"amount":"+0.8276700377464294","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":"Q5491174$44C4884F-9DD9-4D20-A03B-9058361941F8","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":"859af0ab1f12103dd5862fbaf74f3bb5694c9181","datavalue":{"value":{"amount":"+0.8245164155960083","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":"Q5491174$EE00C79C-F98B-49EA-965B-14D7E0C856A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5491174","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5491174"}}}}}