{"entities":{"Q4553570":{"pageid":6583162,"ns":120,"title":"Item:Q4553570","lastrevid":82211543,"modified":"2026-05-06T20:22:02Z","type":"item","id":"Q4553570","labels":{"en":{"language":"en","value":"Axiomatization of intuitionistic logics defined by small frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6968987"}},"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":"Q4553570$6836DFC1-A30D-4E68-B1E6-18DF4C3E472A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"404bcd2a52445189d78931e825d13c5a49299874","datavalue":{"value":"1413.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553570$51BB62EC-B863-4C5C-AEC3-A3624A661871","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e74046ef75a739bade5c685f052605b54b71efd","datavalue":{"value":{"entity-type":"item","numeric-id":2239388,"id":"Q2239388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553570$6BE2BCFA-652A-4489-A67E-BEF5152FBB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a5730d5a384a7dbcfc880e63ff66c9bb702395c","datavalue":{"value":{"entity-type":"item","numeric-id":1092994,"id":"Q1092994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553570$8B367B45-50A4-4D38-9810-1BC0A2455F79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27fd87f869460ae6f756080c20fd059bca7dbd30","datavalue":{"value":{"time":"+2018-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4553570$9309877F-FF7C-425C-8398-25A7664FFA11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79c25fd1f6a931c6343360cb460528e448c281a7","datavalue":{"value":"http://mathnet.ru/eng/svfu/v24/i1/p6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4553570$4B9028D7-1495-45A9-9E1D-158DCE9D9F37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553570$C6CAC1F2-1FAF-427B-B31A-63DCA8FD7173","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02529ff658dda25a791c6910deaf00b774f9c59c","datavalue":{"value":"6968987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553570$4947C543-C6B0-44BF-96A4-D26971C94F5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4553570$F818185A-C31B-49A7-9BCD-68A7EC6343F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q4553570$EEBDDC4A-7446-4954-BF1F-D187024BF3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6917db5423d02989caadc7ac4a3abff88c49910","datavalue":{"value":"axiomatization of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4553570$062788A5-20F6-4030-BC08-950015A3DFF6","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":"Q4553570$5F7283DB-0225-4B98-B4F3-DEE11867BCF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02914676961ea20adba25e8af504c2bfc869aafc","datavalue":{"value":{"entity-type":"item","numeric-id":3340837,"id":"Q3340837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db97afe572ea796c77070fe2d972f5b17dabbbe1","datavalue":{"value":{"amount":"+0.7727177143096924","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":"Q4553570$0A25655C-1652-43E7-B9DD-6F8AB0A00B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ad5a8b797fea84a67761f6b044fdd87da47bc48","datavalue":{"value":{"entity-type":"item","numeric-id":1361248,"id":"Q1361248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b9222bc0bb13e5583164450f39293fd6665a1cf","datavalue":{"value":{"amount":"+0.755175769329071","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":"Q4553570$389E5C08-C16C-4A0E-86AF-4093B92A5C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5103f9f4a766bd0fb0a80cc74fafe7d36929a5a","datavalue":{"value":{"entity-type":"item","numeric-id":3720564,"id":"Q3720564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493a64b5563060bc0910551d2c82c25dd69e4eb0","datavalue":{"value":{"amount":"+0.7528511881828308","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":"Q4553570$2E9E4207-A468-419E-9917-86159CA5FECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abc785785acd3dee085c27a86ac3569e86175678","datavalue":{"value":{"entity-type":"item","numeric-id":3360841,"id":"Q3360841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30738e1a1f3f1b53c99b3e247420ffb9871eebe8","datavalue":{"value":{"amount":"+0.7503102421760559","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":"Q4553570$4DC83AF7-20D1-430B-8390-E46680F8DC61","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":"82e2dbdd0a046a82a3f26eea34a39a6fef8c3f0a","datavalue":{"value":{"amount":"+0.7498595714569092","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":"Q4553570$26EAFAD1-43DF-4968-B73B-F320B403ED2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatization of intuitionistic logics defined by small frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatization_of_intuitionistic_logics_defined_by_small_frames"}}}}}