{"entities":{"Q2986803":{"pageid":2997527,"ns":120,"title":"Item:Q2986803","lastrevid":52804553,"modified":"2026-01-23T13:18:16Z","type":"item","id":"Q2986803","labels":{"en":{"language":"en","value":"Where first-order and monadic second-order logic coincide"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718086"}},"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":"Q2986803$693EBD76-74B6-4530-BA0A-7194B163422D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2ccbce53f3eaf048e7c62b05fabbaa827f9613d","datavalue":{"value":{"text":"Where First-Order and Monadic Second-Order Logic Coincide","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986803$27531F1D-00A1-4F62-A199-086BF4759527","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"081329b6dd1e86bc6800f8d2e58c6964110681d9","datavalue":{"value":"1364.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986803$E319F819-F22B-4FEA-B8FF-B892D623D57C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"675b5113aa06fff66982ea31f175d013e1497fbd","datavalue":{"value":"10.1109/LICS.2012.37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986803$4F41085D-62EB-4294-8D63-6861D78E2AEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87985f4d1b190d4771ed7783c30ea9d5bfe4860f","datavalue":{"value":{"entity-type":"item","numeric-id":390886,"id":"Q390886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986803$49EB0AAD-4D67-449B-8BEC-B86EE46A6B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e472eff586da807ef811f77707a93e380b6a974","datavalue":{"value":{"entity-type":"item","numeric-id":414932,"id":"Q414932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986803$F3E292A3-5625-4567-B648-1BFF76C87B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2b224aab66ffb4af458805268689af05df667de","datavalue":{"value":{"entity-type":"item","numeric-id":418169,"id":"Q418169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986803$54F6A519-69B4-49D8-8319-20EFD7B97443","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"582a6c5adc14cfa6944ab3a3a801ae6337273c99","datavalue":{"value":{"entity-type":"item","numeric-id":2986776,"id":"Q2986776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986803$C8606ECC-714E-441C-B245-224013427020","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986803$6DF99BF4-62CF-407E-A304-B9CB4E2426C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986803$25FAB0B5-DEFC-4B22-8F13-5229D8BD9457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986803$DC521C84-775E-4E6C-A5BA-22E7C7326164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fd5ba61c492f09082ae88370fa92e256be14e94","datavalue":{"value":"05C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986803$2BC44F94-0021-44FD-A09A-BB8BE1ECAE6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af868a21fbd984964ee6ef1762897ab5295ef9fb","datavalue":{"value":"6718086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986803$A85C18EE-590F-4563-B077-A9A2D372B4EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986803$599987BF-8351-4A06-9963-A609F2C5C24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986803$944966D1-8065-4F79-BB57-61721B5FF559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a90a940330cede5bbc18c3bb2bd02b32248159a","datavalue":{"value":"guarded second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986803$F02B2941-8FF3-4B74-9829-4940E410DCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56dbab920052fb03991fb8196df76a9cb514a720","datavalue":{"value":"tree depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986803$BE31A48F-4B61-42FF-A732-3C85E6665D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aa823381996fcc0ccd3a2cba10b758f14d14704","datavalue":{"value":"graph classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986803$F07153EF-9649-4CC4-BE66-268650C30295","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":"Q2986803$65FB54B1-AC4C-4E07-9045-F44534C9D4AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9b4df7d7ce12ed978aa9e93a7dca87b3255e143","datavalue":{"value":"https://doi.org/10.1109/lics.2012.37","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986803$DB6EB44A-29AF-4FB9-8AB1-E6B1F2684B73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b670743cbe5f7faa59a0d22abb775b2a59d4ad4","datavalue":{"value":"W2065443441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986803$5B38E4B7-2BAE-40FD-94D9-58E9017136C5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5328acd37e647a872ef741368e32a86dbf09a3b9","datavalue":{"value":"Q130863238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986803$18B33FDA-8985-4248-AAC3-D506844BD381","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d7a6f92975ccd5498a85ec5628fc7210b9b6f6","datavalue":{"value":{"entity-type":"item","numeric-id":5278195,"id":"Q5278195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6029cd46ed0f3774bc36853074bcca6c424b6e85","datavalue":{"value":{"amount":"+0.9896961450576782","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":"Q2986803$06AEE887-B571-495D-A1F0-52ED7726B11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0533e66645b81c6da967d667fa77a5c20e27b38","datavalue":{"value":{"entity-type":"item","numeric-id":2922020,"id":"Q2922020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31dba5beed506194cdaca0564d7ff2adb2000892","datavalue":{"value":{"amount":"+0.810222327709198","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":"Q2986803$33FAAB6E-9D52-4114-87D0-28B2F34104F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66eda1faa6f9a14688d141a7261ebe70747818e8","datavalue":{"value":{"entity-type":"item","numeric-id":3613359,"id":"Q3613359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c0054be93fdb466b1d81b9343ce1b000254f85","datavalue":{"value":{"amount":"+0.793693482875824","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":"Q2986803$840C7E3E-7588-4387-B7D4-D590590EE09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3486612ff18df507d22c05824810415c2c11fac","datavalue":{"value":{"entity-type":"item","numeric-id":4608722,"id":"Q4608722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b49ae0250db63ac6568b8b5a8fe905753e9705d3","datavalue":{"value":{"amount":"+0.7867038249969482","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":"Q2986803$26786A37-CF5C-42D9-9EFD-474CD0D68178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba33f73f8cf3e949aa159d68bc3cd85503d95314","datavalue":{"value":{"entity-type":"item","numeric-id":3086932,"id":"Q3086932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ea7000d18f2bb0c95fa6cff8b751730fbc22b2","datavalue":{"value":{"amount":"+0.7799932360649109","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":"Q2986803$14F1C0BF-2E47-4020-B228-288A4DE3F86D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986803","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986803"}}}}}