{"entities":{"Q5216977":{"pageid":7246547,"ns":120,"title":"Item:Q5216977","lastrevid":100487153,"modified":"2026-06-05T22:15:46Z","type":"item","id":"Q5216977","labels":{"en":{"language":"en","value":"Modal logic without contraction in a metatheory without contraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7171846"}},"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":"Q5216977$B4974F26-7C16-4553-B4A4-DFE052678325","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74e1eede16142a1fa382e199430df98720df56ee","datavalue":{"value":{"text":"MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5216977$20A2F5DE-626D-4211-8575-4D1C852BC146","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e3390f6711e7af66d74a8d1da7ae420bf477f50","datavalue":{"value":"1443.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216977$17B868B3-E26E-4742-90D6-CF7ED468B7C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca73d04f5a264f56fae32f8cad5b1de3d0d59095","datavalue":{"value":"10.1017/S1755020319000030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216977$CE52B57B-3A6A-4195-80D9-EA5196E8949D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6262e92c1eec6a2b904522000fa38dbd7eef5dd9","datavalue":{"value":{"entity-type":"item","numeric-id":514096,"id":"Q514096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$00FCEF52-8FFE-4795-89DB-EAAECAC4E32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d35f6f3e1558aa6160b5f831582d48392a4c09a","datavalue":{"value":{"entity-type":"item","numeric-id":1579066,"id":"Q1579066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$3BCB1131-8E96-46F0-AFA4-E71256E99048","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$42C368EF-285E-44E5-B18D-C0C29091EA9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24486b0c9c2f4867c6ded703b21ce26ee6b26916","datavalue":{"value":{"time":"+2020-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5216977$0170FC23-1C4D-459B-B6CE-CE7E14B4888C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216977$58F7F325-B4C5-4CB9-B164-BFC602C7D653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216977$5DF19A06-CEDC-40B6-A14B-989A37F24408","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f0278365bf7f7e2a194794ca6d49a095050b22f","datavalue":{"value":"7171846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216977$A466C236-AB44-4248-888C-A8AB48F526BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aadc8e4e1e6fa52b339bccd19c289ff32398fd6","datavalue":{"value":"non-classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216977$F8CC848F-96C2-4207-8EEE-0C114AFFA95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216977$49F739F9-5BAD-4F50-8968-F72AD53B9AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216977$58ED77FF-E515-44FD-A67D-7DAAD45A2EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10d3d6399288c2bfc7161f5d8f91fd0f401aedc3","datavalue":{"value":"contraction-free logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216977$76C8B5CA-911B-45E8-9CC4-4860652885BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c01af2e43ffdc35a2941b03ede6293383bd1e60","datavalue":{"value":"definability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216977$07D9FF83-CB86-4F68-B2B4-CC12E2D2A3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d90e76d26c39dcf0026018edaa432f03b86ac605","datavalue":{"value":"classical recapture","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216977$8CE641B3-019C-4D16-9487-7FA9DCA00706","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":"Q5216977$3B247751-8927-4D62-81A7-746A46B92E56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"078192816d95203f01e91497dad7cd1890e9f185","datavalue":{"value":{"entity-type":"item","numeric-id":3138010,"id":"Q3138010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$49CE3573-597B-4A16-A8C7-F48861F0C987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$9A0B14AA-5F43-4DCE-8F95-610057924401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384a2cfe464c1263b799b28baecc650ec7a77dd7","datavalue":{"value":{"entity-type":"item","numeric-id":1402586,"id":"Q1402586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$F5560EDD-4A6E-44DF-993B-8CA53DD43542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$0B5AB58A-4353-408C-B80B-80D01DEA2296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14cff056842a08e6b157c956ca4ad669bacc9a66","datavalue":{"value":{"entity-type":"item","numeric-id":3691666,"id":"Q3691666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$F5300450-3C69-46DC-B63C-0327D3CFF79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$54FDCE12-A74D-45D4-9415-D03B6B81685A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$AF01F074-22B5-4196-9259-F5C5DB8849F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$A76F4AF8-D126-430F-BCD2-756F1792E048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e61ad0bb3bdc25375fa136aa2911691b3a4997","datavalue":{"value":{"entity-type":"item","numeric-id":3934366,"id":"Q3934366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$C3D1BA61-4366-4800-912D-B4E88450F168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$5067270D-9A71-42FB-8A5E-0652C19A8229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"503fac1a5c522f05539c4665bfc22d344b2ac891","datavalue":{"value":{"entity-type":"item","numeric-id":3093482,"id":"Q3093482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$411999A3-F878-4511-A065-9FD2A0FDF5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"199c98bb51534348ce438ba75bdf1c47c017e797","datavalue":{"value":{"entity-type":"item","numeric-id":1863750,"id":"Q1863750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$B14C8FEB-97F5-4D33-AE9A-7D1D3DF0C265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1255097d6acdffbd7c4d8d22a2368af4a6c339","datavalue":{"value":{"entity-type":"item","numeric-id":4887109,"id":"Q4887109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$0239CF5D-3206-490A-9FCD-9C5082A96F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2909fea6766c49476b0986701514fe66fa45bf","datavalue":{"value":{"entity-type":"item","numeric-id":1208151,"id":"Q1208151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$E5B65AAB-5731-489B-9791-ED8F53DA7CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c444c6ec3cb9757a686662251d3648e5a1703ba","datavalue":{"value":{"entity-type":"item","numeric-id":4940727,"id":"Q4940727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$55D013B3-E7CE-44C6-AAF8-78A46CBBA0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$FFD73176-A9AA-4B0E-8613-225107802563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9499b74cad2e7c8521b6aecef201fabfd5c6b2be","datavalue":{"value":{"entity-type":"item","numeric-id":1577364,"id":"Q1577364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$91C682F2-08C2-481E-B851-518CF8F888F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfa55401a4d7f1b41684a2747974d555e8586a2","datavalue":{"value":{"entity-type":"item","numeric-id":1411662,"id":"Q1411662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$9D105E83-1506-4EC9-BC43-44753EE29C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bf808c34edd92c2b99b788129bd6db0f113c6b","datavalue":{"value":{"entity-type":"item","numeric-id":1876088,"id":"Q1876088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$71DE07BE-FD4E-4AAA-A067-C3B121EEB8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$28B4BBC4-FE19-4DEE-8229-229681D751B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$CAFD228E-1F18-4F9F-B18F-2F4F52012DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eabf2469e4464b01fdad25e8f968c2ff56e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$0257B656-9772-455D-857C-9609008DEFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63e93e08fda4cf37aac0757dda8ba1c09e4e66db","datavalue":{"value":{"entity-type":"item","numeric-id":2051134,"id":"Q2051134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216977$2EEB4816-5D7C-45AA-BCB1-4ACC1DCD858B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90018091b1182aaebd7b725a2ee9bf353af0d5be","datavalue":{"value":"https://doi.org/10.1017/s1755020319000030","type":"string"},"datatype":"url"},"type":"statement","id":"Q5216977$67350690-0E6B-4076-A5DC-9FD42D234BA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"250655a29d50a22eac6aa9d90c0e4896174d1867","datavalue":{"value":"W2913802826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216977$7C669A42-AAA8-4CC3-AF44-8727B8B84600","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"50eb2f064ec93a0c78efe957e1f91aa133c1ceb1","datavalue":{"value":"Q128374567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216977$04FA3A87-C356-4E46-88FD-088C005DF55B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8908d07d74648e9bce6d3148e1103ae9bee81a","datavalue":{"value":{"entity-type":"item","numeric-id":1863750,"id":"Q1863750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edecbd6e7da2dffec4c0e0120e448b0f1996c2f5","datavalue":{"value":{"amount":"+0.7907684445381165","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":"Q5216977$738B7CB4-F951-4BF4-AD97-9B926903C850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"091c6dacd6c700e170221b862b9d1437439adab2","datavalue":{"value":{"entity-type":"item","numeric-id":1425193,"id":"Q1425193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edecbd6e7da2dffec4c0e0120e448b0f1996c2f5","datavalue":{"value":{"amount":"+0.7907684445381165","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":"Q5216977$6B6A0CE8-5D38-49F1-A7F0-445EEAAB1A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9174130d0b34edaf7753681a21f88061e1c19d47","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb1d630aff397fa987d9a7f91109f52e524efab","datavalue":{"value":{"amount":"+0.7552775740623474","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":"Q5216977$C9256FA4-AFC9-4186-A5BF-13E6A5CAD54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e60bf09a3c49ca1c0087d9594f597bd54e45f28","datavalue":{"value":{"entity-type":"item","numeric-id":4424658,"id":"Q4424658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a8dce91670c334dddb0dd694888d49f62605153","datavalue":{"value":{"amount":"+0.7463245391845703","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":"Q5216977$63CDF643-140E-4B13-A30F-14950A521AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1744cfa7668f1ecd81c8ab0b50141ec30311dfc","datavalue":{"value":{"entity-type":"item","numeric-id":1314285,"id":"Q1314285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a85981b6e94bad110df1aa596b3e1e229ba38bf","datavalue":{"value":{"amount":"+0.7450101375579834","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":"Q5216977$1E21DCB9-EB4B-4C63-856D-23FC1C99FA77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal logic without contraction in a metatheory without contraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_logic_without_contraction_in_a_metatheory_without_contraction"}}}}}