{"entities":{"Q6187414":{"pageid":13322302,"ns":120,"title":"Item:Q6187414","lastrevid":102481553,"modified":"2026-06-06T04:34:01Z","type":"item","id":"Q6187414","labels":{"en":{"language":"en","value":"Substitutional validity for modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7787870"}},"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":"Q6187414$0559FDA7-35A4-4DA0-BC8E-383F96F5FDE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7701b7cdeeb74981c75dcf0823ec6f98bdeb3112","datavalue":{"value":{"text":"Substitutional validity for modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6187414$71B70AB4-E46F-452F-B675-F9CECE2AF3CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e30813c6348438079ad2d148dd9edd86682f22db","datavalue":{"value":"10.1215/00294527-2023-0007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187414$FD757E4E-D29E-4C36-9846-F638D9C5998B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55268bc102dd444b996dff8d8fe1af69cd7402da","datavalue":{"value":{"entity-type":"item","numeric-id":6187413,"id":"Q6187413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$297DDDD1-6A47-4875-8979-F0F9DAB7525A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$7B35A29C-CD73-4F0F-BD10-D645783B154A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f5e9adb57ed1a6253e18c3ea11dbfd51d8f9f16","datavalue":{"value":{"time":"+2024-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6187414$BD1A6189-B782-4683-A237-E6380FDB8B19","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"89e4fa1f71c4724e56da16a054e94fe4711269cb","datavalue":{"value":"This paper proposes a modal extension of the substitutional approach to the analysis of logical consequence put forward in [\\textit{V. Halbach}, ``The substitutional analysis of logical consequence'', No\u00fbs 54, 431--450 (2020)]. This approach is axiomatic, and using it one can show that logical truths are true and that validity preserves truth simply by looking at the definitions. Validity is taken to be truth under all substitutions of the nonlogical vocabulary.  Here, the \\(\\Box\\) operator is interpreted as substitutional validity, providing a way of talking about what is substitutionally valid. For other interpretations of modality, such as deontic or doxastic, the substitutional account is not an alternative to the Kripke-style semantics.  The language used in this work is that of Zermelo-Fraenkel set theory, enriched with a satisfaction operator and the modal one. The substitutions used to define validity have some restrictions. For example, they are not allowed to rename free variables or add modal operators. A concept of satisfaction under assignments is used to define simple truth.  By changing the sets of considered substitutions, different theories of truth are defined some of which are proven to be inconsistent. The derived consequence relation is analyzed by means of defining an accessibility relation between formulas whenever one is a substitution of the other. Soundness and completeness theorems are given for different extensions of modal logic with respect to their corresponding theories of truth.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187414$B29FE57B-A74C-4221-9DEA-E1B87E54BF79","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0a128e7399472fef481caef8975c8e6e58b83c8b","datavalue":{"value":{"entity-type":"item","numeric-id":987488,"id":"Q987488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$201C2D1C-8824-40DB-9995-183647DA8FF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187414$C1826832-CE68-4D13-B568-2924AA3FDACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187414$DB9E5F94-60AA-44AA-8AEE-B96C90764B65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36ac0cdf82ae3efd4c9f24dff5d72a0674ec91a3","datavalue":{"value":"7787870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187414$B126E5A5-830F-4027-A14A-BEA31F5AD4FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed38e9ab8076b7adb02f468ba562ac50546dd3d","datavalue":{"value":"axiomatic truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187414$34CE2EB9-2384-4C26-B637-0DE613308FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187414$7784A9CA-D1C4-4899-8BA3-E40534291382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d47699431c6b355c5364a0ab2076e2d76e87fd","datavalue":{"value":"substitutional validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187414$4D7B2818-E9A3-4110-8423-EF544B258099","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":"Q6187414$93F4EE84-EEC4-4DC5-8635-69B53C2C3157","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34d2b4d50e53bf80a939698be5fe4fd30fb7ffbf","datavalue":{"value":"https://doi.org/10.1215/00294527-2023-0007","type":"string"},"datatype":"url"},"type":"statement","id":"Q6187414$57C9AEC1-ADB9-4FD3-ADBB-03D947059187","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21c53e642db1c9891a620650035e62396022609b","datavalue":{"value":"W4386970687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187414$1756CF28-29DA-4595-89C6-9285A402DD6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f000988fa170769c1376d6e16c8e429234f3d5d","datavalue":{"value":{"entity-type":"item","numeric-id":4342084,"id":"Q4342084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$52B08ACF-2FA8-4EF5-8677-723D14C99003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39a4be129ff8df7e57780cf84d04e9dafbab43eb","datavalue":{"value":{"entity-type":"item","numeric-id":4523459,"id":"Q4523459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$23A26163-D1B7-4EB1-80EC-D0C40D6F60E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6e9d480f7a62b230a74881abeee408a62291d4c","datavalue":{"value":{"entity-type":"item","numeric-id":4523461,"id":"Q4523461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$C7413EFE-F285-46DE-8A00-329529093A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$4193ECBB-6B08-41B9-94B9-806010D95EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc48bdca66ef6a92054a764c666c7c3fdc8edfa","datavalue":{"value":{"entity-type":"item","numeric-id":1260019,"id":"Q1260019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$0939A427-DD30-470C-90A8-75E0990A9EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6704788e84fc2d4834d456f96f09fa0fd312d2","datavalue":{"value":{"entity-type":"item","numeric-id":2964410,"id":"Q2964410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$4469CB20-F09D-4362-85D3-77715B2D60E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7bd199a472b4ba0ffc305b99b3f2c097fd070c","datavalue":{"value":{"entity-type":"item","numeric-id":4001483,"id":"Q4001483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$27314B2F-EAD0-437E-AE11-0538BA2589FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39fc44a12c6438cb90522e8e2687faea7c2e4f4f","datavalue":{"value":{"entity-type":"item","numeric-id":3981446,"id":"Q3981446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$DCDBB4A0-D7FE-46BB-872A-C937FB7CEB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23ce7d268cf2eed947f241a9c994200c0cc445a","datavalue":{"value":{"entity-type":"item","numeric-id":1257006,"id":"Q1257006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$EC4E9B74-DB5E-4E29-83C9-DAE8618C0CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"506d1c2f3f4297e5e1effc8ab4926590d7021205","datavalue":{"value":{"entity-type":"item","numeric-id":778737,"id":"Q778737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$0A3E0537-045F-471B-B7FB-3CF82B132F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$284AE876-3622-41C4-A3E2-3E87D301A95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"078dc346418e2d6d3ac5cdf3272087276b44a372","datavalue":{"value":{"entity-type":"item","numeric-id":2540888,"id":"Q2540888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$D79BCA16-D3FA-479C-8EF7-CB3FCE866778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c61e27db31ed39b1364574714033a3e85d7f2f0","datavalue":{"value":{"entity-type":"item","numeric-id":4047530,"id":"Q4047530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$5A7E470A-7A17-4A53-9D72-2150454CB167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96bb2b7b2924b162298bbc02fd8c1d62a5d85989","datavalue":{"value":{"entity-type":"item","numeric-id":3156301,"id":"Q3156301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$B522AA21-0212-442B-B3FF-F06395A04C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69df2b0b71a774037cdde988a16d2de658c0e970","datavalue":{"value":{"entity-type":"item","numeric-id":995674,"id":"Q995674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$7F535C5F-47F1-4943-AE5F-242DFA99AE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57b2f9c9931be8c54c7ee45e51e3584b26a687d","datavalue":{"value":{"entity-type":"item","numeric-id":5557896,"id":"Q5557896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$3F366CA8-6A03-495C-9662-4B0C6D1B8AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd446b97673ed30e429f4c9963ece99d4611ecff","datavalue":{"value":{"entity-type":"item","numeric-id":1258724,"id":"Q1258724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$3302CD3A-9438-49D7-8B02-7E23446C5FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05eb69af228bfe5efabdad88215bb4cb39ddf554","datavalue":{"value":{"entity-type":"item","numeric-id":701293,"id":"Q701293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$E0F0ABEF-0D9A-4F90-A46A-2AE898AE2612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72f21a583cc7edf6be11d3fb8910f5c81854dd3c","datavalue":{"value":{"entity-type":"item","numeric-id":4594039,"id":"Q4594039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$076E5489-78F0-40C8-9FE5-08EE4AD331D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e742655de3ec0f0e38b7a147117d578bab2a4b","datavalue":{"value":{"entity-type":"item","numeric-id":5443925,"id":"Q5443925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$BA93C1E0-0E7B-4514-AF42-9F167D8A6C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad3e449290f02eaa66a5e538222e511030da3ff2","datavalue":{"value":{"entity-type":"item","numeric-id":1097275,"id":"Q1097275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$BA16BA35-EBFA-4F9F-AEAC-006A27458EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23732ac283c991e9d1d60ac7c4046d29649b2de","datavalue":{"value":{"entity-type":"item","numeric-id":3240239,"id":"Q3240239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187414$94632BA5-82BC-4D4C-97F3-4DA8DB80B6DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c4e0a54152716a862e779a106089249331203d4","datavalue":{"value":{"entity-type":"item","numeric-id":4071304,"id":"Q4071304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6187414$7F4D609C-DBF2-4F14-BE2B-DE7779864085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e59a83541ff3e8ac29f97a511cacc8228f1bd5f3","datavalue":{"value":{"entity-type":"item","numeric-id":5819776,"id":"Q5819776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6187414$B5FDAFA1-C630-45D4-82C0-22A2AFBC0A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d729a074c0be0533aa985c402680e14a6418e40","datavalue":{"value":{"entity-type":"item","numeric-id":5672697,"id":"Q5672697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6187414$E54C8763-E526-411E-B542-BBC8C2BE396B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d392d8280c4ab25f0ca261c442a05edb1b77dd1","datavalue":{"value":{"entity-type":"item","numeric-id":3249914,"id":"Q3249914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6187414$7AC0CB59-04CF-4A3B-9AB1-A5228A8592E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3652cc812943596864498be08594d689e39c2ecc","datavalue":{"value":{"entity-type":"item","numeric-id":4783098,"id":"Q4783098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6187414$C593E0BB-73E3-4DC8-8CB4-FBA438F8E5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a171e83fd88af9b1a33a9d5fb5007e417da6f7cc","datavalue":{"value":{"entity-type":"item","numeric-id":5904155,"id":"Q5904155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6187414$FA834416-27E7-4258-83FA-0A465FDA5880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846b063d717ff1dff0c377f6b63e7aa8337b4bc7","datavalue":{"value":{"entity-type":"item","numeric-id":5192856,"id":"Q5192856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6187414$653728EE-6D3C-4BB6-95D8-6AFBC87D6DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642903e3ff1c9fc8c1bfa3e7e0df81c643916636","datavalue":{"value":{"entity-type":"item","numeric-id":1053812,"id":"Q1053812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6187414$7D8D5AD6-DD02-442F-A88A-0D463A498A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"338a7370c633fc6257528e0fc9d271e0595a4272","datavalue":{"value":{"entity-type":"item","numeric-id":3265650,"id":"Q3265650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6187414$CE44B349-1BF0-4A86-84FF-F835D94FF477","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Substitutional validity for modal logic","badges":[]}}}}}