{"entities":{"Q1133535":{"pageid":1144284,"ns":120,"title":"Item:Q1133535","lastrevid":42898375,"modified":"2025-07-15T20:23:20Z","type":"item","id":"Q1133535","labels":{"en":{"language":"en","value":"Matrix representations for structural strengthenings of a propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3655909"}},"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":"Q1133535$5D34D0A6-494A-4602-BD2A-19E59B93EA57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc14da4c72034de76d9af1e972813edf45b5efff","datavalue":{"value":{"text":"Matrix representations for structural strengthenings of a propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1133535$725CB483-EE8C-4B6B-BCC3-C145035EFB13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eba37b28b2e215a9fcefd0a89115bad349f935e7","datavalue":{"value":"0422.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1133535$4D305F48-50A7-440D-91BD-59EF20B4B908","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edb3c44650c4dbaece39453ea380f638916d3021","datavalue":{"value":"10.1007/BF00405384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1133535$D0DBCD3A-C9DF-436C-9AA3-3A2BE7E6E3ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fb74110975662118ba1e2f7c9c93d7e4e73d80b","datavalue":{"value":{"entity-type":"item","numeric-id":195357,"id":"Q195357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1133535$0971404A-F529-4F80-B647-49129F8AC8A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1133535$F69C53B9-C256-46F6-A206-D931BBC95BF9","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":"Q1133535$B78AB70C-5DDE-430F-B547-47ADBB9885DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1133535$42EAF292-1D9D-4A46-9D0B-531C6CABD97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1133535$6E5178BD-90BF-4B10-BBC2-7FEE6E651832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1133535$7A469AC7-7411-456E-8C4C-1BB2E5C080AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1133535$31FC3BB8-CEC7-4AD2-AAC0-6A63F46C84A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2f7db68ac6cde164f1ad362a01cbab998ac8e04","datavalue":{"value":"3655909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1133535$BD766E8B-34BC-46AD-9B68-725EAFD3335F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8722c1ba17bd93cc73a11816e4c82044772e932","datavalue":{"value":"structural consequence operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1133535$1FB9C720-B486-442D-BC60-7C543ED10D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f962a125964ba633c23b67e0ebc1e673164eedc6","datavalue":{"value":"matrix consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1133535$4397A2F2-0BC0-46A1-AE5F-73997ACADD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c76f62179b1fea291f12a5cc0a52e4229792db2","datavalue":{"value":"direct product of logical matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1133535$FF72ACC5-7B84-4D6F-86F8-30D812522028","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":"Q1133535$078AA842-F578-411C-B6FF-35EB5399ACF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34c2eed9ef5fc3d358f32fa8872708612a0fa4f","datavalue":{"value":{"entity-type":"item","numeric-id":5834591,"id":"Q5834591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1133535$754EE132-AFF1-4022-878B-3319B3077C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3746a0209a00f8c987a192c579c39c5341642ef9","datavalue":{"value":{"entity-type":"item","numeric-id":1239151,"id":"Q1239151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1133535$1603D26C-A756-43CD-AD11-ACE792E75022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373b116fb3ed4476235c2dbe811c5ec0d9b5c6ae","datavalue":{"value":{"entity-type":"item","numeric-id":1245929,"id":"Q1245929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1133535$CB7D3095-EC74-410B-8632-77E849E3D4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"479ce18d09e9951af958a9eef0b965cdcdf0dd1f","datavalue":{"value":{"entity-type":"item","numeric-id":1214909,"id":"Q1214909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1133535$AF553189-6960-4BA9-8FC5-7A40D99226FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1133535","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1133535"}}}}}