{"entities":{"Q5317190":{"pageid":7346764,"ns":120,"title":"Item:Q5317190","lastrevid":95947043,"modified":"2026-06-05T10:04:54Z","type":"item","id":"Q5317190","labels":{"en":{"language":"en","value":"Fair Simulation Relations, Parity Games, and State Space Reduction for B\u00fcchi Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2205886"}},"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":"Q5317190$134B3903-0E27-4DB4-B078-6DADA422BEAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf1212bc73df757de716d01f6dce9472b77b7dce","datavalue":{"value":{"text":"Fair Simulation Relations, Parity Games, and State Space Reduction for B\u00fcchi Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5317190$B3D676D4-3E89-4933-BC71-C428B3690ED7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"581f1b8c3951bd7fa619db648b461c3802a79215","datavalue":{"value":"1079.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5317190$C889AB51-0B6A-4074-8CB6-EBEAC64CD93A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c6f6fb6a22275b6f5b6d4b6119cd4321768fc48","datavalue":{"value":"10.1137/S0097539703420675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5317190$DFE8861D-DBAE-438D-A6BE-2E76530B20D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2680b29e301ca65d036ea477d294af6c3aa1eaf5","datavalue":{"value":{"entity-type":"item","numeric-id":294840,"id":"Q294840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5317190$3386ED62-9B26-4698-B3D2-A076B6173EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26eaa7a3159ba545420366ef8b151ea4c3766e0","datavalue":{"value":{"entity-type":"item","numeric-id":208756,"id":"Q208756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5317190$A214E515-0F73-464E-810A-252439B7F3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"761e33e48bd25dc923324760bb2c4c773bbeda2f","datavalue":{"value":{"entity-type":"item","numeric-id":4535057,"id":"Q4535057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5317190$F80E97BF-81AE-4C86-8197-CB31361CB683","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5317190$F4EB05AA-FC98-4916-93B4-D8CF6796BC8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a79f3240b3d53af8285788f3205fcffa119cd953","datavalue":{"value":{"time":"+2005-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5317190$760F3684-EC39-4DA6-859C-AF4691A11006","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5317190$F61D40C7-533A-4B0C-92E6-1BACAFAAD0A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b37b5a8e6296fcf534274e14144fa7ef1bd35ce4","datavalue":{"value":"2205886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5317190$7B556312-D6FC-4109-9C53-CC85DE78ABC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d358abbd381794b476933d48dbe25e6c8a22014e","datavalue":{"value":"fair simulation relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5317190$F8A97A81-66E6-4E25-A2C8-009B7D83A21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5317190$91110A3A-7B2B-4CE0-B553-D813F5203DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c736379fa328dd527c485e6778d8aa2292378f5f","datavalue":{"value":"state space reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5317190$1D4AF01C-D24D-420F-B5A1-14C764C9EBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5317190$FC195615-9F62-438C-A4BA-434DAD1D5E63","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":"Q5317190$FB23FF19-FE9B-4B9A-9D29-D642843835CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f475d3258fcddb63e580cb30b360a5d7138d6f23","datavalue":{"value":"https://doi.org/10.1137/s0097539703420675","type":"string"},"datatype":"url"},"type":"statement","id":"Q5317190$A55ABEFC-0023-42CD-AA42-32D56C39EDCB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e8ec69627058a673f9b7f502ad6729692e71f63","datavalue":{"value":"W1964680921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5317190$B7B4F817-AFD7-4C1A-B25A-7753F47AB5B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e8b76ff60f6d67b257e3d3b5aa4af110f095090","datavalue":{"value":{"entity-type":"item","numeric-id":4535058,"id":"Q4535058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d285375351ed6d1a528eb1f7128a18dbec268d7","datavalue":{"value":{"amount":"+1.0000004","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":"Q5317190$51FC06B3-C637-4248-9998-7051440E92AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c8d54788c5b35d3fd1ba04f3a18e1fc5cdd48f","datavalue":{"value":{"entity-type":"item","numeric-id":3617046,"id":"Q3617046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451f6547063bb189c0de1a16e99e01d7bf53764d","datavalue":{"value":{"amount":"+0.89487404","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":"Q5317190$3C8366F3-CD97-4116-8307-BDF692A55980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"801d750a7bdb626a3440e5af3efaeb6c2f9ca343","datavalue":{"value":{"entity-type":"item","numeric-id":3508542,"id":"Q3508542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460b9afc5ddb2340bbdbc3265aaa528752495b5f","datavalue":{"value":{"amount":"+0.884607","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":"Q5317190$C66F1144-D09A-4994-BB75-1B4D66D77891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d475a1b1e1c89ff0f2665340ea6c4fdc5f9c81","datavalue":{"value":{"entity-type":"item","numeric-id":5367059,"id":"Q5367059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"101875466220e256acdfd0f676aee158c84119b7","datavalue":{"value":{"amount":"+0.8771434","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":"Q5317190$BF183B44-33A7-4DF0-BF3D-4487E40D84EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396cba46383199d70c2832cd4829867c465ca516","datavalue":{"value":{"entity-type":"item","numeric-id":4415252,"id":"Q4415252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87cdc0911af9b0e1ad14b0a753a0ffee8bf8e0fd","datavalue":{"value":{"amount":"+0.8725171","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":"Q5317190$18C83F18-31A2-4834-AC22-1EE24DF9EBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc940d772b9480f9be1760785e8d15312048758f","datavalue":{"value":{"entity-type":"item","numeric-id":4994951,"id":"Q4994951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa1748fff6e17a6f8ea9d00bffded5604b8c50aa","datavalue":{"value":{"amount":"+0.85901034","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":"Q5317190$A459B837-701D-42B1-9FDE-8BFC5DDA1C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d367ef4bcdf627c197b29959e83dba91a10f1751","datavalue":{"value":{"entity-type":"item","numeric-id":557801,"id":"Q557801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9264504d45df1dee2358485ce297582cefc10566","datavalue":{"value":{"amount":"+0.8561264","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":"Q5317190$DE1A7F22-EE4D-4E54-9E87-1832893F3BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86169941cd75ab61e9176695b3e56418c6e6a427","datavalue":{"value":{"entity-type":"item","numeric-id":4558784,"id":"Q4558784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a127e94061c371e579c75f333e8598ad2118e9","datavalue":{"value":{"amount":"+0.8467546","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":"Q5317190$9DEA6471-011D-4018-AF0A-B74E5553C690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f6f7a3378cf3ed13a3c53f58f67e6e772e63315","datavalue":{"value":{"entity-type":"item","numeric-id":5164176,"id":"Q5164176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35aa38d49d585415324c49488f5a842aa42fad7c","datavalue":{"value":{"amount":"+0.83888054","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":"Q5317190$6CBCF7CC-AD6F-4AFA-B9F2-12F1CBFD3186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678d86d5fbf6d5d9bd1bc7b9d17cae6f050e9076","datavalue":{"value":{"entity-type":"item","numeric-id":1742625,"id":"Q1742625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2673a9c230b90a3d823ebd161f26b27cf2f96dee","datavalue":{"value":{"amount":"+0.83341825","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":"Q5317190$34DEC2AE-AE1E-4951-A63E-C92F87D93BE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fair Simulation Relations, Parity Games, and State Space Reduction for B\u00fcchi Automata","badges":[]}}}}}