{"entities":{"Q4636046":{"pageid":6665627,"ns":120,"title":"Item:Q4636046","lastrevid":58313388,"modified":"2026-04-04T16:36:40Z","type":"item","id":"Q4636046","labels":{"en":{"language":"en","value":"The Succinctness of First-order Logic over Modal Logic via a Formula Size Game"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863656"}},"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":"Q4636046$B281E346-C70B-4C7F-977A-AD469FD83D9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00e1c1053a4686e791010962ffc61bbaf6b861ab","datavalue":{"value":"1400.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636046$E1AA8958-E9DD-4D67-91FE-D2B1D8E92F70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4601a858f87638d70dc47292abc072f2d23b4985","datavalue":{"value":{"entity-type":"item","numeric-id":259069,"id":"Q259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636046$6700EA7E-436B-4485-A817-64D53A3DA2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b78f7a9b27928d26da1b94bc1c42acf3a3bc79","datavalue":{"value":{"entity-type":"item","numeric-id":2104259,"id":"Q2104259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636046$5CCEF333-2155-4336-A086-49C18CBEB6E2","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":"Q4636046$97E0F657-CCD6-4562-BD80-F0FE2587DF7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12d8b392ca91bc5f28f5fe8f288961ed881c796b","datavalue":{"value":"https://arxiv.org/abs/1604.07225","type":"string"},"datatype":"url"},"type":"statement","id":"Q4636046$A0098461-A943-4329-B0A4-4290F52A5246","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636046$EF0F7695-CE33-4538-A717-0E01320C1500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636046$9047D19B-447F-4893-BEAC-38B86E20352C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4200a939622279f3ae7357b41fa57bba006d5192","datavalue":{"value":"6863656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636046$D8F59236-7462-43B8-90B3-35C52BB9A579","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c640934be6aa44a45ab05e2591104a77cd814802","datavalue":{"value":"succinctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636046$22A3E7E9-B47B-465A-84E3-C0B251DC5F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d16e8500658ecc73299f4c902fd3993679dc97c","datavalue":{"value":"formula size game","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636046$C1F8F98B-2B25-497A-9736-625EF96B9678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"766d61443569ed8fea9f8b2d0e75c4d67c225ca9","datavalue":{"value":"bisimulation invariant first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636046$EB2A2363-53FF-453D-96A8-FB8EA3C81479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201f6d6899c163cf1b9d47cbccc6a1c23f69f8c7","datavalue":{"value":"\\(n\\)-bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636046$45E79A7F-60A8-4288-96A6-ED5C2AAE785B","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":"Q4636046$975C46C6-3FC5-4852-BD06-55087ADF25AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615451251a0c5b6d8ed2012007ab890eee6d6902","datavalue":{"value":{"entity-type":"item","numeric-id":5216339,"id":"Q5216339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"309547077eb8aa640584346347be2db690120fb2","datavalue":{"value":{"amount":"+0.92010903","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":"Q4636046$6E0F3266-8D3B-407E-9533-CCF592B732D9","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":"8d2654b535667ffc002f820ff8c43002e50f48b4","datavalue":{"value":{"amount":"+0.89206845","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":"Q4636046$20432CD7-553F-4661-8FB4-2DCC9138BC1C","rank":"normal"},{"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":"3a74e1c6abba5d254df0da195904f39af3564576","datavalue":{"value":{"amount":"+0.88695","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":"Q4636046$3471EBFF-63D3-4ED3-ABFD-C59A541E0786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ca1d21fc3a59da75c9f80dcbe13ab73c022254","datavalue":{"value":{"entity-type":"item","numeric-id":5310637,"id":"Q5310637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc9464c99902ba9e657790564fde516b0666f1df","datavalue":{"value":{"amount":"+0.8857725","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":"Q4636046$66D2F296-767F-43E0-9D60-019B4AD56BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed030b74f186a9c7e144c1a5c1bdbc2e1e44f57","datavalue":{"value":{"entity-type":"item","numeric-id":622627,"id":"Q622627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab66968c6c485ba3bd464f942ea85d73a57bfa5f","datavalue":{"value":{"amount":"+0.8855796","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":"Q4636046$8E8AA422-63E4-44C2-AF74-9C9D10A22F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeff26e87fae96fdffd8af458d8160d973720758","datavalue":{"value":{"entity-type":"item","numeric-id":6084526,"id":"Q6084526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31bb5246dc4a9b640a3987f4815567ede2080bee","datavalue":{"value":{"amount":"+0.8769859","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":"Q4636046$19551D59-8616-4A65-904F-41D59DAA2CBE","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":"1a36193f1ca0529914975a998abfd1e325e8d582","datavalue":{"value":{"amount":"+0.87463266","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":"Q4636046$C9AE5182-A94C-4731-8C6D-FF2308C2D58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfe414b8ba1c896a8334df8964f1abd50d00caa4","datavalue":{"value":{"entity-type":"item","numeric-id":5880428,"id":"Q5880428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82d1b1d6b62ce2110388aede701b638e3f1541ae","datavalue":{"value":{"amount":"+0.8713858","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":"Q4636046$FC106D32-FD61-4043-BD35-344C878E2703","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":"487ef1ede60478b9801b0d2d0f57c8a49608b5ef","datavalue":{"value":{"amount":"+0.8693588","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":"Q4636046$62700206-1293-40DF-A7E6-32741C1E7264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90677582a03415d475fd458bb915f6fa7c596887","datavalue":{"value":{"entity-type":"item","numeric-id":2003259,"id":"Q2003259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99961e473a81ac726ecd0ebc28509e94615a314e","datavalue":{"value":{"amount":"+0.86733264","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":"Q4636046$29C6E2C1-45B8-4ED2-A8F6-4F538FFA53A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636046","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636046"}}}}}