{"entities":{"Q2537109":{"pageid":2547852,"ns":120,"title":"Item:Q2537109","lastrevid":44298672,"modified":"2025-11-21T19:50:31Z","type":"item","id":"Q2537109","labels":{"en":{"language":"en","value":"Natural deduction rules for modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3299693"}},"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":"Q2537109$23531B69-A975-4444-B882-C71C5697A08E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5a4459cd19b383d32c4f33a2517f03126be48a7","datavalue":{"value":{"text":"Natural deduction rules for modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2537109$60A0021F-B153-4E91-B1CC-783CAADA474A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95f1ffc0b7148d444d2264a29502fc6a08fc94cd","datavalue":{"value":"0188.01301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537109$68C65C82-7523-4CA6-BE50-272FB563AD0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c77faa0b2ae13fd383a49a5937bf4e0405de2331","datavalue":{"value":{"entity-type":"item","numeric-id":2537108,"id":"Q2537108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2537109$902CC261-310A-4916-ADC3-FE1FC3A79DF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2537109$2AC579D5-FA46-4C44-A8B7-D21C3DE1AE69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb0eaa1d64c683ee03edf396d2a33ea56290ca3","datavalue":{"value":{"time":"+1972-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":"Q2537109$1FE2050C-9EC5-49C4-828E-028A727D23A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537109$AA5E7316-7CFD-43C9-8082-EB8F528AF5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537109$F9139AAA-F786-42F7-B6C8-E826B25EFEF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fee15c6b63203f99060b8a0fb930bfc27e17f17b","datavalue":{"value":"3299693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537109$CC2035EC-059D-4F0C-8663-7F43356C5EAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db9eec9f8678adc5795d2749c1b35b75bb9eac3","datavalue":{"value":"general logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2537109$290B5DF9-CCC9-4A23-BF81-4ED8E5768793","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":"Q2537109$564061C2-FED3-4C7C-81A3-803B918BD8AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8127a2696a311533de5165baf1c63ae8bd3a863","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093890707","type":"string"},"datatype":"url"},"type":"statement","id":"Q2537109$449FEA84-48F2-41AF-831E-54A3328D95A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a539801a6939f70469ccec1a9b781553f0c8e2d","datavalue":{"value":"W2018495533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537109$01502E39-2D3D-49F1-BEAE-E61EE945F536","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90ff034fc130653bf0fc9324e0139972e7564b13","datavalue":{"value":"10.1305/NDJFL/1093890707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537109$4F5CDB17-E84C-4210-BA67-6BE1EC01340B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2537109","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2537109"}}}}}