{"entities":{"Q1866867":{"pageid":1877609,"ns":120,"title":"Item:Q1866867","lastrevid":71018172,"modified":"2026-04-13T18:56:24Z","type":"item","id":"Q1866867","labels":{"en":{"language":"en","value":"Linear modalities in mininal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1899984"}},"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":"Q1866867$681674A3-7B33-436B-8205-256BE6D834E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6ef636c986c89eb0dd35dcc7468f9d2a509c2ce","datavalue":{"value":{"text":"Linear modalities in mininal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1866867$56F58CAD-DDCC-4989-8FE1-E91CE7EF9442","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b5fe72d926394a1be5144874fab996b27573d9d","datavalue":{"value":"1021.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866867$460D20F0-D412-4DB2-AE44-35622C2DD62E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866867$17C4F637-850B-4A47-BB83-BD3ABA773D9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ba3e0b9a3b6c64b5e8a6782bae90e5fe1531522","datavalue":{"value":{"time":"+2003-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1866867$AB653D13-AAB1-4905-B090-7DC43AC300C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a68346f9515c4a03f260dfb36689c849bab42b92","datavalue":{"value":"The author proves that in the minimal modal logic any linear modality (i.e. any finite sequence of negation operators \\(\\neg\\) and necessity operators \\(\\square\\)), containing at least one occurrence of \\(\\square\\), obeys only the same laws as the operator \\(\\square\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866867$86DE730C-5FF4-49CC-AC25-C0E9217BCE82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866867$67FB1F8E-3F7E-445E-9103-727E2F1985F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75f960b931fb8f4891f7eb3f942afa6c26593008","datavalue":{"value":"1899984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866867$68B6EEC5-CAB8-4E0B-B00D-B1B5A023876E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866867$F065B758-1B33-4A8D-84D4-82CCDA4B2973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3feaa6264795d8f9355aa6ba105461d1348fffe","datavalue":{"value":"linear modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866867$FE82D046-312F-481C-8278-3845DEEDB0B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a44c82ef10600f6e342e14b8a2cd59d5438c3f88","datavalue":{"value":{"entity-type":"item","numeric-id":1347607,"id":"Q1347607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866867$38185344-79ED-4065-B42F-E92E66279779","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":"Q1866867$63C30662-E8D1-4704-8EC7-680BA6F18A7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7f9283ca264904acbdeb3709c52260f09e61ed","datavalue":{"value":{"entity-type":"item","numeric-id":2757849,"id":"Q2757849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f720d0e5d6aee45f230bee27c2fd43cd686890","datavalue":{"value":{"amount":"+0.94273204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866867$0564A307-B449-4859-89A3-69953375BFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e259268085225e4b8182f77c0e0e854f0c60702e","datavalue":{"value":{"entity-type":"item","numeric-id":4314678,"id":"Q4314678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b14d0730c16e5bade1d5f6f2bd0186268a32976","datavalue":{"value":{"amount":"+0.93720174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866867$145E01D7-D0F0-41E1-BDCF-8186E1EC41B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a266f07f828ff2f93f48d31ab8b1b43a26cbd231","datavalue":{"value":{"entity-type":"item","numeric-id":3724299,"id":"Q3724299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed66ccf4e6a4471ac23d322a7a54407c6f991be","datavalue":{"value":{"amount":"+0.93479156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866867$2796C059-8E38-4436-ACD7-D79F4D1544A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6993ce1320b9277f3ea9530de0a68da1ff80b5f2","datavalue":{"value":{"entity-type":"item","numeric-id":3800001,"id":"Q3800001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f73606ca883131628532b24b927a58015b393da7","datavalue":{"value":{"amount":"+0.93075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866867$6FB5AB0B-3079-4CFE-AA3B-EA29AC8B3EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d609e65887b7053b35b9290279e088851bd4cae5","datavalue":{"value":{"entity-type":"item","numeric-id":2904057,"id":"Q2904057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff20a5b88f514c26b7d37ac5bfadae12824969c","datavalue":{"value":{"amount":"+0.9205755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866867$1E7D44A9-A7D4-4305-A2C5-753D803289C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4931705bc9846e7aed92fe3b10568dc627614211","datavalue":{"value":{"entity-type":"item","numeric-id":4942005,"id":"Q4942005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9511a38ef1f8c2969ebd8ad176926e5e9f9c0c42","datavalue":{"value":{"amount":"+0.91765314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866867$1C81C9C1-A940-43EE-A960-FCB303D21BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e12b81f56d7362bb166a37c0f0eda06991004c21","datavalue":{"value":{"entity-type":"item","numeric-id":1807458,"id":"Q1807458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d6dc447fadf8250910d003ad84684ba14b97453","datavalue":{"value":{"amount":"+0.91555417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866867$C151D274-A2F5-417B-B317-8A1EBFE9073A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ea86ffc61316ca43e87cd26e310126220d364d","datavalue":{"value":{"entity-type":"item","numeric-id":5688803,"id":"Q5688803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762feac579e5ed9fd0d83459d5283358b247ffbd","datavalue":{"value":{"amount":"+0.9118097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866867$CBEE4B27-58EF-4A32-887F-98790FB70690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f28e2d02ab087a15eeab9d44d3fc525bc0116d3","datavalue":{"value":{"entity-type":"item","numeric-id":4333475,"id":"Q4333475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08932bc421bf2bbfb807f6b82a4288fe66a83adc","datavalue":{"value":{"amount":"+0.9111619","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866867$DD23C3D1-5FFD-4B66-9853-F6A298C106DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404691ef315d191bfd355c5f1062e8555417fbeb","datavalue":{"value":{"entity-type":"item","numeric-id":4586144,"id":"Q4586144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f417b8b15127ecc90e97739f05e3fcb2f45a1d","datavalue":{"value":{"amount":"+0.90549624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866867$4F19CCB1-2E95-44C7-ABF2-5AF98F462C17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear modalities in mininal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_modalities_in_mininal_logic"}}}}}