{"entities":{"Q5013887":{"pageid":7043464,"ns":120,"title":"Item:Q5013887","lastrevid":58402869,"modified":"2026-04-05T01:43:27Z","type":"item","id":"Q5013887","labels":{"en":{"language":"en","value":"Propositional logics complexity and the sub-formula property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438581"}},"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":"Q5013887$1E8F68AA-5ECB-467A-A5A6-A77BC079899A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbba897f8ffc1f58d6af0b6521c428f2bfc46fce","datavalue":{"value":"1486.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013887$E4F8AE8A-DAEC-4E57-A496-DFE5898C57DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"523eb1c9f92e29e52a82edbd2df5947e22806cd3","datavalue":{"value":{"entity-type":"item","numeric-id":281153,"id":"Q281153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013887$08727B25-94D9-4925-988E-5792211DD53C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5013887$4B5C3D32-D824-4B3C-B304-9210522C26DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fe4b686f561658e9b7368252e0ff2aac9b8a53b","datavalue":{"value":"https://arxiv.org/abs/1401.8209","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013887$808CA902-9573-431E-9B5C-98741853AEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"87d02a8af8f99e1095e7cd25431f5543244ff5d2","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2014.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013887$8D1CB403-ADD3-40B4-A268-7F3341C087AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013887$EDBEC2F9-C15E-43D9-93C9-A73D4B5E6028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013887$65CA47B6-0F0A-41BA-8C2E-B74722B86983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013887$11FBAAC0-4D6A-409F-BFFE-929517BA405A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013887$2B8CB370-89AE-493F-ACF7-E7F3BFF83465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013887$D76F143E-33B7-4E6A-8F3D-0C53D187A90B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9ff19e3a3a99faef7787619cdd080a8a49bc49f","datavalue":{"value":"7438581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013887$502A2310-55D3-4A41-8E67-703528F95269","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":"Q5013887$4AEDBBF2-75C5-4BF5-A076-91B09D76EF18","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"657f3c4fe65e00b8fda2ec54a8a3a8890deffbdb","datavalue":{"value":{"entity-type":"item","numeric-id":3585998,"id":"Q3585998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013887$950734C3-5801-41D2-9F4C-AD2E1B6B206C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5cae3a6dddd4b0039b4d60187b9cfa833039fc","datavalue":{"value":{"entity-type":"item","numeric-id":4381865,"id":"Q4381865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013887$23916F9F-2B2A-4DD4-A2AD-B95309C874F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770839834e9b2e75c5cac9d85b4f2bbde549b6c8","datavalue":{"value":{"entity-type":"item","numeric-id":4507332,"id":"Q4507332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013887$5A253983-382A-4741-98C4-B10838030D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d2809f117f932fb2c4f9205b1cdb5952610f9f","datavalue":{"value":{"entity-type":"item","numeric-id":5613169,"id":"Q5613169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013887$1D6AF1DD-18D4-43FD-8AB9-E7C550CCE862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c250c716c230f8924a4fdba63e29b7c3442bf43","datavalue":{"value":{"entity-type":"item","numeric-id":5176676,"id":"Q5176676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013887$ADE06467-627D-4B35-88A9-FA2592521167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013887$5D85CD32-7518-463E-9BE1-653EC87B6D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4a5481d2ba20db96403c8a94b2eeed3801b42","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013887$8744F048-692B-44F5-BE26-BC71DBCA244D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4a579612272c08278f85b2a068decf36768945","datavalue":{"value":{"entity-type":"item","numeric-id":4647578,"id":"Q4647578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013887$47A31F20-470B-4163-87E1-6A729A3F2616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50653d8ee1e7ebb3a9bd602209b1840cdf86cc7","datavalue":{"value":{"entity-type":"item","numeric-id":4289329,"id":"Q4289329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013887$C9ECCF48-5CDB-4990-8F63-02FBC84BE966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d1b6757269854ba44b0c0ef86a57ca0b8523ad9","datavalue":{"value":{"entity-type":"item","numeric-id":3638289,"id":"Q3638289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013887$AB63D08A-CDE5-4BAC-8C11-BADBADD8188F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc86be7cd3e21eaf4eb57c5ebd0be7e5704d962","datavalue":{"value":{"entity-type":"item","numeric-id":5688812,"id":"Q5688812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013887$0A326CF4-B222-444B-BDE0-0F0EC3C6C98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013887$817E61B4-912E-4E17-80D2-628F3DE40221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c184dd6d98ab919424ff261c66d8446cc64a28c1","datavalue":{"value":{"entity-type":"item","numeric-id":4192055,"id":"Q4192055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013887$5602DAB2-A446-401C-A842-B3F2EAE7BF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b94865d70c88e8cde35b6fc0fbb30412d8d2c3","datavalue":{"value":{"entity-type":"item","numeric-id":600850,"id":"Q600850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013887$943E095C-5132-43B0-8539-1B516106A954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013887$C249927F-9BA3-4017-BB1B-B53FA6A764ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013887$1EBB4EE0-63C0-4474-82C9-7E58B0921CFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcf9bee88c51f2cfa1fd094339fd35821bdd450","datavalue":{"value":{"entity-type":"item","numeric-id":5292653,"id":"Q5292653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bbee4059e35f2af03410e599c00a24941812bf7","datavalue":{"value":{"amount":"+0.8046723008155823","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":"Q5013887$96B444D6-83DC-4D28-BD29-35D61BBE7694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d28ad4646714ea7c16f8a52ac6fa5608c750339a","datavalue":{"value":{"entity-type":"item","numeric-id":549720,"id":"Q549720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac45cb0c63541b81db7ee5cdc5a9173d8679f5b4","datavalue":{"value":{"amount":"+0.7914412617683411","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":"Q5013887$148595B3-71C0-42C2-A7BF-63CA1FB6D381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424b0f6a9d699a8a1a69eda02350a485b1a3bfb8","datavalue":{"value":{"entity-type":"item","numeric-id":4723713,"id":"Q4723713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"019e46dfbfed3492b4e540d6cce484b3811fb085","datavalue":{"value":{"amount":"+0.7844553589820862","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":"Q5013887$D71C37B5-78F3-4681-A985-4EE4EFD1113B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef938da9dfba3b5484628d38cc97b810578fa0b","datavalue":{"value":{"entity-type":"item","numeric-id":3643316,"id":"Q3643316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"453ca343cf7b75c8255da4386358ececfd9785f0","datavalue":{"value":{"amount":"+0.7806644439697266","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":"Q5013887$EB3055B8-3CD9-47E9-9775-2CDA1180AD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ddf895384c42ccb0ce7eed548d342886a3b2af3","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe248938e981564aba079070945ab0eab1c1a9a8","datavalue":{"value":{"amount":"+0.7631139159202576","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":"Q5013887$9C31C581-9599-4BC6-82BD-9D97208FDFD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5013887","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5013887"}}}}}