{"entities":{"Q5365513":{"pageid":7395087,"ns":120,"title":"Item:Q5365513","lastrevid":92207840,"modified":"2026-06-05T01:08:31Z","type":"item","id":"Q5365513","labels":{"en":{"language":"en","value":"A nonmonotonic sequent calculus for inferentialist expressivists"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6787703"}},"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":"Q5365513$527ACB37-6C18-4971-9B3E-2F00809F2AE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85c0635407c2fcc8402d03795242ed3c93aa7c26","datavalue":{"value":"1410.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5365513$B9087EDD-EC12-4E51-9F1A-393C09CEFDBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9320857c4e9aaf28554aa8d715c6d143edc48f4a","datavalue":{"value":{"entity-type":"item","numeric-id":2052636,"id":"Q2052636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5365513$922981FE-8981-40ED-B5C7-4D011846C3EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"695616c5b4ef01d1f1677c41fec2326bc5390a4e","datavalue":{"value":{"time":"+2017-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5365513$616C093A-2D4D-4FD4-8258-06FF3C5DA3B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5365513$3069E7E0-FBFE-42DA-A21E-7BBFFB853ECA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5785f42c618d390f88e83dd1d19a1780166e61e7","datavalue":{"value":"6787703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5365513$95C7CC78-043B-4016-A2B5-65063DB991E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5365513$5256B3F7-3E22-4586-A088-6C916DF547D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5365513$8A295A02-0296-4C9F-8D28-031D3D06309F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"427909f231d226f7aaec64c077bcf4d969c714a9","datavalue":{"value":"logical inferentialism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5365513$587AEFE5-F1BF-4467-8264-973C6A66857C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"470af971414c778d8d539293bf96b89f5112b38a","datavalue":{"value":"logical expressivism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5365513$FC64309C-BED9-4D25-B793-9CD629ED189D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73114a50d293ebc14bdc43c2820859f656f61edf","datavalue":{"value":"material consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5365513$41CDEACA-6928-494D-91DC-00B63E60E608","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":"Q5365513$8A0E2AA9-3F96-44E1-AAD0-AD03B1BAC0FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92afd5532568e436282846ece84d8e175bfc80d1","datavalue":{"value":{"entity-type":"item","numeric-id":1679801,"id":"Q1679801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2005f4992d6c802ac287712c1d9d79ad28df7f0b","datavalue":{"value":{"amount":"+0.8504427075386047","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":"Q5365513$8F54D7B8-4028-483B-A947-3F5ABCDAA78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee2aa6a51b1b93df4de61b0bd3750e32e61d40e","datavalue":{"value":{"entity-type":"item","numeric-id":5149144,"id":"Q5149144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74cafcd6cb038719990aaa750c1aa4bb7c032626","datavalue":{"value":{"amount":"+0.8236528635025024","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":"Q5365513$F4932659-7F0F-45FA-936A-8ADC58A6284A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c19d7b2a89b2589ee2eae31d625dcafc88fb45","datavalue":{"value":{"entity-type":"item","numeric-id":4218925,"id":"Q4218925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e90afa276b50e7f068ff0250b28885702ac37d78","datavalue":{"value":{"amount":"+0.7574008703231812","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":"Q5365513$925A5F00-B948-4229-8E24-615EC40E17DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e357a708b153c3d2d7a09294cbc021afe29e90","datavalue":{"value":{"entity-type":"item","numeric-id":5738955,"id":"Q5738955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9569eabf63e191ffff6eb8d650158de3c329e468","datavalue":{"value":{"amount":"+0.7454562783241272","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":"Q5365513$BDB37958-F466-4F86-9BC6-3132F9DA9AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae2afe684363fb6f8001c77581ad2330fc153ef","datavalue":{"value":{"entity-type":"item","numeric-id":1903578,"id":"Q1903578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8cc7ea154d0e89b99b8c6a3c3bd4ac51aabf31e","datavalue":{"value":{"amount":"+0.7412654757499695","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":"Q5365513$1F195A16-7375-4BB4-8791-F0F4DC80DBA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A nonmonotonic sequent calculus for inferentialist expressivists","badges":[]}}}}}