{"entities":{"Q7317508":{"pageid":31318738,"ns":120,"title":"Item:Q7317508","lastrevid":105110272,"modified":"2026-09-17T09:35:03Z","type":"item","id":"Q7317508","labels":{"en":{"language":"en","value":"The value problem for weighted timed games with two clocks is undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8243923"}},"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":"Q7317508$5A07BFF4-C69C-45CC-B73E-B155723C3428","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7bccba744d89bc0ed7e84cfdbc84d6fbdd5a913","datavalue":{"value":{"text":"The value problem for weighted timed games with two clocks is undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7317508$5EA41771-159B-430A-B5EE-3EAF7A720194","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e658b2dfbd536b70b54fa3b5ef757b75f68ad29","datavalue":{"value":"10.1007/978-3-032-22730-0_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317508$980784A6-1763-4B2E-B4EA-0DFDCDF47B6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10e43f5d7906e93751011caa127fdcd7252fd6dc","datavalue":{"value":{"entity-type":"item","numeric-id":6388745,"id":"Q6388745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$9A17207F-0B2B-4355-BB46-1B38962A8BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$B6F355A3-2909-488E-AD8D-0454D95BD5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e35e9fc04cc5e956a88f22a48e19c00e1fd1eac","datavalue":{"value":{"entity-type":"item","numeric-id":6391198,"id":"Q6391198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$C385363D-7A0D-464D-8D3C-E21A68EFE810","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"679b4e0b22b8f0492481521a42d04ad8739e3203","datavalue":{"value":{"time":"+2026-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7317508$2520492E-AEB7-4854-8BF2-27456DE76DB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317508$77695331-2E9A-4E4D-8916-D36B05E99544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317508$69411E8B-8964-4FDD-B9E9-41BE84DB2110","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a41d701119889a24d012f1f71d3a79275d1ae8e","datavalue":{"value":"8243923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317508$7F348153-8BD8-4C05-A52F-9BD93AEF51EE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$01DB0ADE-2114-40BB-AA89-B9AA99503CE7","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":"Q7317508$6417E170-B2D7-407E-AC84-66EFA1F5D94F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5352eafda026df0ca8bde0e787c3dea427f206","datavalue":{"value":{"entity-type":"item","numeric-id":5466455,"id":"Q5466455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$2119F081-87F1-4B3A-95FE-960EBEBF78E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8af3609590dd785f66ab4cc5586dc3cacadf8334","datavalue":{"value":{"entity-type":"item","numeric-id":6044109,"id":"Q6044109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$C9D95DC6-CCA5-4703-947C-0EB0A5522A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b510edf59a7fcfd0982ca5637cd8b0703312929","datavalue":{"value":{"entity-type":"item","numeric-id":844195,"id":"Q844195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$480DCFEA-28E4-4052-997D-B63F76178C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391c43f46aca23c169f26439c4a79ec43333e81d","datavalue":{"value":{"entity-type":"item","numeric-id":5465848,"id":"Q5465848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$B6274D01-1393-4684-8362-FC7C960F33DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfb92c09741e24925ae7438b1de48e2703a5598","datavalue":{"value":{"entity-type":"item","numeric-id":5357712,"id":"Q5357712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$0B697147-E09E-4C47-9992-A47ACF95AA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660cfa50376c5b29e7f86011d33a5472568b8759","datavalue":{"value":{"entity-type":"item","numeric-id":5385998,"id":"Q5385998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$0A9C7C40-1945-4C27-B635-D2EB7217D8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb90bbfdc61aee8c84150d46056ce0f1a0e39f","datavalue":{"value":{"entity-type":"item","numeric-id":5897953,"id":"Q5897953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$C6B7AB45-0833-49B2-B104-D3AB2EFFEC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc6c0e8c37afe5cfdacb2f244126a8678bd3659","datavalue":{"value":{"entity-type":"item","numeric-id":3012937,"id":"Q3012937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$A705909A-41C0-4442-BF9E-BDD1AED418E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7c91a7f15ff7d0a73481d4336a26ab85760947","datavalue":{"value":{"entity-type":"item","numeric-id":5166676,"id":"Q5166676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$E5801A2E-5549-46C7-994B-69C039ED3531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"828e107922640c87c8e7bd5c362d472153ee4c44","datavalue":{"value":{"entity-type":"item","numeric-id":3190143,"id":"Q3190143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$8C2CB341-C441-44CF-92F4-5DDB5B1FA813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d30d6fee2e34bd6aafcd0fbf92ad900755ee8a","datavalue":{"value":{"entity-type":"item","numeric-id":6135744,"id":"Q6135744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$78622682-5135-41FA-B405-0B04E49C3CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96950351f65f04e708e75281222bc09aeb10e4d6","datavalue":{"value":{"entity-type":"item","numeric-id":6859921,"id":"Q6859921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$3B138956-9843-474B-B476-8C171868D007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f744953abe92fee7ebcca2ae553853038af50297","datavalue":{"value":{"entity-type":"item","numeric-id":4270068,"id":"Q4270068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$0231E179-F792-41CF-83F2-3637CB29FEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$EFE5231F-0300-43A7-B801-9A5EBAD949D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$8C82D883-57EE-4BE0-B065-A51AEE0C7948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88546582672d625929a475ebe9c7eaa5415169a","datavalue":{"value":{"entity-type":"item","numeric-id":6587121,"id":"Q6587121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$46A6F186-9D52-4388-B2D8-AB78E5D973D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5dd7a0ac47757fc0c679cd85b00743d85f9a2e1","datavalue":{"value":{"entity-type":"item","numeric-id":3184695,"id":"Q3184695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$52C23D7F-0DFC-499A-B423-3EC4328A1313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989f945648eb4af6145e42c6c0f25e4999d1bf7b","datavalue":{"value":{"entity-type":"item","numeric-id":3587425,"id":"Q3587425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317508$C1A29680-64F4-4A77-8876-4ECDCD8A9B62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The value problem for weighted timed games with two clocks is undecidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_value_problem_for_weighted_timed_games_with_two_clocks_is_undecidable"}}}}}