{"entities":{"Q3647252":{"pageid":5677158,"ns":120,"title":"Item:Q3647252","lastrevid":49768012,"modified":"2026-01-10T12:59:34Z","type":"item","id":"Q3647252","labels":{"en":{"language":"en","value":"Automatic checking properties of non-classical logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640531"}},"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":"Q3647252$1125D5DC-2E97-48A7-B7A1-AF4E8005E90F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0901df121ab0b9009deb116dd58d8f9509578f96","datavalue":{"value":{"text":"Automatic checking properties of non-classical logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3647252$F39E19FE-8FEF-4A40-9834-42B115ACD1CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f282c36f935004f65faf3038f6939489918c6547","datavalue":{"value":"1186.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647252$1694985E-7817-45D0-B8C1-BD1754C4261C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f546696d43917b89f90e3bde6c43f6d573069a36","datavalue":{"value":{"entity-type":"item","numeric-id":3647251,"id":"Q3647251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647252$C58D1492-BBFE-44BF-A6C4-3D2B5F93ED5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647252$D04741B1-1CFC-489B-AACA-5D6297D62566","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0282e8a69b73ad7ee83a673994f773268a123e65","datavalue":{"value":{"time":"+2009-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3647252$0FB380C3-00FC-48CE-810A-A909DB850E2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647252$7EAA387E-10A4-40EE-B9A8-566244C14635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647252$F0B97F71-3724-4372-9DF7-924ECDDEA79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647252$A18C51C7-117D-4857-AB2A-9B76887BFC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647252$65A35078-35A9-4EB2-97D4-C7529E6CE14B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85e4e1dd1c2d4d6fcf2688dba3e0d0268622e613","datavalue":{"value":"5640531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647252$B940A637-BD9E-42DC-8FB9-259E7E698345","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647252$9D5E67A1-E1B2-437F-8401-ED751AD32F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38cf68a5879dc0699cc660450d7bce2437ecb0ae","datavalue":{"value":"superintuitionistic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647252$3D8C5C05-C6C2-488F-89AC-E315C3DC986D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69d63e45d20b2de9b48cbc250ab495625b1f9e3c","datavalue":{"value":"positive logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647252$826081E5-DF3B-4C3C-93D1-96C08DEC9EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d2259bab5cbb250b83e3a4264e65fbdece159","datavalue":{"value":"interpolation properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647252$B5A072AC-D521-4C00-B97D-016CDA1427CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c851466e06cc3a36666d1bb4c84b8cc85c0aa746","datavalue":{"value":"tabular property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647252$6C99028F-47F0-4DC3-8FF5-8B9AD1193FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f941294f86edd393dfc08575839a5a4636704663","datavalue":{"value":"pretabular property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647252$9F9410E4-D614-45B2-A914-3E97D06276BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa6b7d9b912e784877d7e2e27212e05c5c08ecf","datavalue":{"value":"automatic recognition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647252$AD4606AC-2714-4D2D-8FCE-1A9D5C875AF4","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":"Q3647252$2DD0A28E-D9C9-479F-AC9D-8B6C9CD01A21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2663e3f576cd2dd1bddc9c9dcbf50917c7f55ab5","datavalue":{"value":"https://doi.org/10.3166/jancl.16.507-516","type":"string"},"datatype":"url"},"type":"statement","id":"Q3647252$DE067574-2446-47F8-8AAC-94455116D54A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46519589cb3665ee9801569b268b0716f09791ee","datavalue":{"value":"W2025362088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647252$000E4452-A433-4043-BDB5-6EB201D06902","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e69b725f6112ecd9384d9f4600cfb645f2c024","datavalue":{"value":{"entity-type":"item","numeric-id":2265416,"id":"Q2265416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647252$9238A8F3-4158-439B-9794-24B048AB9911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e888c4e0eedeb220bfce539d3de52faf7c270755","datavalue":{"value":{"entity-type":"item","numeric-id":1150603,"id":"Q1150603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647252$EE8B95A3-C997-4CC8-909F-32DBB3283C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd89811fe037d11cc22c2ae80762bd3d5d7b2d3b","datavalue":{"value":{"entity-type":"item","numeric-id":1156788,"id":"Q1156788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647252$4749DB59-8BE4-4212-981D-BB4A6BCC5281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b21d0883fa45137b7b7a2eff9c70345bdb4de3c9","datavalue":{"value":{"entity-type":"item","numeric-id":2885194,"id":"Q2885194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647252$1412E2E9-56C8-4D80-AEF4-0BD27714868D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fa2f56247071307b47184382886ffadbeef619c","datavalue":{"value":"10.3166/JANCL.16.507-516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647252$2F5000A9-460C-4FB8-80CA-A2E8A1D26341","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3647252","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3647252"}}}}}