{"entities":{"Q6489396":{"pageid":14068165,"ns":120,"title":"Item:Q6489396","lastrevid":99594272,"modified":"2026-06-05T20:20:55Z","type":"item","id":"Q6489396","labels":{"en":{"language":"en","value":"Intuitionistic propositional calculus in the extended framework with modal operator. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7835201"}},"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":"Q6489396$EFC693FE-4B5B-49BE-A6F7-9D14EB56F817","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd0a7ac37c65e770878c09ad78888d030c67ac49","datavalue":{"value":{"text":"Intuitionistic propositional calculus in the extended framework with modal operator. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6489396$314C467D-7E0E-4D10-BF0E-1131F85E4F2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87bb4edc2c3a39217107f31ae9eef140d26b20f2","datavalue":{"value":{"entity-type":"item","numeric-id":4568902,"id":"Q4568902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6489396$66CE4D16-34DF-498E-B617-E743171F599F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26b4466a0794def1dadbb92cbe9a8df7c727560c","datavalue":{"value":{"entity-type":"item","numeric-id":6489395,"id":"Q6489395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6489396$2F3EF86B-68BF-42F6-A61B-D6456C2B3C57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6489396$94E30681-F059-488F-8C96-60B6DDE78F6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a25409a997e6237325d57b101661bd1ebbe21028","datavalue":{"value":{"time":"+2024-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6489396$4D11DF2D-AB0E-4B9A-AB07-A435716F74EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489396$595DFED4-FEAB-4DA7-904D-4FED161A4D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489396$F2F6EC13-53D2-4423-AF60-036C438681DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489396$CF1336F2-2A73-4F8B-99E3-8D3128C90837","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ea38b124e2434536bb564994d278c5c58836898","datavalue":{"value":"7835201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489396$58950DC7-DB33-4A8C-A6B5-E465264E03CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6489396$702932FC-2E82-4B54-B3BC-7FDB9497C5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6489396$627A5812-4EC1-447F-B550-896288DFAC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d50772b3387d3392e15f43723321c5b0c8d6229","datavalue":{"value":"consequence operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q6489396$BBDD8839-44F0-46AE-A839-6752D379CE76","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":"Q6489396$BB3FE44C-BF26-4C13-90D3-B48CFD9AC15B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5552c73af9ffa4d08773105bfa675feb6642eb2e","datavalue":{"value":{"entity-type":"item","numeric-id":3453119,"id":"Q3453119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6489396$F8E145CC-7BC7-4AF3-95C0-8A2BFF3CD704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbe3f6a88e51e1203c3c8190dcfbdac3cc8dde","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6489396$F1299108-B7EE-4707-9FCC-F2CAF7CBE6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d51e91008e604186625ce09bd060653249e096","datavalue":{"value":{"entity-type":"item","numeric-id":2546865,"id":"Q2546865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6489396$DD0A7DBD-3C0F-4AC9-9186-AC9B198446D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6489396$E93D7EF8-5611-437D-AD1D-FC07FE11EB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21758fe08e5e7efdbdc35f1c82f7417f87a2a438","datavalue":{"value":{"entity-type":"item","numeric-id":5891768,"id":"Q5891768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6489396$69D96FAC-4083-462E-8071-E3FCD03382EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abee6c7bc3688a7711f952df4bd78bc8afdfd56a","datavalue":{"value":"10.2478/FORMA-2022-0001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489396$954B0C78-20F2-47E0-AE45-A87F722A8E0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cff3df00c7f165081310916438d70b857cff5d5","datavalue":{"value":{"entity-type":"item","numeric-id":3708775,"id":"Q3708775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321b525cc503b08427c2b6e87c4f49c0b35b81c2","datavalue":{"value":{"amount":"+0.7865301370620728","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":"Q6489396$AE976059-F159-4078-9482-1984167A6147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6146ecfabc55084f8cca7e191a79b5b24449a78f","datavalue":{"value":{"entity-type":"item","numeric-id":3743301,"id":"Q3743301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b9090dfc891f7c842db4cf423ce4c81161b6b8","datavalue":{"value":{"amount":"+0.7692283391952515","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":"Q6489396$790C6B77-DED8-44A0-B23B-B4B7F1002DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ba9169ace06835115ccd0aaea50ee08ccdfd33","datavalue":{"value":{"entity-type":"item","numeric-id":4795515,"id":"Q4795515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ff697502990e8787171a32f91b886db63d45101","datavalue":{"value":{"amount":"+0.7587952017784119","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":"Q6489396$908C5977-217B-4A13-8922-24919EA350A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"963f994fda4dd0b9b7b95ca30125b2ea4e580cbf","datavalue":{"value":{"entity-type":"item","numeric-id":1049739,"id":"Q1049739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b09d36b765cf665d76867f17efc11c9011f58f1","datavalue":{"value":{"amount":"+0.7511436343193054","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":"Q6489396$87D63E81-895C-400D-B449-D4AECE135F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5ee6c08755651264745f99057b0138d4e794e30","datavalue":{"value":{"entity-type":"item","numeric-id":1841473,"id":"Q1841473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca072970a2585f247648cd10ced224befc743ff","datavalue":{"value":{"amount":"+0.7503865361213684","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":"Q6489396$8D0AD70B-1121-418D-A9CA-847831A45BC4","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"e68c451775d8e2699e023b1b9b74a9d21a410b77","datavalue":{"value":{"entity-type":"item","numeric-id":57038,"id":"Q57038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6489396$37F570EA-5CF4-4407-B74E-761935C7F4A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionistic propositional calculus in the extended framework with modal operator. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitionistic_propositional_calculus_in_the_extended_framework_with_modal_operator._II"}}}}}