{"entities":{"Q5862284":{"pageid":7891835,"ns":120,"title":"Item:Q5862284","lastrevid":54242069,"modified":"2026-01-26T13:04:37Z","type":"item","id":"Q5862284","labels":{"en":{"language":"en","value":"On existential MSO and its relation to ETH"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7485438"}},"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":"Q5862284$83A9DD3E-B140-4D46-A4A8-5D442041BFDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0b08fa075da5b099e61f45a3d14b3b897852a43","datavalue":{"value":{"text":"On Existential MSO and Its Relation to ETH","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5862284$DFB115B3-8CBB-4040-BF34-2DD75142B6D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"773f3d86d3e820cf2918934ba3cd63801642625f","datavalue":{"value":"1495.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862284$D86C0436-D641-480D-AE3C-16AB71202B5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66d2f8f5e5e6a4ed095df3f4baf5fd0db6abba26","datavalue":{"value":"10.1145/3417759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862284$6A9462AC-E086-49AC-BDEE-312B0351F16A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20032bcc84344d7c9c68c7fbf55beb604aad0a5e","datavalue":{"value":{"entity-type":"item","numeric-id":395001,"id":"Q395001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862284$806B8B48-CC04-4D09-8B14-2D66F47AA72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc7f99df3482afdc290c4262adb0344fcc17508b","datavalue":{"value":{"entity-type":"item","numeric-id":1990310,"id":"Q1990310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862284$65AADB6F-1B9D-4D14-8422-F0ABA2FC5281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862284$0AEA19BB-3D32-439A-9F7E-432DAFFC4EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72ce7d9a67faa35e942a183da43448d5f2aacbd9","datavalue":{"value":{"entity-type":"item","numeric-id":557829,"id":"Q557829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862284$5EEF99B9-0F45-49D4-9051-ACB48B90D398","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64bbaa3c401dec878328d8d72c14b0373fd9aac2","datavalue":{"value":{"entity-type":"item","numeric-id":92716,"id":"Q92716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862284$068B4088-942D-4AC9-991A-1D7BFADD1116","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5783a1d8b5962f0874bec2519202727b162b8e9","datavalue":{"value":{"time":"+2022-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5862284$3B944B87-928F-4AAB-9A4E-4DEAA867963E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43ca050ab88d7ecfa97a459f8eda12fceeb0fdb3","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2016/6455/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5862284$8335865C-BD70-45AB-A04A-AE3A111FCBDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862284$FD2D6B92-8A5F-46F1-8670-4BCD4249AC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862284$1ED96137-1DE6-4992-837C-745634591A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862284$2358C7F9-89C6-4238-97BA-BD6491737075","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"334c9b9ddfc173a59d8ec9d57c923ae5a28f8c93","datavalue":{"value":"7485438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862284$8BF3656A-7FA6-4479-9B89-14CCF981EA57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a91af60a7f511428edbb5ac5c15e2ca2612a4a","datavalue":{"value":"exponential time hypothesis (ETH)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862284$A0D4846A-2384-4E03-ABA4-FC9BC147A890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8869e49bfbb5be74b2ddfa3bbb9142da94a5db3c","datavalue":{"value":"logic games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862284$3007E0C7-5906-4C13-ADD1-235014D344C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862284$9D0E0DB2-507A-47F4-B07B-85D486F32C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59754a43d514ea4797032fb7606a33e5016778d3","datavalue":{"value":"serf-reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862284$D423121D-6709-403A-8ACD-98053DFA4602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"612d89228bab4fdc0e1dce856d4134c92d9c3f62","datavalue":{"value":"subexponential time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862284$A4A39AF5-D5CB-4ABC-8894-09434E15640D","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":"Q5862284$C8D2221D-354D-4B58-9661-446962E3E57A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69de4e85c845a96e393b30b168db66a5faca872f","datavalue":{"value":"W3044065395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862284$10FE8707-57BA-4529-9489-57675AF0510F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6e18e12e5e7b4808abc3d0a4b4b24cdb2b1f9c2c","datavalue":{"value":"Q130878666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862284$DF9B44CB-0339-45C3-BCC5-446C65390640","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9852946fa2f582fab2775efcf03f7d1aa24cb7e5","datavalue":{"value":{"entity-type":"item","numeric-id":4608603,"id":"Q4608603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a952d22751140e6f3eedf240b3e9bc3b6253bffb","datavalue":{"value":{"amount":"+0.9980134963989258","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":"Q5862284$2D3CEB9C-A75C-40F8-8061-08A718479692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d6a9840034335c4de344169f12e12a5c7c6d978","datavalue":{"value":{"entity-type":"item","numeric-id":5741801,"id":"Q5741801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc5e3d0d9fadbe3cc643ebd5db9bee193bbe4a1d","datavalue":{"value":{"amount":"+0.7598519325256348","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":"Q5862284$EEEFD35D-EFCA-4F34-B4D8-81819F962B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ef5e5050f19a6ccc109f1e462d58d9628426e7","datavalue":{"value":{"entity-type":"item","numeric-id":4930599,"id":"Q4930599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13730a71e55c5c8c69bae314fc2796787ad60ca3","datavalue":{"value":{"amount":"+0.7577490210533142","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":"Q5862284$80784CE1-EE8E-47FB-B7CD-0E1536FD2DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa0f4ee0071d95906118d3a9ac09254bb1a6da7","datavalue":{"value":{"entity-type":"item","numeric-id":2942439,"id":"Q2942439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79343c24e4ca8f33ae692c39890953bd9ab813e4","datavalue":{"value":{"amount":"+0.7539969086647034","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":"Q5862284$099BE966-EC8E-43E7-B93F-DDA38CB85215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d8ef7adcb508039a0b7621d9c67bc405effcca","datavalue":{"value":{"entity-type":"item","numeric-id":2235760,"id":"Q2235760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e8f52a84d8d25af57dd307908381ceba18ef0f","datavalue":{"value":{"amount":"+0.7479732036590576","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":"Q5862284$755A6D9D-C6AA-456C-951C-886B640D770B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5862284","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5862284"}}}}}