{"entities":{"Q43956":{"pageid":44012,"ns":120,"title":"Item:Q43956","lastrevid":105428570,"modified":"2026-10-09T10:10:07Z","type":"item","id":"Q43956","labels":{"en":{"language":"en","value":"Differential_Game_Logic"}},"descriptions":{"en":{"language":"en","value":"AFP entry Differential_Game_Logic"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"7cd1d9d5053c4cbb0070e62dd589d38783ad8676","datavalue":{"value":"32245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43956$603B2900-1E19-4754-9830-90DA1EF3A2F7","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$56B23CA6-32F9-4C2A-805D-FB23A72C7023","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"6c7796e7b3754b6e3e6b8cf60819cfa18666cdf6","datavalue":{"value":"https://www.isa-afp.org/entries/Differential_Game_Logic.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43956$94CF17D8-E0AF-4341-A218-251260BA92D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43956$677EBD74-9BF7-4FF6-B312-39512D9C5AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43956$CB72AFCC-574A-45C2-9623-6DA9CD810553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43956$1BF2D5B1-3372-4D48-A636-94E0C3B62017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43956$BDAC6C78-9E4F-457A-AD40-ED3A862CDBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43956$7D4FF762-410E-48A9-9F6A-F97E6D7B427A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca6833d3c12e329e13f5f7a45eb21803ac988009","datavalue":{"value":"91.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43956$546734F5-D060-4C22-94BB-3C719D31EB5B","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6ea1daaaad60197d0d83fc7ac701579957406893","datavalue":{"value":{"entity-type":"item","numeric-id":16063,"id":"Q16063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$747B5D02-DDB6-4F3E-8802-0DF9B60904E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"181a8497f7a319d54026dcfccf5a714e5c58403f","datavalue":{"value":{"entity-type":"item","numeric-id":40512,"id":"Q40512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$1750E3E6-F293-4D1A-AD21-1585C8A31480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$8BA629A2-C07B-4062-BD7D-1B731B815F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cf16ca8b4217a77a4217a7973bcd79e35c3e2bb9","datavalue":{"value":{"entity-type":"item","numeric-id":5974121,"id":"Q5974121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$4F4167F7-EE75-4AEE-AD37-495C3B5AA4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a84cec67941530633e685a8ee56a19ae6a02d7e8","datavalue":{"value":{"entity-type":"item","numeric-id":56258,"id":"Q56258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$E27D1CA4-5EDA-4307-B708-421DC711ADBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$263AA94D-9778-48FC-B1AC-A0FBD1A5415C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fef5119cc276a651ea287663b7bbac85166163c6","datavalue":{"value":{"entity-type":"item","numeric-id":37397,"id":"Q37397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$5A6E104D-3DF2-4F07-8901-954CC9CA4F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cca3a32b180baf92e5c1bd6e47c20bc43d7599e","datavalue":{"value":{"entity-type":"item","numeric-id":32996,"id":"Q32996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$8F95AA31-76F7-49B6-8746-05AD0AA93E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dbfb5e33d8cb9dbe814515b007e55b6104c2d79a","datavalue":{"value":{"entity-type":"item","numeric-id":24996,"id":"Q24996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$3F44976A-B770-4DA5-9E6F-ACC0FA2118DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"de0d5159ddc96393b5171ce31ad1e7bb3c965ab1","datavalue":{"value":{"entity-type":"item","numeric-id":25200,"id":"Q25200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$3DC05185-EC62-4EDE-AF0F-90A426D34CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"faba020dd5002b435d2295ed59494070f5de5bcd","datavalue":{"value":{"entity-type":"item","numeric-id":39931,"id":"Q39931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$F514A7E7-70D3-463C-87AA-7BB88584F926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$899E3CDE-249C-4BC0-B141-18E5DBB94541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"64ac3263c009877925208395a08445516c179997","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$03F030CA-50FD-4187-B233-3FD8F43C3693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"14c9bcf9c514f08bfce65561dbbcf4b9dde98592","datavalue":{"value":{"entity-type":"item","numeric-id":31984,"id":"Q31984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$5B3B780F-856D-4E41-B375-1753DB1AE6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"24c387ececd24fa7a9a4716819d51e1718cd572b","datavalue":{"value":{"entity-type":"item","numeric-id":13328,"id":"Q13328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$257649EE-E8F7-45BD-8B30-883B249C4314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"20f24b35928b1dd8019717de94ed50292b94fae9","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$DE35428B-6915-4FA2-955B-26CD3CB6687C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f92331a4dfe272ecfe4cae260035b032244a3e5","datavalue":{"value":"https://isa-afp.org/entries/Differential_Game_Logic.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43956$CF40BF0F-BDE1-4F61-9FD3-BA9A5841232D","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"2b48e2682a2513a0cff9334966950be891f3a311","datavalue":{"value":"Andr\u00e9 Platzer","type":"string"},"datatype":"string"},"type":"statement","id":"Q43956$F5DF78AC-D390-474C-B3FF-958F417F60E8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"62d1caed7d9dc1fd21a18d3ac5d0fbc8eaaf5274","datavalue":{"value":"This formalization provides differential game logic (dGL), a logic for proving properties of hybrid game. In addition to the syntax and semantics, it formalizes a uniform substitution calculus for dGL. Church's uniform substitutions substitute a term or formula for a function or predicate symbol everywhere. The uniform substitutions for dGL also substitute hybrid games for a game symbol everywhere. We prove soundness of one-pass uniform substitutions and the axioms of differential game logic with respect to their denotational semantics. One-pass uniform substitutions are faster by postponing soundness-critical admissibility checks with a linear pass homomorphic application and regain soundness by a variable condition at the replacements. The formalization is based on prior non-mechanized soundness proofs for dGL.","type":"string"},"datatype":"string"},"type":"statement","id":"Q43956$3B30BD80-5EFC-4A5C-A7F9-C5E8F4AFE2A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e290955ee6ca5554084d23c314e7b9e86cc94b02","datavalue":{"value":{"entity-type":"item","numeric-id":1651606,"id":"Q1651606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$1B4C833B-D52C-471F-B49E-67D688C1BE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01d623cdb30dd4d047f4e0d4b381cc0d2f01397","datavalue":{"value":{"entity-type":"item","numeric-id":1799081,"id":"Q1799081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$6024F667-9C83-4436-85F8-E8A0B85B1584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9010deb8721d3089768234610be326b6fe8b0b13","datavalue":{"value":{"entity-type":"item","numeric-id":2305431,"id":"Q2305431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$1426F8F2-43F2-49D4-9020-36ACFA4D031D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d369a00a912276bbb6f1d71c301f7df62056f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5277902,"id":"Q5277902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$0B401979-D855-482A-9070-73BD2371EF62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9294cebbc147bfa1be1bf0fac1781c80c4b77b1f","datavalue":{"value":{"time":"+2019-06-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":"Q43956$9C42971A-BE6B-4849-A63E-42502B82BBA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9176918d8f110e3521a94bdf81deaabb79a21556","datavalue":{"value":{"text":"Differential Game Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q43956$B0AB86D0-1428-44C6-B204-F20380D1EFCA","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$2ACB8A15-E962-48D3-B9E3-5D1344CA16F3","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"aa8f6bd5a2b4440f838b34acf103bdf45fee4f56","datavalue":{"value":{"entity-type":"item","numeric-id":7360797,"id":"Q7360797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43956$E77C8812-D294-4073-8C6E-4C8D032B8BBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Differential Game Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Differential_Game_Logic"}}}}}