{"entities":{"Q2671627":{"pageid":2682370,"ns":120,"title":"Item:Q2671627","lastrevid":54332801,"modified":"2026-01-26T15:59:46Z","type":"item","id":"Q2671627","labels":{"en":{"language":"en","value":"Natural deduction for intuitionistic Euler-Venn diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7537211"}},"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":"Q2671627$5495C50B-A3CE-49D3-8CBE-7653CE2771FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"858cffbc7861a06779fb4d7f475147d815fcd5d0","datavalue":{"value":{"text":"Natural deduction for intuitionistic Euler-Venn diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2671627$05FE483B-6E1B-4574-AA2C-5DEF2C2F5C7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba63e8648786767e08c19f2ae2a16fdf8b687562","datavalue":{"value":"10.1007/978-3-030-86062-2_54","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2671627$90BC0793-590C-46F1-A6D8-2FB28B61CC50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bc5ca4d35a20d83a8591b8bdd06e483c8a4ba6e","datavalue":{"value":{"entity-type":"item","numeric-id":2671626,"id":"Q2671626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671627$CA18F65D-3395-48FE-B0F2-28C310070C3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c986118960ce8e3a4ca9bfd9a9b0e8a4e9089d9","datavalue":{"value":{"time":"+2022-06-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":"Q2671627$20FA500F-FD88-407E-B391-FEA5B125AD8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2671627$BEC60A97-AE6C-4F24-8942-5EDD26CD5F5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67bfc049d8242ca1c50e34855f4dcd3017da9bc0","datavalue":{"value":"7537211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2671627$22FA54AB-6099-46CA-9C82-9E49DEB07280","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2671627$270BFA47-98B9-4C19-BF71-9798CD91830E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ef15a797a063f159494da99bce93f3150ac854a","datavalue":{"value":"Euler-Venn diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2671627$DAE8084E-36C3-4E4D-BCA1-817C83F01E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2671627$7B7B498F-43BC-452B-886C-8AE43B593FE4","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":"Q2671627$34BCBE15-3E1B-43F3-95FD-DCE882D6FF36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1976a268ee582d2842181b61d16e908d2c09f446","datavalue":{"value":"https://doi.org/10.1007/978-3-030-86062-2_54","type":"string"},"datatype":"url"},"type":"statement","id":"Q2671627$8AD2AFB8-103A-4F73-A0C8-20BD8B7E6DF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9be6ff5c1ebfc99ac01494fbadcb889aee688e86","datavalue":{"value":"W3201263531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2671627$A758CC5C-FC59-4FEF-B314-62EAF0599FE0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a0ec0120c22d5bee6c902059762063a6a2830d8","datavalue":{"value":{"entity-type":"item","numeric-id":5375875,"id":"Q5375875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671627$1A0F3412-F809-46BF-8AB9-16DA74FD5CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671627$401A92AB-BE1E-4566-ABCF-B104D6BEBCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb08b51ecc9ff86bdaa44cc8f8fd465ed268c37","datavalue":{"value":{"entity-type":"item","numeric-id":5212088,"id":"Q5212088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2671627$6004FE78-0DEF-4D8C-9246-D5F53425A9DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc84b3a27d521b41eb703ef25c6b875b11b7b5bd","datavalue":{"value":{"entity-type":"item","numeric-id":6485458,"id":"Q6485458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c8d6342c493c4eb5b58136672ee1802b7d98042","datavalue":{"value":{"amount":"+0.8604216575622559","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":"Q2671627$4D817FD6-3DA4-4DF4-89C7-4BDC50D2C0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5fa17a5628f18b69a1b3df08efd7995a785f60","datavalue":{"value":{"entity-type":"item","numeric-id":2255200,"id":"Q2255200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82f42c06c64a87cba35e3a4cb5ed053b588a09b3","datavalue":{"value":{"amount":"+0.7990381121635437","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":"Q2671627$FD3DEC6E-5A4F-43AB-8E0C-D6F88DA1271A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"980416396ec368a49416143b963dc53d9c003936","datavalue":{"value":{"entity-type":"item","numeric-id":361868,"id":"Q361868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fac4a6ff40b7f56f6f824917a10d8ad65b4bfbe1","datavalue":{"value":{"amount":"+0.785515308380127","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":"Q2671627$4A477CAE-3C44-4707-91BE-84D3C72559E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35fc16a77583aa07b77b4fc28cd0dab4dcf56132","datavalue":{"value":{"entity-type":"item","numeric-id":495828,"id":"Q495828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"767dc0fd719226be9790c21b7c6d38db4d182649","datavalue":{"value":{"amount":"+0.7686064839363098","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":"Q2671627$DD00B870-974A-4A9C-A18E-91211A19A06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c125515bb12e9e60c4e3ee1c7caa3ec4f3ac20ba","datavalue":{"value":{"entity-type":"item","numeric-id":4888736,"id":"Q4888736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de50133ae587b82e1646be08199103305dce39e4","datavalue":{"value":{"amount":"+0.7567212581634521","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":"Q2671627$D5DA787C-C28E-47AA-9A5C-00D38BE25F55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2671627","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2671627"}}}}}