{"entities":{"Q1406363":{"pageid":1417103,"ns":120,"title":"Item:Q1406363","lastrevid":48167182,"modified":"2026-01-03T20:32:07Z","type":"item","id":"Q1406363","labels":{"en":{"language":"en","value":"Modified neighborhood semantics for Kaminski logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1974814"}},"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":"Q1406363$3D1C4DA2-C6BE-4443-AD67-07CF9104C9A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"209c5969e9d3cae0449bb126c4584b0789c57af9","datavalue":{"value":{"text":"Modified neighborhood semantics for Kaminski logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1406363$199D4AAE-C09C-4691-AE44-E49CFD18F4E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd85ef97eb15865d42eba10077ca787b35fe345d","datavalue":{"value":"1025.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406363$1F05E295-F7E4-4FCA-927B-AEBE59586A39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406363$70A9A609-B931-40E8-B69A-C716BE4E9036","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d43b200a233b40a324d3476ed19d40329cec29f","datavalue":{"value":{"time":"+2003-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1406363$2E620AD7-F7C7-441A-A209-063120F9B4EF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"332efafc53afdeb26af9ffcd480e4629c5e28291","datavalue":{"value":"The author considers Kaminski logic (Kam), a calculus obtained from Int (the intuitionistic logic of expressions) supplemented by four axioms: (1) \\( p\\to \\varphi(p)\\), (2) \\( \\varphi(p)\\to \\neg \\neg p\\), (3) \\( \\varphi(p\\to q)\\to (\\varphi(p)\\to \\varphi(q))\\), (4) \\( \\varphi\\varphi(p)\\to \\varphi(p)\\) [see \\textit{D. M. Gabbay}, Stud. Log. 36, 127-139 (1977; Zbl 0363.02026)]. The author proves the finite approximability of Kam.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406363$82CDFFFA-9383-41A2-B41C-06E01E5FBDD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406363$0C64BC74-BCBF-4B7F-9E23-782B71495C0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dd424965d3698a11295b70e523b5aa7d21623cd","datavalue":{"value":"1974814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406363$4BAD9655-D4C5-480D-B836-2C8C7D222EE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f965888f24327c7ca302d5aad53b9e4b3c12107b","datavalue":{"value":"Kaminski logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406363$66DDFD92-90F6-4A3A-A9C4-4DF38004E5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c690e60ee533519910eb068b3e141085575ad1a","datavalue":{"value":"neighborhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406363$B4876CCB-DB14-4940-80C8-38E11030361E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3363bddfce3d37e8d32fbb5fa9e191d151c52f71","datavalue":{"value":"modalized tense operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406363$855AD1B4-5C5B-4AE5-8A4F-52BE94D9668E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29806fbf8721ae7561558f823696d1d5acc55a96","datavalue":{"value":"intuitionistic logic of expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406363$FDE102FD-1ACB-4E93-9389-701B974D67B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02f2386a7323d09ae34b1c7bdaa42e4483658ef9","datavalue":{"value":"finite approximability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406363$C7A346C2-96FE-4429-A900-1C6C0C4BF046","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee5015171e2f57a73921a54f50bb5ecad403c04d","datavalue":{"value":{"entity-type":"item","numeric-id":721380,"id":"Q721380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406363$3C74A665-F623-4503-A71E-1FE37519BB6B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c8642b90facb009fac3e5d2aeec487d0b254cbd1","datavalue":{"value":{"entity-type":"item","numeric-id":593066,"id":"Q593066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406363$7F11E1FF-A4F8-46CF-8CD0-1BF1AFB0291F","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":"Q1406363$656E3804-475C-4FF8-B105-9E01D693EB7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50e3e650b7ff98cb108a1a5c9ae348f7c876072","datavalue":{"value":{"entity-type":"item","numeric-id":3161185,"id":"Q3161185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c89093d2855d4aaf8c5b54df0bd1b07620172a","datavalue":{"value":{"amount":"+0.7083315849304199","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":"Q1406363$5893AB46-A990-4E48-95B4-EDE69AD02712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5895df49c0eac7c40b39c023ceea80503bf50939","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bbd1f44729f13e20a698496a1a3c657e5e765ff","datavalue":{"value":{"amount":"+0.6993197798728943","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":"Q1406363$AB710581-406A-4C85-B8EC-B5F19A14AC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47bec7424a5abac0ca736c8300da50481dcbc4af","datavalue":{"value":{"entity-type":"item","numeric-id":5184887,"id":"Q5184887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03d5eaefd4b2bd6739e8cc552ae9c18bcd44bf3a","datavalue":{"value":{"amount":"+0.6903898119926453","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":"Q1406363$86948BEC-D2DE-4019-930E-355D35D49C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e37c02e5fc129026c4872920f1f5be7b13eae3a","datavalue":{"value":{"entity-type":"item","numeric-id":4250043,"id":"Q4250043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"122ee63eb7b747ce3d630db0c5996f9129d9ebb3","datavalue":{"value":{"amount":"+0.6854075193405151","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":"Q1406363$C1150BD6-540F-4FAB-AC37-CF927B4C7373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee61145a395a941ff27584d81e94f3128bd150a9","datavalue":{"value":{"entity-type":"item","numeric-id":2478556,"id":"Q2478556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9efefa634ee39f59e571bc8ba84e10249ac18716","datavalue":{"value":{"amount":"+0.6836892366409302","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":"Q1406363$17EA6959-770E-4BED-8B6B-AACC4A66ADCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1406363","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1406363"}}}}}