{"entities":{"Q4255972":{"pageid":6285573,"ns":120,"title":"Item:Q4255972","lastrevid":46836993,"modified":"2025-12-25T16:55:26Z","type":"item","id":"Q4255972","labels":{"en":{"language":"en","value":"Labelled natural deduction for substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308922"}},"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":"Q4255972$2CBCC35F-13C7-4A98-9DF9-BF39847CA35D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ee2abc536e20a6e585b548a5005ea3a9d28df73","datavalue":{"value":{"text":"Labelled natural deduction for substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4255972$E672F982-F131-4E3D-B191-896A4E30A5F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38a97b06680246a6bee23c68985370e08c4d6507","datavalue":{"value":"0929.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255972$1DE21336-B96A-4AE2-A5C4-B90684C4B8A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"538aac5482944b23b9509c42900acf09751a5dcb","datavalue":{"value":{"entity-type":"item","numeric-id":385020,"id":"Q385020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255972$5A34D198-1F7F-4A88-938F-7FC0908E785F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eb6b14c79e5698b03eacb9a611e72f98d27bc02","datavalue":{"value":{"entity-type":"item","numeric-id":324688,"id":"Q324688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255972$F96E26B8-00CA-4CD6-AF93-8FB124D5DC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83494b9ab1842cdcc26b2ef852f144a8f08ae352","datavalue":{"value":{"entity-type":"item","numeric-id":324689,"id":"Q324689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255972$F2A35A69-96F6-4D13-A7D6-956201FBA21F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51039c976debe490efbb58219dc624ba4b5e99a3","datavalue":{"value":{"time":"+2000-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4255972$D7C7F3F4-60CB-441E-A21D-69AA50E776B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255972$67293A10-D51E-4F6D-8A7C-312F4A3187A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255972$26FF1565-188D-4029-8094-6523EF12A7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255972$9FD7E6C7-7054-4C3B-A74B-D7D4C257AAC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e565eef5e6e0b91626f565122f96d8f5776929a8","datavalue":{"value":"1308922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255972$59E57733-7D0A-42E4-A28C-8DB4D85A99E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255972$66D5B0BD-0F22-438F-8BEC-9F7796B59E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255972$B862BCB8-510F-480C-97E6-1CF74E7D9B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255972$0759188E-9631-4C84-8D0C-A37AA34735F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255972$624B11A7-A4A8-4C7A-BDC8-C2818547880F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46ba3a890c42004a99a17b9c10006c9f76bf85db","datavalue":{"value":"Labelled Deductive Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255972$592F8CF3-056A-4727-99E3-39F69A72C8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255972$6F5CF42D-5F54-4FE6-93EF-7C89EF6C4DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fd5c4a5c71f5cf54d542f393d64424025e167a","datavalue":{"value":"algorithmic procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255972$1352A35B-F199-4373-955B-105AF8A6FFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255972$8B2AC8AB-C6E3-4508-BC46-7526A6B1A0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255972$3930A92E-1449-4191-8CBB-D19F183778F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83efcc24813055d46883f6619360d3143902ebce","datavalue":{"value":"LKE tableaux system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255972$99E2FF41-391E-461D-AE20-2130F22E723C","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":"Q4255972$5FAD58AE-4E5E-4928-B6BD-A7AA7EF6D569","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12e973f00ee5d280179ad34fba32f5634bf40f03","datavalue":{"value":"https://doi.org/10.1093/jigpal/7.3.283","type":"string"},"datatype":"url"},"type":"statement","id":"Q4255972$8DAB4124-731C-4DF0-ADE7-55124354F9B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59ffbff4b07a946ec46081d7c0eed9fdc01d0800","datavalue":{"value":"W2013618737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255972$DEFBF271-F727-40B6-9406-2D6B1109CD48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edccbfa7b5ef6b97592e2bf44563b6b33cdf031f","datavalue":{"value":"10.1093/JIGPAL/7.3.283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255972$55C6C708-5A04-4979-A051-E0768B2BA31E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255972$C8539670-C0C8-4B08-A948-F6294990BC06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91a0eafbe4dfa7a08c84b3b2806010939cecc37","datavalue":{"value":{"entity-type":"item","numeric-id":5435112,"id":"Q5435112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461784150f15f48fc5322f4835d154de52c9fee2","datavalue":{"value":{"amount":"+0.832901656627655","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":"Q4255972$AC373A8C-BEE6-4215-9F6B-4FF9A15DCF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ed717ff049f6f389174b6b3ec8e69d3c379f6e","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60603900223c351b7eecc289cf0377b2193f88d3","datavalue":{"value":{"amount":"+0.8096620440483093","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":"Q4255972$A5A9367B-6671-4B4A-986D-9AEAC884C658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c40061e9a73f6cf41cab472db620fd2bff9cbb0","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb7475b9318eb44b6b1fb195e13da752dbfe022b","datavalue":{"value":{"amount":"+0.8062331676483154","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":"Q4255972$76593FBB-0FB5-42FF-9A4A-92BB81A25F4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4255972","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4255972"}}}}}