{"entities":{"Q677080":{"pageid":678929,"ns":120,"title":"Item:Q677080","lastrevid":63517563,"modified":"2026-04-11T13:42:00Z","type":"item","id":"Q677080","labels":{"en":{"language":"en","value":"A completeness proof for a logic with an alternative necessity operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 994533"}},"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":"Q677080$F4A2459C-6A8C-452E-84E6-DF1D262ABB98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cf45d5c47199aeea05b1a4d2665a37d5c319466","datavalue":{"value":{"text":"A completeness proof for a logic with an alternative necessity operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q677080$665C2FC9-48A2-49DC-B2D8-F66B2771B481","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"850661f013025274506ae4bd0e2b730270cbf1d9","datavalue":{"value":"0864.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677080$5B4F0480-D566-48D8-B699-76A622C36F87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d22600baa0137991e0dfcf86dee194e47483e7b","datavalue":{"value":"10.1023/A:1004944015811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677080$8C329343-6F5A-4E98-9EFA-6CFA8AED0F26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677080$BA873BAA-0128-4940-BED5-C2657134690E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a12bcc24bcb1687cc3955f148bdc9dcf1a4ac38","datavalue":{"value":{"time":"+1997-06-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":"Q677080$79236ECF-DAA6-4FC4-94F2-930EE1A19796","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677080$5F8FA8CE-666D-4832-BA96-2B9491A20EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677080$BAA5764E-9829-4C8D-9D26-99FE7FC5B3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677080$040F9593-B47C-49FA-A031-E282ED741F3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9920741fd0b3e212cccaec2f6c18ea3c02f0d046","datavalue":{"value":"994533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677080$4EF92AC4-5A7D-4B36-A1ED-0D0FC3FC6952","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fec518651c977169b54c20fc6d60f6b1fbf2fc9d","datavalue":{"value":"knowledge logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q677080$8F86B4E4-1C85-4AEF-8D7F-D63B44899F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f9c172220d9f234e6e7acd82a759b25bfea6d19","datavalue":{"value":"contingency","type":"string"},"datatype":"string"},"type":"statement","id":"Q677080$31D21696-8EDC-4EF6-83D1-A52F963B9A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q677080$3E2C8A72-4A4A-424E-80EB-88F21AD8F08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"663724a584ae0fdc852525414dac0b555577df3d","datavalue":{"value":"Hilbert-style system","type":"string"},"datatype":"string"},"type":"statement","id":"Q677080$D6A01CD2-61F5-4775-BE4D-FF61A05FB88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eabeb640b7f6cc32cfd70a20a304d9a46a7e9b76","datavalue":{"value":"reasoning with incomplete information","type":"string"},"datatype":"string"},"type":"statement","id":"Q677080$5E30DFDA-37C3-4AEF-89E8-24469AA20ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f982739fe0ac6ba17405e489782c4a0d29b778db","datavalue":{"value":"co-NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q677080$BE934098-1CA9-44F6-84BB-687D12430709","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677080$81C2B7DA-F65C-41A6-B8D7-02465755CD31","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":"Q677080$9572A157-CC4D-4FE4-B694-58394B6FFE32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"393c2d14d929b3d48c8354c84704c85ee9c9a234","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477b5ebf79aa2b047fa31408bfafb76f830a1cc2","datavalue":{"value":{"amount":"+0.7651996612548828","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":"Q677080$94D90EC1-6C93-4DF2-9BE1-94AACF07CC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf00fea0f410dc8ff9e83297444bd639d5a3bc6","datavalue":{"value":{"entity-type":"item","numeric-id":4544189,"id":"Q4544189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c434c6ad570975bfade05f8e3343432b416d4a","datavalue":{"value":{"amount":"+0.7515725493431091","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":"Q677080$7773B846-B9E3-46B6-AEE9-CD848B99C11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0582cc5d81d126c875df4e82b5032d1985fd1f7c","datavalue":{"value":{"entity-type":"item","numeric-id":5297333,"id":"Q5297333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf95a5299eaca4d76c48a672ac027d438ee7519","datavalue":{"value":{"amount":"+0.7485226988792419","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":"Q677080$60ED65C2-AA10-46F4-83FD-6DF44500D42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf1a5ecebf4692dc4684b3554198d57b5fcb202","datavalue":{"value":{"entity-type":"item","numeric-id":4867681,"id":"Q4867681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cfe3ec5125b8cdf42d7bbc0cdfda3b8ca87b10b","datavalue":{"value":{"amount":"+0.7480669021606445","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":"Q677080$71FAD1C5-E48B-41DC-A631-0C3DB17542CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A completeness proof for a logic with an alternative necessity operator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_completeness_proof_for_a_logic_with_an_alternative_necessity_operator"}}}}}