{"entities":{"Q4914416":{"pageid":6943995,"ns":120,"title":"Item:Q4914416","lastrevid":41816996,"modified":"2025-05-08T16:49:31Z","type":"item","id":"Q4914416","labels":{"en":{"language":"en","value":"On the existence of a modal-logical basis for monadic second-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155653"}},"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":"Q4914416$12AE46C2-7FB8-4343-89FB-682816B46713","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cbe17889056d3241e2600b8b88d9c32e3f9fb6d","datavalue":{"value":{"text":"On the existence of a modal-logical basis for monadic second-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4914416$8352806B-15B2-44DB-9DE8-4F6B76D0C6ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc3bf862067541fbc1e4c7f799706c7d2719a1ed","datavalue":{"value":"1272.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914416$DBF3809E-A6B5-4747-954E-CC5741BFE1ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4601a858f87638d70dc47292abc072f2d23b4985","datavalue":{"value":{"entity-type":"item","numeric-id":259069,"id":"Q259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914416$E70AF2E7-CA77-41A3-BBB1-0A9C64A8740E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4fdee91c38391aeb9065dfab736680a56bfca37","datavalue":{"value":{"entity-type":"item","numeric-id":514034,"id":"Q514034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914416$EE59F566-6BA6-4030-8301-EF96C430E4C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4914416$32152536-E190-445D-B979-4C46D4F2B739","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cb1ac0647062d1d27e76316b8a948fe15e6daae","datavalue":{"value":"https://semanticscholar.org/paper/ba347a0b7e2653e0b8d61c65f623382e0f224d37","type":"string"},"datatype":"url"},"type":"statement","id":"Q4914416$C3968BFC-43B3-4F4A-ABA5-B48C318415FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914416$CDF51375-9BD8-4AA4-AFFA-B5A3B2888C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914416$0055D3B1-BB1A-4C86-9433-ECA6A33187D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914416$5E6837A6-CCC5-43CD-8DD7-AA5D985B5B97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c3ce112103c8da91ec7052a9ef8f96ebff000f2","datavalue":{"value":"6155653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914416$F70A96CE-9F08-4588-9AC6-A42765092EDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85fa719687a863a2711abb88df1c8caf1ac555c9","datavalue":{"value":"expressive completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914416$E0C7B1F2-79D4-4EA7-B103-15A0D81E5F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b2928fe4e6bf9823a17f579243760e5b641fa4","datavalue":{"value":"\\(k\\)-dimensional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914416$078EAB02-B13F-44B6-AB5E-6530F321C084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914416$3B246554-D8E6-41AB-B9FC-BB7EAC4BE054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914416$B97C0A7A-4711-4370-8124-8D345C40C3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a74f755791ecc6f0873d27164c719373f3577e","datavalue":{"value":"word model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914416$2C068227-3B15-4540-B7D8-7E1F00B769D7","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":"Q4914416$BF2B1556-B710-4D0C-9357-15F87952A7A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5813cf1a9cf773070a698660d8aff9b2310e886","datavalue":{"value":"W2160568449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914416$6C27F602-F8C1-432A-B6D6-CB9A319FF3D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dec257e6372e772d6d43ca835ff63d7062041a1","datavalue":{"value":"10.1093/LOGCOM/EXS001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914416$B4D942D4-E78A-4F46-90FF-54084914E407","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914416$1FD5F73B-31F5-4F0C-84FF-F93416031D8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df18e32cb866610bafd8f3cf31f6ee81c97a6bae","datavalue":{"value":{"entity-type":"item","numeric-id":466445,"id":"Q466445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b0e3b9652658a4405d15d8b8b480aad026971b0","datavalue":{"value":{"amount":"+0.9260209","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":"Q4914416$6881B47C-3C83-4F5A-AB03-8CE5B3AE5308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56dea6ad997ecba48c4a0ab781f9549648f6e8f5","datavalue":{"value":{"entity-type":"item","numeric-id":4412837,"id":"Q4412837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e62c0f2160a24c24fc9a426b60103954e16ef75","datavalue":{"value":{"amount":"+0.91947114","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":"Q4914416$C79B1A3B-BFF7-469B-976B-3AC96AE8BD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad28eb7c4c69d36a7246716c7539d498dcb5a05b","datavalue":{"value":{"entity-type":"item","numeric-id":1731834,"id":"Q1731834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2acdd4bcd5f16836923ffaeda0eae0c052f5369","datavalue":{"value":{"amount":"+0.9072181","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":"Q4914416$1DE4146B-BE51-415D-AD8A-E0AD45A1FED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903ddfbef704ed7ba6bb68673e20082c00e4b10c","datavalue":{"value":{"entity-type":"item","numeric-id":6047662,"id":"Q6047662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ccbf6bafb24c9f49dbcf8ebb8b64ae05b3a7f5a","datavalue":{"value":{"amount":"+0.9064379","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":"Q4914416$3FEB10C4-06E1-42C1-A08F-C1D28DDF2696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f6260dc6c47832252b65f669536f22a4044482a","datavalue":{"value":{"entity-type":"item","numeric-id":3085169,"id":"Q3085169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07924d87a47a3f62fb5736721e6809631b132a61","datavalue":{"value":{"amount":"+0.9028381","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":"Q4914416$56217109-FD81-4589-8FD4-23C00702D2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75c72ba13293a05a0ac5011da91a7ef03af6f864","datavalue":{"value":{"entity-type":"item","numeric-id":3347854,"id":"Q3347854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"011fab1e8f89e827bb90db9e4e939d45baa0d396","datavalue":{"value":{"amount":"+0.90113235","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":"Q4914416$63F4D6C0-2739-425C-848F-E1B334C856C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed030b74f186a9c7e144c1a5c1bdbc2e1e44f57","datavalue":{"value":{"entity-type":"item","numeric-id":622627,"id":"Q622627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba82448fa6a640629dea49d2296831bd69b9463c","datavalue":{"value":{"amount":"+0.8989804","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":"Q4914416$20FBDCAF-1739-48FF-8389-87777598E535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3260ea38f34a5e82cfbaac5a530bafde5de46d","datavalue":{"value":{"entity-type":"item","numeric-id":1577355,"id":"Q1577355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0c858897d277f6e093a77a1bac92a85774dbd11","datavalue":{"value":{"amount":"+0.8988064","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":"Q4914416$4CE7523F-3076-4D42-BB43-ECE3AC2EC3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f628b48803ccaf43238230d07a1fbbccec6cf4","datavalue":{"value":{"entity-type":"item","numeric-id":1924326,"id":"Q1924326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4b494ba68a2ae1f82a2f4965b31bee315730ed","datavalue":{"value":{"amount":"+0.8978129","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":"Q4914416$C0A0FF1E-720A-4C54-85B0-01CE2D5458CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8ec3afdef7ab06ba675e2d39d3204cdcd25e9f7","datavalue":{"value":{"entity-type":"item","numeric-id":259071,"id":"Q259071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93451ef1f9e0b757db6aeeafaf02bb2f60dddd48","datavalue":{"value":{"amount":"+0.8963623","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":"Q4914416$72E5CD21-0AEC-408D-BAF6-C0935846C919","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4914416","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4914416"}}}}}