{"entities":{"Q1148885":{"pageid":1159634,"ns":120,"title":"Item:Q1148885","lastrevid":42912521,"modified":"2025-07-15T23:27:52Z","type":"item","id":"Q1148885","labels":{"en":{"language":"en","value":"Semantical investigations in Heyting's intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3708334"}},"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":"Q1148885$825A8706-B8CE-41AE-B7C4-D9F33EB09D21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5830d8b18d9f06696c86af3d62ebd7de5431ca73","datavalue":{"value":{"text":"Semantical investigations in Heyting's intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1148885$9909E739-5DA1-40E4-804D-4AC8ACB6739D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85e0c9005a88373c3e8d1e2a2d5688cd36fd475b","datavalue":{"value":"0453.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148885$B21AC889-1A83-4888-825D-44812E88B065","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148885$67ECF0CA-B9F8-4690-BDC2-0307504BD303","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a1cc4e398eb5d81a21b68eacc416647ae411adda","datavalue":{"value":{"entity-type":"item","numeric-id":163447,"id":"Q163447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148885$EFDB785F-725C-43F5-9293-082C7CA3F230","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1148885$B54CDB63-38F7-485B-ABB5-7875538ED4E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148885$7083576B-DBD8-4BFD-8E26-2E22170E015D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148885$3C6B9AEE-88AA-4B32-88A0-99B5E981AB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148885$7691FEA2-1043-4C72-905C-B00FF646632D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148885$EEEA6CC1-6CF3-48BC-9773-A5ABAB5BFAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148885$638D19D0-7529-497F-8ACE-04892CF15660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148885$898BB757-F98C-428C-9FAF-D47CA7A924E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"720b8e1a8c4a52a4bcad3bb9f4a3f0558a89c4c9","datavalue":{"value":"3708334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148885$E75A4743-87EF-4816-9409-A49DE16576C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2400f038a313a4b0f1ef5407932d4864ff4e95fa","datavalue":{"value":"logical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148885$4CB2E0A8-FAF5-42A0-8E86-15E6C747E6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2204efedd85f7b0ca457ab200e3cb82a7b01f6ab","datavalue":{"value":"consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148885$A3870CC7-6934-4EE7-A2EC-2D644F4DA301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf6a52797ea8e812b69cbd5fa32e20f58ad7cd00","datavalue":{"value":"Heyting's implicational calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148885$C75E1DF5-19A8-4B0F-94D4-342317C728E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148885$F35D639E-CBE0-44F4-95A4-0DDE9D42BE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148885$24714109-9C8E-4ADC-84E7-952149B4562D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e66e161a72a4de37799f4fc07038067600102510","datavalue":{"value":"interpolation theorems for intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148885$5612F2C5-FCDE-4069-AB03-91FA62D2FEF2","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":"Q1148885$390405C1-6F69-4605-B894-725DBAB07EC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1148885","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1148885"}}}}}