{"entities":{"Q1295382":{"pageid":1306132,"ns":120,"title":"Item:Q1295382","lastrevid":68393079,"modified":"2026-04-12T23:24:43Z","type":"item","id":"Q1295382","labels":{"en":{"language":"en","value":"Decidable Kripke models of intuitionistic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308068"}},"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":"Q1295382$15B44D28-C742-45FE-AB8B-FE752EBEEED1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51c8543d97b020ec2d4c4b8d2bc7ce916d30bda2","datavalue":{"value":{"text":"Decidable Kripke models of intuitionistic theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295382$FC0A49C3-AFD7-4F10-BCD6-EAB2854DD594","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d73b83036458e7be8dad3617f4f25086faabd21","datavalue":{"value":"0924.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295382$DC1B0D9F-6C7F-4D17-BD49-B4EE2D1F02DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66d7e5d423050fe3a789e311a5ccd73da689a453","datavalue":{"value":"10.1016/S0168-0072(97)00057-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295382$FB2D06BA-9236-4A9B-8424-7A694EA05EAD","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":"Q1295382$3DEE9339-4EB3-49D1-B370-383595960259","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":"Q1295382$95546DA5-53EC-4D29-92F1-8868C08F09F0","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":"Q1295382$90E34154-EF94-4534-AA76-100412AD1A10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295382$517328E9-021F-41FB-BB16-F6FD3CB2D0C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f20dd4a1895cf18dde61efc77672cfcc1d29fef9","datavalue":{"value":{"time":"+1999-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295382$A1F1FD41-3985-49E5-B6FB-E33F24A644A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295382$CB2A2441-AC28-446F-8FE3-C39DD6DD6CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295382$4B598E99-F4A5-42F4-BC53-BE088A696FCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"657490ac86ff477b6f1dd415e63aebf777168235","datavalue":{"value":"1308068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295382$7ABEF94F-F560-4AF1-976C-FD8E31EE09DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aa24d512d701aaef0328bc3e45fbe7d7294ad24","datavalue":{"value":"effectiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295382$6C0E53EE-3CB4-4716-9AE8-86FF00703567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1ab977067f75bfee7485a3f44a3ba00c940f06f","datavalue":{"value":"model theory of intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295382$94DB9BED-B7DE-4441-B096-F85AE0EDDC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46c36cd189a30570c3e81b1f5e21cfec64098b77","datavalue":{"value":"computable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295382$3E5CFB55-96AA-4685-85CA-F84C6A360A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295382$87FB7E35-9ED9-4686-9FC8-7645BD150B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71cd866fdbf229e04bcbb2b12cb4a242d25c857a","datavalue":{"value":"decidable forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295382$6F7539A8-05A7-4270-A571-C9863849543A","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":"Q1295382$A9F6513C-0786-4606-8827-21531032673C","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":"Q1295382$3404D7F1-B91B-4A74-AECA-EF5F77752C6B","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":"Q1295382$B6120D25-37C0-4A1D-B430-3D82892593E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986413722b76985e5563365eb3dfdce74a9084b","datavalue":{"value":{"entity-type":"item","numeric-id":4342082,"id":"Q4342082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295382$1EB3D284-C8D1-42F2-9EEB-63010F3845FE","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":"Q1295382$60E65F29-E6C3-4969-8B7B-828FAB940872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008e8f2c207ccb44e7bb3f9b0014cbd1b7f40944","datavalue":{"value":{"entity-type":"item","numeric-id":1271561,"id":"Q1271561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295382$4D655142-E713-4FEB-8678-543A15AC4A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29be5df92e6c687222e69930ab554a7d3163b1fb","datavalue":{"value":{"entity-type":"item","numeric-id":1326782,"id":"Q1326782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295382$70B08F7B-4B09-4F06-8FA2-50ACAC696A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4b2226bca9c44103c47570ceca71a40a3c7811","datavalue":{"value":{"entity-type":"item","numeric-id":4934290,"id":"Q4934290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295382$15E2A02B-B9AD-43E5-A567-5C73C39454CF","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":"Q1295382$42E6B6B9-217E-494B-AF4B-DCC4A6C6A1E0","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":"Q1295382$4413F6A5-328E-4FE8-8493-1A5BED678D5A","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":"Q1295382$B35A4F7E-9733-4970-AB98-CEA345359C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295382$8D49657A-B42C-4CEA-8ECD-78519CDE81BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"014c3a007e3d52c10787e27f2249d8230fd87321","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(97)00057-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1295382$7BCA423B-2A06-432F-9BAD-B16AF451B133","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f4f3f522cc3ea3a82ce6a4475b4dbd304584007","datavalue":{"value":"W2093510572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295382$5F3C9DC3-2EB8-4170-896B-AFA769CF1189","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d08cb31bd72d771492e81fdc29718f0c2266517","datavalue":{"value":{"entity-type":"item","numeric-id":3726100,"id":"Q3726100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30fa8f7c0095200820fa21cc66ff6a00e88206e7","datavalue":{"value":{"amount":"+0.9571644","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":"Q1295382$0A58E295-B16C-4413-A42D-DAB0EF51B484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5700e2f175503e455a8e2ab59771b45018fa71","datavalue":{"value":{"entity-type":"item","numeric-id":4805536,"id":"Q4805536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92df3f5c38585b2c142786ecd713ef4e44bca944","datavalue":{"value":{"amount":"+0.9236505","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":"Q1295382$9921D52D-2488-4674-9917-9345CD14BAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01bed03b98e104006f14bf10f3656df34d2016be","datavalue":{"value":{"entity-type":"item","numeric-id":3153244,"id":"Q3153244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92df3f5c38585b2c142786ecd713ef4e44bca944","datavalue":{"value":{"amount":"+0.9236505","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":"Q1295382$559AF376-755A-4D80-A785-DFA331B2FF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7c1973bcff90f91dd9f036fca74c5b9ea86a7f","datavalue":{"value":{"entity-type":"item","numeric-id":1271561,"id":"Q1271561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78675c01e0ddb2135d630d6484b27daf909ce1d3","datavalue":{"value":{"amount":"+0.92232287","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":"Q1295382$8DCFEDD9-750C-4CF7-8964-C8F09FC6A2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f307f6632564af7abe66dd193d66fe743be2af74","datavalue":{"value":{"entity-type":"item","numeric-id":2367411,"id":"Q2367411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e8d54c26eb356ca9a554e4e62f17265cec22ea","datavalue":{"value":{"amount":"+0.9144833","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":"Q1295382$734A85CF-8334-48C9-8B8F-2C60D4788EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d457e7ee95b83a8eae90882e9ec091e36dc8cb29","datavalue":{"value":{"entity-type":"item","numeric-id":3211282,"id":"Q3211282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b32c2452a162f1c5d569f2a3058a18b559655a","datavalue":{"value":{"amount":"+0.9141275","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":"Q1295382$0C30CDF5-BCF1-4009-BA5F-F5FD10B358B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787942aef5567e35736302f73bfe9147f95e9608","datavalue":{"value":{"entity-type":"item","numeric-id":3772217,"id":"Q3772217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2fd86b5dd4ef9fe2df379bc9eb975ff40960057","datavalue":{"value":{"amount":"+0.91241676","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":"Q1295382$EFD488BE-BD72-405F-999A-B46AC4AE89AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b12eb0fb3501952deefc2ba7e19d5d80ee1f0c","datavalue":{"value":{"entity-type":"item","numeric-id":1412839,"id":"Q1412839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45d9ed5a5d903dade3fbdbd2b5eed47fcd6a9d07","datavalue":{"value":{"amount":"+0.9092268","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":"Q1295382$54852DDC-4A3F-4E33-870E-28F748003A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42d4fd67aca13bf9f31762222841fded936ad2fd","datavalue":{"value":{"entity-type":"item","numeric-id":5419879,"id":"Q5419879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e41b89716657219306901c108166911eb9852dbd","datavalue":{"value":{"amount":"+0.9090564","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":"Q1295382$0CA50D4E-FE6E-40E9-A192-D1950B898688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4acc8d638cd55dcc476ca8c31779167c88c3cbd","datavalue":{"value":{"entity-type":"item","numeric-id":5326370,"id":"Q5326370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b0edd428687c6b889b676fcdc4d487822e50305","datavalue":{"value":{"amount":"+0.90634185","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":"Q1295382$4377D860-F898-4D22-9346-727FE698775B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable Kripke models of intuitionistic theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidable_Kripke_models_of_intuitionistic_theories"}}}}}