{"entities":{"Q4608722":{"pageid":6638305,"ns":120,"title":"Item:Q4608722","lastrevid":58300248,"modified":"2026-04-04T15:23:34Z","type":"item","id":"Q4608722","labels":{"en":{"language":"en","value":"Succinctness of Order-Invariant Logics on Depth-Bounded Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852236"}},"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":"Q4608722$B950D3A6-3627-4E6F-ACC6-56F5523181EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71c7d52900c174ec80ed7a93e6a180fc6529deff","datavalue":{"value":{"text":"Succinctness of Order-Invariant Logics on Depth-Bounded Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608722$E45A3E29-5550-46AB-89BF-77ABBB6B7C35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8f2192cbbfa8c309d59e9f70592b3082c2f5f8b","datavalue":{"value":"1407.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608722$27A89988-818A-4EF0-89B7-FF00B788D2D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"921bccdc5f8722fb469a27013322aa48a7fe84e4","datavalue":{"value":"10.1145/3152770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608722$AD1CF08C-E20A-4F3F-93D9-8611A99E6C4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1af2473304ebaafdd7253ed895a2eaf394a18571","datavalue":{"value":{"entity-type":"item","numeric-id":1679972,"id":"Q1679972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608722$33C16826-898E-45E8-8DF8-92F5F76290D1","rank":"normal"},{"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":"Q4608722$A8F8727A-845E-4558-918A-68B1F9BFFA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9711f7fcc55d9ac2fd04f9c2f72987ba25c601d","datavalue":{"value":{"entity-type":"item","numeric-id":269709,"id":"Q269709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608722$61B5C005-29E8-4F47-8642-1BC8C5909E34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608722$D1F0AEF1-691B-4F89-A3AD-C84EC3C59C39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c08c0cb5adcb87dcdf141312d287850a8313671b","datavalue":{"value":{"time":"+2018-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608722$D5912AAA-78A8-47E9-8B3A-887C39FE2558","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2635dca2e52f98709a647d71e8fa5ecbf22b12ba","datavalue":{"value":"https://arxiv.org/abs/1603.09055","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608722$6902A6CD-D592-400D-989D-554CBD590834","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608722$ECFDF03D-E825-411A-A1DC-4A1958D5138E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608722$8B9A4FAA-451A-4506-9120-415E66C87727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608722$9C698C21-74DF-433F-A299-7AFB7B78C9C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8feac4070ab0bff5d0ca07f34779e3a99f33ebe","datavalue":{"value":"6852236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608722$432477CE-3C23-4A8A-A436-A21812F08C8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608722$11086581-0D00-47CD-93FC-1C9B21FC5807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608722$F6956972-4060-4DAE-A490-0328F5C7994B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608722$AF575A9D-3F8E-423D-966C-69F66F16EDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f105881160eb9e36ff285b0482ae452da4f51fef","datavalue":{"value":"order-invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608722$41038514-5A3C-4CC8-B07D-6CB85278FE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c640934be6aa44a45ab05e2591104a77cd814802","datavalue":{"value":"succinctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608722$DCD38821-799D-4B41-BFAA-9F6988E84C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c37a0473243d0e0f0f807cf56c0944abcdf2bbe3","datavalue":{"value":"tree-depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608722$0E5FDCAC-CEF7-4D6E-8303-598859807C7A","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":"Q4608722$34606584-38AC-4F24-82F0-D92D0E727EDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fbf6db28f9a3774ad7b1ee4c36768283dc9110a","datavalue":{"value":"W2964232764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608722$343172D0-15CC-42C6-A0F5-A1FA51D9EE52","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a623363839179a852c9b86a67979315a033c2e19","datavalue":{"value":"Q130860772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608722$DFC6864B-AB2C-410E-A58E-A3A2396BEB41","rank":"normal"}],"P1643":[{"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":"356a14fccb0006dd6a098d05685ca0e44197445f","datavalue":{"value":{"amount":"+0.98528993","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":"Q4608722$E70AC697-14C0-4EBC-8E62-4D97A6C45FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ca1d21fc3a59da75c9f80dcbe13ab73c022254","datavalue":{"value":{"entity-type":"item","numeric-id":5310637,"id":"Q5310637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2ff74262e4341ff63224631567a251401c7388","datavalue":{"value":{"amount":"+0.89753467","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":"Q4608722$1D2B4651-D54B-4634-8000-F76AEE753787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ca470014fc786fa5abed6d98af062194ae33bc","datavalue":{"value":{"entity-type":"item","numeric-id":385021,"id":"Q385021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88ff17af1a53a366790d2eea0a65fdcbc133da0","datavalue":{"value":{"amount":"+0.8917081","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":"Q4608722$D01E61C7-652E-471C-8C4A-3A74BE416B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4bab94369660743740997eb0df67484b6564688","datavalue":{"value":{"entity-type":"item","numeric-id":5294027,"id":"Q5294027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb04703a28a0e8e729aee7cdf4466f623da587dd","datavalue":{"value":{"amount":"+0.8906712","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":"Q4608722$C79F0E27-A89C-4614-9FFC-C1B1D8A1DCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edec1904bbe9b1b454ba456cf4550de5db0fd452","datavalue":{"value":{"entity-type":"item","numeric-id":2946761,"id":"Q2946761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1359ec2aaf395d6384c55f403f5209b1526f6cd3","datavalue":{"value":{"amount":"+0.8885688","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":"Q4608722$D758C174-E011-4DAE-B00D-770A14B0890B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eeff9275ba68d8354eb67a3c3d1dada8f4fa11a","datavalue":{"value":{"entity-type":"item","numeric-id":2958513,"id":"Q2958513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1359ec2aaf395d6384c55f403f5209b1526f6cd3","datavalue":{"value":{"amount":"+0.8885688","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":"Q4608722$DFF4993A-C20B-4F39-8746-C07CECE4E794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e389935cfbdd070357a9e862ad548e4fed50a8d2","datavalue":{"value":{"entity-type":"item","numeric-id":2361346,"id":"Q2361346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24fa529732c180018345cb6b4611b7fafbdb07fa","datavalue":{"value":{"amount":"+0.8795435","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":"Q4608722$B391DEED-DFCF-4542-904A-6418385174D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de10961d86591c48bcec9de64dae866564c0ed48","datavalue":{"value":{"entity-type":"item","numeric-id":5874209,"id":"Q5874209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"809014ef6c145029ac1d603099521ec8b7bcfe1c","datavalue":{"value":{"amount":"+0.8766447","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":"Q4608722$87F7BF5F-946E-4D72-8ED5-BADD7B639BC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4608722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4608722"}}}}}