{"entities":{"Q5170293":{"pageid":7199865,"ns":120,"title":"Item:Q5170293","lastrevid":94403138,"modified":"2026-06-05T06:43:36Z","type":"item","id":"Q5170293","labels":{"en":{"language":"en","value":"Towards an efficient prover for the \\(C_1\\) paraconsistent logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6319826"}},"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":"Q5170293$FC11EFCB-6507-4CAB-9E5F-7E14503B6E55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"927926469562862a46fc77d7d3340c3ae2b144e0","datavalue":{"value":{"text":"Towards an Efficient Prover for the <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" altimg=\"si1.gif\" overflow=\"scroll\"><mml:msub><mml:mi>C</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math> Paraconsistent Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170293$066E1E11-4C91-42AC-99E1-64E69D5D5D5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8534eacee8b9e260607ab895809aa9ced96a73e9","datavalue":{"value":"1291.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170293$BACC99DF-8A88-42C1-A2EE-B7EE1A92ADBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9adade33c37dd97ecd168c237050eca67380c5c","datavalue":{"value":{"entity-type":"item","numeric-id":5170292,"id":"Q5170292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170293$EBDB199A-7DD8-414A-8C92-A57E1B7FA7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a7cb30cebcdef4455db55ac686bbbe0e26975d7","datavalue":{"value":{"entity-type":"item","numeric-id":1957212,"id":"Q1957212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170293$2977FA25-23AC-4E1D-B46C-83C6D0C008F0","rank":"normal"},{"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":"Q5170293$64AB71F5-A0C0-4D84-883E-07F74036FEF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170293$A61A6D67-FA2D-4FB7-924E-A027F3031ACF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eacdb5fcca3e105f9b9fc4f2a069313e1de98d4d","datavalue":{"value":{"time":"+2014-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170293$E422E3A8-5FD7-4D40-8890-A80124E27FBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78d416539d817331b29cee5300d4c545c4897c9f","datavalue":{"value":"https://arxiv.org/abs/1202.4144","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170293$0F3F2B68-8864-450D-881A-89BD8ABE777E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170293$2A55F79D-E0EF-4D5D-A269-621D43952D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170293$BB90BBB1-B86B-4F6A-AAE4-9B0253D9309D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"170c9a2a1389f01ca395b3c1c0d90fe14e946c29","datavalue":{"value":"6319826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170293$B9850316-3445-43EF-9281-9DDDF57DB37C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80b391bb68e28d3b98cf5ce4f679571ce80c4a73","datavalue":{"value":"tableaux systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170293$C8EE1F9C-5B0F-48E8-B20D-97EB75E21E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"722adf6cbb1e0e8feb1d16168bacba2d3754cea6","datavalue":{"value":"KE system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170293$3D6E79DA-439E-4D63-9240-23CF619607D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7a3d83832adc1cd568e7c76a3752cb995532bab","datavalue":{"value":"\\(C_{1}\\) logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170293$35199373-3C71-4929-B8D1-21BC0DBBC80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a5b36a1f0c614b7809ac890f732c806aa03f79","datavalue":{"value":"paraconsistent logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170293$135A7904-C49F-4215-A083-38C7B310C97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66084a0528c00afed5a7e6e03761a324f379c248","datavalue":{"value":"problem families","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170293$5521C629-91D1-4736-9A84-E9A2BB2CA73B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e1f0d455324ceea179ac1ad849a399fbfd4b2b10","datavalue":{"value":{"entity-type":"item","numeric-id":37160,"id":"Q37160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170293$1CA60EFC-4199-400A-BC23-379EECFD6387","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":"Q5170293$A87E46AB-3F96-4DEB-A77B-1EC931ADF533","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73691aa5ea7651ebbc23182d17f44bf6bb258401","datavalue":{"value":"W2066630725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170293$612B04E5-3ABB-4ED8-86C1-DD8BD1D578FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4730b7a2f1358bb95c4ab0aeac6baff9ae194f64","datavalue":{"value":{"entity-type":"item","numeric-id":687160,"id":"Q687160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170293$C07B3302-CF43-47E3-8E4A-02AEA87BEF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc3af5435b11ea9ae0424f0cdfe5241b03fb3dc","datavalue":{"value":{"entity-type":"item","numeric-id":5311062,"id":"Q5311062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170293$DABE0008-660E-43BF-A4BA-C33E7A80BB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f71c1d2b8f877342d1f75eb537c5f2e4c2476de","datavalue":{"value":{"entity-type":"item","numeric-id":4928710,"id":"Q4928710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170293$14B2333E-724A-4EDC-9ADC-16B860E53011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1831556189fa0b4e04eecf220ed4b47c43efbe","datavalue":{"value":{"entity-type":"item","numeric-id":4275687,"id":"Q4275687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170293$7BB6E11C-FEE8-4119-8163-2F2E3B9590DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef3f0a3c7e3c38e3b4f2ca82b095e23b65e32b1a","datavalue":{"value":{"entity-type":"item","numeric-id":4287778,"id":"Q4287778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170293$3F011C54-4846-4122-AD70-9AAE4ED27455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ef10c8fdd327d54fd8f6ca892717073d58647d","datavalue":{"value":{"entity-type":"item","numeric-id":1234675,"id":"Q1234675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170293$083961C0-1921-4CF1-A0E2-10736BA0AAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45588cd7360799e3b56381b497f12f36a21e9b0f","datavalue":{"value":{"entity-type":"item","numeric-id":1314288,"id":"Q1314288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170293$A6ED30FB-77EE-4CD2-B636-EDAA6B911E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf730892ec5be6c57741cf68a72855f6d08e524f","datavalue":{"value":{"entity-type":"item","numeric-id":2753597,"id":"Q2753597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170293$66306259-23CF-4366-89C1-DB8A43641CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19a13d21f909bc5d01ac054faba1d283210dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170293$0F12EC4F-AAA3-4E6C-8DB8-E2721C03D65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a81e99b212f18988b666ae155711a48aeecd3790","datavalue":{"value":{"entity-type":"item","numeric-id":3647223,"id":"Q3647223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170293$C8FA7C16-8D16-48A3-BAEA-198B720299D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170293$B395AD64-3CEB-40D2-A9F2-A0E9ABD2E906","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6178c76c5b36c5099b98aab5485aa7075f9c99e6","datavalue":{"value":"10.1016/J.ENTCS.2009.11.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170293$77BA2C44-5A61-4E1E-99EE-9CB2A193B8EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"974eb5e13b556c672312806f9c29598336c6d30f","datavalue":{"value":{"entity-type":"item","numeric-id":687160,"id":"Q687160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b43176dfbb73d5c361bf3e12958438c9b36e4f","datavalue":{"value":{"amount":"+0.7720951437950134","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":"Q5170293$4E8A8FF2-C8E5-4D7B-A8DA-6A49E5E023C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c4a63a756dba112e6983ed1fa377cd808007ce","datavalue":{"value":{"entity-type":"item","numeric-id":4856966,"id":"Q4856966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1af659213fb2e71b15258b81c957dbeb349104","datavalue":{"value":{"amount":"+0.7709139585494995","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":"Q5170293$A53316D6-B8F1-4B7B-A18F-403BE59276E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349acf868f5397f503e3831bc40f7933ff258e51","datavalue":{"value":{"entity-type":"item","numeric-id":4879183,"id":"Q4879183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcbcbc22b595aeca6206afb6ae7a1f58ccc80c81","datavalue":{"value":{"amount":"+0.7387534976005554","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":"Q5170293$F5B97753-1651-4628-B988-01965D6BA65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"379b87424af58d4826c62f01b03c12c750f68c6f","datavalue":{"value":{"entity-type":"item","numeric-id":2753263,"id":"Q2753263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3270b98fa4593421ef98ab5e13c64eb9b2bc00a","datavalue":{"value":{"amount":"+0.7143070101737976","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":"Q5170293$F05CAB7A-24F0-4DF7-B84B-048CC08A63FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70aa357b4ea5c73f223fcc073a4fb0ae48edc8c","datavalue":{"value":{"entity-type":"item","numeric-id":4847373,"id":"Q4847373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0513bcdab76a71d0be318da6ff23ff94fec814c","datavalue":{"value":{"amount":"+0.711299479007721","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":"Q5170293$83C6C274-865C-4CA0-8E73-B88E1BD01AB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards an efficient prover for the \\(C 1\\) paraconsistent logic","badges":[]}}}}}