{"entities":{"Q2993258":{"pageid":3003982,"ns":120,"title":"Item:Q2993258","lastrevid":85342739,"modified":"2026-06-03T07:13:37Z","type":"item","id":"Q2993258","labels":{"en":{"language":"en","value":"Sound and complete axiomatic system with a modality \\(\\square \\varphi=\\square_1 \\varphi \\vee \\square_2\\varphi\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6611941"}},"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":"Q2993258$E432D958-D3E6-4570-B431-910E6AADF577","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e743eaf3a0b9cc63b21d46f02b21bcd9921493bb","datavalue":{"value":"1349.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993258$2AE6EF3C-A3E3-4AA2-B352-8454005AD554","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c657afd74f3c86ccb055a93b936536262dd649d6","datavalue":{"value":{"entity-type":"item","numeric-id":1713843,"id":"Q1713843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993258$66D12886-0A59-428B-8B29-C65967426B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fae8449b81c480d51f06599aff8b154f07d9406","datavalue":{"value":{"entity-type":"item","numeric-id":291970,"id":"Q291970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993258$24A8B914-17FE-4A6F-A86B-BEFAA91C01E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74246861243ea76a94191f99191ef611bacbf35f","datavalue":{"value":{"entity-type":"item","numeric-id":208306,"id":"Q208306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993258$1E5601EF-F5E2-4917-B368-1D1CD5253AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58a904a9049d828532a30190bcaa55f7b80ed883","datavalue":{"value":{"entity-type":"item","numeric-id":744318,"id":"Q744318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993258$4B9B411A-A6CD-4DD3-BB77-4197DF9510F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"632762f18b1136ebfb5f13b4269afddfefdbe92e","datavalue":{"value":{"time":"+2016-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2993258$B2CA271B-AC5E-4C45-AFD0-AF0D3095CEA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993258$61B32129-CC9C-4811-B102-2749C5B20353","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2965b761f5598c3d8c8cdce05ac2e2dec6112ff","datavalue":{"value":"6611941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993258$80D42846-5E07-480B-A739-2A245B319E8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993258$7EA62874-B583-4A0F-B186-E6D3F97D7280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93bcd40cecb832d3577a8c84a0d4d42fafae2708","datavalue":{"value":"modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993258$23A637B3-8E7D-4916-BBD4-5E26CCBD77CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"924c67965430d2a9ccfaa5f4bbb2de03c95bd218","datavalue":{"value":"the axiomatic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993258$D4601577-FBD9-4465-8005-B6D497F8D178","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":"Q2993258$4BD46060-9B27-40A3-A094-023F14915BD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bee32c74f012ec29ae0c77598c4b1fa1f55b225","datavalue":{"value":"10.13328/J.CNKI.JOS.004748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993258$D127118B-6033-4509-9A93-4E765A9BF0EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0b0ce6ef3bb346ac15cbb17532a398c57a7108","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84506701941428e10238382912d9ffbad89de662","datavalue":{"value":{"amount":"+0.7672237157821655","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":"Q2993258$8FBB7F00-739D-4F78-AC75-4D8E64FC1855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c90e25d4a412fcf36216898b01cdf92d7e2dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4020434,"id":"Q4020434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84506701941428e10238382912d9ffbad89de662","datavalue":{"value":{"amount":"+0.7672237157821655","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":"Q2993258$D40C0500-1213-491C-AE16-047110D38BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cff4af0fd35caec531fef718a76195c68d44aa3","datavalue":{"value":{"entity-type":"item","numeric-id":4390774,"id":"Q4390774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038eb9a3583e89021a67f610eb3d2809f526d718","datavalue":{"value":{"amount":"+0.7615170478820801","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":"Q2993258$9C184246-1C07-44A9-933A-6A7D18029172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25d13c6abb908846ed4fb1904fd1a7f294ec78c","datavalue":{"value":{"entity-type":"item","numeric-id":4399516,"id":"Q4399516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df9fc733c731a0987e1df6c2fe6161ca7d3f3c15","datavalue":{"value":{"amount":"+0.7599514722824097","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":"Q2993258$AF44014C-90B2-4176-B326-EDFF96CF1F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be7832648067ba9f6ea233fadce1b854a0c6a33","datavalue":{"value":{"entity-type":"item","numeric-id":1267078,"id":"Q1267078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c2daa3d63a58f6edd4e9fbcfae354b8f56b0bd3","datavalue":{"value":{"amount":"+0.7595778703689575","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":"Q2993258$9B6DD5B3-6109-4552-BB4B-FB777389CC67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sound and complete axiomatic system with a modality \\(\\square \\varphi=\\square 1 \\varphi \\vee \\square 2\\varphi\\)","badges":[]}}}}}