{"entities":{"Q5756590":{"pageid":7786141,"ns":120,"title":"Item:Q5756590","lastrevid":50157743,"modified":"2026-01-13T07:24:44Z","type":"item","id":"Q5756590","labels":{"en":{"language":"en","value":"Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187247"}},"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":"Q5756590$0D46A6FD-1C40-4253-A07B-EE8BE8974E7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46f985c246bb17fecaba054cf9adcc88c5ad9f2a","datavalue":{"value":{"text":"Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756590$5808E84B-8E4E-45C0-82C1-EEFED903E9C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5dc089dc6da04391da5687a157790948a5a46ab","datavalue":{"value":"1151.68462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756590$00C416CF-2A7C-4366-B20F-F9EB4FD6D873","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc48270d790483424b37a6c65870744e75fdca9f","datavalue":{"value":"10.1007/11817949_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756590$4D99935D-7561-4B97-8BAB-F5B7D19BCA0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756590$61355BEA-8B68-4564-8DDC-AD0FB633E231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d71c1e04439826d3a5bfd5fe7de3eaf565f14be8","datavalue":{"value":{"entity-type":"item","numeric-id":5756589,"id":"Q5756589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756590$6E52D48F-6910-4B44-8938-D0D22B064092","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5f8f253e349e54e13b7bb591e43e3d03254b865","datavalue":{"value":{"entity-type":"item","numeric-id":5756587,"id":"Q5756587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756590$FF8F13E1-C8D3-424F-848A-61657BEB5CE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756590$5775A087-ED5B-42A0-B42A-4621EEE1858E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756590$B0528A72-904F-462E-9065-83EC2ACF0731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756590$9A5D935B-075B-41B8-9BC9-22E6E8BC200F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756590$912CEC4A-D67D-4B38-9827-55180F65B5F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f561d6255468f2d0e8906e55aa630db25c43b08","datavalue":{"value":"5187247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756590$B43AA84C-A482-4146-94D6-3FC33F84E7E3","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":"Q5756590$D57F8EDD-F26A-4E40-8BE8-D5F29605D16D","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":"Q5756590$D6B0E8D9-B88B-4030-821B-D39699782643","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b289d72ec1d8b2b8214ab2469dfea96c3185748b","datavalue":{"value":"https://doi.org/10.1007/11817949_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756590$67FD1F53-0106-405E-96F5-B49FC65A2F63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e8ba8a3a499495042a668047595793dbabc65da","datavalue":{"value":"W1504137062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756590$9B112B22-8E89-4E2F-B2CA-2D1D4DA457EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc7ce5b661789e2946acfc788272c63cd043d192","datavalue":{"value":{"entity-type":"item","numeric-id":3617729,"id":"Q3617729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7e6b713f51e29f0dbc722f5deee319631c1c66","datavalue":{"value":{"amount":"+0.8119224309921265","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":"Q5756590$B8D1E17A-D035-4632-9E01-0CE873CEB945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53badae1ac14e01c92acfd0865301614b3daf6b4","datavalue":{"value":{"entity-type":"item","numeric-id":3564867,"id":"Q3564867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b74292814e21398d059b8da11c45526ff34765","datavalue":{"value":{"amount":"+0.7804126739501953","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":"Q5756590$EDA3785C-B8E6-49EB-AF50-F2D86A4B4732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ac60df6efcdf2ce1d47a22c95fc8e8c2023fb3","datavalue":{"value":{"entity-type":"item","numeric-id":5464474,"id":"Q5464474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3851385e318bbe6bb572d6cdf6530532c157adf8","datavalue":{"value":{"amount":"+0.7574947476387024","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":"Q5756590$2D1158A4-3690-4BEE-9052-9EE870855463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45a63a94db310200716c8c1631f52e03f111653","datavalue":{"value":{"entity-type":"item","numeric-id":3086936,"id":"Q3086936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2733d37a271a04bb26639e56124ad920cdaaf118","datavalue":{"value":{"amount":"+0.7472512125968933","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":"Q5756590$131A9443-807A-4C68-AFFC-669259D6FB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48903d2bd0b9073841885b1a09153ee9363cef3","datavalue":{"value":{"entity-type":"item","numeric-id":4542592,"id":"Q4542592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30b594a812fdaa5468a1dffd8b0813f3b49fff7c","datavalue":{"value":{"amount":"+0.7467767596244812","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":"Q5756590$BD3046B7-D12C-4AF8-8BA2-02493C9D50C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756590","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756590"}}}}}