{"entities":{"Q752686":{"pageid":754535,"ns":120,"title":"Item:Q752686","lastrevid":64111812,"modified":"2026-04-11T17:43:28Z","type":"item","id":"Q752686","labels":{"en":{"language":"en","value":"Syntax and semantics of modal logics containing S4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4179334"}},"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":"Q752686$93BD67BC-F44F-4834-8150-BD9ECABE4D5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"014842a7956ec2bb1ac4913b8144271ef3080432","datavalue":{"value":{"text":"Syntax and semantics of modal logics containing S4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q752686$BE925045-6CE1-455E-BEA6-275614AD2692","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71d68a606551f3ddc14db938185037a044d002f5","datavalue":{"value":"0716.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752686$226770E5-A3E0-4769-BF18-AC28E6FA7BCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aeb9ecb4a13a6bcac6c6464d03e9b415bef4ebc9","datavalue":{"value":"10.1007/BF01980737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752686$3731E619-A9C1-4F0B-9A7C-BDCA5609EC6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752686$7763AFEB-5CED-48E4-ADF0-974D54E4BA6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q752686$2446309F-300D-4386-A06D-04E92A4A3DB4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e8f5b560a1d9f01a0958f5e8d60c321fe2b2fac","datavalue":{"value":"See the review in Zbl 0686.03010.","type":"string"},"datatype":"string"},"type":"statement","id":"Q752686$1C9168B7-CAF6-47D8-94F5-D4E3B502B02C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752686$0FFE7646-E980-4B3B-A62A-3B35FDF15231","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b47f7fb5266a85d14f7dc6a9e6a1a9976324fb6","datavalue":{"value":"4179334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752686$5D784689-B6F7-4184-AEB3-143DAB7480A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q752686$F6AA9829-5B94-4D15-8F2D-62825E1D3871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2907c13237f24cffdb9690bb4c083e15f7b51a91","datavalue":{"value":"extensions of S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q752686$0D2E1A74-9840-41BB-81CC-CF0EC9C6BCEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752686$9E7C589F-7BB8-4ACC-9E82-8D623A7855A9","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":"Q752686$C49C4DD4-6BA2-429A-8C36-2C0BA4ED6265","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e458e02ef366425bee914a3948d69a60170198bc","datavalue":{"value":{"entity-type":"item","numeric-id":1220915,"id":"Q1220915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752686$A75B17E8-280C-46A8-82AA-3C5C40DB9D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b78f04a769bf9d49ac8bd1c0ab56559bb3ccfe8","datavalue":{"value":{"entity-type":"item","numeric-id":5635425,"id":"Q5635425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752686$76F8EA4B-629F-456E-8D5A-12CBCCA9DC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b4735cc1f5a60bfef583599fdacac66c6ca8dd","datavalue":{"value":{"entity-type":"item","numeric-id":4063119,"id":"Q4063119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752686$15233CAC-192A-4DEA-ADC9-8A1B442CA1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752686$87F6A6D8-B303-42A0-9998-CC26CD8E5052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752686$0D374BCE-FDC7-4D7E-85EB-9263A83FC97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec61348cbc7897006cbf43596adc1b3a59cad5f3","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752686$A959FFD8-2B78-48D7-9BCC-88997B842273","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntax and semantics of modal logics containing S4","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Syntax_and_semantics_of_modal_logics_containing_S4"}}}}}