{"entities":{"Q2904065":{"pageid":2914790,"ns":120,"title":"Item:Q2904065","lastrevid":42477069,"modified":"2025-06-28T13:36:34Z","type":"item","id":"Q2904065","labels":{"en":{"language":"en","value":"A remark on propositional Kripke frames sound for intuitionistic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6063275"}},"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":"Q2904065$C8529D8B-CDCB-4C30-AE6A-1822976FEF06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2323bb7fc06c40a08db424cf52254c6a8ad257a9","datavalue":{"value":"1254.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904065$2A63B47A-6EAB-4499-8BF9-8C8709FDFCED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d93f02b005a91d75e1fb36333e97807bdd2c51d9","datavalue":{"value":{"time":"+2012-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2904065$93E1A3A9-1A11-4E95-AEFC-9152E3177E75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904065$794219E4-C7A6-40EB-A5E2-E5D2BE7B57A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904065$367616CE-EF69-485A-87D9-5C192BD29C96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71959e9005a3dcbf83a0a60d42b380db836b1f00","datavalue":{"value":"6063275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904065$EAB62251-6D31-4173-BA75-C16C9398526A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a53f0a19311ee99a872e702a34372ae7a1ae708","datavalue":{"value":"logical soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904065$733679E5-3806-4F27-B1A5-59093885524F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904065$8FB87C38-9EFB-4508-9BCE-1487E6F50AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904065$1D885099-B2E1-4CFB-9D85-23ADCDD94C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70014f1b203386edf7acf360cf31516e5f331e3b","datavalue":{"value":"partially ordered frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904065$90C434AF-A89A-4C5D-B7A1-E7C27DDFA855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904065$9C18BC7F-1952-48FE-B542-43E7E9BB5274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904065$8DC8D035-128A-4BA9-9C2D-D050CC0C3464","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e5c7a0fa17b322a9e2262053ffff4fc6798d1e","datavalue":{"value":{"entity-type":"item","numeric-id":731483,"id":"Q731483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904065$1B066105-9009-4B0D-A388-51D0887271C5","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":"Q2904065$5DB9C19E-CF82-4FD1-9BA3-6E3ACB04DD8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14c37f2ee5950a0c98466f1fc2f9781fde63b3bc","datavalue":{"value":{"entity-type":"item","numeric-id":4711191,"id":"Q4711191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f12401b145025e3ac74d07ed503697a424d4cee4","datavalue":{"value":{"amount":"+0.915406","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":"Q2904065$02BEFACA-666B-42CE-8589-F45D375EFF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad387bb91aea289b46103fdf638050e404fdcd3","datavalue":{"value":{"entity-type":"item","numeric-id":1344873,"id":"Q1344873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09bf7486c76a9e4e461bec1dfe3f7e01569bc0c7","datavalue":{"value":{"amount":"+0.88932645","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":"Q2904065$9DCF9C49-7FFF-4EDB-A696-73382A8C74B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eafe194b076115a80e9776a4afbd2357b70ba91d","datavalue":{"value":{"entity-type":"item","numeric-id":1577172,"id":"Q1577172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da0e44ccc4b8beb7564bcfb34b2aaf6c54f65d7a","datavalue":{"value":{"amount":"+0.88707757","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":"Q2904065$B90B4CDB-B1F0-4A74-AA79-FBF6CD467A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13739c4556b8348bc875990944e401cb4d120be0","datavalue":{"value":{"entity-type":"item","numeric-id":757342,"id":"Q757342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99458218e6c23ca6f455ba452f9bae4cbe10a57","datavalue":{"value":{"amount":"+0.88160914","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":"Q2904065$2471BD13-60E5-487E-AEE3-A364902085D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beffcec4b90f77b8bbb35573d98e8c6b0bc3790a","datavalue":{"value":{"entity-type":"item","numeric-id":3094149,"id":"Q3094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad73dc69258b21ea8d7b9cf8473579a53f71ce7f","datavalue":{"value":{"amount":"+0.8756106","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":"Q2904065$A92E5E6B-6361-496A-B779-72E7B149D513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fccb268e4fe7dedf7c0a4de16c652c5b4b6681f","datavalue":{"value":{"entity-type":"item","numeric-id":2021569,"id":"Q2021569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2990e565305495ef4e85a865a1ef89d34e2de9d","datavalue":{"value":{"amount":"+0.8749764","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":"Q2904065$83E890FC-94FA-45A8-AC1C-64F1CE69CCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47e939c630c8be035e2b20ab8843bf1c8891091","datavalue":{"value":{"entity-type":"item","numeric-id":4918381,"id":"Q4918381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b1d5a21ac0847ae164b8be724545258e2baac35","datavalue":{"value":{"amount":"+0.8723825","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":"Q2904065$1DEF8E9A-B217-444E-B08A-977DC57A2E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e12ba556c830815c40b8efd4a610e6563489c3a","datavalue":{"value":{"entity-type":"item","numeric-id":817691,"id":"Q817691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a2287c6d3d7a8b4a774402236aa628ed524011","datavalue":{"value":{"amount":"+0.86928475","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":"Q2904065$E9007D70-BD75-461B-8916-7B9341682906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ee5a5b3fbcf113ffbbd7886f1d8c4ab5994c80","datavalue":{"value":{"entity-type":"item","numeric-id":2946594,"id":"Q2946594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5e860dc1e5d259171c1628dde663b2c754cbd79","datavalue":{"value":{"amount":"+0.86866724","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":"Q2904065$3FE0BA98-02C6-453D-BBD9-6AA032E9978D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27297c715f7985bd5e31da8355eb13665cc92b3a","datavalue":{"value":{"text":"A remark on propositional Kripke frames sound for intuitionistic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904065$F40CDA66-7854-4794-9668-8B7AF13AD22E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904065"}}}}}