{"entities":{"Q1868240":{"pageid":1878982,"ns":120,"title":"Item:Q1868240","lastrevid":71570049,"modified":"2026-04-13T23:07:51Z","type":"item","id":"Q1868240","labels":{"en":{"language":"en","value":"Intensional completeness in an extension of G\u00f6del/Dummett logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1901325"}},"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":"Q1868240$90D1F3E8-93B9-4A18-A741-1B58111FC318","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9d50126f234446ea3a175f12fe11b8f702ff72a","datavalue":{"value":{"text":"Intensional completeness in an extension of G\u00f6del/Dummett logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1868240$1B20C153-6BC3-4505-A3E5-C5AB23FDD0E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5eb7085ff250336439cec2f847f5d30d285a44a","datavalue":{"value":"1015.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868240$F83D58FE-3F60-4C01-96F9-2DF48917F392","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b55949dbbdd6ebba528b359d1e9e1ea852b07515","datavalue":{"value":"10.1023/A:1022937306253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868240$00BEB6FE-57B4-4A3F-9CCF-7F9F885F7436","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cf6a1b1bf3a3f61e1c00d212775b0e417475348","datavalue":{"value":{"entity-type":"item","numeric-id":1368377,"id":"Q1368377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868240$9AA809B0-2967-48E1-97DE-CB5E0285EF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04db4e76afd2cfb9a7b7465aba3c3f1bfee9640","datavalue":{"value":{"entity-type":"item","numeric-id":453536,"id":"Q453536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868240$E8B270C9-D226-4D47-9B62-DFA52493143D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868240$F8D009CF-F16E-4467-9FC4-ADF644BF271A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae7235402c0b574ed2e2213feb9e21452b645cac","datavalue":{"value":{"time":"+2003-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1868240$16B81E44-1278-4F1C-A42D-2589AB0B6928","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868240$ED30F7DC-90BB-4A0E-B841-A9FE98A07643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868240$16775F76-E3E7-4803-A099-11128028422F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd3efff8b4131983650a2027334ad8c821f8de1a","datavalue":{"value":"1901325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868240$9D9DC18B-A9B4-45EB-8C97-32ACCA8B94B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868240$7054A3C7-64D9-4BC8-A423-6319C79C310F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac9de13f4c99351d1638391deaf93443a5ca20ec","datavalue":{"value":"lax modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868240$E8D90920-8649-41FF-90FF-7A636171EF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868240$07CD907E-2782-4E08-A6E1-4EF24B3FDFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"967d16be33d9c889d1ad8acaa6be639638549886","datavalue":{"value":"G\u00f6del-Dummett logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868240$DB12E0C2-6976-4C69-8DFD-F0B6C3A03E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49740d11f2ca42abb2212f8e0e649aa705368dee","datavalue":{"value":"propositions-as-types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868240$0B020EEA-82F7-47FF-8E7A-F31480AC5C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b87f4ad78c11acb1cb61a1f2e547d3f291bf2656","datavalue":{"value":"intensional model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868240$7A14BF54-0DBB-48D1-BA85-E5893444EFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868240$654129F9-9D40-4ED8-99A6-CFBB8184E636","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":"Q1868240$2206AF78-1124-40B0-ADBD-6FE57A64E745","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09d4eb14b078ef4129f131784c08be3c57417395","datavalue":{"value":"https://doi.org/10.1023/a:1022937306253","type":"string"},"datatype":"url"},"type":"statement","id":"Q1868240$8DEBDA20-2EE0-4AD1-9EA9-AFBAC6D882A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9359432d34315b876c425290b439c00d05450b2","datavalue":{"value":"W2029180694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868240$31486FFA-80B9-4ACB-9EB0-B061C0CE7D31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cafac9ae1e05d141a3096c624f5ee14075b19f","datavalue":{"value":{"entity-type":"item","numeric-id":3426565,"id":"Q3426565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3654c2dfbe45354c0cb0bbede2916e5c435a1c92","datavalue":{"value":{"amount":"+0.7371018528938293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868240$C822EEDE-CACF-431A-BEDB-E65A2CA773E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2f9922d5061b80fae17ab5f2047cc077af168e","datavalue":{"value":{"entity-type":"item","numeric-id":3684111,"id":"Q3684111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96300fbf56a1bb59a52dcecd564f647c87810e47","datavalue":{"value":{"amount":"+0.7349597215652466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868240$0E813CAE-3208-4925-821A-1F1166EC5F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c01eae986230d20955c3bb1292bb45818eeb1a9","datavalue":{"value":{"entity-type":"item","numeric-id":4463930,"id":"Q4463930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee24a31fa6676e1a1dc46f55c4fab4bdc9eb7a9","datavalue":{"value":{"amount":"+0.7310986518859863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868240$1DF361FA-CD86-4065-B1D5-33C4AF463CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27554d705562e62b573142b54fbbe3b388fc3171","datavalue":{"value":{"entity-type":"item","numeric-id":5434495,"id":"Q5434495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb2400b350becd5d22926ea8408adacb55c6ebc4","datavalue":{"value":{"amount":"+0.7304440140724182","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868240$838D7138-1810-47AD-A941-6B7887337F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e37c02e5fc129026c4872920f1f5be7b13eae3a","datavalue":{"value":{"entity-type":"item","numeric-id":4250043,"id":"Q4250043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e3b3f6d63331270f16ed0c8a9e251ddfcc463fc","datavalue":{"value":{"amount":"+0.7301494479179382","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868240$DB98C094-295C-423E-A17C-9FBDE00260F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intensional completeness in an extension of G\u00f6del/Dummett logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intensional_completeness_in_an_extension_of_G%C3%B6del/Dummett_logic"}}}}}