{"entities":{"Q5089248":{"pageid":7118824,"ns":120,"title":"Item:Q5089248","lastrevid":39528259,"modified":"2024-12-30T14:53:11Z","type":"item","id":"Q5089248","labels":{"en":{"language":"en","value":"Optimally Resilient Strategies in Pushdown Safety Games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559445"}},"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":"Q5089248$BBF86BFC-7A96-4B35-8C0F-A47BCE600B76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"985ba93433527f6d082a450a60d069993898369d","datavalue":{"value":{"entity-type":"item","numeric-id":477196,"id":"Q477196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$501E3A76-FEC2-40F6-ABEA-767DABD9B1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b40c8beb7cf2a3f6eefb5705d808ad6c7eca7d","datavalue":{"value":{"entity-type":"item","numeric-id":1675153,"id":"Q1675153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$CA3FA837-D665-43D5-BD4E-CAD17D8C690E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55747a80f3ab2fd6b2d6e1010dc381d0b7b1832a","datavalue":{"value":{"entity-type":"item","numeric-id":218365,"id":"Q218365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$AB47169C-73C3-48B3-8BAB-0BD1CA642FD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089248$8EDA8684-AD13-4983-9ACC-187F94CE4E96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91357e8a90b59b6b1b040a3f5ff696bfa57190f1","datavalue":{"value":"https://arxiv.org/abs/1912.04771","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089248$03FC744B-947B-4429-B01E-DB250300F084","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089248$F827B93D-C863-4DE2-A8F1-48A3D4D7D0B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2555c9fa2f0a513db7afc7f21b5b80588061d902","datavalue":{"value":"7559445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089248$BC0CF7AD-91A8-4BA3-A207-026151F63312","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089248$7CDD1C67-2018-4442-A1AA-268782CEB2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9990370dd0c067c8312dfaca782543e55e0052a7","datavalue":{"value":"infinite games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089248$9459CC47-CA7E-4EB9-A080-2C3921A424B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5a13b94abc10828138908f8eb6d99059a7affb4","datavalue":{"value":"resilient strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089248$ABF5EB22-D6C0-4153-8C27-E1940774CFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ae0d21c5107a0cc51de1f926ba62ab38a599764","datavalue":{"value":"pushdown games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089248$FB9D290B-A52B-4FC6-9774-3181150586D1","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":"Q5089248$B96D09BA-E32D-4575-8E2E-7FE31870692E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"548b87e5ca30bf4b84cee02f3c781266774526c9","datavalue":{"value":{"entity-type":"item","numeric-id":4635588,"id":"Q4635588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$DD0D00BB-C9F5-4C60-BCD4-AF3137BAFD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825657db0ac0992842dd794b8f84579da8dce60f","datavalue":{"value":{"entity-type":"item","numeric-id":1677194,"id":"Q1677194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$EBE40A48-2F63-4B42-97B8-EF56D8EA2219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24bc9a8ada014558ec231dcbb17e14ca4952ee40","datavalue":{"value":{"entity-type":"item","numeric-id":2249662,"id":"Q2249662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$4C5A14A8-EAA4-482C-BB0D-8DD856551236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6b203ccee89cba0fc5313f7a0f776d40ce0008","datavalue":{"value":{"entity-type":"item","numeric-id":3636858,"id":"Q3636858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$BA23AB3E-B823-47AF-9C3B-E117167EA5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd7ddd01c3f0f84915e87c932ae070ccc0c2bd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2637644,"id":"Q2637644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$86A3AA29-2CCE-4AF1-9474-2FEAE4B6CAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d9066281e5b3618aeffcb97107bfc8ee2bc7c9d","datavalue":{"value":{"entity-type":"item","numeric-id":3543286,"id":"Q3543286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$A1D6AB3F-950B-4FC2-B0AD-D52C6AC64B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$AF935C37-29F2-4859-AB61-BA33F7BCCD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e099c29cb4a85f55d1d4608c736de84d6a2daf0e","datavalue":{"value":{"entity-type":"item","numeric-id":4737201,"id":"Q4737201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$63613DBD-9D10-452A-9E4B-D0BEA8D499AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4ba8ad0015ebc38a98f36a30b794c48e39e67e","datavalue":{"value":{"entity-type":"item","numeric-id":4449203,"id":"Q4449203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$D99AB2FD-4897-4D92-AD32-2406D050C921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c28b21a50a636d04fe8fe93e40f0e02c331174","datavalue":{"value":{"entity-type":"item","numeric-id":5005144,"id":"Q5005144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$F8A9978E-7C07-4B09-BE25-8C5B7E8C6FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e059f3dca199d7994c5fa7a4449218cc1872240b","datavalue":{"value":{"entity-type":"item","numeric-id":4287357,"id":"Q4287357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$3F0494FA-DEB3-48C0-8FB3-30A011554B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a1a2c7a23cab7cb7c6bb323ec1719b3ac6dad0","datavalue":{"value":{"entity-type":"item","numeric-id":3172532,"id":"Q3172532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$9BF85ABA-1AFB-485C-949D-C02BB3EEDCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f54d3221a6f7507dfd063ec193f239916eabeba7","datavalue":{"value":{"entity-type":"item","numeric-id":2796398,"id":"Q2796398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$3591EF29-428C-443D-A6C8-18E0320DB313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5929718a7ff8bd50169581d25854bcf96420266","datavalue":{"value":{"entity-type":"item","numeric-id":4986514,"id":"Q4986514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$FAB54FD4-E6E1-4AF7-9079-35F8C44B9438","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":"Q5089248$F3E5EB27-2B8C-4CFB-A5D1-9E579D149B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20ea578e05c45d517ddd671dfcd425e15aaf444","datavalue":{"value":{"entity-type":"item","numeric-id":4636591,"id":"Q4636591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$7D3A5285-1DD5-416D-B7CC-5A6D8A79AF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1acd29ce016ff67ba2b3d92d5df81c197c013b72","datavalue":{"value":{"entity-type":"item","numeric-id":1675146,"id":"Q1675146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$1EC25439-ADC1-4C49-B4DF-2627D4109F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035953d69d4ec28ba15a06a5e445473722bc5d49","datavalue":{"value":{"entity-type":"item","numeric-id":2380016,"id":"Q2380016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$50148967-3BB0-4488-BAEC-D500D1ED4EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de91ecb193514088bc3752dcf7515e5158d8d0a","datavalue":{"value":{"entity-type":"item","numeric-id":2754072,"id":"Q2754072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$67379459-1E5E-4566-B869-7C6B381FB6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd06688d0a2118d72cedd0d86de5ca69bef5bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1084096,"id":"Q1084096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$8D5F2241-95E3-4417-BD7A-3FE2CDD18660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"039f99ab48745e714e06c80f71dbb0629381fe13","datavalue":{"value":{"entity-type":"item","numeric-id":3073641,"id":"Q3073641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$EF28E0CA-58E4-4C8F-BFE7-7A2A217AFA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72602412fc4843dc076fcdd0c6befe70a32a36eb","datavalue":{"value":{"entity-type":"item","numeric-id":2272917,"id":"Q2272917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$FF1DD433-5439-4E32-B45E-DF6AEFAB2B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086cea8523ed1174345784fc14ca4c7750412bde","datavalue":{"value":{"entity-type":"item","numeric-id":5079759,"id":"Q5079759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$67F5AE74-1814-4698-BA45-4A958C935BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"662f6b65924e793a444fdd44690ab1feec5be531","datavalue":{"value":{"entity-type":"item","numeric-id":5458821,"id":"Q5458821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$775EB360-9D0F-4C95-B665-441B2C776D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f01f82b19f90331cfd390537d19adf974f07fe","datavalue":{"value":{"entity-type":"item","numeric-id":1589483,"id":"Q1589483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$B8A76F3C-DE5B-48B5-925E-990455170377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ff752370cd630c25c6f93f64154afbd4cb8264","datavalue":{"value":{"entity-type":"item","numeric-id":5317186,"id":"Q5317186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$4362C67E-6E6A-4383-BBA3-BF1C82EE7C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b8d231dd75703dab184a9e4819c4bc38b5e15b","datavalue":{"value":{"entity-type":"item","numeric-id":5899098,"id":"Q5899098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$210DA798-22E8-4CE4-9710-2C80F5918190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7024a9473052e6077ed02788c664c7db7649f7f4","datavalue":{"value":{"entity-type":"item","numeric-id":4665738,"id":"Q4665738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$462A3903-8C5F-4817-86A5-B097127A357C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3b9666e250b87c729eb1facbed102a95f53662","datavalue":{"value":{"entity-type":"item","numeric-id":2982916,"id":"Q2982916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$316DD5D1-5A68-4AE3-8CE7-46A1A13845B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2be1205f152dec80bff80cbf0be145193cfe5e","datavalue":{"value":{"entity-type":"item","numeric-id":5278396,"id":"Q5278396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$6C5F32D2-F2D1-4238-B084-AA1FC0D73B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31db24485a953550755101262c70ff77330a5796","datavalue":{"value":{"entity-type":"item","numeric-id":2986755,"id":"Q2986755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$07AF3569-9619-46FC-91DB-1C33D4F9B748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391628c44eed33c4ff4111b5ed5fa7e2cf522a6e","datavalue":{"value":{"entity-type":"item","numeric-id":3000615,"id":"Q3000615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$909F543D-9D30-444E-9551-4CC7508CFC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089248$C618F127-4C46-4230-88E3-32C553CF91AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b338987a44e0bbb2c465e2a0972765c5d9027af6","datavalue":{"value":"W3082937577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089248$D474D77D-A910-4624-A9CA-F9141D1B4515","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f931698d65c33a5641d48520caffef77e23305e","datavalue":{"value":{"text":"Optimally Resilient Strategies in Pushdown Safety Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089248$2B5A2FED-13B7-4866-BA12-61847C326881","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9cdc43b8833b8f778bc326b0360f6c60ea4f115","datavalue":{"value":"10.4230/LIPICS.MFCS.2020.74","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089248$4F88F78E-5B3B-4699-89DA-EDEB3E1F8D2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089248","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089248"}}}}}