{"entities":{"Q3433181":{"pageid":3443884,"ns":120,"title":"Item:Q3433181","lastrevid":50081722,"modified":"2026-01-12T21:45:28Z","type":"item","id":"Q3433181","labels":{"en":{"language":"en","value":"A cut-free Gentzen calculus with subformula property for first-degree entailments in \\(\\mathbf{LC}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5147180"}},"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":"Q3433181$02F64FEB-CBF9-4098-929F-BD125F697583","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"104bbf8c1faf8d93fe95f99e5786e07b90495cc8","datavalue":{"value":"1119.03331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433181$D96A07D4-AB9D-473C-8A13-3B8221E1FF0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf46b424f34bc75ff7efa1123c3981a48794242a","datavalue":{"value":{"entity-type":"item","numeric-id":189427,"id":"Q189427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3433181$B220178E-B32D-4170-A512-A48FB3D5694D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ea9ebbb0f7b5a33e878dda3a3b7da1c551bf932","datavalue":{"value":{"time":"+2007-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3433181$DBF8BA2B-2EFB-4F7C-907B-745BA7A2FE1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433181$EE6A8DCA-999E-4B5F-B7A1-156E61F18007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433181$156AE6B4-858A-483F-B9DF-E4175CBE0848","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b596c246dea9b3a60e5e950456f806fa45977933","datavalue":{"value":"5147180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433181$9541334C-8DD4-46DC-94A2-0A7B88AFD129","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bec29bd1420a20c69a8435326a875b030608755","datavalue":{"value":"linear intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3433181$D83BD9DF-B2E6-4257-BC99-1783BDFD4BAA","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":"Q3433181$92B454D0-C3F4-426B-90DF-1CA3745A4FD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a7f5d33dcac8a5c692a947f863eaa52dc89083","datavalue":{"value":{"entity-type":"item","numeric-id":4828042,"id":"Q4828042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d9c00a1aa23ab43e87a1ead3475fe147643f677","datavalue":{"value":{"amount":"+0.8873945474624634","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":"Q3433181$DB20FF7F-AB3B-4373-952D-CB9B1D1EE873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee4b060e4cceccb096074df550ab798089690f0","datavalue":{"value":{"entity-type":"item","numeric-id":4206723,"id":"Q4206723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db3b2599503b1e12ea4962d556f39caa35261997","datavalue":{"value":{"amount":"+0.815426230430603","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":"Q3433181$8AAE1141-F920-4993-A985-6817EA6EC028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9fc6ab7c7ddfc112e975e3314d11db66351706","datavalue":{"value":{"entity-type":"item","numeric-id":5411466,"id":"Q5411466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb3e614e59688ef91345e78f8c2233b929f8445","datavalue":{"value":{"amount":"+0.7876299619674683","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":"Q3433181$6C709AA4-2907-420D-9A95-124B55ED5F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d17f64b6dcabc48d4b8e689ff570bf01000e32f","datavalue":{"value":{"entity-type":"item","numeric-id":2454875,"id":"Q2454875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4248c72a9fc14d09c88c330f957c19f8cd09a23","datavalue":{"value":{"amount":"+0.7876027226448059","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":"Q3433181$B9888190-0AFC-4F57-B002-4826F4C9B2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67232ceff77abb9cd80825d5cae020f93df0effd","datavalue":{"value":{"entity-type":"item","numeric-id":4700536,"id":"Q4700536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a8860f8b4e7f41b7a67194b38210c6df6936e7","datavalue":{"value":{"amount":"+0.7788011431694031","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":"Q3433181$67F24A27-AC36-48D3-8BA6-D6CE1B4BB719","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3433181","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3433181"}}}}}