{"entities":{"Q5145686":{"pageid":7175257,"ns":120,"title":"Item:Q5145686","lastrevid":94497800,"modified":"2026-06-05T06:58:21Z","type":"item","id":"Q5145686","labels":{"en":{"language":"en","value":"Making Streett Determinization Tight"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299518"}},"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":"Q5145686$B297ACB6-0C30-423D-A637-2164EBDC629A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f1fc269230eaaf97c2d821364474185960f928d","datavalue":{"value":{"text":"Making Streett Determinization Tight","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145686$72BF0E3E-DAED-4AA4-A286-16B7B5A5814B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01de74721383ff5408f14dc3b54b955868f876a6","datavalue":{"value":"10.1145/3373718.3394757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145686$98299AB6-B9DF-4543-9357-F48DBDE3E744","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145686$C715E003-612B-43D1-ADED-4FB440B95305","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145686$8129A7EA-295A-43F7-B500-19CAD1D1B3A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f3f52f083db9fa6bb589402e3cf60e8e197d924","datavalue":{"value":"https://arxiv.org/abs/2006.16476","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145686$F08EB802-E413-4C36-B70F-F97E097DC3B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145686$F096B5B4-1D4A-4396-A7C3-0DFB9071EB54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7a8c66a1f6cbaa437815528f0872f4e2e188bef","datavalue":{"value":"7299518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145686$4A979D9E-1554-4B85-9862-0A3947E95972","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c5439f2004aedef0dd1903dfebfa1c1f33abc1","datavalue":{"value":"Rabin automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145686$8C5AE54D-773E-48BB-8CE0-4C4A719F18B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95aabcf2634c1e0b880b0c36d7d7248bb8548c19","datavalue":{"value":"Streett automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145686$7BD2EA7A-2F4A-44FA-B3D7-4F4DC99BF200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d01ba0554735b278236b61d3de2db638b07c84","datavalue":{"value":"determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145686$59A271B5-D4AC-4596-B465-B5B32AEC063C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145686$A6F44DE9-2ADB-4D28-8CCC-007480C4815F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b10ab4d2fc75823309415cc3027a505ded7b2f","datavalue":{"value":"state complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145686$C61E8158-F380-4663-BB47-0EF30DE5370D","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":"Q5145686$FA1F93CE-1B0F-4EE0-A82A-E1D2279798DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c05f2de32166fe941b20bef674773e087bb09975","datavalue":{"value":"W3030566755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145686$BA7909C8-54C4-496B-A558-D9AAF2111273","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Making Streett Determinization Tight","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Making_Streett_Determinization_Tight"}}}}}