{"entities":{"Q5149144":{"pageid":7178715,"ns":120,"title":"Item:Q5149144","lastrevid":53927723,"modified":"2026-01-25T22:57:54Z","type":"item","id":"Q5149144","labels":{"en":{"language":"en","value":"A first-order sequent calculus for logical inferentialists and expressivists"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307084"}},"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":"Q5149144$0BA73A70-218F-48B6-9763-990277FE0D51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91cbbdb90098bd94559f0ae4f81312ccd5c6bf3d","datavalue":{"value":"1505.03123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5149144$8E834F17-0A32-4C15-B960-77A7C0E3BACA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ebaa9112f6acd4c407d1b973f6dae3646a89d67","datavalue":{"value":{"entity-type":"item","numeric-id":1679800,"id":"Q1679800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5149144$D9A43449-9400-4BF1-ABC6-337428DCFB7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"414f8e658df1051e6d4b42bac909e413f7743bb6","datavalue":{"value":{"time":"+2021-02-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":"Q5149144$EA63A8B1-C2BA-4829-9657-BB700990AF3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5149144$5AA2E4AE-E2E5-45BF-A1F4-E53433EE25F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5149144$6B4E3471-C280-4729-AB04-F8E10278E815","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7abc718138aba69d9b5b17ac3d8e751602c8bbae","datavalue":{"value":"7307084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5149144$ABF3BEB4-FF57-4DD8-BCF3-D80E33386AEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5149144$FF3553DF-A25B-4AC2-9A51-634BB1471143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5149144$DAC528AA-1818-4035-9785-7D508D25F112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5149144$DED1616F-7026-4D65-83F0-01E089187D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"427909f231d226f7aaec64c077bcf4d969c714a9","datavalue":{"value":"logical inferentialism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5149144$4C705FE3-DA13-4BE9-81B4-B85B78264B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"470af971414c778d8d539293bf96b89f5112b38a","datavalue":{"value":"logical expressivism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5149144$12078670-59E8-44B4-AE4C-D8A35C09E09E","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":"Q5149144$7A97F1C5-FC68-417A-8D66-20FA8B70F0E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04d0d9907988729f84145199d04926d2eaf253e","datavalue":{"value":{"entity-type":"item","numeric-id":5365513,"id":"Q5365513"},"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":"Q5149144$957F5E1C-3715-4E0D-95B5-FC1CA37C0697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"646bea5d3a383d70718dfa822714e9d4b8f6dafc","datavalue":{"value":{"entity-type":"item","numeric-id":5224669,"id":"Q5224669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7759912271a64791fbf3bf0b69573cfa9c68f8ec","datavalue":{"value":{"amount":"+0.7703172564506531","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":"Q5149144$2CEB436E-9793-4EB5-BC33-ECC5E721EAE0","rank":"normal"},{"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":"1b5f5daacb83d927af7e8a864eaa173a439bdc84","datavalue":{"value":{"amount":"+0.7217900156974792","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":"Q5149144$210C17A9-AB78-4811-BC94-DB4851D2CDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf350f0a68ae31c3a77001f70502e15891d1e707","datavalue":{"value":{"entity-type":"item","numeric-id":5313058,"id":"Q5313058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba4e63850a528e80c43968a6c53987971fa6a56","datavalue":{"value":{"amount":"+0.7051844596862793","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":"Q5149144$F018AD6D-17C3-48BD-8D49-2971DF984E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbc798e844b3aea46780171ab4c5c75bb2fa565b","datavalue":{"value":{"entity-type":"item","numeric-id":485622,"id":"Q485622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca99425d7dc69ac9cedf83799102db377c283ce2","datavalue":{"value":{"amount":"+0.7030724883079529","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":"Q5149144$A9A5A4BF-D132-4797-8746-6891BD7D201B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5149144","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5149144"}}}}}