{"entities":{"Q740970":{"pageid":742819,"ns":120,"title":"Item:Q740970","lastrevid":63989478,"modified":"2026-04-11T16:54:06Z","type":"item","id":"Q740970","labels":{"en":{"language":"en","value":"Mediating for reduction (on minimizing alternating B\u00fcchi automata)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6342267"}},"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":"Q740970$3DE145D2-0304-48E4-BAF2-C5D1143A84B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef56ff7222c693ffe4536388bcd9bdcbd0382347","datavalue":{"value":{"text":"Mediating for reduction (on minimizing alternating B\u00fcchi automata)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q740970$7BEA17EA-AFBE-43E4-8ED9-B01586EA4A1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26be1b3ba975dd26ff3f2c0dc1c6d058252442b6","datavalue":{"value":"1360.68536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740970$50BABAF5-4E4E-4A43-9380-5D14F7ECFB7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740970$A2FDB4EF-31DC-4745-9CF3-B89B9A4D3E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fca74f7f2088ba772c96b73216f68cda94cc5e","datavalue":{"value":{"entity-type":"item","numeric-id":740969,"id":"Q740969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740970$8207799F-80B1-45AC-998B-ED25F49DF9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88ff85b194809bca7f50c32cce728497c09fefc5","datavalue":{"value":{"entity-type":"item","numeric-id":300409,"id":"Q300409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740970$B071D1ED-FD00-4CB6-AFC3-45973460F506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740970$5B5AE8C0-9E11-4746-8CD4-3FF423020ADA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740970$33DB0A80-E3F5-4A21-B708-6364106DA650","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a50794c4d3cd462e6935f5d99c79b15a0a0d6b7","datavalue":{"value":{"time":"+2014-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q740970$356B5925-FF83-4D3B-A27C-E9C8A0C78FB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740970$E66E6337-FC2B-49DF-8218-6B416C3C0CC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e80905549868b884d924d1fff3df885ce961379","datavalue":{"value":"6342267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740970$265B35D2-892C-4D06-95D9-94D0B536856A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca39022e53ab07245e42b35d8edf0334cb44533f","datavalue":{"value":"alternating B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q740970$84BCF53A-6805-4D65-AF17-0B3B5C3B256A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q740970$745C5A18-9E43-4C9A-8920-7EFD6F11F62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q740970$8FE70097-F801-4D40-B770-04227723F50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04cdd5fb884b99b76f46dc32107e7543cf1bbfe5","datavalue":{"value":"quotient","type":"string"},"datatype":"string"},"type":"statement","id":"Q740970$0081E3FB-5668-426A-AC05-52F7777A57F7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740970$C55DEFF2-7718-4A4B-A8F5-7B957F227A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c26cfc12efc549be0b79b63593554943aa146d16","datavalue":{"value":{"entity-type":"item","numeric-id":33040,"id":"Q33040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740970$FE01BBF2-7642-4AE3-94DC-FB61E1E27C43","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":"Q740970$B611027D-30D4-4771-95FC-E281E72498B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"accf035d0e62133e3cc5135e5831c5af8cc7d374","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.08.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q740970$1FB9BDD9-1129-4F2A-93B1-EA9E1E3313C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7fb49c2549c8b670d687e0222fe65f26ac0ef83","datavalue":{"value":"W1965927648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740970$8505164E-D06A-4FAB-B5FC-B0EC07F3A5A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fe26916cd890c66e2fb42a53e56121c340ef46","datavalue":{"value":{"entity-type":"item","numeric-id":2920108,"id":"Q2920108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740970$9E049E86-65FF-45C7-AC7B-FC79BB0C1381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740970$C2E78CC8-7E8D-4F7F-B8E9-9899FE3C3EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6571f5e7b59314ce70c60fe99520c2ad4472991","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740970$56F0BE41-E17F-4F9D-9BBE-4D91000FD13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a852f9828a60d6febd0b82b3b250f25d038b258c","datavalue":{"value":{"entity-type":"item","numeric-id":5458316,"id":"Q5458316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740970$E87D84C3-9545-4D5E-BFAA-460268A956A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740970$3AA09E19-0EF9-4EA7-82E1-85C1568A6E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71ebe0006b4864e6ddc269bcabb54efef153fd59","datavalue":{"value":{"entity-type":"item","numeric-id":557801,"id":"Q557801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740970$C508F865-7682-43AE-811A-F3446C07F450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccbaa5f7b2e9d5aeb42789013262c8f5a138ab2a","datavalue":{"value":{"entity-type":"item","numeric-id":5458323,"id":"Q5458323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740970$90B30023-758B-45D0-B99E-89EF8D85614C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe9d247c33f3e9fe4c0912022234e17f03817ba4","datavalue":{"value":{"entity-type":"item","numeric-id":5170274,"id":"Q5170274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740970$C29786AF-D326-414E-9E95-869A1FAFDCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9e409e52b45711b71923ec79d5ed3e4d06b759","datavalue":{"value":{"entity-type":"item","numeric-id":5897059,"id":"Q5897059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740970$57F7226E-F6DD-4850-961A-E12C888A099D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2eb28ffbf306702b2376c943fe1c401a3ed60c4","datavalue":{"value":{"entity-type":"item","numeric-id":4415252,"id":"Q4415252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740970$9D9379AD-CD21-48B6-ADE2-B3244630AE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cd54413287e6e70989953202b0183dd784ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740970$DB8E9CD7-6F13-4136-8EFA-E2E5D49AA767","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fd8de7d2322880b7b960758b1eeecd4a1377ef2","datavalue":{"value":"10.1016/J.TCS.2014.08.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740970$BF1F4629-FD78-4365-AD0E-AD7E84ADDF1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c2a7a4e19bb03d8d86511cba981c1fda9608271","datavalue":{"value":{"entity-type":"item","numeric-id":2920108,"id":"Q2920108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"191a9fe0cddc5d483e2ba3082de244a9ca819d4a","datavalue":{"value":{"amount":"+0.998146951198578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740970$FC557B86-AAFC-4B63-8F32-3432CB9DDD16","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":"170d7a239307893c2b6abb6cc122f309590ff81e","datavalue":{"value":{"amount":"+0.8159583806991577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740970$3BFFA521-AB79-42F1-9FA0-034CC81AE2EC","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":"f22006baf8fa5a693a77f182a62a3178ebd5051a","datavalue":{"value":{"amount":"+0.7877903580665588","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740970$2B120F2B-3A91-4470-94B1-C3BE0A87B009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f856dba50f61f620ba4f0ada06a8363d5f51d58","datavalue":{"value":{"entity-type":"item","numeric-id":4930600,"id":"Q4930600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04580b96cf14f37ded75a0843f3803fd33241169","datavalue":{"value":{"amount":"+0.776706337928772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740970$283D965C-FB50-4DEC-89ED-2372B26943FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27e1277cd01f8639dad6576d5a5185f942357f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5756738,"id":"Q5756738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5acdd9428876d6630c963a084b211105e722b9e","datavalue":{"value":{"amount":"+0.7687763571739197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740970$9AB08295-CF23-4F90-89A1-4FE297A09D86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mediating for reduction (on minimizing alternating B\u00fcchi automata)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mediating_for_reduction_(on_minimizing_alternating_B%C3%BCchi_automata)"}}}}}