{"entities":{"Q2284502":{"pageid":2295245,"ns":120,"title":"Item:Q2284502","lastrevid":53632964,"modified":"2026-01-25T11:29:01Z","type":"item","id":"Q2284502","labels":{"en":{"language":"en","value":"Subintuitionistic logics with Kripke semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7151298"}},"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":"Q2284502$74C53E10-866A-4B18-BFE4-36284566462C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72bab6b7be176b2d1591d8115484bb6f378dcc8d","datavalue":{"value":{"text":"Subintuitionistic logics with Kripke semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2284502$59B76F56-FBB3-4620-BF07-8EA8EE729C29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d334820b4fd4c4c04b1f79ef05eb3689fdce965","datavalue":{"value":"1428.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284502$3FB57BDD-5FE6-4F51-A0C6-3C0D9FF0EC52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b749bc8a148e4a205892237837dc9297c9b80b7d","datavalue":{"value":"10.1007/978-3-662-54332-0_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284502$13858DF0-D9AA-40A7-9F90-868C47C67626","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04a5f800bf12e5ad2879f68c597794d9e8cc586f","datavalue":{"value":{"entity-type":"item","numeric-id":1788332,"id":"Q1788332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2284502$5A43EB76-4260-46B7-9A1F-027B381F05B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"586738407866f1237ad6aae333605b7639ea6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1099163,"id":"Q1099163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2284502$F7FB4789-2E56-4CCF-A77B-27ADB59C78B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"363a1a86dbfe88ce92b504829a3c7cd78eef14b6","datavalue":{"value":{"time":"+2020-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2284502$26D1EE47-25AA-4E68-A0A5-CE8457E7AE7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284502$09C33882-F68B-492D-8A3E-B3E29F5EB12D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a599e3a640a1a1d3921230b4f8b6881a56482f4","datavalue":{"value":"7151298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284502$37F25B4E-E29F-481A-9957-9CB7399469EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b570e310dba060006ab129a7fb090b1b8371ebcb","datavalue":{"value":"subintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284502$076BBF3E-5ABB-44D3-A698-7E675C153E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284502$D811368F-DBDF-4BD0-9790-1E82EFE81666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0187098c73dd13a304f19c2e5ae093d6801afa54","datavalue":{"value":"basic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284502$AE6732C1-6011-42CA-A5D3-DF8DBEC4F0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284502$DDD0706D-89D5-4D7D-9767-5A2CAABEF6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284502$5669EF45-48B2-4F20-A4CB-C8210B17F285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7588184bca4841d3de0c77f361e07285c4f45d52","datavalue":{"value":"modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284502$91C59DB2-E45C-4125-97C5-AFA3851066B3","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":"Q2284502$33826341-832F-4ED5-91F1-F783634B453D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97538c5feb8fdc7c949526f8de2c67c5ef39a3cc","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54332-0_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2284502$A4F6F581-9D78-4DF3-8175-F2508C1B3A23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b66e273402a2c7cca51fa1a177722f413b5713d","datavalue":{"value":"W2590701623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284502$A59773C1-7A60-4AC9-BB27-7D776ABEC92F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"447f279a9e86c2746d6687d4f05b77ce71b1f0e1","datavalue":{"value":{"entity-type":"item","numeric-id":1422101,"id":"Q1422101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44bfe40cd5999e355aa01354dfdb150d867b9bf4","datavalue":{"value":{"amount":"+0.8525890707969666","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":"Q2284502$323BD76E-9991-4DD1-BA0A-C1B870FCA916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a824f51322394bfbd9ee1e51fc67d0e6ec90f24e","datavalue":{"value":{"entity-type":"item","numeric-id":1333312,"id":"Q1333312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573f917b140e806bc023435214d0645ffc4bcf9a","datavalue":{"value":{"amount":"+0.8237027525901794","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":"Q2284502$D19EFBE7-B2C9-428A-B21A-EABB062CD693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1114febc37b34b3056300d818f21b44e90c26a83","datavalue":{"value":{"entity-type":"item","numeric-id":1788333,"id":"Q1788333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b0ac177090affcf7456f0c43435e4e4948cc544","datavalue":{"value":{"amount":"+0.8102645874023438","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":"Q2284502$1C72AB33-41BC-4975-BA16-87D86BA7DB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15bc96b3710d1c7ed56f9f31af0f4ae406cc90cb","datavalue":{"value":{"entity-type":"item","numeric-id":5434487,"id":"Q5434487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ebeac12c33ccf8fbb0b177547188de1504e6221","datavalue":{"value":{"amount":"+0.8024598956108093","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":"Q2284502$110DB853-600B-48DE-9439-639A34084ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59300a1708ac7bb55411c49f1b207bafbddd64b5","datavalue":{"value":{"entity-type":"item","numeric-id":4644479,"id":"Q4644479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6cd1aaaeb8e9e3eb8de8df90b6031da8bbf612","datavalue":{"value":{"amount":"+0.796131432056427","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":"Q2284502$4890238B-DC83-42AD-A99B-BF2218B4D0BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2284502","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2284502"}}}}}