{"entities":{"Q1182695":{"pageid":1193444,"ns":120,"title":"Item:Q1182695","lastrevid":70202637,"modified":"2026-04-13T13:08:27Z","type":"item","id":"Q1182695","labels":{"en":{"language":"en","value":"Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 31806"}},"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":"Q1182695$D7A51FF3-8882-4C1D-82EC-35B5F433E3C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdba41fa6b2695b011b5ebb852bac27657cac64f","datavalue":{"value":{"text":"Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1182695$91F45062-1E4B-412C-9BFF-B58DAE59005B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9532747d69f6576fdaee92141ff81fbe8f546142","datavalue":{"value":"0754.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182695$F749E621-CDC1-4A4E-8D71-C8649E58B0B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182695$DF0A4DC2-7E9F-472E-B119-10FC6EE39A59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182695$3361F469-9A51-4BE3-8CBF-D4AB9810E59A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1182695$EF77907B-1E16-4CCD-BB38-D4F4E76E8015","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a5278696614285556a3ab70efbb4d621769bfe0c","datavalue":{"value":"As a sequel to the author's previous work on generalization of Kripke models for intuitionistic propositional logic, ancestral Kripke models are introduced by replacing converse-heredity of rudimentary Kripke models with ancestrality. With some embedding results to the modal logic S4, the author provides another type of modelling as well, where valuations are defined on the logical connectives differently from the standard one and not necessarily hereditary w.r.t. accessibility relation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182695$B54504F3-BE81-4BD6-B233-AEC05BFE92A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182695$1AD7AE46-C320-4C5D-A95C-295BCB00C82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182695$9C4FFDC5-850D-4941-A718-1A0F3CECEA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182695$E6D9FCEE-7D77-449A-ABAA-9D7934F42B49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d28865ea59763743e36889a6dfea26659edb969","datavalue":{"value":"31806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182695$1A6CAF53-A385-49CC-AB51-8DB0CE92A2F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182695$C96D3EA1-7724-459F-91BB-762E9F2C0E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7af43e95fea0568b2b5d11df6eebe7c066c09aa8","datavalue":{"value":"ancestral Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182695$77F7645B-D104-46CB-8D32-8A0DA45CC7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae682d5c22f8702c694a649057f29b8c3c289b60","datavalue":{"value":"modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182695$860A7424-F609-4239-8E09-025DF12600B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6054dea3f9b79e5a724dc8301f1b48e34a82b6dc","datavalue":{"value":"valuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182695$4713D86F-985B-4754-A485-8F97F8DD010B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182695$793D2654-36D1-421A-BFD7-96230F799CCB","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":"Q1182695$B495C6D6-0EBF-4C16-8C10-1EF8E855670C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4783fc6b4594b683d094b82402bcdaa75060cffb","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635930","type":"string"},"datatype":"url"},"type":"statement","id":"Q1182695$7E9F9993-4DA8-4C8F-84BD-65F57A2067EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b56fa52868cd706facf6974e52233945fd0121c","datavalue":{"value":"W2016152439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182695$52056955-B6CB-48E0-A3D0-4B405B81AC21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc3a2515b924fd6e72c270283b5ebc747eb4d13b","datavalue":{"value":"10.1305/NDJFL/1093635930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182695$D2E53D9B-2EE3-49FB-B301-D0E1D94C0028","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96be669504ca1f5688d7ba552950698d311487d5","datavalue":{"value":{"entity-type":"item","numeric-id":3983936,"id":"Q3983936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b37dc83ed85780b9aba3ae491e5fb3afacecd7e","datavalue":{"value":{"amount":"+0.8110040426254272","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":"Q1182695$76A2EEEA-EF0B-429C-9281-DBF7936FC67C","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":"3513c726e9939744e7792a23fc859f2e3214e1e8","datavalue":{"value":{"amount":"+0.8077324628829956","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":"Q1182695$1416E860-56F6-4C1E-AC6A-1724F92DEB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3ee68f0de1d97125ef1ec926520acca9867ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a3e223b1f5cb245fcc02c882f95b90868515a4d","datavalue":{"value":{"amount":"+0.7596537470817566","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":"Q1182695$7B8B8423-F8F0-4A76-8633-B17C04DD0F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aba76c66cf7e538ca9c4b1dc4bcaf247f14f7e77","datavalue":{"value":{"entity-type":"item","numeric-id":636371,"id":"Q636371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a75aba806b4d4961bb52d6bfd245d20c9aab7bf2","datavalue":{"value":{"amount":"+0.7390398979187012","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":"Q1182695$F16FFAA5-349E-4071-994E-FB913A5F7634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a07a71ff9e10e437d24c22e2b7b6202a14824c","datavalue":{"value":{"entity-type":"item","numeric-id":4434503,"id":"Q4434503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ec34047563d6ee5b68da9f4556be7ff57ac56e","datavalue":{"value":{"amount":"+0.7374739646911621","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":"Q1182695$D48CB629-1CD5-4B50-B2C7-33C76DB988CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ancestral_Kripke_models_and_nonhereditary_Kripke_models_for_the_Heyting_propositional_calculus"}}}}}