{"entities":{"Q1271561":{"pageid":1282311,"ns":120,"title":"Item:Q1271561","lastrevid":68690292,"modified":"2026-04-13T01:27:29Z","type":"item","id":"Q1271561","labels":{"en":{"language":"en","value":"Computable Kripke models and intermediate logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1220920"}},"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":"Q1271561$205B060D-F785-4639-BB83-E45277ABA912","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59d7d6e57bf9f473fdc74a3169830232d28f0801","datavalue":{"value":{"text":"Computable Kripke models and intermediate logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1271561$F36BEF3E-23D6-4EF9-A3E2-04858385548C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f807f0fcdb079a3b64db5bc5152c56c168e0b5f","datavalue":{"value":"0913.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271561$EBBFC939-7CE7-48D7-932C-D079BDCEF5DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c5e93c8542516a588e5c718357172e4a4b9108","datavalue":{"value":{"entity-type":"item","numeric-id":220748,"id":"Q220748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$1B5CE359-A59F-490A-ABF0-58A030A828CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"908230505203eccb837b53bb6b9c33b396a9a16d","datavalue":{"value":{"entity-type":"item","numeric-id":188054,"id":"Q188054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$2272CD47-E987-44B3-9FA7-22BFF4D6BD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76a5532f214cf43c102bd3290b91ab7949d2fec0","datavalue":{"value":{"entity-type":"item","numeric-id":6481876,"id":"Q6481876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$E6F928D5-6430-4DB3-9F3F-225BE10BF460","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$7EEB4209-F35F-497E-AAA0-FDF0651744CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"99d4d1a3aff65186180c0994df736b3510e17f6f","datavalue":{"value":{"time":"+1999-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1271561$60952651-F1E7-4F2A-A2E0-771DB280DDE9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa0fe072df4e2eb5a5e615ffdf7d1b3ef010dfa2","datavalue":{"value":"In the paper under review the authors investigate effectiveness of Kripke models for first-order theories of intermediate logics, i.e. those that lie between intuitionistic and classical predicate logic. Completeness (by Kripke) results for intermediate logics such as intuitionistic logic, classical logic, constant domain logic, directed frames logic, and Dummett's logic are obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271561$47167F99-5880-4F97-AD5A-4D70FB9638B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271561$78ED9D5E-174B-4F7E-B419-BDB542DEF009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271561$387348F5-045F-47E4-A5AD-EE4489060419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271561$9DF1B49E-8151-4497-962E-0552A6001051","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb26c1313961b04c7e22c227d633abeb0cd1f231","datavalue":{"value":"1220920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271561$C46D114F-519C-411E-86FE-C090A63AE945","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0898223c5ee46ab46d14d5074537fca200eca9e4","datavalue":{"value":"computable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271561$4CEFF9B9-96C0-432F-A34F-62C0639EF5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271561$094AD184-3C0E-435D-915B-2C7A397E433D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271561$306E6B20-C20C-44B2-BD2E-0231DE8A1BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ea7bb225dfc0f1ba88b53ac8e959b98d283c0d","datavalue":{"value":"semantic completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271561$685B33CC-DCE8-40E3-857A-76458B089158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b918fa0db84c4036b46a557341e668ee13231d22","datavalue":{"value":"effectiveness of Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271561$B3651655-92A1-4D84-89D2-3F181BD5DEB3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7c0f9a5de2afd25d103c132e1617d4201a3c58e4","datavalue":{"value":{"entity-type":"item","numeric-id":591972,"id":"Q591972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$53694692-60C8-4A6B-B1FB-63E4D6CA7FA9","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":"Q1271561$0664E0F4-9FAB-4B8F-9E79-38FA6E38895A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce037f36487d31aa83cac2c4abacb955fd8add45","datavalue":{"value":"https://doi.org/10.1006/inco.1998.2704","type":"string"},"datatype":"url"},"type":"statement","id":"Q1271561$53B80F7C-CDA9-4367-8535-2897B37FAD8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5633dc6d9be84312ed41023d81be61875bbdfc79","datavalue":{"value":"W2002701178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271561$4E9454DD-FCDB-4914-B8B9-4DD69B65877C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e987d1390f6841151896d825e8d84e035b1bd2f9","datavalue":{"value":{"entity-type":"item","numeric-id":3904556,"id":"Q3904556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$EF07043E-389C-4900-BC04-1668AEC0021A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$815ED21F-B5FB-4C2D-AB83-DB99363C1624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0f7ac82b9ce598159a34df89843e2bc6dc1ade","datavalue":{"value":{"entity-type":"item","numeric-id":4093415,"id":"Q4093415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$299F5EAC-CF84-41CF-A694-F9BBE50423EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2065d700f2825fdfa933ca5dcce9965a089dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1264137,"id":"Q1264137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$D60FBA80-DCFD-4369-9BBB-7B1C74457D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dca0ae1025642432ff78eab317d494163fb9e74","datavalue":{"value":{"entity-type":"item","numeric-id":1207344,"id":"Q1207344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$8A00614A-1CD1-4CFE-8A40-4403EA4A153C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e09aa05798a503121285cd3842f17fb3fa8df24","datavalue":{"value":{"entity-type":"item","numeric-id":4032668,"id":"Q4032668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$0D357481-928E-4238-969A-A42FC1241E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17660417db280069658a0918a364c767e8143cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4348127,"id":"Q4348127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$BEFA26EC-1261-457E-98B5-68A3B2F0FB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c13d8c4f9b6f2d65debfe54d1f367b84b9c0238f","datavalue":{"value":{"entity-type":"item","numeric-id":3231245,"id":"Q3231245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$57816245-5C1F-4785-ADDF-AC04265D9C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa84e597e34f0f6e801879a71474ece9f5ca089f","datavalue":{"value":{"entity-type":"item","numeric-id":1276268,"id":"Q1276268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$19ACC6EA-ABCF-4D2F-BA32-DAAFDBC10A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd45668f5c7df10e41357180dce692a684f32ed","datavalue":{"value":{"entity-type":"item","numeric-id":1295382,"id":"Q1295382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$06804618-1286-4FB4-A87B-CC63DCAF70D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fb3023b40b57edcf66b625924091481293b3a1","datavalue":{"value":{"entity-type":"item","numeric-id":3970346,"id":"Q3970346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$A5FCDB7B-15A9-4805-B9F8-DA29C81100B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019bd4c75dfd12975ef47facd414f509a089febe","datavalue":{"value":{"entity-type":"item","numeric-id":3669380,"id":"Q3669380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$05A0FACB-57B9-4D2A-A461-C6987D60E09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360cc14210d040c82c3fb8482fcff4a97cc7c9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5537373,"id":"Q5537373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$E7CD4902-8CBC-40DC-A976-0B745EEE2BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$1BE53C82-A94E-435E-B936-962C6F573B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$4500F06D-B033-4C87-8A01-4F9C418B3EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$B9AA03F1-5EDE-4855-BAFC-3A18D84F072A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57e87234d27021928b27e18446eb81dc6d65e2bb","datavalue":{"value":"10.1006/INCO.1998.2704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271561$09E08476-099A-42BE-B4F1-75C7E97154B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0108300adc6ece2b5ea582a3150c11ec47889494","datavalue":{"value":{"entity-type":"item","numeric-id":1295382,"id":"Q1295382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a5dbcc0f1d0266399b3700b00854fd02c812624","datavalue":{"value":{"amount":"+0.8321236371994019","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":"Q1271561$3DA852BB-E96F-4BE2-A149-0B731FE1DE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2992da8d0fed1ab473691d85f466f4e7363920ea","datavalue":{"value":{"entity-type":"item","numeric-id":3309811,"id":"Q3309811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2c44ddfa88ef326141a908817dd7c962d679e3","datavalue":{"value":{"amount":"+0.8060745000839233","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":"Q1271561$FC11D6B3-2786-4169-9EAE-06AF11AD4C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e670fad4f45ddff8f45ea405512465bd00634da","datavalue":{"value":{"entity-type":"item","numeric-id":1877094,"id":"Q1877094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f79fa52434bed08e02fdb17fe4e936454775d18f","datavalue":{"value":{"amount":"+0.8018567562103271","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":"Q1271561$51539BB8-8CF4-4654-AA72-CD67D6F8F272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eea9e30a2aba55171c506fd3e0a835872d48fcd0","datavalue":{"value":{"entity-type":"item","numeric-id":1580656,"id":"Q1580656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"822554bf47cda4cf6008e222374471cfae6e3f49","datavalue":{"value":{"amount":"+0.7953385710716248","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":"Q1271561$FD52A380-EF5F-4732-BDF3-D4B2F00B3403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a4c7b8adbca0d83722bdce0f41b61e57a204872","datavalue":{"value":{"entity-type":"item","numeric-id":4834486,"id":"Q4834486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa1a3be4c78b83bbba194fad9712a675274310a7","datavalue":{"value":{"amount":"+0.78825843334198","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":"Q1271561$B47E081B-4BDD-44B8-B37B-06CC214D23C1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271561$28D137E7-78C6-4840-86AE-E3D5FA365D4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computable Kripke models and intermediate logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computable_Kripke_models_and_intermediate_logics"}}}}}