{"entities":{"Q2920143":{"pageid":2930863,"ns":120,"title":"Item:Q2920143","lastrevid":42500944,"modified":"2025-06-30T14:38:15Z","type":"item","id":"Q2920143","labels":{"en":{"language":"en","value":"Synthesis of finite-state and definable winning strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6098241"}},"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":"Q2920143$16D85DBC-33D7-46D0-BBFC-30D032E67FB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4cc46344a73a683b842aeddcf61e8d0c636f633","datavalue":{"value":"1250.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920143$C35CC8A2-D90C-4E3F-BB54-10CFA9801C3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920143$1986022B-93AA-49D9-A7BB-09D2F82A643D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ee92d50481ed05c06549abf63f6ece88b90dd74","datavalue":{"value":{"time":"+2012-10-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":"Q2920143$AE14DC7E-303C-4C40-ABD7-340005D4638E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04cfd2336607c7489f6f63c83bf8e90803260c82","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_4bbd.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2920143$70C0E98B-0B20-49FA-8824-739DCD7A6709","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920143$B7F49807-D663-48E0-AA80-F28F91391260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920143$513B5719-9D4E-41AB-B16D-B11F844046C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920143$2BDAAC1A-22D5-444E-88AF-63FF12F9A126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920143$95495BA3-ECB5-4A6F-8A1D-990B360D6C74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab409e1320eafa732eec3972245f5a19747f0fb0","datavalue":{"value":"6098241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920143$853A2E05-1503-4E4B-B13D-0998C864D04C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae06e79d379a0c4433c522a0fc9f0ab016e807f","datavalue":{"value":"games of ordinal length","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920143$E5153A93-400A-45B2-B597-7D50367DBD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3fc1b52439577664db0b7c10bd8d0d939fb0a1f","datavalue":{"value":"Church synthesis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920143$30E5DA2D-6DAB-46C9-A751-045FC085441E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ef580dc6ba1451aeadb852ac0dd131e497dec33","datavalue":{"value":"monadic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920143$DF3EA327-C493-4F3C-8E63-96509FAF80AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adb5c1f670b24943f2657e08ba23241281d0c85d","datavalue":{"value":"composition method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920143$B8FED033-E0F2-4BAA-AE2F-606429FA438B","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":"Q2920143$9D05F9FF-106D-44CA-A6DF-E8A6E80F79EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b35bee1b3bcef6884c2a79dcedebccdad083eede","datavalue":{"value":"W1594572982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920143$28126431-9911-44D9-B51C-37C223AE401F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dac91cdb4a53bf15a2f79270d9cf7a2893080e5","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2009.2332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920143$B6DFFC60-4603-4CB1-8A48-ABCEF6B65F09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b42498b27bbb9c689e38aaf983c6558f6cbe0866","datavalue":{"value":{"entity-type":"item","numeric-id":4635818,"id":"Q4635818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"067ed7d8d08477ad535d88707022bd195d472eb9","datavalue":{"value":{"amount":"+0.86774516","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":"Q2920143$2ECFD6A7-5E75-444F-AE6A-125A534D88C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab71b17e56cd6bac5d2220ed9b6c0ec5bec6a547","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a5e9dfb042fb43520354420ec5d946cd4bb2594","datavalue":{"value":{"amount":"+0.86650604","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":"Q2920143$A5D6C672-EC5F-4C47-9FFE-8C19613C0CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3cce9f93fa829f480f77fbc71a2b39140912748","datavalue":{"value":{"entity-type":"item","numeric-id":4470500,"id":"Q4470500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1743857d67911badd9b7398a09e4da4b71b8aa2","datavalue":{"value":{"amount":"+0.8618071","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":"Q2920143$8C34D6B7-1CEC-4909-9DC6-1B328E717B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0034ad288ed166a3c475583bafada57a0aa89ff1","datavalue":{"value":{"entity-type":"item","numeric-id":1357005,"id":"Q1357005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"211097df0031bc449b014393ad78768daa8b492e","datavalue":{"value":{"amount":"+0.8544069","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":"Q2920143$E6C505E3-AC29-4EF9-9ECA-E884DE7AFFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95950dd79cb94e385c3375c7c60fa667cd2cc494","datavalue":{"value":{"entity-type":"item","numeric-id":3447698,"id":"Q3447698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae1184c8b73fe7ad02dab954f7a5814a1fef83a","datavalue":{"value":{"amount":"+0.84842014","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":"Q2920143$3CEAA2F4-D2FA-4957-8630-98C58D46EE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fa1107f8b9bd660c161dc4409122d478a016bd","datavalue":{"value":{"entity-type":"item","numeric-id":5703780,"id":"Q5703780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed3698e7cea556cdaa23ceaf8466fe01a6d95d80","datavalue":{"value":{"amount":"+0.8440765","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":"Q2920143$5CFB2869-6F6F-4668-AC4A-D08C0D7C80D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5981b39b42792c05c0edfe82dd23a515d8a290b6","datavalue":{"value":{"entity-type":"item","numeric-id":4737201,"id":"Q4737201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"184572082de9146c49d214be469f75a2f936c3dd","datavalue":{"value":{"amount":"+0.83855","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":"Q2920143$CBF8F2C5-4CC5-4B68-AA00-E75BDDF2FC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e5e3bcc3d8804334bb2d707f7bb3a2383dff43f","datavalue":{"value":{"entity-type":"item","numeric-id":2182729,"id":"Q2182729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99fb13a1a517395039eed51095a63ddfbeb2da60","datavalue":{"value":{"amount":"+0.8379293","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":"Q2920143$FFB59A97-A715-4746-9787-8F23BECE7711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"654e28c604194e6b5031a62a24863f27b3c5f206","datavalue":{"value":{"entity-type":"item","numeric-id":3384169,"id":"Q3384169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d25c6dcb6cd20023fa76061e2ac25b7c8d3b61ac","datavalue":{"value":{"amount":"+0.83792925","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":"Q2920143$6BAD5086-3446-476F-966B-3B607780F985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d309de01f3f2a7964bef1f62a7949067228ad0ee","datavalue":{"value":{"entity-type":"item","numeric-id":2817408,"id":"Q2817408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd557811010a3aca5551125338dd9e2a795dc97b","datavalue":{"value":{"amount":"+0.8377918","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":"Q2920143$973A7035-5DEA-4A1B-8207-5AD5F44E1F8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3420b33fda65f31afcf657dfe6460851b6e06519","datavalue":{"value":{"text":"Synthesis of finite-state and definable winning strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2920143$96285E96-2E5A-4B23-B9C2-9DB6CFBA29DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2920143","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2920143"}}}}}