{"entities":{"Q5738190":{"pageid":7767743,"ns":120,"title":"Item:Q5738190","lastrevid":101690570,"modified":"2026-06-06T02:32:58Z","type":"item","id":"Q5738190","labels":{"en":{"language":"en","value":"A model-theoretic characterization of monadic second order logic on infinite words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6725053"}},"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":"Q5738190$4CA22D3E-988D-40A1-B740-0744D6D21AA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fc112f2701bd875aaddd6aee8b91647f87e04b3","datavalue":{"value":{"text":"A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738190$C066294A-EDF8-441F-8199-E7D6F2B9A836","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df5e5e1df8a8445ffe6709e64c5de35e826d3ebd","datavalue":{"value":"1432.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738190$8F349D22-8BEB-4E43-8999-BA50406F3A28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738190$C558E6AF-F6FB-43C1-AD1A-F4E4E019AC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f94f8ee36125f5afab5b4bc39a72d674d800a7d0","datavalue":{"value":{"entity-type":"item","numeric-id":390414,"id":"Q390414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738190$FF97D1A0-A6CD-4866-B1A2-D76601EBEA3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f05e55fe774ba785804e371d0af378710b362012","datavalue":{"value":{"time":"+2017-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5738190$1A8F7A84-606B-4FE4-BF86-669AFE724B9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01e55226fea6aad892d2fe59ad1233558ecbf359","datavalue":{"value":"https://arxiv.org/abs/1503.08936","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738190$3905D6A7-2C58-4710-A1CB-95B763AD282E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738190$26A90B24-804C-4108-83D1-973412309A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738190$8D7802C6-5B77-47DA-B222-22226168D7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738190$8A9353D5-83FA-4072-AC5D-EF178D768BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738190$42824D63-CE81-4F88-A282-2999588ED93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738190$0B682524-85B6-4DF2-8AAA-967FB93CF163","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee4009915d09e6fe7ec7a522d9d773c8030e752f","datavalue":{"value":"6725053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738190$3115037D-6C64-4DB9-A0D0-DB13864636D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738190$ABCC4680-9079-4615-9DEB-FDD22DD6802B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738190$4A9C6DA2-5F34-41F2-9CD0-4FF553D9F35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738190$E496CFA9-26AF-4BC8-9394-19CAF9452B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2070fc5df9433d476c5377198a03336bbaf3834","datavalue":{"value":"model completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738190$EFC9A40F-EEBB-485D-9480-5EB7081F3954","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":"Q5738190$7DBA4639-AE37-45EB-ABFD-8ED6F875D305","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"925df15e192ddba8bb815c5bdac5ffaa1ba30899","datavalue":{"value":"W2963027440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738190$C5487FB1-16FD-4ECA-A2CA-295BC57347D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738190$CADEEA6A-B519-4276-B033-844D7F2764ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738190$17B5C5F1-8F63-46A9-934E-B79F26CA4B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738190$646E5280-F9FE-46BC-A5DE-73DE07AC7D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff687fb653b2f50be19ff0d779dfa41c780cbacf","datavalue":{"value":{"entity-type":"item","numeric-id":4075436,"id":"Q4075436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738190$1FA4F276-86D2-4BA9-B2BA-4D822FD357AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b5585d4baeb825d826f8bb66ff9726cc956b3bb","datavalue":{"value":{"entity-type":"item","numeric-id":5255790,"id":"Q5255790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738190$9603C809-7AC2-48CC-8445-FD6E879F16EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c40c022b102dd80d2baf27b86604da87797cad06","datavalue":{"value":{"entity-type":"item","numeric-id":3519505,"id":"Q3519505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738190$B34B4D8E-7BCD-4A1E-9F0D-97DE55EE72C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc71c756ca2aa3717b8cfab369fbc23ba9a077df","datavalue":{"value":{"entity-type":"item","numeric-id":5496184,"id":"Q5496184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738190$6221E4A1-D47D-483C-82AC-BE0B3A40CF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d19a9eece734f1eda4a098ae6d7ce91db5fe44d","datavalue":{"value":{"entity-type":"item","numeric-id":4899112,"id":"Q4899112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738190$DD646175-AAF6-42AB-9CE8-EACE029E08BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f6f7b8a3a7aa17fe4538ae2a91e04e78ddf654","datavalue":{"value":{"entity-type":"item","numeric-id":2641327,"id":"Q2641327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738190$22BF0CF3-33F9-4CE5-A225-2C38E16C4CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738190$4DADE140-908B-462A-9D5E-94021DBD9C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738190$0C55E7BE-EDEA-4E5B-91E7-B1212982D5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672678cf45fd4483f5b79d4774c74879e4f49101","datavalue":{"value":{"entity-type":"item","numeric-id":2915178,"id":"Q2915178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738190$D3704EBD-D177-4D48-9AC2-5B00B65416D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6edba6cc7078f293d5517e96505fb988ccc3fe","datavalue":{"value":{"entity-type":"item","numeric-id":2626205,"id":"Q2626205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738190$B46C5136-6F17-4C52-8C51-9E4B2F0B0196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8697b2094016b1d14d9b7d46af4849fe91f1c6af","datavalue":{"value":{"entity-type":"item","numeric-id":1254309,"id":"Q1254309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738190$7A834D58-67A6-4888-82FE-D286DB58C56C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56132b38215f641d3f7d3dcef2ccbde9442ad27a","datavalue":{"value":"10.1017/JSL.2016.70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738190$AD95A470-CEE4-4F57-ACFF-DC6C72F5CCFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738190$CF42C50D-E1C8-4B1C-BE54-1588850193CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62d78197947027d933cebda936a26cc6799f188","datavalue":{"value":{"entity-type":"item","numeric-id":2915178,"id":"Q2915178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c1f26f0b1dd56e771d742cf6a18eb2dcf6aa90","datavalue":{"value":{"amount":"+0.8106251955032349","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":"Q5738190$601CBFE8-2E14-4215-BD0D-094EFB29D75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f9d112a1ac9bb3c34664d138673f815f5eb2063","datavalue":{"value":{"entity-type":"item","numeric-id":1817074,"id":"Q1817074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a0b20e2e027751aebe44fdcee4c27c44ff8b33","datavalue":{"value":{"amount":"+0.79183429479599","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":"Q5738190$5E2C358F-4A8D-4AF1-B24A-3179D42372A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a8aa8cbf51c64ce1af638651b7eecb466ec4f92","datavalue":{"value":{"entity-type":"item","numeric-id":2379951,"id":"Q2379951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"197358c19edcb99c43450f61e0af1ae1916468a7","datavalue":{"value":{"amount":"+0.7805392146110535","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":"Q5738190$D5DC2110-43B3-4F79-B9B2-E572A785CA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5d794d6c86586c6a48088b40b2e6dc9485739e2","datavalue":{"value":{"entity-type":"item","numeric-id":4635899,"id":"Q4635899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e52e28e2dddcc2165076fe91c224a781c93fec7f","datavalue":{"value":{"amount":"+0.7793816328048706","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":"Q5738190$DA32B261-1821-47E2-8565-142DAB4191D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb621964d1e4f174b3adbbc0e2cf8e80506bc210","datavalue":{"value":{"entity-type":"item","numeric-id":4412835,"id":"Q4412835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c83a109aefcf7f4c1bcdf4872ee48ce6a09ddd6","datavalue":{"value":{"amount":"+0.7792432308197021","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":"Q5738190$31BE7F0F-CB11-4488-B50D-A9FF159D482C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A model-theoretic characterization of monadic second order logic on infinite words","badges":[]}}}}}