{"entities":{"Q754196":{"pageid":756045,"ns":120,"title":"Item:Q754196","lastrevid":64125078,"modified":"2026-04-11T17:48:21Z","type":"item","id":"Q754196","labels":{"en":{"language":"en","value":"The completeness of intuitionistic propositional calculus for its intended interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3646882"}},"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":"Q754196$65526BBC-0AA7-49A2-87AC-7A58C819960D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ae98b24fd84c1ae785dbcdaae8809040be0658d","datavalue":{"value":{"text":"The completeness of intuitionistic propositional calculus for its intended interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q754196$0C7A0560-289C-49B9-9FFB-57AA02862F9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c7bacddaaaeef8d41418a26d12ac0c608836dcc","datavalue":{"value":"0416.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754196$558F4C84-1DB2-4BE9-871B-365321B7C143","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff67de00c31f17cc3dbbf4b6c15cd2eb20281906","datavalue":{"value":{"entity-type":"item","numeric-id":190246,"id":"Q190246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754196$85DE2ACC-9770-4F70-8CDF-8504062F4CE9","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":"Q754196$2B042965-04B0-47AB-9715-D2D9228CA35C","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":"Q754196$B28FD17A-56C4-4ECB-87CC-2EDDD0AD067D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754196$5C66B6D9-BE78-4407-A405-80D75F4046C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754196$3C02FA60-1AA7-4208-B00B-C0BD30CCBE9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03000334331bfebbd1f062be644e718ea21fd30e","datavalue":{"value":"3646882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754196$53EBF8B3-7C8D-4097-B178-759ADC114D7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q754196$CF11BEF1-9CAD-49DD-85B8-371DCA4B1134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c02573067ce269978259adca50802665ece784cb","datavalue":{"value":"intended interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q754196$FED26A5B-2840-4163-944D-3B19ED383B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"403653981ef5cfbc3c7b02dd2f4b1a3134e253cd","datavalue":{"value":"choice sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q754196$F705A50F-5045-4BC7-87BD-E722E61ED4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41735e335566fdd7938db3d1a58a09ce682550cc","datavalue":{"value":"extensional schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q754196$50A06300-F015-46C8-8787-EC840470B39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f4ae1747d66703e69ad28a8e0440062141b309d","datavalue":{"value":"Scott-Moschovakis topological model","type":"string"},"datatype":"string"},"type":"statement","id":"Q754196$8E8A077B-23DF-4977-A2AE-F8CEC05F2B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q754196$996A9FD3-D9E4-4BCB-962A-285F85167B94","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":"Q754196$93BD9BA4-5462-448E-92AD-95D074437FB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eab490864f87267e3f6902cff48405a7b39b4cbf","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093883336","type":"string"},"datatype":"url"},"type":"statement","id":"Q754196$402FC99F-E498-4CD2-86CD-2FE8255E4899","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0da236a59526c17565b463adb185e4e68397707b","datavalue":{"value":"W1995987034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754196$A4B414BB-AD7D-4CFE-8A80-63AF4145D568","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47b77a6e8560328b6c2071c5aea6bfa907804dd9","datavalue":{"value":"10.1305/NDJFL/1093883336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754196$71D89A49-1F83-46DA-AB42-3F297F80EEE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The completeness of intuitionistic propositional calculus for its intended interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_completeness_of_intuitionistic_propositional_calculus_for_its_intended_interpretation"}}}}}