{"entities":{"Q6909076":{"pageid":20956282,"ns":120,"title":"Item:Q6909076","lastrevid":84163340,"modified":"2026-05-12T19:35:45Z","type":"item","id":"Q6909076","labels":{"en":{"language":"en","value":"Base-extension semantics for S5 modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8112965"}},"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":"Q6909076$BE6FB62B-7FE7-4064-B43D-20C852F97A2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b6f7f76b0476a8d0d616fddc231d71ee8ae189b","datavalue":{"value":{"text":"Base-extension semantics for S5 modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6909076$B88971F3-B28F-4F13-A08A-B8A324BC00C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd08c835ab8687d388fd54d360c95da4aaaa9dc5","datavalue":{"value":"1573.03173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909076$A4C343C7-010C-4570-9728-2B9A7500D14B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ef5b8d4b44f1fd7ca4d1a0d71915b5b21062c2d","datavalue":{"value":"10.1093/JIGPAL/JZAE131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909076$302308B3-F5F0-4A1E-AAA3-4B8297A7E626","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":"Q6909076$03E4FE26-198B-4B11-887A-AF888DEBA02F","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":"Q6909076$F6660CB5-BD51-4E10-B39F-60A562CFD4C0","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":"Q6909076$EFF50FCA-3584-45F4-B887-3A17905D7076","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":"Q6909076$A04F0099-E9A2-4FD7-84F2-4A54F660B7B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909076$65CE6AF5-F244-46EB-9E4A-F202B828179E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909076$61B5780B-7FA5-4E03-B153-BD325588BF32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b154903091a84571a0bd1202c0f075a2b9f033f","datavalue":{"value":"8112965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909076$9D519303-10F9-4EB0-A59E-4FCAC7A9F1EF","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":"Q6909076$465AE7EA-0670-4BFE-951A-3D69E896B5AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909076$44328D2C-C4C6-4A45-9676-9282DDA9C83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1149f19db7b7e4dc3d0ed1a0a31645437267fff0","datavalue":{"value":"base-extension semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909076$FCF290A3-C02C-4DFA-A647-04111DCA048D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909076$4B1021DE-DECF-491A-9762-290043E658AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24f0b1dc209d15fc5193ed07d122a7a2b20c100","datavalue":{"value":"(multi-agent) S5 modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909076$0536B48E-6FB6-49CD-9320-B5FC7F42E9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909076$68811A3D-A397-4D16-9D1A-22314A1C14F5","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":"Q6909076$D09769EF-EC90-48B2-9578-F6A6FAE1F177","rank":"normal"}],"P223":[{"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":"Q6909076$BC3163A5-EA63-4627-A10C-499D8EBE7564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc82f19706ac3b9c8636659e4a44e2f792f45211","datavalue":{"value":{"entity-type":"item","numeric-id":6909110,"id":"Q6909110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909076$99C85E2E-520A-4F77-949E-B51498D53B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17b3c38e055b8a6f730433357d1a5313dea4e2a","datavalue":{"value":{"entity-type":"item","numeric-id":5817864,"id":"Q5817864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909076$B2DF239C-2EBD-425F-ABB5-8ECFBD998FC0","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":"Q6909076$D210CA01-858D-4D7B-9EF3-0FBE66DF48AB","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":"Q6909076$4C5D33C4-4079-4535-AB9F-598CDBD31843","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":"Q6909076$159541DE-8D76-4A42-B613-A62AE29426AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3f05f853551418cca4e182137d4215cf968e94","datavalue":{"value":{"entity-type":"item","numeric-id":3113047,"id":"Q3113047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909076$78B0D2E3-5FB8-4A0A-8477-AD86D4AABF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa2e5599a348d5c1b79b61b21bb5b178d101a310","datavalue":{"value":{"entity-type":"item","numeric-id":484925,"id":"Q484925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909076$6DC294A9-402E-469B-84C2-B0219EAB61F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Base-extension semantics for S5 modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Base-extension_semantics_for_S5_modal_logic"}}}}}