{"entities":{"Q6132580":{"pageid":13266887,"ns":120,"title":"Item:Q6132580","lastrevid":55476055,"modified":"2026-02-17T17:17:06Z","type":"item","id":"Q6132580","labels":{"en":{"language":"en","value":"An infinity of intuitionistic connexive logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728697"}},"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":"Q6132580$D1946D02-9847-4E0D-9D56-466A64B1CD7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f11d778217bc47807a86a5700baa7a1bba97bdf7","datavalue":{"value":{"text":"An infinity of intuitionistic connexive logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6132580$720E9C5A-FF28-4A15-8344-A2F8E065D80E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"717d4be5eb9737ec0075d333c19a92e6635bfcb5","datavalue":{"value":"10.1007/978-3-031-26689-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132580$BC55F9A1-13E6-4938-81D3-C913425C91C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b4386c0d5d83f8302e271c05e50f8370fd57881","datavalue":{"value":{"entity-type":"item","numeric-id":2936224,"id":"Q2936224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$D13183AF-BE5E-4FF0-819C-8AE722D47262","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6132580$6E7AD638-2546-46A9-B482-C347BD7BA2ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132580$88FE5650-6A98-4AA2-A1D0-FB3473A4AC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132580$D7215601-D3D5-4C42-9630-6782C8FF9690","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1c296ad4bb98b0d9cc1741608267a01adaf5b45","datavalue":{"value":"7728697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132580$23ACF50E-2CBB-454E-BF2B-1977D859DC3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ab9cf9c81c1c4e41ce9f934c58dcb250f8d8f2","datavalue":{"value":"connexive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132580$09690623-3B8D-474D-8113-B7707F1A8F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132580$28605BFE-0DBE-4B35-AD85-1091D249019D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132580$F1BCF64F-1CC8-4453-BD0F-6B3CBF24C14F","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":"Q6132580$05F6E3E9-7C18-403D-9CE5-D0FBA0DDE600","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f15820acc63b33471a73087ad0c34204ce39e1ef","datavalue":{"value":"https://doi.org/10.1007/978-3-031-26689-8_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q6132580$430FB6D8-8DA3-4C9C-83C8-E43AC4B3C78E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37eedeafc14edf64ad80c0265ee3f012218050ad","datavalue":{"value":"W4321440710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132580$83BE520C-1CD9-4F3B-AA39-916C2039D5CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4004e8049c9137d9b5b6e94f4dec378ad15a2a","datavalue":{"value":{"entity-type":"item","numeric-id":1252874,"id":"Q1252874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$9B4FE200-CD27-431A-8F3E-8AE7428B1E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$A1306492-3C92-4059-A587-6E61E0CE07D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4081fe2329f478697b3bee3adb67a4368bd6048","datavalue":{"value":{"entity-type":"item","numeric-id":1685568,"id":"Q1685568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$B428E6EB-0F73-4712-985A-1F9989935B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87879ac9a666ca189757b589a8202675c0820fab","datavalue":{"value":{"entity-type":"item","numeric-id":830398,"id":"Q830398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$C571A462-79CD-454F-A714-69407DA9D747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a997eb63373e73d9f5a4fb35fe6866bb150976a8","datavalue":{"value":{"entity-type":"item","numeric-id":4918420,"id":"Q4918420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$90E7236C-CB20-4DEB-A201-A9E8062E1BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6e9e1d18538a056cdf8780264c2c8e00f6d132","datavalue":{"value":{"entity-type":"item","numeric-id":764309,"id":"Q764309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$E09C365A-7D78-40A1-99CA-2DECCFCB5629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d5fd92f1ca04342fdad39d66fe038125cb05d6","datavalue":{"value":{"entity-type":"item","numeric-id":5175691,"id":"Q5175691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$2AB45790-4574-4225-A5F0-17521DD0B620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e1c8c201b5d4fc36fe01bbc6d4f830638c6d1e","datavalue":{"value":{"entity-type":"item","numeric-id":2307298,"id":"Q2307298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$2E5F8F90-F6B0-420D-BE16-398B97AF801A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed378d4e8ab41fea40d426caeb0c2537bfc47b73","datavalue":{"value":{"entity-type":"item","numeric-id":2086532,"id":"Q2086532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$1BFD635E-9DB9-4B18-98A2-8934217CE65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18bd0c5b86b80994533fe181244fe3712b0f17c5","datavalue":{"value":{"entity-type":"item","numeric-id":5545509,"id":"Q5545509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$B4836F31-8757-485D-B39D-403F2D956697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36c5b54f92874d9afc5a5317193d2545b6af04c","datavalue":{"value":{"entity-type":"item","numeric-id":487555,"id":"Q487555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$E8C53B87-E031-4D92-8BC4-E5F95108E2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$148D6A41-60E1-44B9-9AEC-480C545828D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9397b189e714eb83e17a2f5556f745f3105868dc","datavalue":{"value":{"entity-type":"item","numeric-id":932098,"id":"Q932098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$31A3ED0B-161B-47FC-B43F-096A1AA68196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1273b488bfe45d020605f2d4fba7b2e480c47d1b","datavalue":{"value":{"entity-type":"item","numeric-id":5213760,"id":"Q5213760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$77DC178B-781E-4199-AFAB-F2B57BCE3864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a338a8ae619fc9d4a666e6ef713237a4827194","datavalue":{"value":{"entity-type":"item","numeric-id":4557169,"id":"Q4557169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$855CA511-C0DE-41E2-B404-1B63387C2F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d55ce6a5ea1d92d286860806e5f72a4833fdf70","datavalue":{"value":{"entity-type":"item","numeric-id":1685563,"id":"Q1685563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$54FCB480-0949-4805-A84F-90ABE564D48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f5a599f89d0f9f9abcf64d71a3667994b7184c","datavalue":{"value":{"entity-type":"item","numeric-id":3387885,"id":"Q3387885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$8AFF816B-687F-4A2A-9788-B32996E9EA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50c44a7f8675a1df3a1273837457bae05e5e1909","datavalue":{"value":{"entity-type":"item","numeric-id":1969807,"id":"Q1969807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$8210D161-9F76-4DE6-9AC3-A751223921A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cdffc481bcbf0e406fcbcc24660cba585a173ae","datavalue":{"value":{"entity-type":"item","numeric-id":1257011,"id":"Q1257011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$A87EF95E-CD8E-4B0C-BDFE-0E23B2821291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1f580424b5630333db701f9ec131434a539379","datavalue":{"value":{"entity-type":"item","numeric-id":5483018,"id":"Q5483018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$FB19BE8B-9E38-4E80-85B3-2B548D98CD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e0dfdff0b01b19aca4798360a31d9efb493a62e","datavalue":{"value":{"entity-type":"item","numeric-id":4532204,"id":"Q4532204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$A3ED461C-1947-4E56-9A6A-642F80538D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6680fdd6fde4165e9ce2289aa3755e4fa95425e","datavalue":{"value":{"entity-type":"item","numeric-id":3121054,"id":"Q3121054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132580$3B5128EA-2E9B-49FD-B6E3-5E0EDBDC5DC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8eef91c582e10b0ff06cbfcbc0182e8b97c397","datavalue":{"value":{"entity-type":"item","numeric-id":1111536,"id":"Q1111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2dfd20ecd2a7a1e1dfe0154fe94effbbbd9c095","datavalue":{"value":{"amount":"+0.7938389182090759","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":"Q6132580$C7FF9C34-1B55-4DC8-8F07-37C8F939D9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"466d58f69a3ce33c9a569884d3e0c9b3c12512d3","datavalue":{"value":{"entity-type":"item","numeric-id":5006821,"id":"Q5006821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fad66796e784493e20620f96944091d8c936c6f4","datavalue":{"value":{"amount":"+0.7848783731460571","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":"Q6132580$40F2E357-28A0-4F28-A865-E32D3E72EEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb3ad0fdf9001a5819d8c7bfbc5b6db7edd2611","datavalue":{"value":{"entity-type":"item","numeric-id":1111537,"id":"Q1111537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1639af5e44505c935dc2d7f015458f0b038eb8c1","datavalue":{"value":{"amount":"+0.7730115652084351","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":"Q6132580$74993B0A-BD28-4A66-BE5E-BFC5D90AD94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98ea87c4a916df8bf3636b5e44573290fdc3912c","datavalue":{"value":{"entity-type":"item","numeric-id":3387885,"id":"Q3387885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d22907384ddfdfea78328ea6cfc88d1ed6ab331","datavalue":{"value":{"amount":"+0.769540548324585","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":"Q6132580$DF7358D1-B341-4C9F-8FC8-2D16455387AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13200690984c6f59a836afcf86fc9d69e0bb0631","datavalue":{"value":{"entity-type":"item","numeric-id":5099778,"id":"Q5099778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7214cabdccb922631c56208c98274d53bf942638","datavalue":{"value":{"amount":"+0.7630462646484375","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":"Q6132580$7AA51FB0-351B-48EA-B632-ACB59EAD22A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6132580","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6132580"}}}}}