{"entities":{"Q1056741":{"pageid":1058589,"ns":120,"title":"Item:Q1056741","lastrevid":42842494,"modified":"2025-07-15T07:47:25Z","type":"item","id":"Q1056741","labels":{"en":{"language":"en","value":"The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3827819"}},"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":"Q1056741$358B87CB-A587-42C9-8C96-02370FB233B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe44c8dbd572e79eb343e0d1c68e02a4785ecdbd","datavalue":{"value":{"text":"The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1056741$AD7FF1E7-898B-44B1-8970-06E13F716C36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbd7a9bbe181183dc1d17f1c3a42d7d73094fd16","datavalue":{"value":"0523.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056741$3C05D305-D8DE-4717-97F8-A174BEF070DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4a5f0c4f3b98dc78dd96d90f6fc612e15b8840a","datavalue":{"value":"10.1007/BF00263483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056741$C47DE771-41D1-4D0E-846D-9CF22707993E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79a110f1ed4fa3764142d6f2e9807097c2edae37","datavalue":{"value":{"entity-type":"item","numeric-id":383069,"id":"Q383069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056741$13BB0DEC-C306-4A74-A6EB-217ACF8BEC66","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":"Q1056741$053273F8-D4A3-4D02-95B7-5D41B9E4331E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1056741$F872FB4D-1255-42A2-ACF3-6F507F318861","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056741$4722FBD0-F507-4B85-8AE7-C94F3A04B39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056741$F8999192-8C9C-4646-B06F-0CC32F89E739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056741$D63E95FE-E59C-4429-96CE-8A74C457AC65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ae83ab298ee1603a4f0c7f279accf67849460b0","datavalue":{"value":"3827819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056741$765A4D93-CED5-4AB0-970F-30CCF5466D95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7baf89f917d55cf40b0c6e30ca6ab78a82319466","datavalue":{"value":"inversion principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056741$075453F6-ABE6-458E-8D5D-F843487114AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa1a5b4b064884dd1f7696f7279d4a24745c241d","datavalue":{"value":"semantics for intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056741$17568E52-C75B-45ED-B3DB-8EEAB7C12E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056741$5A5509F6-F922-4C73-BCF6-5285C93D3F40","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":"Q1056741$4522D0BC-2762-4694-A832-89ED2834BDE0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5d395db8c5eb1d5217f78fd08b7a7b6e8b5da5","datavalue":{"value":{"entity-type":"item","numeric-id":4492739,"id":"Q4492739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056741$DAB07FB3-6E20-46BD-BA34-C2C24ECF4D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"594d875116270968f78b59859b738c6ed734d60c","datavalue":{"value":{"entity-type":"item","numeric-id":3229402,"id":"Q3229402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056741$8D209175-4797-413B-A1A9-AA668DF86871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056741$E644A00D-8A8A-4074-8E6A-E1DD43E53749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19650bd44f215470cc074019440edf7b489219ef","datavalue":{"value":{"entity-type":"item","numeric-id":4133922,"id":"Q4133922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056741$05F67108-D946-4A7B-AAB3-D70F249DE744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c184dd6d98ab919424ff261c66d8446cc64a28c1","datavalue":{"value":{"entity-type":"item","numeric-id":4192055,"id":"Q4192055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056741$84FE449F-C32B-44F5-BAB8-DAE10C1CBBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4661468a127bf992bd354e4286421faab253fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3661478,"id":"Q3661478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056741$B8A930FC-17E3-4309-B537-E2F4FA73C967","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1056741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1056741"}}}}}