{"entities":{"Q2104260":{"pageid":2115003,"ns":120,"title":"Item:Q2104260","lastrevid":57343578,"modified":"2026-03-30T14:03:44Z","type":"item","id":"Q2104260","labels":{"en":{"language":"en","value":"Defining long words succinctly in FO and MSO"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7627923"}},"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":"Q2104260$D0903488-B711-4A11-A474-D5E3C9D70EF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"553226c2dcfc3d9173c048baf985fcc37a8e5910","datavalue":{"value":{"text":"Defining long words succinctly in FO and MSO","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104260$7BD91279-00E0-45AE-918B-D8051D4F95DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac8ac9a40570e0bf5706ccacd868667f831df2d8","datavalue":{"value":"10.1007/978-3-031-08740-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104260$236ED5E4-91B3-40FC-A59F-F2FC6F2E38A0","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":"Q2104260$19661E8A-2654-41C9-9C08-6153A130DEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b78f7a9b27928d26da1b94bc1c42acf3a3bc79","datavalue":{"value":{"entity-type":"item","numeric-id":2104259,"id":"Q2104259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104260$302F247E-805B-4E9A-ACE5-B910BF468342","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-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":"Q2104260$2471D21A-10EC-479B-93FD-F292CED956EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c0665f524766f3346e5d3221a989f981a214add","datavalue":{"value":"https://arxiv.org/abs/2202.10180","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104260$02D6DB08-0D8D-4E7B-8AED-AB3823F640FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104260$FBF579E0-FF66-43CD-9EFF-A25A445C0F9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c89c8d9630fcff8286ab5c023713e02bda4eb1ac","datavalue":{"value":"7627923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104260$1AAB0663-2038-41A5-8083-36D19EA1BEA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c0bf02bbeef8dbc749df175752cf2627d929e1b","datavalue":{"value":"logic on words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104260$6496FFDB-C0F8-4003-B307-B5B4F33A9A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104260$C557926C-1ABD-4067-9D27-805BDF6BB258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c640934be6aa44a45ab05e2591104a77cd814802","datavalue":{"value":"succinctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104260$719D8908-542E-4CE3-B74E-95FE4A41F799","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":"Q2104260$0F80D498-2F83-41AE-A8F9-3F1062800E86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d33c352968854f9dc3ff4c8857e87ef6b8d4bd5b","datavalue":{"value":"W4285212347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104260$CF368EC9-BF63-405B-AD25-275AB259A196","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104260$7056D129-A951-4D15-8099-2315F8C2368C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8788eb2b7e8ec9fc83f6b2843af5de4faaad14cc","datavalue":{"value":{"entity-type":"item","numeric-id":5437181,"id":"Q5437181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104260$40EDCAC6-C6A3-4453-9CDA-20D1069ED885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36dbde8338f6ff396cd696a383511c20ae6cedbe","datavalue":{"value":{"entity-type":"item","numeric-id":5687418,"id":"Q5687418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104260$F6263A47-EE3B-496E-8D95-98C2BF55F70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94628c4cb34d521f0a50864eb259c5fe6da6e938","datavalue":{"value":{"entity-type":"item","numeric-id":2506492,"id":"Q2506492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104260$FFC3862D-D72B-429B-824E-C0F81C02A567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eecd9f11f5e1cef4a5dd0ec4d7a5d4afd1a7a0ec","datavalue":{"value":{"entity-type":"item","numeric-id":2104260,"id":"Q2104260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104260$CA00CA62-49E2-4B50-9C0F-5C4AE5DA414F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104260$BEE6EB91-E746-4DE5-AB93-D12490C5BF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa83ce08e81f681ff8711a2598a37848faf844d","datavalue":{"value":{"entity-type":"item","numeric-id":2368907,"id":"Q2368907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104260$F583CD4F-D48C-4D2D-AFF3-10EC6655AB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54be23d494bc581b5e0f8b666f31a356c8d9fb3f","datavalue":{"value":{"entity-type":"item","numeric-id":5718668,"id":"Q5718668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104260$C884BD59-1D56-41AE-B4EC-099D36706FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa64b2d0b154e9c30a9a3c248c555bc9a11b0ac2","datavalue":{"value":{"entity-type":"item","numeric-id":3118383,"id":"Q3118383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104260$8179C949-ADBC-4457-81A4-E27AC8F553AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706f7e0fb86d4e2bb6409c9522f078637b0f483d","datavalue":{"value":{"entity-type":"item","numeric-id":4412836,"id":"Q4412836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104260$280CF422-182F-4929-AE59-28B03B5C6BDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc6694850c9b9543c682117737501447d9f1f37b","datavalue":{"value":{"entity-type":"item","numeric-id":2048208,"id":"Q2048208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80ae1c939aa402f96664bfee73b3eb44ecab97ab","datavalue":{"value":{"amount":"+0.735196","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":"Q2104260$949970EC-EF96-465A-95C3-6C4194BE7322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567693667cf8be973e934e980b5bfba5de5c6b8c","datavalue":{"value":{"entity-type":"item","numeric-id":1647840,"id":"Q1647840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e236e20b97cfddeeb316ab40d82ec0e11d066b","datavalue":{"value":{"amount":"+0.73466617","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":"Q2104260$47DED033-8E31-40E7-B308-7C36FF9E62AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c9079c7fb8ae2f5cdf94b94710b5800754fcc3","datavalue":{"value":{"entity-type":"item","numeric-id":4941160,"id":"Q4941160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de62f7ad3afa9da2b19db4f30839134c47fd2951","datavalue":{"value":{"amount":"+0.7344649","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":"Q2104260$78F63D8B-014B-4145-A4E5-559BFB4E379A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d75d4ad3b34a05429d24572a7024a4653eb02edd","datavalue":{"value":{"entity-type":"item","numeric-id":2321925,"id":"Q2321925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5874cb340539e69236bf71addea06190d862fd15","datavalue":{"value":{"amount":"+0.726535","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":"Q2104260$242F702A-DD56-45CD-ADB6-6FCCD63AD346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cdb87838eafcd140a8cd3e7a46868df9e946983","datavalue":{"value":{"entity-type":"item","numeric-id":4636617,"id":"Q4636617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d032998ec9479d015203538157a23e51c453a454","datavalue":{"value":{"amount":"+0.72653496","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":"Q2104260$B3444228-9BA7-40A1-929E-6202B53DDA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1b95409890bea502368873d25997cd973c1b38e","datavalue":{"value":{"entity-type":"item","numeric-id":2798218,"id":"Q2798218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6200fa9d3d018f314acfdb977eaff33a7ae9effe","datavalue":{"value":{"amount":"+0.7253233","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":"Q2104260$535D5273-4F8B-4808-8CA8-945C8BA95BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d18c9569e1f47753f56fcdecff01cfaf068f2bb5","datavalue":{"value":{"entity-type":"item","numeric-id":778137,"id":"Q778137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b5474ee3cf238661eabf322c43be3d94253ddc6","datavalue":{"value":{"amount":"+0.72320426","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":"Q2104260$DF868767-3D6C-4D86-8F7F-7A6B47718404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83ff36e2a1b272ee24c2558090f9ed4618f65d58","datavalue":{"value":{"entity-type":"item","numeric-id":3315512,"id":"Q3315512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"796aee02654727f3c132d4fb5c0c5167a78f56c6","datavalue":{"value":{"amount":"+0.7220101","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":"Q2104260$3D76F71A-B2D5-480C-9A7C-EF92940520F5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104260$9BFFC6B8-B19A-48EE-B576-514F8DEACBB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104260","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104260"}}}}}