{"entities":{"Q1876415":{"pageid":1887157,"ns":120,"title":"Item:Q1876415","lastrevid":74140185,"modified":"2026-04-14T18:33:49Z","type":"item","id":"Q1876415","labels":{"en":{"language":"en","value":"The finite model property with respect to admissibility for superintuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2097117"}},"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":"Q1876415$E8F4EA8A-3611-40C4-ACDE-14D2693F2BD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec76eb18f74e1dcf69e0be5b39f247918137122a","datavalue":{"value":{"text":"The finite model property with respect to admissibility for superintuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1876415$57A8CB8C-C484-42DC-A113-03A19A7890AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9f58b9b48740f0a6e3ef7c27e50cdeae8c74977","datavalue":{"value":"1047.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876415$A129336F-651E-48C8-9704-1EDA3EE644D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73d040f12d71fdfed666a8c965177d2265c76c52","datavalue":{"value":{"entity-type":"item","numeric-id":1876413,"id":"Q1876413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876415$7BDED97B-AC5F-4DB8-81F0-75927428C4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec341893d5ecf9b548f46f84d60afb8cc38f0b8d","datavalue":{"value":{"entity-type":"item","numeric-id":1876414,"id":"Q1876414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876415$CC7AFBF2-5B11-495B-8779-0FC050C9C5DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb214a324578d364a00ee337c3e0f9ef9754a9a5","datavalue":{"value":{"entity-type":"item","numeric-id":178387,"id":"Q178387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876415$DF5FF97C-F7DB-4FEF-9F24-6611F898FE28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7c01ca2e7e4afa11b1486eef91ce5ec16728472","datavalue":{"value":{"time":"+2004-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1876415$2EE3C9A8-C1AB-4F7D-8016-15B56AE5D56F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e1d8470ad5c5cd2aa6b10d91f5fd1c4ca76868d3","datavalue":{"value":"Sufficient conditions are found for superintuitionistic logic to lack or possess the finite model property with respect to admissibility. For every superintuitionistic logic \\(\\lambda\\) of width greater than 2 that possesses the co-cover property and the finite model property with respect to admissibility, a sequence \\(R\\) of admissible inference rules is constructed. This sequence has the following property: There is an \\(r\\in R\\) admissible in \\(\\lambda\\) but disprovable in some finite intuitionistic frame of width greater than 2.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876415$97639B4A-351D-4599-91F6-A3A3F3702EC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876415$A49D4A84-7042-4C3E-B56F-A3AAB13F8B8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bf577e4daf2c60eb649c9726c0192b103b861da","datavalue":{"value":"2097117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876415$9CB6E4FC-51BE-4B22-852E-FC4A2E732253","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876415$01B3B940-0C7E-4826-B58E-EBEABAC33EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e3bab8ff0650a7908e67538df9a6bd1de6ca843","datavalue":{"value":"intuitionistic valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876415$26A6A3B8-AF4F-445C-A0C3-93EDCFB90219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876415$1F1ED649-490F-4568-BDCA-C1B041A811DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db42f37894e53e48759b73abc85ed6c4e821c98c","datavalue":{"value":"admissible rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876415$67F66D1A-587E-479B-B9D5-92178A254590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b98902a7783c8ec9794ecf5dfefdab07593939f6","datavalue":{"value":"intuitionistic frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876415$666D64CC-D004-4E9E-A039-6C42F688A11E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876415$19490E2A-5A31-4FFA-B05B-08B948DC20BC","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":"Q1876415$C7FBD15B-3016-43CE-B78E-953F9E46B014","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d03061b874bb76e89a1179183de5290dff9153ff","datavalue":{"value":{"entity-type":"item","numeric-id":4443185,"id":"Q4443185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b8e614188bfcd430b58c8e6c4d80e6f973db779","datavalue":{"value":{"amount":"+0.91153264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1876415$4A5685E5-9CA9-439C-B60A-BDCCB8AF8C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e2540c8959fbcc144ae741183ab03e6d66208a","datavalue":{"value":{"entity-type":"item","numeric-id":1428978,"id":"Q1428978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a666e1404a6e66ccec08c288555c0dfe5b89d3","datavalue":{"value":{"amount":"+0.90699816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1876415$93EC12E7-6DE3-45D4-9295-BBD5D5C1DFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f9754cad496cbae51ddab8ae25d21e239824378","datavalue":{"value":{"entity-type":"item","numeric-id":2815679,"id":"Q2815679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"858dd6257899b0f0129c2c5cd718b05c4247f648","datavalue":{"value":{"amount":"+0.89993125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1876415$B20B449B-63A1-4A45-887B-1F77EDFC2F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5561799bc65f48623675d6927fe9509644ecfb0c","datavalue":{"value":{"entity-type":"item","numeric-id":3781737,"id":"Q3781737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7bea62a8632d4f211ba94792f413af15e6fc8d4","datavalue":{"value":{"amount":"+0.8993249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1876415$2046D110-2C74-45B1-9F4F-D370A0542C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e803281346a7822a0a010212e8b313835ab757","datavalue":{"value":{"entity-type":"item","numeric-id":2849434,"id":"Q2849434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06022721eebf8a7ce8aedd45969a74f7d7dc98f5","datavalue":{"value":{"amount":"+0.8963988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1876415$D9CC8447-3618-436E-8314-D838ECE197CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ea5abe34d5fa52d68fbd514a283319fcd51a20","datavalue":{"value":{"entity-type":"item","numeric-id":5213666,"id":"Q5213666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29637e4aafaa3241114ce81cc2ee89e6b9079fda","datavalue":{"value":{"amount":"+0.89031184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1876415$CCCA10C1-774C-4067-A4DC-36BA732CA07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607694c2c7ba9e6b6a10d7f07e298a96a7397718","datavalue":{"value":{"entity-type":"item","numeric-id":2856632,"id":"Q2856632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa346bc07baac745b771be4a48e0d8a1a9c556ae","datavalue":{"value":{"amount":"+0.8865875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1876415$5F747C81-E329-4A2A-A1A6-8B6D87D8744A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e1be4ce8c966efd6d5252748d8af90e82f47d5","datavalue":{"value":{"entity-type":"item","numeric-id":4345015,"id":"Q4345015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e744323b109ff0c934774e38dcef02ef5676a83a","datavalue":{"value":{"amount":"+0.8849082","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1876415$C9CB3D84-8762-45C0-B6E8-1646A3CE41C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c9d9292b166b85ad60425b6677774032635903","datavalue":{"value":{"entity-type":"item","numeric-id":4291869,"id":"Q4291869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7194e437ff8b536be04eca32cc2b897e5521b099","datavalue":{"value":{"amount":"+0.88307685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1876415$30FEEE3E-609F-4BF0-8999-DA2C09811E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd8fd4aedd035c768256eeb3136225c415d8cb22","datavalue":{"value":{"entity-type":"item","numeric-id":5755214,"id":"Q5755214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caf2b836ab16c7f4466c791edff934e260d178ac","datavalue":{"value":{"amount":"+0.8825861","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1876415$9E20EA96-9E2B-4039-8218-1C1906831D52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The finite model property with respect to admissibility for superintuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_finite_model_property_with_respect_to_admissibility_for_superintuitionistic_logic"}}}}}