{"entities":{"Q1302307":{"pageid":1313057,"ns":120,"title":"Item:Q1302307","lastrevid":67324923,"modified":"2026-04-12T16:52:02Z","type":"item","id":"Q1302307","labels":{"en":{"language":"en","value":"Succinctness as a source of complexity in logical formalisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1340824"}},"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":"Q1302307$ACF88BB6-37AA-47A0-BFE4-DF9CE44844AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f28fcc9517d29871780f8bbbc4c9901749e4a5f","datavalue":{"value":{"text":"Succinctness as a source of complexity in logical formalisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1302307$2569FFD7-95E7-4768-AC1D-3E78DC20D820","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"657190ec2073c015cc52e92d5072ecbe187b95bd","datavalue":{"value":"0933.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1302307$E4353EE7-C196-45D4-8F92-37E484B9C756","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c759e7ce548f4f64616721a91221bbbf0d7d02e7","datavalue":{"value":"10.1016/S0168-0072(98)00057-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1302307$C03A6F95-E807-4064-8E55-C94DE3BEB9B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ea9f01e952d7c8681ab3cdbdd2dab7be8167564","datavalue":{"value":{"entity-type":"item","numeric-id":202112,"id":"Q202112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$69ABE962-0BA7-4C00-8A2B-D4450300FCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd7123f74d155fe14856de0656eddfe851c66cd","datavalue":{"value":{"entity-type":"item","numeric-id":202113,"id":"Q202113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$358ED235-4FF8-4FA4-B07E-3D7DD3DB6F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab766bab7d2d121997187bafff958b477c6b8a01","datavalue":{"value":{"entity-type":"item","numeric-id":234696,"id":"Q234696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$A6128404-A692-469B-A66C-8A2BC49CA1B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$B3DDBE90-3755-4F27-BCEC-82F1F54090C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7780eb30db256747f91026d8cb0ff2dc4b116b","datavalue":{"value":{"time":"+1999-09-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":"Q1302307$6E735FA6-FFFF-431E-AB4D-4D292C61DE08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1302307$B4540738-1833-4B4E-850E-E894445FD69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1302307$7DC4ADC5-4C0D-4C02-A6AC-D60C04DDC679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1302307$AA09E4F0-FE88-46B8-8604-72F228A361E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1302307$519C29B2-A15F-4378-BBC2-76FA7CC3FC8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6572e79c40a3d8e12d7beeb2f0458870717503b","datavalue":{"value":"1340824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1302307$CBE01654-9AF2-4C0C-85D8-BFD438B61880","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0052dbb998ade7d726f0c0b86e4baadd7e346db9","datavalue":{"value":"query languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302307$1C15CBA3-5BEE-4CB2-935E-6DE784C97681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33030392b5fcb435cb3eac5d99460d5c2545b065","datavalue":{"value":"succinct problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302307$1A8BDF6A-CEBB-418A-B1B6-BB9059EF94A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb37aaca59bdf89f06fef8b123e3e4c5480fdc3","datavalue":{"value":"quntifier-free reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302307$14091981-0D8C-4D6B-94D9-817D5522E93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d914195427141ad87f61539c4730fe0d1ea0d00","datavalue":{"value":"expression complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302307$5E96692A-1518-40F5-942D-230CB3A1C4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302307$0F5162C5-3B4E-43CA-8911-FF094ADD3195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec1bba52cc7f2bd94ac6568c8bfd6bd0fbb1baf7","datavalue":{"value":"weak exponential hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302307$109195C3-F2EE-48BD-99F7-B92870848C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aab5c54aaec05be29fceb916ef026faad12b93e9","datavalue":{"value":"database","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302307$7F93B6EF-D378-489F-AAA3-3E95BF2F2332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302307$0F5BBC46-EDF6-4C05-BE3E-8610388B1F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302307$FB086FB7-69FF-4B94-B00C-FBFA864F2D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"999f5304dfb8141be2ec677ac30eda77750a859a","datavalue":{"value":"first-order logic with Henkin quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302307$A5B46247-DD1F-40B4-BD7C-AEC5F98ACF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302307$93E9979E-644A-48B1-B8D8-8E87A54D35B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"937c1c231fbc5f698b318d7d6f7ed8adc85fef1d","datavalue":{"value":"quantifier-free interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302307$E629598D-A790-47DB-AABC-0DBD92968260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e4ea30093d8fa32dfa08d62053fb8ff3268739","datavalue":{"value":"descriptive complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302307$7DE8F468-283D-4240-BD21-B1691951B81C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$65D3FB7A-0A6C-4C4E-A329-971EC95C1198","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":"Q1302307$09FD7073-CC42-40C4-90F4-1B9A3669FB4A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e95288fb3703a153af69a0fa87ef12ad85fe48","datavalue":{"value":{"entity-type":"item","numeric-id":1088983,"id":"Q1088983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$27E7DD13-3958-4D82-8E5F-E46FF0B6CFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4df9dc94c3bdcd2e19020be54c6a77a49bc18e0","datavalue":{"value":{"entity-type":"item","numeric-id":671606,"id":"Q671606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$911D3680-8B8A-41D1-8ED9-3DDF8093C438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a3f5e6a1ed91a009a4c95875091c741100f2e26","datavalue":{"value":{"entity-type":"item","numeric-id":287160,"id":"Q287160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$A75C8F1E-FAB8-49D6-B168-90ACC9039247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$24DB4C17-F265-4B6C-89EF-3F87569F613C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a419dd7ff0f3d465e478a0d405d767ee1f50956e","datavalue":{"value":{"entity-type":"item","numeric-id":917543,"id":"Q917543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$780C1D7A-C6C5-43CD-80BB-237587928D68","rank":"normal"},{"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":"Q1302307$322B30D3-8C36-4AB6-AC57-5837D3B5B6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e443abd205c633af6bf9d7270f54a9ff30c3e75e","datavalue":{"value":{"entity-type":"item","numeric-id":4369855,"id":"Q4369855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$64000837-47E6-4D83-BF60-A4382B30FC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"020400486e39b5d509f5d55f7c473b1a3798202d","datavalue":{"value":{"entity-type":"item","numeric-id":1389684,"id":"Q1389684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$DF2D0895-6367-4AAE-9D95-5FA7B82F0D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b90a00fa6ec18a5f04f5d055b44b9ae4b908e65","datavalue":{"value":{"entity-type":"item","numeric-id":1274974,"id":"Q1274974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$A6FA53DC-87C7-4733-9C78-C1EA12D448D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$32327753-1547-4C98-ACFE-847E896CBE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70d25d335984640e6dfdb95e29f1c296c0c5fbb","datavalue":{"value":{"entity-type":"item","numeric-id":3325058,"id":"Q3325058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$D902858D-A6A0-4D42-9FEA-51C7326FE686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$B3DD4B9C-FEEA-4587-87A8-36E65A93F0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4e41c0c01dd7e35ba56a81e027a6a48826ec1b","datavalue":{"value":{"entity-type":"item","numeric-id":4018170,"id":"Q4018170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$D9D84C2A-107C-4F5B-8B94-F35957E2C630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"280236dae81e64d1ede14823c2ba628084078301","datavalue":{"value":{"entity-type":"item","numeric-id":4358054,"id":"Q4358054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$FAED0C10-C428-41C9-A1E0-3161BA2506FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c12ec0e8970a0988eedd5ea2b9890da1191ca68","datavalue":{"value":{"entity-type":"item","numeric-id":3569000,"id":"Q3569000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$17B68D12-C64E-40EF-8C5E-E9D03D963259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d51884ce52d70cd57236b11c06e7add9289d22b","datavalue":{"value":{"entity-type":"item","numeric-id":5551141,"id":"Q5551141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$9580AA71-1C0C-4A3F-9F1E-B4D9B11C815A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91437bc3f5649edc6a7acb3095e2cdec844eb2e9","datavalue":{"value":{"entity-type":"item","numeric-id":3711749,"id":"Q3711749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$D8F5BCA1-B330-457B-8E67-5DD154BB911F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ed8c1c9b5cf85c3067f46e271b605235d5e997","datavalue":{"value":{"entity-type":"item","numeric-id":5339741,"id":"Q5339741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$5B07A0B7-8BE6-4A1E-975C-14A5D6B80F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c25925be7f5c292edb63efdcdcacb15993e69254","datavalue":{"value":{"entity-type":"item","numeric-id":1348523,"id":"Q1348523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$3A2E1DE1-EE6E-4475-BA91-5E80C3B316B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80da5dbf79d1c137536de30a44e307449b537460","datavalue":{"value":{"entity-type":"item","numeric-id":584250,"id":"Q584250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$B75A8EB5-3757-45CA-B2FD-6B8BB84DA0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be154b266f49b889b70e2e16e1ef5f70c091bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5732647,"id":"Q5732647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$AA00CA8B-3522-4AA9-8B91-0DD7A205E33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ca7a1acbb96c14c8f84c4ce6e6462daf757716","datavalue":{"value":{"entity-type":"item","numeric-id":3773337,"id":"Q3773337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$F6EEFEC1-B7D7-40F4-88AA-9B0F128953E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c767919e94a3332b8d198174b1921d5e4026fe","datavalue":{"value":{"entity-type":"item","numeric-id":3821586,"id":"Q3821586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$118D5AB4-4A02-4FA6-8E1F-1D07F68BB8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c568fbb12fc5452c9699a0a3e0159154b2a6454a","datavalue":{"value":{"entity-type":"item","numeric-id":4385525,"id":"Q4385525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$93A2FA2C-3893-4480-A696-220CCF531361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713f64a492a2aca46d9fcdcf99b677ef28cefa55","datavalue":{"value":{"entity-type":"item","numeric-id":1176286,"id":"Q1176286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$7FB379B6-8768-4FB6-B407-BC468D60687A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be83189eee96f476007cc10cc3631cc2d2bee9dd","datavalue":{"value":{"entity-type":"item","numeric-id":4395559,"id":"Q4395559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$936BF57E-36F4-425A-9617-146523FDF1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a14259755a9136b7b26201f5111f10df5b52f768","datavalue":{"value":{"entity-type":"item","numeric-id":4109299,"id":"Q4109299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$ADE4310E-6380-4652-BADD-E2B73516653D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$1EE3427D-710A-4416-B812-E85D146EF701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c1e845270f8722a572f77f99ea7688c7ac33ef","datavalue":{"value":{"entity-type":"item","numeric-id":4725746,"id":"Q4725746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$2F16A366-889A-4D27-A106-317624DEE2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32830238517c9540c57e8b1bc7c4a7447bd5b0da","datavalue":{"value":{"entity-type":"item","numeric-id":5750451,"id":"Q5750451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$106103DF-98C7-480C-95E1-439516CCCFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$F101D5F7-CD60-4098-8E47-385A62647162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1379b0d7d914117fc328aa912a1b68f679f2271","datavalue":{"value":{"entity-type":"item","numeric-id":1074559,"id":"Q1074559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$AD674C9A-3A58-4E01-9DA8-403F0EFC360E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec8794d322e4954e33ba9612c0cf143a009f3ae","datavalue":{"value":{"entity-type":"item","numeric-id":2888505,"id":"Q2888505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$4C78C8BF-B9B0-4C1B-812E-BEC541E9B567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec8eedbc1eea9bb665df31ece605b933e9684fb","datavalue":{"value":{"entity-type":"item","numeric-id":3988061,"id":"Q3988061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$09D38440-DAAA-43D7-A47C-8472A5405C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea4c682b1bca0b5c954ed285db2698ce63fe148","datavalue":{"value":{"entity-type":"item","numeric-id":5285980,"id":"Q5285980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$E4984A37-C57C-4F09-A33C-8392D5F9A97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05e9298f64396810aa4a4bd48b312730e5cfb217","datavalue":{"value":{"entity-type":"item","numeric-id":5285981,"id":"Q5285981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$8D227945-8BE7-429C-B280-E2DE210B269F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e51b937e5ed6ffa343614ecfb6b0c125b538a5f","datavalue":{"value":{"entity-type":"item","numeric-id":4202957,"id":"Q4202957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$EB98A74E-C484-4E0C-8CA7-6EB41C432E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$A7373B33-4A09-4ADA-B9DF-289C56DBFB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186efa9cbcaad91d0d4ad1f36de56ca7d39bfe2e","datavalue":{"value":{"entity-type":"item","numeric-id":1099620,"id":"Q1099620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$83309508-9529-497C-AAFE-EA20A6D3664D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4a49849e178a1cb7246d420a962ef308e9300b","datavalue":{"value":{"entity-type":"item","numeric-id":4161292,"id":"Q4161292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$89568E45-793A-42AD-88CE-6B565A725A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf77b975112e69c8aad871a3bcb3e7a70b80a19","datavalue":{"value":{"entity-type":"item","numeric-id":4258578,"id":"Q4258578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$F2BB60E3-C7BF-4592-9D1A-69BD7FF85F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6120a8e3812d3efe1dcafbf27b40deab03845b","datavalue":{"value":{"entity-type":"item","numeric-id":290253,"id":"Q290253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$E854066E-6444-495B-9C1D-D63421D001DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d34494a0690392e1628506f797b10a22a38455","datavalue":{"value":{"entity-type":"item","numeric-id":1271623,"id":"Q1271623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$29AD7C64-E88A-44BE-B176-4B515FAE19A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e1c59b20b978e8e0de5a32fdeb6c212dbd6e1a","datavalue":{"value":{"entity-type":"item","numeric-id":1090455,"id":"Q1090455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302307$611C4DF5-9DDE-4C31-8E8F-DB53292B4B68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6c52fb4839ea3921be6545251c44cb475e5073","datavalue":{"value":{"entity-type":"item","numeric-id":3000099,"id":"Q3000099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8685cd94e068c48bc6a06e11184f5a03cf4e911d","datavalue":{"value":{"amount":"+0.7687677145004272","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":"Q1302307$43D1EFA4-7076-433E-80B3-359C4746196D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8247cdf8fcd37874649c877f6baa1df3ffe501b","datavalue":{"value":{"entity-type":"item","numeric-id":2882560,"id":"Q2882560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c6cc3f0e9e0cc064586f4b929190624f705a138","datavalue":{"value":{"amount":"+0.742556631565094","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":"Q1302307$58CEB1C2-07EC-40D0-9BC5-503E5901DD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa11b43419910966c8cbeb089e9c2efdf45fea5","datavalue":{"value":{"entity-type":"item","numeric-id":4263790,"id":"Q4263790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72174ea9d31e469ce3df23b4c09fe30bf6f9d734","datavalue":{"value":{"amount":"+0.7245715856552124","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":"Q1302307$8869C067-0F10-4942-B883-E34002BBDC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ff1bc9545f4c25f7fbbbea90458d24b511068e4","datavalue":{"value":{"entity-type":"item","numeric-id":1363784,"id":"Q1363784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c38c90698ba98f4cb2e34bfc16a9f8c6eedd80ec","datavalue":{"value":{"amount":"+0.7242254614830017","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":"Q1302307$D99C0F81-8BBA-480B-9A05-8101D4E2631E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Succinctness as a source of complexity in logical formalisms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Succinctness_as_a_source_of_complexity_in_logical_formalisms"}}}}}