{"entities":{"Q1908788":{"pageid":1919530,"ns":120,"title":"Item:Q1908788","lastrevid":43411230,"modified":"2025-07-25T14:13:49Z","type":"item","id":"Q1908788","labels":{"en":{"language":"en","value":"A \u0141ukasiewicz-style refutation system for the modal logic S4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 851853"}},"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":"Q1908788$EADAD5A6-10DD-435E-B348-EBCB598416FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d876a63f779102f4a08bcf19ea1fd794a404d830","datavalue":{"value":{"text":"A \u0141ukasiewicz-style refutation system for the modal logic S4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1908788$5418176E-655E-4D8E-ABC0-696F064751F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d2c2ce5cf6ad68dcca75d3e24096012471b0dee","datavalue":{"value":"0847.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908788$F49ED4CB-43E9-40B4-97E6-2A2745AE2A46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d2553ba0a613fe9d8d6dbe4ed45c3016c008e5b","datavalue":{"value":"10.1007/BF01306967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908788$27EB40AB-2FD1-4325-8DD6-E7B6F0EAC782","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30b5148357ddc46afe7867b178a15576d428368d","datavalue":{"value":{"entity-type":"item","numeric-id":689213,"id":"Q689213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908788$98342CB0-EFED-4A5F-A5FC-C8A8B0A7D2D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908788$5460ADE0-1017-4D50-8E25-39B4A4B6686C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63eca9d42c7a29272318f097590a3d825a5d4718","datavalue":{"value":{"time":"+1996-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1908788$49D554CE-C67F-4E1A-8EB4-A62D06C7D236","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"877e4398515e5886de015039f3656226ba5a3896","datavalue":{"value":"The author gives a complete axiomatics for the set of modal formulas not belonging to the modal logic S4.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908788$E83D6C62-3EA5-4B9F-80D7-1BD3B060D6B4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"eeec67f38e1d89854fb40771a8f249be9e614272","datavalue":{"value":{"entity-type":"item","numeric-id":1337511,"id":"Q1337511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908788$1C8D2BAD-49AB-42F7-81BF-E81F1EBBFB9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908788$D2CA3945-CD8E-4F5A-8EC0-59356D6C79D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54a8951ca1fe8a6f395a1b79d5f5bb8a787dc309","datavalue":{"value":"851853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908788$31C3FA46-7A90-4187-9420-8F85E1C8DD58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0f1db807ed13e31245ad38db2ebfbc16ea90f6","datavalue":{"value":"complete axiomatics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908788$59ACF190-C968-483C-8336-48C25C8F1A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908788$4BB07D9A-8D88-44FB-8A38-068DC33BE022","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":"Q1908788$52DABD4B-0BD8-49F6-B1DA-398BEBF06A89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb352cf3a8aa1bcadf6623070f33c0f521239455","datavalue":{"value":{"entity-type":"item","numeric-id":4342093,"id":"Q4342093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908788$C32A3CD4-FAB7-48DA-832B-B78D48F9B21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4427b5094720b5533fff141e63b84859fd8753d","datavalue":{"value":{"entity-type":"item","numeric-id":3360159,"id":"Q3360159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908788$8FD95AAA-CB0A-4528-A39A-8C2A53F0DDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b545a3b78940c4eaf91abdb8f66855858430c8a9","datavalue":{"value":{"entity-type":"item","numeric-id":1327486,"id":"Q1327486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908788$7FB5575B-B454-443D-8185-23827384DFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a0ca1d65125ac2719c77cef75c106a425833d05","datavalue":{"value":{"entity-type":"item","numeric-id":5805951,"id":"Q5805951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908788$A2AAD8D9-26DD-4D4D-AB07-91759EFC3E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"520071077950a9438ade95d45f45e18ed2972212","datavalue":{"value":{"entity-type":"item","numeric-id":5632540,"id":"Q5632540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908788$B41F19D8-9D85-4A27-91C4-0A4680161DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908788$CB991ED6-A95E-4B4F-A142-CD4325D8A3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51a0db62821ec242995549fbdf7caa98f413c70","datavalue":{"value":{"entity-type":"item","numeric-id":689214,"id":"Q689214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908788$FEA8EB9D-5727-425C-A172-06F321EF008C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1908788","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1908788"}}}}}