{"entities":{"Q5014053":{"pageid":7043630,"ns":120,"title":"Item:Q5014053","lastrevid":98366360,"modified":"2026-06-05T17:19:57Z","type":"item","id":"Q5014053","labels":{"en":{"language":"en","value":"Sequent calculus for 3-valued paraconsistent logic QMPT0"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438988"}},"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":"Q5014053$36242143-511F-4D38-80EA-DDC3F689E837","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e59584a9c6ef1b121d1c5ce1167709db3c7faf4","datavalue":{"value":{"text":"Sequent calculus for 3-valued paraconsistent logic QMPT0","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5014053$9B05BF1D-0D0C-49BB-BE63-8D0C65FF3708","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c405c770035491f4ead9ea4eb12c2142500ea80","datavalue":{"value":"1477.03093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014053$09E9AE2B-0205-4652-A5DB-3B6ED2C607BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f3ad4f30dbb4401d3291e1f53d4394e51ec130a","datavalue":{"value":{"entity-type":"item","numeric-id":5014050,"id":"Q5014050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014053$92EFAAFF-A80B-4E2F-8B22-CF186E6F0547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0f86e96505fb20fd9fdce8f0cf49fd0a5580e84","datavalue":{"value":{"entity-type":"item","numeric-id":5014051,"id":"Q5014051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014053$ED261E23-91C5-45FD-9B64-3D8B5796D0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"432616a623271f1958bd24f67266d4f19e04a00f","datavalue":{"value":{"entity-type":"item","numeric-id":5014052,"id":"Q5014052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014053$E0465923-4D7B-4A3F-9288-1B3D2E7D9A50","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":"Q5014053$F81820A5-5CC1-44AE-9929-270B94678530","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5014053$B8D3020D-3FAC-4EF6-A2A5-79AF9315E64E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014053$B56875A6-2E2D-42C4-85B7-F9475C48CAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014053$DE1E7ED3-07FD-4FEF-A0ED-4ED314B8C78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014053$F6B21CA2-F8F9-4E93-8672-556841D62B11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e1f7fc60d2970e3b5ff3cc932dac04d405d7c88","datavalue":{"value":"7438988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014053$9A30DDAD-F37D-4BA7-8777-022FDAE0DB7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014053$3A6CB425-FBDF-4E95-9299-80F5CE0599DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014053$D4E812E1-CCA4-41A8-933C-E1F2E5E828D7","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":"Q5014053$A0E026D5-E669-423D-8417-E65830096CA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"767135c9a0d666e00fefbd922e6817722206c9db","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzz016","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014053$7CB23CBE-80FB-411D-AAF7-1E3912923919","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7a736e31ba5a604eb49da219e36455f293de324","datavalue":{"value":"W2945521894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014053$9F33453D-6593-4964-9778-34997DEE41D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70567152cb31cf81c7026150451229ba9608a2cd","datavalue":{"value":"10.1093/JIGPAL/JZZ016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014053$798392E8-B493-4B40-93AF-9F3005306CD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84bbb944d7bd330bc1afb709ccce74d67d547970","datavalue":{"value":{"entity-type":"item","numeric-id":1277163,"id":"Q1277163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e20563490811a66bdf91a7f8352acfff9c3590","datavalue":{"value":{"amount":"+0.7786493301391602","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":"Q5014053$36609CBA-BE62-4821-8C9D-341C824C37DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09cbda2cf1cae565fa047475ed1fd45ca3c133a9","datavalue":{"value":{"entity-type":"item","numeric-id":1749807,"id":"Q1749807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e20563490811a66bdf91a7f8352acfff9c3590","datavalue":{"value":{"amount":"+0.7786493301391602","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":"Q5014053$B8DCBE90-AD54-4EFE-99A2-FE3D390A2BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd73cac53fba691c91f3c5bb0c0521936e275dcc","datavalue":{"value":{"entity-type":"item","numeric-id":3819043,"id":"Q3819043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49c1b83b0bc3df07b9e7faeba5534cf78c71c04","datavalue":{"value":{"amount":"+0.770385205745697","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":"Q5014053$B136E4A4-ACC6-4586-B48C-E4CA8EBFA39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6f8688edcf6736cdc3931217b13bdc357b1c97b","datavalue":{"value":{"entity-type":"item","numeric-id":3535123,"id":"Q3535123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b5e2763772cffce5d9448706d1bf84f27154c58","datavalue":{"value":{"amount":"+0.7510359287261963","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":"Q5014053$E9CE1C72-8448-45DA-8B16-FE152E4EDC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583e8f05f24a712b989d1f165c33bb66f501606b","datavalue":{"value":{"entity-type":"item","numeric-id":5241519,"id":"Q5241519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3492a2f87d6554ed74b49886f947bb8a121fdd","datavalue":{"value":{"amount":"+0.7449809312820435","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":"Q5014053$0936D7AD-0292-4B04-A704-125501E0E566","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequent calculus for 3-valued paraconsistent logic QMPT0","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sequent_calculus_for_3-valued_paraconsistent_logic_QMPT0"}}}}}