{"entities":{"Q1163537":{"pageid":1174286,"ns":120,"title":"Item:Q1163537","lastrevid":66415644,"modified":"2026-04-12T09:55:45Z","type":"item","id":"Q1163537","labels":{"en":{"language":"en","value":"Finite approximability of the \\(I^\\delta\\) calculus and the existence of an extension having no model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3760134"}},"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":"Q1163537$A843A91D-06DF-4CCE-B1FE-6DB86B544B6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efd7021d7326514020f9a34281e9fdda229ae28a","datavalue":{"value":{"text":"Finite approximability of the \\(I^\\delta\\) calculus and the existence of an extension having no model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1163537$35F20D38-3C68-4E52-8F9B-B4CCFA4B8BB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fdabf68c5e6fe8d0380dbe1b13c04b480c92615","datavalue":{"value":"0484.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163537$6CA6B835-9028-4198-8E81-359FE7C0B61D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b22525e321ee438e334f6cb7c7df0a2dc186d70","datavalue":{"value":"10.1007/BF01163282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163537$6F96E595-4FBF-4699-A2B3-5E6A0688CF6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e071145b46ae7a08fec096f0620178c42ecee586","datavalue":{"value":{"entity-type":"item","numeric-id":793005,"id":"Q793005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163537$2B1FD5B5-14AF-4968-9E4D-4978147F46D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163537$C976B914-6F02-4A70-9B41-52AA9EA27EA9","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":"Q1163537$58EC5C85-ECFE-4838-8334-937156B17E2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163537$0B6AA08D-99A8-4196-9AE0-341F44D2C1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163537$D7BFBDE1-A933-41B3-B8FD-301B94C6D5FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34d04d719406fb2c8deb97493405d21d65bf3ed9","datavalue":{"value":"3760134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163537$62CA8B17-A834-4DC4-98D4-82BB4BD4F2AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a2b08079ca244ac5f9ae062fba6ddb932e35ecc","datavalue":{"value":"finitely axiomatizable calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163537$E41670E8-D50B-46D5-AFF9-FF72A3DCBE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48e54f0d2098a1eeacc3ae0a67bc83eb804a1874","datavalue":{"value":"finite partially ordered sets as Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163537$F4D133B3-C016-4E00-BC32-4CF5C4F34941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43ec6c4842b0d89a50ad79527b782697fd808969","datavalue":{"value":"intuitionistic connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163537$3131C526-FB02-4154-A3B1-4C7AA8562975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccf4c6886aec70f85882a178177888059189ce78","datavalue":{"value":"modal connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163537$3C0676C3-7678-4E4B-A8CD-0BA0FE646529","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":"Q1163537$BA64FD98-0477-4788-8954-DFFB501B1B7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ebcb581746ff3056945fa63a66e3dcfaa65027","datavalue":{"value":{"entity-type":"item","numeric-id":4198476,"id":"Q4198476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163537$AAC138F6-8D2F-4AB7-AE18-32B3548941BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite approximability of the \\(I^\\delta\\) calculus and the existence of an extension having no model","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_approximability_of_the_%5C(I%5E%5Cdelta%5C)_calculus_and_the_existence_of_an_extension_having_no_model"}}}}}