{"entities":{"Q2915178":{"pageid":2925898,"ns":120,"title":"Item:Q2915178","lastrevid":79887878,"modified":"2026-05-06T14:56:24Z","type":"item","id":"Q2915178","labels":{"en":{"language":"en","value":"A model theoretic proof of completeness of an axiomatization of monadic second-order logic on infinite words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6085049"}},"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":"Q2915178$7C5C911A-6BB9-4536-A5DA-569905B58F25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62a5dfa54d7097d9fbd357e92bfb81281bd368b4","datavalue":{"value":{"text":"A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915178$11950D19-EEAE-40E9-A7C7-BA3237A71EF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"940c57f0593187d716ad6952151e8f6fa9054d4c","datavalue":{"value":"1283.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915178$D636DB80-2DD7-4BE4-9E0A-2505C1CB4BC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab2e0cfaadc860f8a5970b7df859b9a4a0d389fc","datavalue":{"value":"10.1007/978-3-642-33475-7_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915178$AF989547-6BDD-4617-B154-42F63E971620","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1fc50a159907b8dc1c70f03396294da532f8687","datavalue":{"value":{"entity-type":"item","numeric-id":987975,"id":"Q987975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915178$7EBDB906-EC5A-4168-AD60-10870FFE7149","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915178$622B438C-2796-47DC-A7E3-C9184CF7652B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915178$C126BB53-E104-4752-A676-8CE5427354CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915178$08458471-6824-48E8-862D-E4DA829EDC7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd23ae25fc82cfb840f0c71de6b71e8c5433469f","datavalue":{"value":"6085049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915178$CF4995A8-670F-414D-B9E8-6891D743E309","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"533cefde8edc997ea4c46077b8a2eec7497913c5","datavalue":{"value":"monadic second-order logic (MSOL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915178$7E677A45-F3C3-43E6-A19E-847B7FFF888B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f05c2eb538eb719808d83cbc204e3746ee83395","datavalue":{"value":"Siefkes' completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915178$A0BF77F6-79C0-41B3-B556-A768F49D6549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b792bb0b5c7f2779e51b6b6d9c673d9b56c3b143","datavalue":{"value":"Feferman-Vaught fusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915178$A903173F-61F0-4D55-9B03-415555F39515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99dd504b613aad68071a7f01374660cf49107b76","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915178$A5FC7361-5A1D-484E-AD59-E3D11BEA149F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e57b46883f85e78217f43fc576032fc8979eb76c","datavalue":{"value":"Henkin models of MSOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915178$78C71E23-2676-49D8-8B5E-1F5F71BB838A","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":"Q2915178$0EFD20E8-BF2E-4E44-AEAF-0AFBD47E711E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"149e726fa17e247827d9dce1a0f807288365d45c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33475-7_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915178$4F524645-D651-4AC5-9480-09425EAB033B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a32c3c81da3a289bfb6d8e34ebde82c4984987c","datavalue":{"value":"W44837187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915178$44F0EE3F-F285-4FB6-99A0-3BB3F7782504","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa6d0b733cb5ca96190eda875b01728ba5e187a","datavalue":{"value":{"entity-type":"item","numeric-id":4635820,"id":"Q4635820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c0ab627e4f680f10def6bb181bc450959e6048a","datavalue":{"value":{"amount":"+0.8126429915428162","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":"Q2915178$DF5E8AA1-B163-4ED7-80E5-8798901A01A3","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":"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":"Q2915178$0712035A-E9BA-4458-A996-E6E22977A5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60147acdb76f80d96ac1a2d79702ca8d97e8f784","datavalue":{"value":{"entity-type":"item","numeric-id":4899112,"id":"Q4899112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58b3c88c72a6f73a6a146817041ce61de6be2802","datavalue":{"value":{"amount":"+0.7504861354827881","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":"Q2915178$7D7A9D27-454E-4EB5-A614-CD4F01377B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fddf856da9a19ceac38abb9a966e89e4f6a41a","datavalue":{"value":{"entity-type":"item","numeric-id":5271082,"id":"Q5271082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df4f8762fae8962fac1ad662f135a2dcb569ec5c","datavalue":{"value":{"amount":"+0.7483330368995667","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":"Q2915178$DE935F8D-A865-40CD-82B6-6017DCCF6BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f57c64afbb1ef20fb5f8402dc493a05430872d70","datavalue":{"value":{"entity-type":"item","numeric-id":3605529,"id":"Q3605529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff3430090ef0d294a2a928a167a2caed4f48ee6","datavalue":{"value":{"amount":"+0.7275514006614685","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":"Q2915178$1F1F960E-CA3D-44A8-BB76-169EED63AA03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A model theoretic proof of completeness of an axiomatization of monadic second-order logic on infinite words","badges":[]}}}}}