{"entities":{"Q963321":{"pageid":965169,"ns":120,"title":"Item:Q963321","lastrevid":65679189,"modified":"2026-04-12T04:16:48Z","type":"item","id":"Q963321","labels":{"en":{"language":"en","value":"Reduction of stochastic parity to stochastic mean-payoff games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5694898"}},"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":"Q963321$5D94F51F-BDC1-4536-AA36-D70B48D99491","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c751b747c626b897fcec07f9bf404040861d0a89","datavalue":{"value":{"text":"Reduction of stochastic parity to stochastic mean-payoff games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q963321$3FFCDFCF-3476-425D-A3AC-9067AA6E6DD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37dee4f8504cc60a07cefa04a38dd92664852980","datavalue":{"value":"1186.68306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963321$BC9E71A5-C4E9-47CD-95A5-89D4FC8BA311","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":"Q963321$E5AD18D9-6ABA-4EB9-92BB-FFE09834F30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963321$65174A87-3E00-4513-B805-157EBB76AE7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963321$54CA025A-A99F-4DC0-84B1-9B5102987456","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df35f107dee033aa4a629b06ed8424344d71e9dc","datavalue":{"value":{"time":"+2010-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q963321$A61CB14D-4888-41F8-8A38-1DE5BF913639","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963321$3901188F-F057-40FE-8A5E-AAF9FD0B5B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963321$937823AF-AECB-4FAB-B2E5-D91C32C8E156","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44e4454b4187c6b274063c46c5162d6fa60aa736","datavalue":{"value":"5694898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963321$D53F02EC-CB96-4E52-ABE1-F5D62B31AD9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edcd547904b4b710397cec67a93d4375927f1a22","datavalue":{"value":"formal verification and model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q963321$2BFD71ED-A0E6-4A04-BA5A-FE672A5C573C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5946a51a5884d5e86db7472d96ff43e6ea9b65f","datavalue":{"value":"stochastic games","type":"string"},"datatype":"string"},"type":"statement","id":"Q963321$A37B6405-3CB6-4F83-8230-F08D2F694222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba1fba4d31f030e7bb15e21b232de6f7e5567d0f","datavalue":{"value":"parity objectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q963321$7D96AD6A-EBB7-419C-BAD2-A367971D6899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e2b6a031b3d87d81207877bd699d97977b4cdd8","datavalue":{"value":"mean-payoff objectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q963321$E29120D3-51FA-4C9D-97CC-E7FBEE60F55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q963321$0F2D53A5-B6B6-4BE1-99C4-1A7B4A986337","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":"Q963321$3E2067D5-637C-4E00-B456-ADBD5F76DE30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57736eed58dfe2c1c8170eba9937a261754d0aef","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2007.08.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q963321$32BF70AE-32FF-4870-8BA6-5429790D854A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d4b3501afdacc7973d163a951c7af61d9c12525","datavalue":{"value":"W2045519963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963321$7F6858F1-9CBB-4667-A1AD-F1428A669D86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f9cc32f7830e0996f59cec04dfbfdd93a06efdf","datavalue":{"value":{"entity-type":"item","numeric-id":5292630,"id":"Q5292630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963321$6E85B21B-4082-4A16-8C16-28ED1DF18F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e9a29ecc80627a0cc89632ef849db579cddde0","datavalue":{"value":{"entity-type":"item","numeric-id":5501249,"id":"Q5501249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963321$8701883C-FFBB-45A2-A029-1ED8C4B0E84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc619965c66a74b47a0342a5a69ac646fa9335ec","datavalue":{"value":{"entity-type":"item","numeric-id":1187025,"id":"Q1187025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963321$3DCA508A-8C2D-4138-A4DC-5CF46865F02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5142ee1d620d0b4118f77836a47316b18c6d1122","datavalue":{"value":{"entity-type":"item","numeric-id":4382287,"id":"Q4382287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963321$174B1679-2028-4030-A5C2-B0858A1398A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10911b7c11acce5de411682ea3cd88f86fd199b0","datavalue":{"value":{"entity-type":"item","numeric-id":293426,"id":"Q293426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963321$8FEE2EF0-E4DC-4D84-9801-6988A7AC8C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd3fd08ef1df4f4fa915c4516b9a6eee17fd89b","datavalue":{"value":{"entity-type":"item","numeric-id":5588290,"id":"Q5588290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963321$9565367E-BFCC-4039-9CF1-241BA1CF9C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f091ac9735d7d25655a2f39e67cc54905e7dd32f","datavalue":{"value":{"entity-type":"item","numeric-id":4428307,"id":"Q4428307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963321$7B51F7C0-525F-4E2E-8318-5232DB935B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5075438a643ae2f69c5413e36cd9d2c522d024f0","datavalue":{"value":{"entity-type":"item","numeric-id":4437142,"id":"Q4437142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963321$205D2D15-DEED-4FE4-ACBB-830AE7D4D70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963321$F9A32936-56AE-4331-9615-13F008336AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d62f5c97531146500b4b0a20ee9c3bd169eb31","datavalue":{"value":{"entity-type":"item","numeric-id":5308471,"id":"Q5308471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963321$21E5CA58-0474-4F7D-9E86-5D73F7630DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257b1d08d00265b4b9d7f1f76c094108a4e385a4","datavalue":{"value":{"entity-type":"item","numeric-id":1351468,"id":"Q1351468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963321$02D02C99-E1B2-4675-B1E9-3C19E7022B06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d2c8f95389c9fd10479e51778e067d6664a4763","datavalue":{"value":"10.1016/J.IPL.2007.08.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963321$3EE873EB-9912-4A17-8D3D-010DF021D303","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87266fcb7a1ccc8b8e5b3433438fb4337e68b40","datavalue":{"value":{"entity-type":"item","numeric-id":4964720,"id":"Q4964720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b141ad383317a1b186c0967ebe72ad8ad5b1d9","datavalue":{"value":{"amount":"+0.9505961","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q963321$7908D50F-317A-43D4-A8E1-2AA81A7D5C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad3cc86dd23c823b71a14c5b24b545728161438a","datavalue":{"value":{"entity-type":"item","numeric-id":2636482,"id":"Q2636482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a2f4bd0c240cddba4ddeb8230cd7b386e35fcf","datavalue":{"value":{"amount":"+0.8943839","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q963321$CDE17343-4E44-437B-B20E-F0BFDAE4E989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c0a6173f16bab4b21226fd599d2d4c3cc3a42a","datavalue":{"value":{"entity-type":"item","numeric-id":1594889,"id":"Q1594889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb1f8fa8988dc33f5ba108a9b615e191775c9cd","datavalue":{"value":{"amount":"+0.8935471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q963321$5CD84E5B-0CB4-457A-B197-C422D77B1E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f875372c626293d9845e049023c0c3b4de84c6","datavalue":{"value":{"entity-type":"item","numeric-id":2942443,"id":"Q2942443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d22a02599b621edc7f7a017452267c88f6fd3905","datavalue":{"value":{"amount":"+0.88415045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q963321$82D41ED5-3EE9-44F9-A58B-4C7FE05E82EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf13855dc99784620da1a98cda25b52bf9acbbc","datavalue":{"value":{"entity-type":"item","numeric-id":1906720,"id":"Q1906720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0135a5b4ceb49ed7fab8191033500a15116b036","datavalue":{"value":{"amount":"+0.8826763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q963321$2CFCA274-8E08-4B20-88F1-C15A4620D232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ddf17516ab86a93babb305f61a1989831d644f","datavalue":{"value":{"entity-type":"item","numeric-id":5410674,"id":"Q5410674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fda88848e3d72c1b48ab0d706e628afa35ff601","datavalue":{"value":{"amount":"+0.8787451","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q963321$EDCC7E67-C492-42FD-B68A-40435EF8BB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e0240f50013171b14f0b3063d48922511d4d1e","datavalue":{"value":{"entity-type":"item","numeric-id":3768722,"id":"Q3768722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce0c7b698306c14573bfda8c68e2b38e13eeac04","datavalue":{"value":{"amount":"+0.8754276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q963321$31899977-36BF-4169-AB97-983AB4B8FC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e689ff98e09a53ca1d67091985c200b2f406eb","datavalue":{"value":{"entity-type":"item","numeric-id":3012799,"id":"Q3012799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7e61182535ac606c08ee234712661fb631744f4","datavalue":{"value":{"amount":"+0.8740834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q963321$4AA6DBFF-0CDA-4054-A8BC-59D562A22C4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reduction of stochastic parity to stochastic mean-payoff games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reduction_of_stochastic_parity_to_stochastic_mean-payoff_games"}}}}}