{"entities":{"Q5757212":{"pageid":7786763,"ns":120,"title":"Item:Q5757212","lastrevid":92898347,"modified":"2026-06-05T03:02:43Z","type":"item","id":"Q5757212","labels":{"en":{"language":"en","value":"Correctness Preservation and Complexity of Simple RL-Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187941"}},"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":"Q5757212$77EA989B-DD17-41E0-957B-431415918EE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7735a34a2b268bdfccb72e229b206f6f6f88c016","datavalue":{"value":{"text":"Correctness Preservation and Complexity of Simple RL-Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5757212$AE9F7404-62E6-4ADA-B9B4-399D74BDE242","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c67b2561c0b9c7b644c8935f3314cc5d82205b97","datavalue":{"value":"1160.68424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757212$046FF193-4668-442D-B0CC-DC6C5A9465BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ecbc9c60d9a433ac6948f577c4e11a3d8799e31","datavalue":{"value":"10.1007/11812128_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757212$17FF2A44-033C-41D6-B0DD-2A97FCE52ED4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8414aae46624af72c09eac6a74b962a60ad910f6","datavalue":{"value":{"entity-type":"item","numeric-id":611045,"id":"Q611045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757212$567F1164-4239-4D83-91F2-A81E26B1B811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14211bfc645cf3ff05fb44eab3609959bad21747","datavalue":{"value":{"entity-type":"item","numeric-id":748434,"id":"Q748434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757212$4EE29FB3-7501-4401-82E2-0E45C1F4C0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46c7c00558d7121734d489049799fa24953dd04","datavalue":{"value":{"entity-type":"item","numeric-id":287428,"id":"Q287428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757212$4C86C7A7-CE37-4632-9A36-8699FDAC0FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"295de62bc29df0e0d275156e81dd53ada820b71e","datavalue":{"value":{"entity-type":"item","numeric-id":620961,"id":"Q620961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757212$58777085-3A9A-4E07-85B4-2399A5FED277","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757212$D0E5562E-5CCB-4DB5-AC06-CF2A24BBF8A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dd465c7f83203bc28c191db43e2e18edd6ba2d9","datavalue":{"value":{"time":"+2007-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5757212$2FD134AE-9403-43AC-962B-2381076CBC39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757212$0A61672C-4670-42A7-8178-9A5F0B48183D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757212$F0B84D48-B42B-4139-853D-407972801A64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44277656ad861a2e4d341b30773826f656728c01","datavalue":{"value":"5187941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757212$F03009EE-1FEE-4D62-8966-91416C7B2898","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":"Q5757212$94789A17-AC92-4AA0-BD95-02C72673905C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb984eb156f439aaa58e3fd65d7bb3bb4da34654","datavalue":{"value":"https://doi.org/10.1007/11812128_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5757212$FB5E6FB8-0BBE-4BE7-BB23-DF92DEF56807","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54e041ef574087459bec02c77bff5323423b5920","datavalue":{"value":"W1515951972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757212$AE46C079-4635-4507-9C94-449C87697733","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590ee10b01de93da8e3f11629173edc26b837551","datavalue":{"value":{"entity-type":"item","numeric-id":3617048,"id":"Q3617048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af1470ba5b64240626db88c51299b2310132c9d1","datavalue":{"value":{"amount":"+0.9275714755058287","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":"Q5757212$B83738E7-6CB0-4047-993F-8E29F35D4D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9379c4b1c84e6adac8144421aefe88bfef4a21a5","datavalue":{"value":{"entity-type":"item","numeric-id":3541851,"id":"Q3541851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618b3af45b1af948e8ce6d59af6b30e6c8ece0e6","datavalue":{"value":{"amount":"+0.8310784101486206","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":"Q5757212$060E62BE-D142-40E5-B8B1-49B8846D3FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4468d4e69645bd55601034833294359a3b4489","datavalue":{"value":{"entity-type":"item","numeric-id":2921951,"id":"Q2921951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e2fa6a3a47daa87c418e1e8f5578ef403f5243","datavalue":{"value":{"amount":"+0.8306035399436951","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":"Q5757212$39C9A2EB-78E3-4376-8C60-6D680EFED8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab56bee4e5bd2572fd220d37dfeea35f594c0911","datavalue":{"value":{"entity-type":"item","numeric-id":860860,"id":"Q860860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db78a9ba81c222799c430de92a33c455ad6d66c","datavalue":{"value":{"amount":"+0.8058375120162964","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":"Q5757212$16048A96-DCB9-446D-A7BA-73BC21D66D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"700761fb29dc6bee61c5304292058a3b6dde7526","datavalue":{"value":{"entity-type":"item","numeric-id":1683524,"id":"Q1683524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f3fe2d32e4cd8414355e0a4ba6920dc9cd2f521","datavalue":{"value":{"amount":"+0.7921798825263977","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":"Q5757212$6E12D79E-571F-4B20-9008-35DAC1F394F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correctness Preservation and Complexity of Simple RL-Automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correctness_Preservation_and_Complexity_of_Simple_RL-Automata"}}}}}