{"entities":{"Q5875368":{"pageid":7904919,"ns":120,"title":"Item:Q5875368","lastrevid":55434574,"modified":"2026-02-17T16:19:05Z","type":"item","id":"Q5875368","labels":{"en":{"language":"en","value":"Near-linear time algorithms for Streett objectives in graphs and MDPs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649915"}},"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":"Q5875368$92C59AFA-D7C3-462C-B856-1EB5EA954A96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$190B1501-F985-4FC2-A9ED-5FB5A8F4EA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76ad3dd17d6e1189a55a10727de9b89cb0fca508","datavalue":{"value":{"entity-type":"item","numeric-id":334815,"id":"Q334815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$2A514C69-3468-476D-8DFF-E647BDDEFD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3624f267261eec5c41bd64d20d707dab6f048bc6","datavalue":{"value":{"entity-type":"item","numeric-id":2238603,"id":"Q2238603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$BEC11E41-2ED2-4AFA-A595-89F21B7B92FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5206d388e7179cac1a1f282e72074e651e25ba7","datavalue":{"value":{"entity-type":"item","numeric-id":1370851,"id":"Q1370851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$437735A8-FE75-464D-84E7-FEA25A797BDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875368$5BCEF17B-FA5D-4FD7-B620-28A6337E60F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93aba45d10bea49d0acc29dcf9850f957ab5bb87","datavalue":{"value":"https://arxiv.org/abs/1909.05539","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875368$39043B0D-5523-4958-8078-C6B4F160CB5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875368$1DD9CA1F-3B36-432E-9FEE-E3122560B66C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81f3a4f4978c446d9772418030bf305aaf6252c9","datavalue":{"value":"7649915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875368$1D520902-51A2-484A-8F5A-01CD165B479A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875368$E48F4B04-2C6F-4F65-B2F2-2DA2DBC5A7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e219e52de8a2e4a2a8c425a49567f4498b828c","datavalue":{"value":"graph games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875368$4EAEFBA7-604E-4238-91E6-E15AD1D9D343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fd90362c0449ecf23a2288084541bde9f5107f8","datavalue":{"value":"streett games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875368$55C2B84A-9146-4E2A-87C1-DE1ED58AD25A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2d71b555d0fc422dfe27ba710278d9a7fb7a533","datavalue":{"value":{"entity-type":"item","numeric-id":32821,"id":"Q32821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$B6F0166E-699A-428A-94B5-3B5DA762B973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$F85686BF-DC4C-4EED-992C-EBECFE60D2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$3190B475-A5B5-4743-B626-2B6D083CCBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db4f953c8327488bcfed10e933d15bf2bb1a5fbe","datavalue":{"value":{"entity-type":"item","numeric-id":29276,"id":"Q29276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$355C3E30-D0ED-4867-8F4E-D1BF2D0B40DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$0D958622-7A71-41D3-9582-6B93A4D1B654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19ea0268485aa3f9787caf2b44c02b981e5e73ce","datavalue":{"value":{"entity-type":"item","numeric-id":16320,"id":"Q16320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$7706D908-5A8E-477D-818D-1F31F3693BF0","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":"Q5875368$DA4EEB6B-9DFF-4C62-88C9-3BC7F3A6E7F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$22F71682-54ED-46FF-980F-7287C1456FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a08fb04a108ab8179c102cae98c498881a4c20a4","datavalue":{"value":{"entity-type":"item","numeric-id":3883572,"id":"Q3883572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$0E23645E-17FE-4C9B-8BEA-83C7F9D3E25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceac030f33768130384ff22d55a313bd82d103a2","datavalue":{"value":{"entity-type":"item","numeric-id":5212778,"id":"Q5212778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$CED7547B-F7A8-4B84-A10E-A0DE480732AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f6ea5df422f167838431ecaa027a434d0f97307","datavalue":{"value":{"entity-type":"item","numeric-id":4635875,"id":"Q4635875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$034DBCD6-3D34-4216-B3E5-4B4912539DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"782d668c2c8d680b64d5fbe30ceacb4e76140a53","datavalue":{"value":{"entity-type":"item","numeric-id":5365120,"id":"Q5365120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$11829F44-7F1F-42FD-916F-74C65E2EC045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd043504df62fd841e9e840351450e2b71b58b9","datavalue":{"value":{"entity-type":"item","numeric-id":5743484,"id":"Q5743484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$90784737-926F-4D1A-84DB-43DA05021E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55a423b426bfe961d94df0c876b1e4f6ab322de","datavalue":{"value":{"entity-type":"item","numeric-id":3189650,"id":"Q3189650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$ED2E99F7-30AC-4D23-9446-92178B284369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d971f86da53de2b9dcbb4f1d3871daa5c336e2","datavalue":{"value":{"entity-type":"item","numeric-id":4635810,"id":"Q4635810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$ABD4ACE9-B1FE-4960-A128-94C7F6E0D350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b085717a6fe9377688b1983cbb38ede3d27f4b19","datavalue":{"value":{"entity-type":"item","numeric-id":5367065,"id":"Q5367065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$466B8801-8D42-4ADC-99D6-2EFBBE9077C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0618ab971b1402c4c34251dffc850ea86689a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$14ED61D1-4CF5-463E-97AC-7DAB5030A128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$D2902E87-047C-4821-89BA-4E53198B73EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc0245620636c061da256a372bbc4096dfc478","datavalue":{"value":{"entity-type":"item","numeric-id":5054804,"id":"Q5054804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$52BAD27E-5EB5-40DE-AA37-DF633C880AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8e8d52715fa79a66b406145c7ee2bb40befeac","datavalue":{"value":{"entity-type":"item","numeric-id":5875368,"id":"Q5875368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$AEA50F70-F73C-410D-A55F-DAF559F2F0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67ee9815f7ab3c8b2b4907677d99ca915d101b0","datavalue":{"value":{"entity-type":"item","numeric-id":1164622,"id":"Q1164622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$CE20A519-A4F6-4255-8C5B-8E69AE9E864B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fedac017e3c49bc73dda1fea9489f7e999e6574","datavalue":{"value":{"entity-type":"item","numeric-id":3457793,"id":"Q3457793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$99082A11-B234-4D7F-BFB9-EC615BCFE292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875368$A0F2D6B6-CA44-425F-99F9-ED6F29BEE84F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05c413afcb3a289e5dc21b9e1ae74310741c23ea","datavalue":{"value":"10.4230/LIPICS.CONCUR.2019.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875368$3009888B-AC08-4150-AC55-208B123EC15C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"249d28405bad60f2f7b80c18333ce99038897bbf","datavalue":{"value":{"entity-type":"item","numeric-id":6039402,"id":"Q6039402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a143d17bb120fdadcf48541e2c8a5024d02c60","datavalue":{"value":{"amount":"+0.8704311847686768","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":"Q5875368$D681EF9D-F097-4CAA-AD28-2D6A23EB6D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae2bea0b3d183ebd3f3e196d364626579a2e522","datavalue":{"value":{"entity-type":"item","numeric-id":5367065,"id":"Q5367065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d5183cd61d8258e2b4597c27449e61b4258393","datavalue":{"value":{"amount":"+0.8197741508483887","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":"Q5875368$DF278DAA-AD6B-41D8-B9A8-B6A3F6626E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"574a2a76f353870d1f24d07ec8c6f83caee9c4c2","datavalue":{"value":{"entity-type":"item","numeric-id":4635810,"id":"Q4635810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe736d5dd68033bc56c74f786c7b6291863338d","datavalue":{"value":{"amount":"+0.8147516846656799","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":"Q5875368$E83184B2-336F-434B-B6D8-EBC39BAA0141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bfb1fdbdf974c62092c35f4a314606d13947d39","datavalue":{"value":{"entity-type":"item","numeric-id":5365120,"id":"Q5365120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75099ceba96752defa09f01cd793c61edb200530","datavalue":{"value":{"amount":"+0.7755860090255737","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":"Q5875368$DEDC5F96-76DE-4870-A7EF-4017CC4AE7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c682383d1aecdaedc3de996d96c11d610e751a59","datavalue":{"value":{"entity-type":"item","numeric-id":5054804,"id":"Q5054804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8c0d658f86b69a2bf638e3933edd025f99481e9","datavalue":{"value":{"amount":"+0.7577817440032959","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":"Q5875368$1B23CD1E-DB4F-4B4A-90FF-EDD17EFD9C6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875368","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875368"}}}}}