{"entities":{"Q2379951":{"pageid":2390694,"ns":120,"title":"Item:Q2379951","lastrevid":72651651,"modified":"2026-04-14T06:18:25Z","type":"item","id":"Q2379951","labels":{"en":{"language":"en","value":"The monadic theory of finite representations of infinite words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5686398"}},"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":"Q2379951$AC6703E2-7629-4DB2-ACC6-8C7D64BBF398","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"892aff42c5b66977cc9fd7f503a862865c226024","datavalue":{"value":{"text":"The monadic theory of finite representations of infinite words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2379951$880330F7-EC4B-4363-90D8-9CEC8B741123","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b70376888249cdd2cfded7bbb7f407ed70b41d40","datavalue":{"value":"1184.68313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379951$F1F7F74D-BB42-4A19-8A62-C8C34DF53894","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62efbcbd1c8bb6c04192b7f9cb4bbfc724af012a","datavalue":{"value":{"entity-type":"item","numeric-id":309796,"id":"Q309796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379951$31F50E41-7DF8-4CE0-8E19-298A98D5A522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63b87220b128340149e10ebf560470ab65c97307","datavalue":{"value":{"entity-type":"item","numeric-id":906980,"id":"Q906980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379951$2928DCFB-E8CE-44DB-A996-73F6EA6DD7E7","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":"Q2379951$74948891-2C7A-4EF3-AF93-1DB9457FA021","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b2597d51ab54359972966267a61b08692759225","datavalue":{"value":{"time":"+2010-03-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":"Q2379951$71D623DF-2594-4D80-8691-4932DB3EF4FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379951$58CAFC73-D963-43EC-B431-295050725803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379951$DA435B40-44FE-4D50-8209-E4AA364C219B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09fb9362e102a223cdd6db55af85f8c360fb2d45","datavalue":{"value":"5686398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379951$9D9C924F-1B02-44E5-8B82-9B1FB4C6DBEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c927d85990bc074284bdc99549eb379bc18f1eb","datavalue":{"value":"automata on infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2379951$94263850-3114-44C8-AEC8-6035768FE4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2379951$A6898B23-AECE-4F6F-BA32-4D3F32FE92B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2379951$DE4ED005-F0D4-447F-9199-C0B68B8F88A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2379951$7A47F8F7-5C8F-45BE-9274-340B604D7587","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":"Q2379951$28FBFCEA-04ED-4F7F-9E71-1C1A649BA5C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb03b8c3495de039386dba258dcd8b94249c6bee","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2007.02.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q2379951$B409D11F-67A1-4406-83B4-8E656DCC3589","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"811971ee596b238f4cd2115bd8703b1e2bbb134c","datavalue":{"value":"W4365810643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379951$DA0E6726-5C14-41D1-A147-C38123D55DAE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"87d9a7d2bfa3317b25ea7b184f458ba2b5a15255","datavalue":{"value":"Q58215632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379951$6FCE62AE-07B7-45F9-8C57-D8142F3D92DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1215427859a054ba93307928826462e87d798fc","datavalue":{"value":{"entity-type":"item","numeric-id":3489984,"id":"Q3489984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379951$CF43BE50-62B4-468E-BD29-8E9D314E1A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379951$5F05425F-E0E4-4839-976B-79C89A1830EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf4dae9a78ba0faf4348899879d3cffee2a4636","datavalue":{"value":{"entity-type":"item","numeric-id":5618355,"id":"Q5618355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379951$28548333-71C1-4071-B656-1C1180D34CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d2e3ac3bbd3fab809bfc1f5f5c20980fd0a6992","datavalue":{"value":{"entity-type":"item","numeric-id":5465855,"id":"Q5465855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379951$6E880C9D-C467-4F7B-B32D-4B48682C8891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bffcfdc65c2a4a236ea3a2b5146ed684d3413aa","datavalue":{"value":{"entity-type":"item","numeric-id":732052,"id":"Q732052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379951$F82CB219-0817-48A2-A440-5A1805ECF0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39a316994c9472da0bc2cc11bcd38afbcbdd8283","datavalue":{"value":{"entity-type":"item","numeric-id":5317667,"id":"Q5317667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379951$E75370D3-3D89-4807-B6BF-11823C5171AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38070a2324f6956e553f48ee431a7b1911e3140b","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379951$4998CDE8-6A49-4201-992D-92330096A50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169fc2ced4aaaae2e4cdf855de71a39dba5b7f1f","datavalue":{"value":{"entity-type":"item","numeric-id":3569044,"id":"Q3569044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379951$1F325DAD-EBA4-4D2B-B5BE-BFCEEB1DFFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f82cda58a137c8f72c5a96cd5b5ac98dff35e3","datavalue":{"value":{"entity-type":"item","numeric-id":5494236,"id":"Q5494236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379951$CB8A69ED-1ECA-4581-A57A-1380760363FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042993de97aced771ee16d98a587e63da5dcfc06","datavalue":{"value":{"entity-type":"item","numeric-id":3123633,"id":"Q3123633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379951$A854C912-F18A-45C2-BB59-3FFF51ADF71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd4b0809c211b7b2f4ceb490227ad58bc41fcec","datavalue":{"value":{"entity-type":"item","numeric-id":1371313,"id":"Q1371313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379951$7365B186-5E59-497D-8569-45633A0EF121","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d24271df1bb250b1bf81cef66f3851b581c08897","datavalue":{"value":"10.1016/J.IPL.2007.02.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379951$ABD27AF4-8241-447E-8891-2D3A1B994C8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6646c0a63c84f66e1b5690de9c1b10de97c0549","datavalue":{"value":{"entity-type":"item","numeric-id":4536363,"id":"Q4536363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67a0d95a0752c99f957224fdb8ad26b6e67f0c0","datavalue":{"value":{"amount":"+0.9565242","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":"Q2379951$B417FDF2-869D-49AA-AF9E-82F71D74C254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80560144b6f5f8cab0538a1f199f1860b5e94d67","datavalue":{"value":{"entity-type":"item","numeric-id":1854542,"id":"Q1854542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67a0d95a0752c99f957224fdb8ad26b6e67f0c0","datavalue":{"value":{"amount":"+0.9565242","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":"Q2379951$ACAC9CCD-AB1F-4F77-B959-6336E81B6D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f2726b48d35a167ced07a58d1c83feb67ce9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4585066,"id":"Q4585066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6270eb299b68593d42723b8adcc28327359b0340","datavalue":{"value":{"amount":"+0.90942764","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":"Q2379951$B430B83A-6A5B-4858-AC4F-F18CA8F66BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29840667f1c888c95f150968b0210085bf34db0e","datavalue":{"value":{"entity-type":"item","numeric-id":5351975,"id":"Q5351975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6270eb299b68593d42723b8adcc28327359b0340","datavalue":{"value":{"amount":"+0.90942764","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":"Q2379951$6364B2C5-B8A2-46AE-A75B-E361C0DF6223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b9ea1c41797f2c66e1109b6d2a4cd35a982504","datavalue":{"value":{"entity-type":"item","numeric-id":3026992,"id":"Q3026992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a2bf2e20400e9c7bab6b22686fab6d3b4da1878","datavalue":{"value":{"amount":"+0.89161146","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":"Q2379951$601F1068-0F5E-4F70-BD74-25C59571E4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d08ac78f1bf08652adaaf9ae86a6d8d76452c39","datavalue":{"value":{"entity-type":"item","numeric-id":579947,"id":"Q579947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb3e2a8bec3cf38ecaa27a1606c53edbd14cd0a5","datavalue":{"value":{"amount":"+0.8866699","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":"Q2379951$C8C2EF76-1002-44BB-A27D-E6A9355DB70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ea2cdf3fff99278976e36fe185bb7440400851","datavalue":{"value":{"entity-type":"item","numeric-id":4708567,"id":"Q4708567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591a5d5ce2d994febc7e39bafe0ec983c32f987d","datavalue":{"value":{"amount":"+0.8862603","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":"Q2379951$3124D26B-6E77-4100-A5AE-54D37DC6D1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27fc2d024310e753d1610b2907908d9b37d85751","datavalue":{"value":{"entity-type":"item","numeric-id":2783477,"id":"Q2783477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d2c1b77e9b277362a6fa1ddb44599849fc4f17","datavalue":{"value":{"amount":"+0.88622165","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":"Q2379951$95DD1632-2E02-4540-AB17-198CA6FA794F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f3b6fc35184868bf7054ad40c03a6bd53f42604","datavalue":{"value":{"entity-type":"item","numeric-id":5738190,"id":"Q5738190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f02a63d08fc9ff1afa8910eac57f1d7a629c6316","datavalue":{"value":{"amount":"+0.880689","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":"Q2379951$C42B3A0C-1741-458D-9FB9-88D1E45417E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"447acf6c1e4f9c2e977af11cef7d3d33acf884e7","datavalue":{"value":{"entity-type":"item","numeric-id":6101093,"id":"Q6101093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39327cbfa49b88ee52f8fa29509adcfc983f779","datavalue":{"value":{"amount":"+0.8803281","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":"Q2379951$7D1F28B3-974E-432C-8043-FF25F8533EB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The monadic theory of finite representations of infinite words","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_monadic_theory_of_finite_representations_of_infinite_words"}}}}}