{"entities":{"Q6909110":{"pageid":20956489,"ns":120,"title":"Item:Q6909110","lastrevid":84163253,"modified":"2026-05-12T19:30:49Z","type":"item","id":"Q6909110","labels":{"en":{"language":"en","value":"Base-extension semantics for modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8112922"}},"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":"Q6909110$3B0141D0-A984-4BEE-845E-ACBB9D54C212","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a668afe57157284555d034d1e4c668e2a6468ac","datavalue":{"value":{"text":"Base-extension semantics for modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6909110$626321B1-C180-4021-84FA-38E66BB17287","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1f3c3fd698fca3b8201a476e1d904e6828ea493","datavalue":{"value":"1573.03174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909110$9889D539-0164-4A51-AB36-FCB8BA16A17B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b07d57606f45d634eb97f1fb10ae465ccfec598","datavalue":{"value":"10.1093/JIGPAL/JZAE004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909110$F55F36E1-788B-4A5D-A71A-A7DE74966F63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e222ed522e46721f69c4ef74a4de62e1e9c129a4","datavalue":{"value":{"entity-type":"item","numeric-id":6518763,"id":"Q6518763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$4D99A2C3-C101-4745-A80F-B56BA0DACAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$9E6446F9-786A-4A3C-A3CC-8A5DABD252DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$A5EE06C9-E76C-45DB-BE67-46393962E84B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"02f43d9ad897ab0d0f7297ace2c258d2131de1c5","datavalue":{"value":{"time":"+2025-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6909110$E4094BDF-DF9C-4906-9D2C-6A0B384595CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909110$48B04D3A-ADCF-4DCC-AB6C-1D95523EE9C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a35d84a035b2fcee9fa962cdc27a0880c0a8f54f","datavalue":{"value":"8112922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909110$2261A580-BF21-4F70-8516-08449C18189C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$C18B6F4C-305E-40DE-84B0-01BEB5FBA8F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909110$C8E6C836-3B35-422E-B3DC-06264BC03959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909110$CFAF2886-A0FC-411C-9845-D840CC22AB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1149f19db7b7e4dc3d0ed1a0a31645437267fff0","datavalue":{"value":"base-extension semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909110$4163E443-BD55-4892-86D7-1BD7C6728767","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":"Q6909110$A112C2CD-8E7A-45F6-827B-DA8FD7EC7910","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$464021E9-CFC4-4EE3-83D9-E26FAF259467","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":"Q6909110$5D60EE02-C9CF-457C-A19E-DA0D34D880FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b44dc579c51b3f7b4cdb86b7e3cffb721c41a5c","datavalue":{"value":{"entity-type":"item","numeric-id":2616497,"id":"Q2616497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$52497784-742A-46D4-9438-3408752CC29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d9c18bdf231a5cb523a43ea4665c4918d92de9","datavalue":{"value":{"entity-type":"item","numeric-id":6200465,"id":"Q6200465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$D1DBE5A5-E382-48B4-ACB7-2915FE50F3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab362d897ef9457511fc472600bb5b07df97ea19","datavalue":{"value":{"entity-type":"item","numeric-id":5864206,"id":"Q5864206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$832AA082-C528-4329-B93F-82EEF2092363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4bcf70567041c393fb5bd5e6d1ec60ceddd525","datavalue":{"value":{"entity-type":"item","numeric-id":5222518,"id":"Q5222518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$8C4AC10C-5EFA-43DB-8A80-777A4A92630A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$753C0C4F-AFF1-4565-8526-60B80ADCE6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$5CF3D289-EF33-42AB-A681-BF227AA7FFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990d866d8f3a33db0f897f8205d5a0bf2dbf2379","datavalue":{"value":{"entity-type":"item","numeric-id":5172129,"id":"Q5172129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$332ABB74-DF39-4C85-8E5E-BAAF42D477C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad767dff991af4c71c957cbfeddaa7f34a0964d2","datavalue":{"value":{"entity-type":"item","numeric-id":495649,"id":"Q495649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$3E5BBF1E-70C8-4202-A7D0-FC5C2D51CFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$53D43FBC-0269-42DC-A64F-8D09B7190AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$22247801-51B5-4FEA-B271-09FAF7F5F040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4bd0b496abe9efbce0eb6e2e4de1ef279e4d629","datavalue":{"value":{"entity-type":"item","numeric-id":2500819,"id":"Q2500819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$6B16C068-9D5F-426E-A7B7-B647FE143BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$3E272A16-171F-4F78-A277-8BA9AC00D3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"719d8326283b4d2b8b03782fd1f321d045f4802f","datavalue":{"value":{"entity-type":"item","numeric-id":4648470,"id":"Q4648470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$20E03E53-BEB2-4015-839A-73F84E3CE8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5782a4dad3a4c5379b29251e4868675364c15da","datavalue":{"value":{"entity-type":"item","numeric-id":4644597,"id":"Q4644597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$0D03A40B-4CEC-441C-A10F-E28F0E07B7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8822dc62f02ea9c36897bbc35c138ec9ca4c7b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$4F275BC0-1703-44E3-9D45-2615171965D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6418fc63a5e28da589880c92821504bfdb287315","datavalue":{"value":{"entity-type":"item","numeric-id":6836678,"id":"Q6836678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909110$6AB712E4-134A-4D9A-9A62-78BCEE3F0E12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Base-extension semantics for modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Base-extension_semantics_for_modal_logic"}}}}}