{"entities":{"Q4586149":{"pageid":6615734,"ns":120,"title":"Item:Q4586149","lastrevid":53200265,"modified":"2026-01-24T10:56:24Z","type":"item","id":"Q4586149","labels":{"en":{"language":"en","value":"The succinctness of the cover modality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6935523"}},"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":"Q4586149$DC388DFF-3AA0-4B5D-A7A7-D70EDC9E4833","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72e952def930bfec501ff4a2413d95bed0f1ad69","datavalue":{"value":{"text":"The succinctness of the cover modality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4586149$22928E85-1461-4624-8161-C36199B0BECC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48b42cb0176d8559b7c225198c1b48a6e7df0187","datavalue":{"value":"1398.03099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586149$407ECBCA-ADF9-4555-AE7F-163A78E12F80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18d69ddc32b23ce5e65197c6408f52cf40ee92ff","datavalue":{"value":"10.1080/11663081.2016.1144016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586149$7374DB66-185C-42DC-9A56-743E769BAC75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac7857abe81e7661e1a785d3a69b9cde83e42312","datavalue":{"value":{"entity-type":"item","numeric-id":360051,"id":"Q360051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586149$AE2D3FA6-B610-42F7-8174-528E760FBA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f27638688e066d21e35c07e7ef6cc3de4c06e2","datavalue":{"value":{"entity-type":"item","numeric-id":813421,"id":"Q813421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586149$C4A1E041-A76C-4EB6-AF25-E0446C66E164","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586149$A5BB6A2F-6715-4A73-864B-4475C452AC0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"655dac8f5dda40a8d093e159bbdfdcfade2b2927","datavalue":{"value":{"time":"+2018-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4586149$6793685B-B160-4CC7-9094-0F97A2764FDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586149$A83E0CB9-EA93-4E71-864C-13F22C7E34D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586149$154A85A4-EEFE-4F2D-A84C-32F63CB6229B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dfcc862d7a3b56d8a8dce69bc69f67b857ae0f9","datavalue":{"value":"6935523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586149$453C5E60-342B-4BA9-9737-8836C5680759","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586149$29AF7051-515D-49E3-B951-E973EE76427B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdb1d50420b4855c6eb3bd0722fb85e5ba8fd838","datavalue":{"value":"cover modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586149$691BAD17-CBFA-4D57-AE76-DE9D86C0B5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9d99b60838f7b118fdf62556baa1a3deb842ff0","datavalue":{"value":"lower bounds on formula size","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586149$2A4DE80D-C29B-4A0D-B2D5-07675A37C13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c640934be6aa44a45ab05e2591104a77cd814802","datavalue":{"value":"succinctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586149$029F3122-1FDF-47B4-ACAA-D14E0CDB1B72","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":"Q4586149$878D0442-54AD-4A29-99AB-3DA7DAE7CF11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7218b4b94afb119bca96075659fe8ea54af3947","datavalue":{"value":"https://doi.org/10.1080/11663081.2016.1144016","type":"string"},"datatype":"url"},"type":"statement","id":"Q4586149$A8DC528C-A24E-4424-BE72-A54F9459CFCD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"721aa1edbc96ad1942f7086143f6c294127a6cde","datavalue":{"value":"W2339697109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586149$DDF2C282-07C0-4CD4-8EE6-A778181FF48B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca61a521a091fbdb028c0e1a8fa2de5ae934419","datavalue":{"value":{"entity-type":"item","numeric-id":5267432,"id":"Q5267432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586149$3626F55F-0E0D-4733-A21E-91BEAC9AE58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5cd0fe113eccd3734617ef2c48fd88afc7821c9","datavalue":{"value":{"entity-type":"item","numeric-id":3019968,"id":"Q3019968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586149$AB8FCABE-F30B-4851-BD5D-C4FB084EA38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586149$08B6A26A-0F69-4E78-9E01-AF45B24881A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cae0e4423c4aecda28c6c52db40ddffe155f4ec","datavalue":{"value":{"entity-type":"item","numeric-id":2904050,"id":"Q2904050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586149$7DDD0393-B697-4D68-9E0D-7C7619201384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"013dacde3206bbf2c2eeab277c23d5af393af190","datavalue":{"value":{"entity-type":"item","numeric-id":360052,"id":"Q360052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586149$58929526-CE0D-4322-8A27-DECAA28BDC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e7aefff09ec710390f02f7dbf4963123b68f3f","datavalue":{"value":{"entity-type":"item","numeric-id":5310637,"id":"Q5310637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586149$27558BBA-7EEB-416D-AC93-E38813287879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586149$0796A9F2-A130-465E-9C91-198528B2AF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b342dce9eb57fc3b86211a6f8fad09c18bd90399","datavalue":{"value":{"entity-type":"item","numeric-id":2904618,"id":"Q2904618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586149$DBC3A7C4-CEF3-4B13-8458-A188B4CB4A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3255f9e862363da7e78183694412963378f10cbb","datavalue":{"value":{"entity-type":"item","numeric-id":2462682,"id":"Q2462682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586149$2B5F25AF-89EB-46EF-8652-890407D0A135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8596724c5d932dc6446277102cbe7c7e6388feea","datavalue":{"value":{"entity-type":"item","numeric-id":2638784,"id":"Q2638784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586149$519744AD-7251-4FC0-AE91-DE9E4BAE77AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1389a29dc2597427f58610fd878fb601a1e4f6ab","datavalue":{"value":{"entity-type":"item","numeric-id":2904063,"id":"Q2904063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586149$56ADAB6B-F9A2-4244-BEE7-BC0A7B805962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17c2a2749a60b6792f64d39628e2d672b79ea82","datavalue":{"value":{"entity-type":"item","numeric-id":5311052,"id":"Q5311052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586149$2ADF6E5E-7508-4F12-A81E-AB5F2FBE1704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19728aee3c9cea5ccf2b6dfec2a681e4f838887a","datavalue":{"value":{"entity-type":"item","numeric-id":4636290,"id":"Q4636290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586149$77C291CD-3CA0-4F89-BFDE-04C81CA23188","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2679ea4711a1d37d9b257f2cbb588fb15ca3e42e","datavalue":{"value":{"entity-type":"item","numeric-id":360052,"id":"Q360052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1981da274633392510261f913020d7033ccedbf","datavalue":{"value":{"amount":"+0.8205379843711853","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":"Q4586149$2EE66399-90BF-4D26-9885-363FC88E03BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5167e47acebea4212047e18d57c90d02d31f47","datavalue":{"value":{"entity-type":"item","numeric-id":4636290,"id":"Q4636290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"766adc832d97d7214c4b0a59c8f0c15c762b9b9e","datavalue":{"value":{"amount":"+0.8066934943199158","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":"Q4586149$F6036ABC-75A2-47F3-9275-4D09E7EB54F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcc2be9f7482ab6e949e5c9240207984793ff18","datavalue":{"value":{"entity-type":"item","numeric-id":5869540,"id":"Q5869540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce48c727e57747092b4ee24f0dacd2693c7084a","datavalue":{"value":{"amount":"+0.7560776472091675","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":"Q4586149$B35D5120-97DC-49F3-B178-F5B61DF2A35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f1873ba2ce013ba483f0ee6e02c6a775ebf64d5","datavalue":{"value":{"entity-type":"item","numeric-id":2904422,"id":"Q2904422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bffdb19301af6475dccd8d47085a6e1447215b17","datavalue":{"value":{"amount":"+0.750150740146637","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":"Q4586149$A594303A-9B7E-41F4-AF78-9F194D637B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b112eee35eabfd306112c4a3f285b9abddd0a824","datavalue":{"value":{"entity-type":"item","numeric-id":3086937,"id":"Q3086937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcb7b9387eb1ec05e263b60e842cfd3056d506d5","datavalue":{"value":{"amount":"+0.7178628444671631","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":"Q4586149$28DB03B4-2A3B-4ECE-BB71-B57707623A9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4586149","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4586149"}}}}}