{"entities":{"Q4636290":{"pageid":6665871,"ns":120,"title":"Item:Q4636290","lastrevid":53071727,"modified":"2026-01-24T04:11:48Z","type":"item","id":"Q4636290","labels":{"en":{"language":"en","value":"Some exponential lower bounds on formula-size in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863857"}},"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":"Q4636290$F472107F-CE37-456C-8D6E-3F12F850F18E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53be7d9e9edfce6597cd1f6f879a1a36717e9627","datavalue":{"value":"1385.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636290$AFBC4DAE-E546-40BC-BB1A-413F1816211F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d654e39b3587c68b97beaab010770518af147c0","datavalue":{"value":{"entity-type":"item","numeric-id":949146,"id":"Q949146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636290$3CF3A6D6-1792-4E91-B6DD-3A9A60197A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"768ccadf9be517eb9c9fb5c80670a4e733cc36e0","datavalue":{"value":{"entity-type":"item","numeric-id":343910,"id":"Q343910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636290$53F74E26-47BD-49CC-A4EF-0470C9CA8E26","rank":"normal"},{"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":"Q4636290$14E82AA6-CBF9-44F3-9A6C-DE0050538AC9","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":"Q4636290$20A77F97-190B-4030-A3B6-7C7A78D1508F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636290$CE1EF0FB-A5BE-43BA-9F85-BF00DF07A21D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636290$1F4676B2-4D43-492C-B34D-0CB31E4E8211","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"740cc5a4ae1afed59edd0737fd1d0b7dceb48be0","datavalue":{"value":"6863857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636290$A8542933-F80E-4FDB-97A6-7066925CBF1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9d99b60838f7b118fdf62556baa1a3deb842ff0","datavalue":{"value":"lower bounds on formula size","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636290$1F1D46B8-A895-4B14-912A-64E9B46BDCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a84ae2f97c6b1b3136c742ae4b4f853bf9da988","datavalue":{"value":"succinctness of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636290$9694EA3E-DA80-40ED-B119-AE5F4A1EE9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b5a73d2eecbd01b119918d684435600d817527","datavalue":{"value":"public announcement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636290$4FA1DD2E-FA38-495D-8E0D-1FACA131054B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ebaac40a2d3126ec54d2903e68ed6054c745fdb","datavalue":{"value":"modal logic of contingency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636290$5CB79C7F-58A7-4E0B-B4D6-69A5BF8F2B66","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":"Q4636290$1624E32F-964F-4526-9124-014C359ED760","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":"23ef0c85ee69412e2f6203d87d63ca35532ffde9","datavalue":{"value":{"amount":"+0.8479860424995422","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":"Q4636290$CBB0EE8E-EA76-4D74-87D3-F87552407D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a04143a852ad5dc3b0be9da00dfe083e29a8d0f","datavalue":{"value":{"entity-type":"item","numeric-id":4586149,"id":"Q4586149"},"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":"Q4636290$08BEA793-AB37-46F6-934C-3193A93D878A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98dc4b7ceef9e5ff2113f203b50f7b4436628f05","datavalue":{"value":{"entity-type":"item","numeric-id":5422311,"id":"Q5422311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0574a6e6f805d333db8b15ee5efe3af58afc1eac","datavalue":{"value":{"amount":"+0.7797820568084717","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":"Q4636290$ED2DD3F3-EA71-4399-844D-D20E93BC7B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fdf7e07185eee9a08a6f2a52eb3fc52d82a5c34","datavalue":{"value":{"entity-type":"item","numeric-id":4636046,"id":"Q4636046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9661b74da9cbb86fcfbfc84f69a41642cb5293","datavalue":{"value":{"amount":"+0.7651386260986328","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":"Q4636290$05D68D3B-370E-410F-8DCF-22EE86F7858C","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":"ac13d42f32a978bad633f77b4a389d6ae9ba1743","datavalue":{"value":{"amount":"+0.75863116979599","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":"Q4636290$0A3058D6-86DF-4190-81A7-074E1D680B4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636290","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636290"}}}}}