{"entities":{"Q2904050":{"pageid":2914775,"ns":120,"title":"Item:Q2904050","lastrevid":42477051,"modified":"2025-06-28T13:36:14Z","type":"item","id":"Q2904050","labels":{"en":{"language":"en","value":"On the size of shortest modal descriptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6063261"}},"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":"Q2904050$1D11128F-5651-49E3-84D5-61FF81BFCE54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce7fdc4f101c4bc05ac38a0e4da345146365203e","datavalue":{"value":"1254.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904050$437C6C74-C06C-4888-9BE6-34C4CED623FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e18e3410e30c1d79684d376151c4e281cfcf6277","datavalue":{"value":{"entity-type":"item","numeric-id":235739,"id":"Q235739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904050$63D0B89F-772E-4650-82E8-DF3CB3BB05FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75910c3998f3e6d7a5be008fae7c3261563e6e33","datavalue":{"value":{"entity-type":"item","numeric-id":631074,"id":"Q631074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904050$1DF63D3E-1688-4EE3-ACC2-96470E04BA25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d93f02b005a91d75e1fb36333e97807bdd2c51d9","datavalue":{"value":{"time":"+2012-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2904050$DFC622D4-9998-457D-99C6-DFD49585668D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904050$BB7A3B4E-135A-498F-B6A6-FB44F67142FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bba430fc76f4d7f4758f8526ffe4674780d4489","datavalue":{"value":"6063261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904050$6BFB0265-CE76-4D0E-B3F7-9C8D8A119F3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a4cd4365f3eec94d917cc2e2d78f6d782fa2e09","datavalue":{"value":"shortest formula size","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904050$090EB2F0-D7DC-499C-821D-5493CB8A7F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ff8aea4c51daad2db984b932c902bfc82a68fa3","datavalue":{"value":"fragments of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904050$CDF5F393-3716-472B-805D-319F75E788FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb06b3c61aaaeefbd9a6ae48efc57ee7c0a288a5","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 game","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904050$E24A5A71-CE33-48D1-A1A6-22AFD2020144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370cbe53847a3600b003c651de33b53f7a4ff74d","datavalue":{"value":"succinctness for separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904050$C3A5EEEE-55DE-4188-8BB2-0EF7E470D21E","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":"Q2904050$D1DBA17B-41C9-411A-894B-079BAAB3E723","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":"83cad77360237fba81aa82a8114c0f5f3c44b5ad","datavalue":{"value":{"amount":"+0.8543485","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":"Q2904050$3DEF8730-7CC2-45D3-A608-A034566399B2","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":"5e854670367d0a4edb2533bb118ae5ee1b6df245","datavalue":{"value":{"amount":"+0.849725","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":"Q2904050$CF0CFEB6-F9A0-4FF0-AD4D-9AC49063E323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2751303f41de905323f2f508e585e7ff39a5ad8b","datavalue":{"value":{"entity-type":"item","numeric-id":4364506,"id":"Q4364506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44276c63785ace5bc86ee384b78a946ca4c525c2","datavalue":{"value":{"amount":"+0.8375876","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":"Q2904050$19A3DBC3-7A1A-4A8C-881C-801A04C84B3F","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":"31e90f86c5a4fafe39f39de135938f745ed8ab01","datavalue":{"value":{"amount":"+0.83185047","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":"Q2904050$C7A6BB9F-AFA5-4921-B164-0AC41F589D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f0d7c25a9d8fa5be3fad18bc0c5fd8bc204f03","datavalue":{"value":{"entity-type":"item","numeric-id":4910732,"id":"Q4910732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f8e3d78c9bbf90a3176fd2d2a19ce256097182","datavalue":{"value":{"amount":"+0.8313744","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":"Q2904050$A44AC2C9-02A0-46EE-9412-70F4BE9E5FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf6280f84fd808018b787d293b83c19196a461b","datavalue":{"value":{"entity-type":"item","numeric-id":2753686,"id":"Q2753686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5858dacd0fd9ffc64c57dde3ced83c46a94b89","datavalue":{"value":{"amount":"+0.8302053","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":"Q2904050$3F3E94FA-8634-4CCA-9EC0-9AF8DF9EE6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5892a9560b46512313a4b9bb581b8206488f506","datavalue":{"value":{"entity-type":"item","numeric-id":5465444,"id":"Q5465444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4674674e753e77d11464f4bd858e9a3deee6bb76","datavalue":{"value":{"amount":"+0.829054","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":"Q2904050$30FB5639-AFA5-40B2-978B-E95E877F73C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11cdc09b05fa6f665eaf452866ea710fc5e87d1","datavalue":{"value":{"entity-type":"item","numeric-id":5224566,"id":"Q5224566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d51a42d5827edf196c8476b7f5369f030d8d535c","datavalue":{"value":{"amount":"+0.82749563","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":"Q2904050$0960ECBB-D72C-4BF8-907D-85D359091335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87bd22d25bde191fe87a9d69a0943d4320c7508b","datavalue":{"value":{"entity-type":"item","numeric-id":5096821,"id":"Q5096821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86263506d74d94fe4b6794010393db3dfa954e21","datavalue":{"value":{"amount":"+0.8271899","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":"Q2904050$3C02A618-9DFA-493F-925C-12D022C95460","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":"e2c8b6e74ae6758dca144a3500aa4ec89c061ebc","datavalue":{"value":{"amount":"+0.8262891","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":"Q2904050$DDD59105-8D16-4B74-8606-DEAE7C224AD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e05865e105b34fc563cd89f00259a094ccd1a713","datavalue":{"value":{"text":"On the size of shortest modal descriptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904050$F750E4BF-BC76-45EC-9F5E-8486FDE00886","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904050","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904050"}}}}}