{"entities":{"Q6623016":{"pageid":14234168,"ns":120,"title":"Item:Q6623016","lastrevid":40597689,"modified":"2025-03-07T18:01:28Z","type":"item","id":"Q6623016","labels":{"en":{"language":"en","value":"Quantitative reachability Stackelberg-Pareto synthesis is \\textsf{NEXPTIME}-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7930575"}},"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":"Q6623016$5F44DF4C-A827-4F58-B500-DA0AA5EBB08D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec2bb2c8e771e796f5a1469ab807f73dc46f0d0e","datavalue":{"value":{"text":"Quantitative reachability Stackelberg-Pareto synthesis is \\textsf{NEXPTIME}-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6623016$0BFB46D6-A4CB-4C06-BED0-AE317C5B06D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e37ffa6e296710e1612daf7f6c17459864f54c50","datavalue":{"value":"10.1007/978-3-031-45286-4_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623016$664A3BD4-8D3A-45AA-B0ED-C807462B6368","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c813e4eac9249a49160a1fa23fbb3a021a9d29aa","datavalue":{"value":{"entity-type":"item","numeric-id":520341,"id":"Q520341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$0C981016-CCF7-4F90-9A4E-EA9BDE35244B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99844aba0deee409850cec53537867a00f71d64b","datavalue":{"value":{"entity-type":"item","numeric-id":213200,"id":"Q213200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$34DB2FC5-810B-4329-AC47-530230541D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf3e646fd72fa24c2c7403e32098a6d54197af44","datavalue":{"value":{"entity-type":"item","numeric-id":6623015,"id":"Q6623015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$FD237DAD-368E-4DD4-8F7E-151697D49D91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f8156c881a59c08519b94b052c3c5df776b8285","datavalue":{"value":{"time":"+2024-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6623016$41360AFE-BC19-4169-B203-C9A087A548F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623016$78EAEF4F-E276-4AAE-914E-E2A67FA2D6A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f325d0690b8734f18ce4f7394b7f74351a4e7c5","datavalue":{"value":"7930575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623016$92BAD23A-67A0-42F1-A201-9F9BC3FB6B94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e5516e7ca00af59dc52dbcb49b11b35d40babc4","datavalue":{"value":"two-player Stackelberg games played on graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623016$B36DA8A7-A09B-440C-9330-E2F311325D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a67d2c5005fa362b84c077c8a3727fd906e2ed4a","datavalue":{"value":"strategy synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623016$E49A12CF-185C-4FE0-8377-E9658A54628B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e047f60f8883a189088536c2df9defec316d2d43","datavalue":{"value":"quantitative reachability objectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623016$57F4AB97-0AAF-41D7-852B-F38ED5917137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828b4608cd3df4e62c5ac60cc2f242ae61f91fa7","datavalue":{"value":"Pareto-optimal costs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623016$862E6923-CD63-476E-AB61-D9C64B3A08FA","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":"Q6623016$74065ECA-49E1-4515-8B87-2AB65C4B86C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8982707d3c7db3d6d8b76ff09d432aa7d4eb5d","datavalue":{"value":{"entity-type":"item","numeric-id":6176102,"id":"Q6176102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$90A73F8F-37C9-41AE-8680-F5A3279EDD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"318b80cb6f51e9fc9324635a09c09b48471126ad","datavalue":{"value":{"entity-type":"item","numeric-id":3590934,"id":"Q3590934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$31F583B4-881D-4402-AD77-543124987561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389f8bb6e034f5dba5389bf7419cef429b2c3164","datavalue":{"value":{"entity-type":"item","numeric-id":3176385,"id":"Q3176385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$A96C7FDE-1F04-4996-B713-11061CD491E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"568c3ccc6936b77d68e20bdcbf6bde549d1dd370","datavalue":{"value":{"entity-type":"item","numeric-id":2798706,"id":"Q2798706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$F8BEEFA8-B264-4190-B333-AEFB647BE012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326d4fd2005cf6bf275e8595a0f50eb56f6f399d","datavalue":{"value":{"entity-type":"item","numeric-id":5357697,"id":"Q5357697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$766498D0-E2EE-40E9-97C2-49A2EAAC95A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a31f45d3b5547812e718aa9ae3cc49a576f727a","datavalue":{"value":{"entity-type":"item","numeric-id":6176100,"id":"Q6176100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$AACCC3D1-9E76-4E8A-A269-958B4DD14F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a7828f70ed04cc1a27a33daa626c699e38fd87","datavalue":{"value":{"entity-type":"item","numeric-id":6560917,"id":"Q6560917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$592DA496-E57F-45A6-BBAC-ACC1EA35564C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86958dc554a228237bf6305d72c110b62b9db33b","datavalue":{"value":{"entity-type":"item","numeric-id":6124939,"id":"Q6124939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$3A687BCD-3F15-4AB9-BE60-6144CBBE81B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0137b9cfd765b36ea22b9c989328caa75de02a96","datavalue":{"value":{"entity-type":"item","numeric-id":5140263,"id":"Q5140263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$F8C7706F-76B6-4489-A5B3-8CB52D349FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c06749ebe31c2165500d4b5392c1dc34c2135929","datavalue":{"value":{"entity-type":"item","numeric-id":6134271,"id":"Q6134271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$DD5D825E-34EA-493A-B82C-C62D00FFF6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f74de59690e9f56072e126e68e339f65faa603","datavalue":{"value":{"entity-type":"item","numeric-id":6587141,"id":"Q6587141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$AAB3DD4B-02A5-4F0A-8252-73F716BA89D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4857472ab7a7fc0e2b77e238d9cbcb3d364d796f","datavalue":{"value":{"entity-type":"item","numeric-id":5758113,"id":"Q5758113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$2D061710-B9CE-4887-B522-804F7BDC0DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b3a63191708fcbef13555df7dd8e686610d49c","datavalue":{"value":{"entity-type":"item","numeric-id":854165,"id":"Q854165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$5A8052ED-9E80-4081-8418-EC68B9B00406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$D001532F-30F5-4D42-8E94-2FD2424DD980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a12cb598d98d97d37467fdfec8f830a34dd499ed","datavalue":{"value":{"entity-type":"item","numeric-id":4598263,"id":"Q4598263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$4358A4DF-29A4-49DB-AD2C-C9EFA39B9483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f53750f6f97bf611de436c1c9e3df97c92a7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3557077,"id":"Q3557077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$F0BAC9BD-4A8A-49A5-A563-64F48BE59D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e198cff7ab52d227eacd90e636628a66cf9f8f21","datavalue":{"value":{"entity-type":"item","numeric-id":4595960,"id":"Q4595960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$E56DF79B-4E5E-492A-8FCF-0511327A3503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$855A1810-F547-49AF-9117-7C273C81A8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52f5f8e6b6733bc93603e4856733e20f1adca48b","datavalue":{"value":{"entity-type":"item","numeric-id":4599509,"id":"Q4599509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$BA016924-4551-4869-9F9E-F06530C2F9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebcb2c3ea02f5b4aad717bb88baa6747c78994e","datavalue":{"value":{"entity-type":"item","numeric-id":5013875,"id":"Q5013875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$2A5DCB8B-D6AA-450F-9726-EE4E1701678C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2626181f4d3f137348345fd1dd5a4f414d667ba","datavalue":{"value":{"entity-type":"item","numeric-id":2211871,"id":"Q2211871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$F5FCD96C-B6BE-4664-8A70-F0576602EE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534199234bcf7ee6a2f8344ee9137fd5d18b5302","datavalue":{"value":{"entity-type":"item","numeric-id":2669180,"id":"Q2669180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$134A3302-45A0-4D02-8CCE-05D6C2350AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fdf560790028689b31f820345fd7f3e402b946f","datavalue":{"value":{"entity-type":"item","numeric-id":314471,"id":"Q314471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$8EE925B5-337F-45AE-B7A6-D649DD908460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cd3542a126cdd55f00fd488e0b7c68ec3f77ec0","datavalue":{"value":{"entity-type":"item","numeric-id":6535558,"id":"Q6535558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$73B626BE-01AB-4E0A-96FA-EFCEAC552E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab98f9d075e736218c3e96cb796315f50ea82db","datavalue":{"value":{"entity-type":"item","numeric-id":5793846,"id":"Q5793846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$F48250C1-B311-49F9-A321-0513C4CA6276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c666a79fc592174c4038c17bb6d8f45ed067fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5844986,"id":"Q5844986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$71B0B0C2-E53B-4588-A5F5-90B16CFE5CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6527e7018fb4fc6f638f05f80534e57354446f90","datavalue":{"value":{"entity-type":"item","numeric-id":3576736,"id":"Q3576736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$07A3DBC5-F544-47F9-874A-DF3E73B2D8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155528a6510d97c5348a16312872450945874dd5","datavalue":{"value":{"entity-type":"item","numeric-id":5385987,"id":"Q5385987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$59B58101-CC59-40F3-A16F-EDAC4DA35903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82eb7a424067c176d82871dca16673edd03c630f","datavalue":{"value":{"entity-type":"item","numeric-id":5458348,"id":"Q5458348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$543DCBD3-D78F-4DFD-9925-A3024735DE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9713421918f6869e50dd22e530b5f937b309d98d","datavalue":{"value":{"entity-type":"item","numeric-id":3090850,"id":"Q3090850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623016$3046A3F2-4DD0-490D-8265-8F1A339682AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6623016","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6623016"}}}}}