{"entities":{"Q3512158":{"pageid":5542062,"ns":120,"title":"Item:Q3512158","lastrevid":50404244,"modified":"2026-01-13T23:45:55Z","type":"item","id":"Q3512158","labels":{"en":{"language":"en","value":"Tennant on multiple conclusions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5300188"}},"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":"Q3512158$03F3B6B7-B796-47B9-A5B4-28B55E0E30E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc2e5ec144fd9d64ff06a4365b801471cf6794fe","datavalue":{"value":"1152.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512158$5F3FFC19-E92C-449B-ACB3-CEF7752E194D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98ce39f1bb6d4fe2a8a15a394279307831ddf4c3","datavalue":{"value":{"entity-type":"item","numeric-id":543529,"id":"Q543529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512158$A3551414-9C16-4CA8-A7C0-4480C13BCDF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37182800059ed633e356c0f78cd13f10c8c7f234","datavalue":{"value":{"time":"+2008-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3512158$69F08B58-C5A2-46D8-BFF7-E9B6607BCE29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512158$DC8D9526-D07F-4B28-8639-49B0808890C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51a9b98685d133248ae3e3a50652930fd57faa2f","datavalue":{"value":"5300188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512158$6ABCE3A0-37DB-491F-964F-84B6D1E80E38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbc8f693bbecd91d98944751446f1ae02eb8ed78","datavalue":{"value":"multiple-conclusion sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512158$35B562FB-3A1C-45C9-A167-2C793225B274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512158$6FAE8EAA-16CE-49E3-892B-8210A713331B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d7c24935dcad54bb8b35bd2297a2d654d149a5b","datavalue":{"value":"constructivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512158$F7EE1DA1-FBB7-4481-ACD5-DBAF678BE44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512158$C09E9C2E-1195-4DE7-95DE-BBC32D814C38","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":"Q3512158$C4C6EE09-1EC7-4DD0-A3C5-40046EBD8082","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d3a694a47cb942ba1fb35d9e162801d1895e060","datavalue":{"value":{"entity-type":"item","numeric-id":5483305,"id":"Q5483305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b75277a611b2be462634c4aeb0110263aa593d3","datavalue":{"value":{"amount":"+0.7695504426956177","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":"Q3512158$31243E47-0887-4B64-891F-13FF6297FC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bda66b70044772efccb11246841729c2394b53b","datavalue":{"value":{"entity-type":"item","numeric-id":543530,"id":"Q543530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"095af30fab91dd52bd3776581f73c4988cd5849c","datavalue":{"value":{"amount":"+0.737949013710022","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":"Q3512158$AAADC669-2718-4D47-B8AA-6922F73C04C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7928ff11f7ade07d057c522c18e183fc731a5396","datavalue":{"value":{"entity-type":"item","numeric-id":2052149,"id":"Q2052149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab898b7b91f49501cbbdbcf10c0233c99dffb1c","datavalue":{"value":{"amount":"+0.7357279062271118","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":"Q3512158$8D315DB2-384B-4496-91D5-BA597F5B6F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b160d5cb5cabbbd9f9f496e5898d6077cecdcd","datavalue":{"value":{"entity-type":"item","numeric-id":1405837,"id":"Q1405837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a19fdfafff94ffba23d3ac0499d43fa384124b","datavalue":{"value":{"amount":"+0.7012695074081421","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":"Q3512158$11AF28A1-B6F6-43F8-9ECA-2D1FA6704EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88dccf6385d9919f644b11e6d4bf318307bc790a","datavalue":{"value":{"entity-type":"item","numeric-id":3094191,"id":"Q3094191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6317c32067a761ed7b4e611bd0b45685fd909ef","datavalue":{"value":{"amount":"+0.7012693881988525","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":"Q3512158$0ABD8275-1551-4048-A84C-A788531E9EF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3512158","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3512158"}}}}}