{"entities":{"Q1136748":{"pageid":1147497,"ns":120,"title":"Item:Q1136748","lastrevid":42901064,"modified":"2025-07-15T20:58:02Z","type":"item","id":"Q1136748","labels":{"en":{"language":"en","value":"Modal logics with LM-axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3664907"}},"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":"Q1136748$826FD0AE-0DF8-4198-B0C6-B7381C7ABE09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d30448e5e4fc2a2a902de7cdcef3f946c03e067","datavalue":{"value":{"text":"Modal logics with LM-axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1136748$3BC4ECA4-CE2B-4245-9051-68B564FCA3E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"786fc2fd97b053f7eb47cd00308715fd285e22ef","datavalue":{"value":"0427.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136748$74D80055-D0E5-4B09-B5F1-E7776F6950C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"756d49e11696bfabd211e3dc94c0f8b20ee97697","datavalue":{"value":"10.1007/BF01674781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136748$0C6B58C7-2DE5-4A58-A579-99C1D4E4ED67","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":"Q1136748$8B206457-C806-4D78-9590-5D5B28EF4F77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1136748$5D166ABB-13FF-4D37-B530-B323287B97B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136748$A16E407D-F8BA-4F32-B0A7-0BF1EC074C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136748$7A8C8DA8-BB12-4121-8234-BE1CBF5D7CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136748$2855F0DD-E5F0-4890-9D3A-B0D85D4B2DD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57b2b4710b68a97589a572deb387064aed5f5445","datavalue":{"value":"3664907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136748$69321308-153A-4DC8-B8C8-7B365982AB65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1259d429e68f174208d84de505f72a7acc03e42","datavalue":{"value":"decidable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1136748$DEA0B56C-3AA7-4F20-844A-EADD65A5BEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1136748$675222DA-4DC9-4924-9412-584839F1C7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b5d33ac6946b60bfaf3165d561e14c8920501f2","datavalue":{"value":"extensions of K4","type":"string"},"datatype":"string"},"type":"statement","id":"Q1136748$F7800FED-1B18-450E-BAEC-E249412097D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03bd6d589a3013514cd8b7447c4404fb49f210ef","datavalue":{"value":"LM-axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1136748$BAC1582E-8774-4ADA-B56C-0C249AB0C37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1136748$B0BACDBC-8A68-4BA9-B62A-52D9D2EA19A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4f637651b97debd1e294ed6b7e5d99373564747","datavalue":{"value":"finitely approximable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1136748$F6E1CA98-53C1-4851-A47B-619B46987E27","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"36d01db71f9e119ff6c0e996abceda1d8514931d","datavalue":{"value":"Q114693808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136748$D2E47E1F-679A-4E96-B4C5-3655C7B09B07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136748$B17C09C0-227F-4D33-8D89-11F7595ABB2A","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":"Q1136748$D917FDF3-8846-482C-A49D-65EEA3610F7C","rank":"normal"}],"P223":[{"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":"Q1136748$18405C6F-F27E-4FB7-92B4-F6FCB2CFBF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e77b2f30d1034d911c04cb89df0eeada2776e59","datavalue":{"value":{"entity-type":"item","numeric-id":4192037,"id":"Q4192037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136748$A1EE4F58-A030-45E8-A793-11092F4269DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0554a659325cbbad4cebbe76b51685fc2e7c4320","datavalue":{"value":{"entity-type":"item","numeric-id":5619824,"id":"Q5619824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136748$23317389-F7A0-4E54-9352-666644E5D487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad78f0c9eae65d440bef225de3d19917af4dc15","datavalue":{"value":{"entity-type":"item","numeric-id":5822056,"id":"Q5822056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136748$89DFCE7B-CAF6-4503-9AF7-7020EBD88ADF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"445c1157b6a6404bf039833b5a40cf75ab64d536","datavalue":{"value":"https://doi.org/10.1007/bf01674781","type":"string"},"datatype":"url"},"type":"statement","id":"Q1136748$9F76A998-96EF-4744-82BF-F6CF6A45E273","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"234ce94941364c01c241bf8f55a8c2355177ecfb","datavalue":{"value":"W2007622246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136748$C6FCB929-8530-4EF9-ABDD-3FDA638B33BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1136748","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1136748"}}}}}