{"entities":{"Q2922020":{"pageid":2932740,"ns":120,"title":"Item:Q2922020","lastrevid":52109201,"modified":"2026-01-20T23:10:26Z","type":"item","id":"Q2922020","labels":{"en":{"language":"en","value":"Expressivity and succinctness of order-invariant logics on depth-bounded structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6355256"}},"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":"Q2922020$265892CB-040A-4263-B60D-5C033D733995","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3531d85e31970b0da71d6e8e8152ea5e286520c9","datavalue":{"value":{"text":"Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2922020$EDDE647C-0997-41F7-B9A3-68CA6FF28805","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efd16a0dc74c44ac78af70895747d499edbeb213","datavalue":{"value":"1407.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922020$399B1EB2-C847-4E69-89F6-CFB41907A60F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4379edd8b5b8cdbc53676ecec4c9bbd8d815540","datavalue":{"value":"10.1007/978-3-662-44522-8_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922020$2619566C-1104-4363-B3B7-AB24C9F7BA55","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":"Q2922020$BEA854C1-3D18-4CD3-8534-12254B256251","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":"Q2922020$847B41A0-3DC1-4D5B-AA8B-3D0FE341F4A4","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":"Q2922020$8DE85674-3593-426D-93AD-9698B66C77A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68b25ed9d3c306483bfc58de311b8d2185d8c136","datavalue":{"value":{"entity-type":"item","numeric-id":2921996,"id":"Q2921996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922020$35DB4CD9-F648-4AEA-A92D-2D8A0D0DC0E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b416645c0a17193441756de619503aab4f6e3c3f","datavalue":{"value":{"time":"+2014-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2922020$0227F524-79CB-40A1-9265-8492069B49A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922020$C49503B9-F9C7-4A77-A8F8-31FC3DFDF201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922020$951BD1CB-68A8-4EFB-ABA7-79A111B51755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922020$A1334013-F7BE-43F1-92B2-640E544AF924","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2132528c4fc07c7ed6eaa7836c00ece16ffa69b1","datavalue":{"value":"6355256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922020$0317A25F-48CB-4D56-96E8-4FA66A0CEF01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922020$108B27D4-F3EF-4121-BF31-4E2933E8356D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c640934be6aa44a45ab05e2591104a77cd814802","datavalue":{"value":"succinctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922020$71383577-1806-4673-A4D5-1D472559086B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922020$33504FAB-F385-4254-A396-59F0C403DE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922020$10754794-D949-4F7D-A87D-7CCACA30441C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f105881160eb9e36ff285b0482ae452da4f51fef","datavalue":{"value":"order-invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922020$B82BAB93-EE05-40D5-9E9D-32213B42CE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c37a0473243d0e0f0f807cf56c0944abcdf2bbe3","datavalue":{"value":"tree-depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922020$EB8B2B35-F11E-433E-A56A-31EC6EA3CC67","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":"Q2922020$098FFF43-0D55-48A8-98A8-3741F39195C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3101c9d69b289f290b9552c368c0d436514cba2","datavalue":{"value":"https://doi.org/10.1007/978-3-662-44522-8_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2922020$7F1D5B89-3FFD-432A-A5CB-527E2DA935EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"744f8a700c8be05374e30071f8f74cc03a1a3f74","datavalue":{"value":"W800522565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922020$72C14E46-B4D2-4C7D-B3D9-3710D67920A2","rank":"normal"}],"P1643":[{"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":"7bb050181fd7a0af61310471c356d271e1fc1841","datavalue":{"value":{"amount":"+0.9728769063949584","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":"Q2922020$5B5F795E-3F52-4BF5-A51F-426F566FA4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c67c4a1e90a7f80693efa05756582e722b0b3a9","datavalue":{"value":{"entity-type":"item","numeric-id":4635897,"id":"Q4635897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"183022c88c95bb94c0f8733bb16bfc6904ed9609","datavalue":{"value":{"amount":"+0.8455823063850403","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":"Q2922020$B060819C-3CCB-45D3-8DE2-EDCA0264B265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde80fd0ae24fa27df9f918432586f1164b3afc4","datavalue":{"value":{"entity-type":"item","numeric-id":3616348,"id":"Q3616348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0a1f9282b6ed0b6ad899872ab9e77df53478d97","datavalue":{"value":{"amount":"+0.8341677784919739","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":"Q2922020$CBDEA872-D60D-4135-AB32-79BE94991AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f576b40445ded05683aed6256e5371a4f0d961","datavalue":{"value":{"entity-type":"item","numeric-id":5394583,"id":"Q5394583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c618bc8ff4355dbbc50db0bf8165614311a59f","datavalue":{"value":{"amount":"+0.8300681710243225","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":"Q2922020$6FFCBEB5-88EF-46A3-B48A-715104073DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b265a94fadff15b585c221c60c9ba5062b59e36a","datavalue":{"value":{"entity-type":"item","numeric-id":2986803,"id":"Q2986803"},"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":"Q2922020$BD5EB6C1-EFCB-4B98-89AF-903EEFCF87B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2922020","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2922020"}}}}}