{"entities":{"Q2064532":{"pageid":2075274,"ns":120,"title":"Item:Q2064532","lastrevid":71253828,"modified":"2026-04-13T21:00:40Z","type":"item","id":"Q2064532","labels":{"en":{"language":"en","value":"Logic for \\(\\omega\\)-pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7452659"}},"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":"Q2064532$4F521581-E217-4693-84AF-21B3BFA0058E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c24f8db0d092c21ffc54716aad07d9b93d3dfa5","datavalue":{"value":{"text":"Logic for \\(\\omega\\)-pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2064532$1339349D-2117-4E71-9D2B-12C0228E23AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b086839c264287d551c7f54fcd877ab3d54423ce","datavalue":{"value":"1491.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064532$5D4E77E2-D7F3-4DA3-8E1A-F64338031412","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99d55fa1c2d0ef8fcbceb7bd21b75e25a876b78b","datavalue":{"value":{"entity-type":"item","numeric-id":2064531,"id":"Q2064531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$EB3FC065-C78A-449A-8C65-039029B361BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d77a7be4855473ed96522980e8feac1b6621e47","datavalue":{"value":{"entity-type":"item","numeric-id":382935,"id":"Q382935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$D9BE144F-C6BA-474A-95C9-08D86C329C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ce11f4b3a69e8357fb668d5048be9658c17e247","datavalue":{"value":{"entity-type":"item","numeric-id":672828,"id":"Q672828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$173153DD-85B1-4145-A7AA-D3AFB8D01F10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$2F0B4BEA-907C-4520-9D34-30F781BBE293","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5eeef85fccb3b9ec0f1e08769d6215b8e0218bd","datavalue":{"value":{"time":"+2022-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2064532$50EC82BF-7B2F-44C7-A4B1-652118ACB156","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"120317ebaad9cea25c5d87c3a060aaf43ac8f823","datavalue":{"value":"This paper gives a characterization of \\(\\omega\\)-context-free languages in terms of monadic second-order logic.  The authors first introduce a notion of \\textit{simple \\(\\omega\\)-pushdown automaton} (\\(\\omega\\)SPDA), where the transitions allow only to push/pop a single symbol on the stack or leave the stack unaltered. In order to show that any \\(\\omega\\)-context-free language, as defined in [\\textit{R. S. Cohen} and \\textit{A. Y. Gold}, J. Comput. Syst. Sci. 15, 169--184 (1977; Zbl 0363.68113)], can be accepted by an \\(\\omega\\)SPDA, the authors use a result of [loc. cit.] to show that that any \\(\\omega\\)-context-free language has a B\u00fcchi-accepting grammar in quadratic Greibach normal form. This hence shows the equivalence between \\(\\omega\\)-context-freeness and being recognized by an \\(\\omega\\)SPDA.  Furthermore, the authors introduce a monadic second-order logic \\(\\omega\\)ML that uses a (non-overlapping) matching condition on pairs of positions similar to matching parentheses in a well-formed expression. Then, using the fact that their \\(\\omega\\)SPDA are projections of the visibly pushdown automata of [\\textit{R. Alur} and \\textit{P. Madhusudan}, in: Proceedings of the 36th annual ACM symposium on theory of computing, STOC 2004. New York, NY: ACM Press. 202--211 (2004; Zbl 1192.68396)] and the expressive equivalence result of [\\textit{R. Alur} and \\textit{P. Madhusudan}, J. ACM 56, No. 3, Article No. 16, 43 p. (2009; Zbl 1325.68138)], they prove the equivalence between \\(\\omega\\)ML-definability and \\(\\omega\\)SPDA-recognizability.  This shows that, for an \\(\\omega\\)-language, being \\(\\omega\\)-context-free, \\(\\omega\\)SPDA-recognizable, and \\(\\omega\\)ML-definable are three equivalent notions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2064532$5731B693-4FEE-4BCE-A85F-58C6BF7CF1D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064532$3BAB0FA4-627D-4B5A-BA63-5AA0017100FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064532$B21CB3B0-937C-4B6C-92DA-FE1F51CC4F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064532$52213E66-9DF5-4788-A0D9-3D4175B5CCB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14e64c2f361f4798625caa85584e09c8323e9bf5","datavalue":{"value":"7452659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064532$209A5797-08A2-4A3E-9455-630048922E54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2064532$DCA85291-6F79-4947-A36A-CF0D1845FDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7108fc1b7697c109f10e66621533347b39a298a0","datavalue":{"value":"\\(\\omega\\)-words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2064532$FFA614BF-7DAA-49DD-9194-A3ECC2E12ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2064532$085BD0E2-436E-4FBF-B8DC-6AB06B260701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd7333d837edd5028ddb936980bcbdd6b18f7d12","datavalue":{"value":"nested words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2064532$C38E0194-B5EB-4887-A26E-A443B01DFD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"386a757194ea3cf3d1a68f5d71015bba9c71cdb1","datavalue":{"value":"Greibach normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2064532$A1DA1E39-8E7D-4A5A-BB80-09C480BB2596","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2daced9896460a81c4c40ff31087aa019e14cb22","datavalue":{"value":{"entity-type":"item","numeric-id":420851,"id":"Q420851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$549F4DEE-75D4-430B-B788-DF3E3B0384A0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0267b422caecc26eb9ae5c6e73decfd3f1dc8f45","datavalue":{"value":{"entity-type":"item","numeric-id":33649,"id":"Q33649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$307A29DA-FDD1-48DA-BFDD-581A1EA9E515","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":"Q2064532$A6550EAB-E904-444F-9249-3C6C08ADA8B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3c8c79ec7183a2bcfb7be8aa80659822f508ad3","datavalue":{"value":"https://doi.org/10.1016/j.ic.2020.104659","type":"string"},"datatype":"url"},"type":"statement","id":"Q2064532$52423F86-C6F6-4BED-89AF-01CBCF68F32F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5e2ba5fc5373de1e7713b052d7e64e16aa90259","datavalue":{"value":"W3107587550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064532$851CE102-B7C3-4096-8139-074B0BAE6C69","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$D5AE3A91-AE06-4DB1-BB43-E30151E7818E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafe152d225aa7fd22548124305235260731e8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3452213,"id":"Q3452213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$AAC8FD3F-103D-4BF8-A76B-4D7D8BABDA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$99BE3601-D40C-446F-B4B4-6FD6669D4D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$7014C1E0-561C-4E83-A00F-A2DC59151DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41da88234adbed83efe7412ca5c92908a4dda70","datavalue":{"value":{"entity-type":"item","numeric-id":1240574,"id":"Q1240574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$A038FADA-1497-4DD5-B4EF-45C8E308E4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba1632290293eb577e188e009533f0d84285c59","datavalue":{"value":{"entity-type":"item","numeric-id":2422031,"id":"Q2422031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$A5D9117D-80ED-4CDF-88FB-96E9EC212C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fe74d71647df58cbeb87817c49bc896fc5aa69","datavalue":{"value":{"entity-type":"item","numeric-id":2373736,"id":"Q2373736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$30BF6CA6-C97F-450A-8161-F21DBA84F49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4e41193dc2ae328375d72d834edcebc21e1e679","datavalue":{"value":{"entity-type":"item","numeric-id":3194716,"id":"Q3194716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$82AC010B-0CB7-401F-836B-98ABD45AA959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6289c768164e1605bb7d4caedb1cd24dbc112cc","datavalue":{"value":{"entity-type":"item","numeric-id":2947171,"id":"Q2947171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$92C0502D-2C69-4365-AD0A-A336DAE9FF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$41B4D4F4-BFC6-4C04-8ED6-084FE8628F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7463d4649eee93226f6948819fc8f467c893ce89","datavalue":{"value":{"entity-type":"item","numeric-id":627181,"id":"Q627181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$AD71255E-C135-4125-ACFB-837E9017C487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b670815da7dcdd09819fb6de23ae9ecf44b551aa","datavalue":{"value":{"entity-type":"item","numeric-id":1917078,"id":"Q1917078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$DFEBAECF-0293-486C-84EF-6AC6E753F086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$98767FB4-B77E-40CE-9C07-F01E00ED8E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3ab20cc0356eca70d973d2fafb83c885f14abf","datavalue":{"value":{"entity-type":"item","numeric-id":4474840,"id":"Q4474840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$D021D710-C74F-4AF3-B2C2-BB0BC99C59EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aec100dd463a14d7c0590bcfcb94ababf6d061c","datavalue":{"value":{"entity-type":"item","numeric-id":3519504,"id":"Q3519504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$CF856818-87FD-49EA-ABE2-137727724F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$EEED218E-66DA-4E22-B982-B636FA31F7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$186C9919-2100-44C6-AB77-DB0E7357B133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$CD5098D6-639D-43DE-857D-F67AE28BE6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8b81e2793dbcd71ed24f46356ddc3072a6981c","datavalue":{"value":{"entity-type":"item","numeric-id":5723184,"id":"Q5723184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$1FCBC389-F385-4E29-AEBF-4326F51A2235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ef98dac5f6878cb72b66f344a980ce2a100ee6","datavalue":{"value":{"entity-type":"item","numeric-id":2798715,"id":"Q2798715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064532$44F61F77-C91F-4437-B4EF-453FAC2DF8A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b99fe7881eae7180320776b55d205a86875ec91b","datavalue":{"value":"10.1016/J.IC.2020.104659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064532$049FC4AF-CAC7-4D0F-BA98-2A47ED21EF55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5bd9cfd129d72ee4df5c43b0b79b4583e8f1cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3526410,"id":"Q3526410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56491ac31dd2523e802b65a2f6c23227105545b2","datavalue":{"value":{"amount":"+0.78188515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2064532$0D64CB6D-47A5-4203-9E05-7213C8A1539E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b17221d5b3766a82d6e2e685165ca769f18df567","datavalue":{"value":{"entity-type":"item","numeric-id":1399989,"id":"Q1399989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3a0028f68bd3686c1feb4b69963f41b7e753171","datavalue":{"value":{"amount":"+0.77627677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2064532$E5020421-1D03-436C-89EB-98C17C8F1A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85e1be1d07684bf9d201eb1c4fd043042609dddc","datavalue":{"value":{"entity-type":"item","numeric-id":1127314,"id":"Q1127314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54d86f61c729ac83ec123bb628f12e7d8e792639","datavalue":{"value":{"amount":"+0.7575246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2064532$9066DAD4-2E04-40FE-94D9-138C6E2B7816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04ecef15370c2a42c75a61672192a20cb19e3d9d","datavalue":{"value":{"entity-type":"item","numeric-id":5717031,"id":"Q5717031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a584ea43f808d23ce03c3f574cc1b3a97703178c","datavalue":{"value":{"amount":"+0.75657153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2064532$4E950D7B-0631-42A3-B183-C5E89A1B9858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e94fe22c5bbd07ca9ef7c6e64245499323f93f1","datavalue":{"value":{"entity-type":"item","numeric-id":1401159,"id":"Q1401159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e81c1bfb3d5f4a5a78b626014bc53ec9e25c3472","datavalue":{"value":{"amount":"+0.75544596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2064532$380408FD-6DC9-47DF-95E9-17055288B9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc94588c4a60368a6d98af82cdc560b50827cfb3","datavalue":{"value":{"entity-type":"item","numeric-id":1095672,"id":"Q1095672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a29c41d24e87886b519d847ec0378daccf6f9b0","datavalue":{"value":{"amount":"+0.7529935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2064532$0CE75463-0ADC-40CC-9849-B6357930D8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e2583bcaaec36c474134891df8a49438cd8fc2a","datavalue":{"value":{"entity-type":"item","numeric-id":3780468,"id":"Q3780468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5403bb93ab22ae01cdbf5cd47748e1318cc52021","datavalue":{"value":{"amount":"+0.7501308","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2064532$6399A5CE-255A-4658-9E42-0A2AF905B839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1164b56c36f4464fa9584a30c7eeb9766449d5d6","datavalue":{"value":{"entity-type":"item","numeric-id":2770585,"id":"Q2770585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de18643293df57d7a4afbf20d52e463cf4115160","datavalue":{"value":{"amount":"+0.74964595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2064532$885BF27A-0480-4FE6-A92F-2243B4714761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e66518b10dedbf3e9692ab77947c8a72453c264","datavalue":{"value":{"entity-type":"item","numeric-id":1123638,"id":"Q1123638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b041a37917d69669993fcab1cf3e009cbeaf554","datavalue":{"value":{"amount":"+0.7451589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2064532$754ADC14-9AD4-431E-9AA4-EC3C569C23E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d48ba50b628d14e158911d861aaf9cd4f0fa790","datavalue":{"value":{"entity-type":"item","numeric-id":3782820,"id":"Q3782820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0725abd351a83f5f069a401b21fe0f6b48f6a065","datavalue":{"value":{"amount":"+0.74463284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2064532$A06ED812-0F85-4B32-95E4-C78495EB1219","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic for \\(\\omega\\)-pushdown automata","badges":[]}}}}}