{"entities":{"Q6111081":{"pageid":13245388,"ns":120,"title":"Item:Q6111081","lastrevid":47872549,"modified":"2026-01-02T22:59:18Z","type":"item","id":"Q6111081","labels":{"en":{"language":"en","value":"Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7708096"}},"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":"Q6111081$6D658A5D-6607-48A6-AA0E-A564A0FAE784","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c25e090b8304c776bb861da84fb4908170aca97e","datavalue":{"value":{"text":"Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6111081$6B546401-A793-4F4C-A7A6-BA1706FFBF1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0ea0668063dfcb04d10d25c2452e8c217e3a815","datavalue":{"value":"1515.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111081$E6823FF6-D079-4039-B6EC-CC90AEDB121A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81c42e93c768a03dcd297a7645b5942682b2b697","datavalue":{"value":{"entity-type":"item","numeric-id":4589228,"id":"Q4589228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111081$A4A3EA02-84C1-479F-B854-CACF37EB12CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e2f73914b1c8e20d0fdf9934d53aad8dc79ea86","datavalue":{"value":{"entity-type":"item","numeric-id":763468,"id":"Q763468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111081$54E7F59A-2268-4986-8C1F-6BA360853C67","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":"Q6111081$403A5D23-5783-44D0-9CAF-841DF9A7A03A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b0cf7020a84728d267c72687d2ac45770799462","datavalue":{"value":{"time":"+2023-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6111081$570B296D-D9F0-413C-B797-3FD653B450AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111081$A59C7086-6313-4DE7-9D16-AA8941B7DB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111081$7A361E7C-0DF5-4249-8233-1C635326CFB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a23bce645faedb086eb07dbd9c29123999e4920c","datavalue":{"value":"7708096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111081$5FBDE41C-1965-4F22-8EE3-D3B8ED117634","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6111081$C5B712B1-7046-4B9E-ADC4-7FBCC738E711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"753c30088aab6a1457eb06719136d54abfc650c0","datavalue":{"value":"contrapositionally complemented lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q6111081$3017094E-ECA3-4A28-A0A8-85726F888F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6111081$053471EF-AEE4-4120-BB1C-2EEFCE7C5411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6111081$10AC785D-62C1-4860-BE96-F25A742C1DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b85b907b04bcc2c7415d7e0bafb189c30cb62f9","datavalue":{"value":"compatibility frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q6111081$33AE438E-E2FF-4FF9-8364-10D833F847F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6984e27167f4e75f1fef7d48c02c1af3b4793ce","datavalue":{"value":"kite of negations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6111081$C505E4BF-9EC1-4329-802F-7CAC9181CEB4","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":"Q6111081$88A7F6D9-D2DA-44EA-BFE7-FEBF9642B0AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80b705c577b84945302343ab54b0f588231c4e69","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzac041","type":"string"},"datatype":"url"},"type":"statement","id":"Q6111081$81B4A804-0567-448F-AEAA-FEAEBEBCECB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1119e8364d5e0825e1c9b2930c88a896a80cf5d2","datavalue":{"value":"W4226324271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111081$05D42E8A-CE66-4FC3-9486-0BBE7DF6E7C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b5643a71fb55cc81febbd423c44ee11543739bf","datavalue":{"value":"10.1093/JIGPAL/JZAC041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111081$97FF4F01-CFAB-4A19-BA82-33B121A6EA69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4133ad116b61ec463f1cb7ed109f13a7f65fc87c","datavalue":{"value":{"entity-type":"item","numeric-id":4539745,"id":"Q4539745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f6f09ec0f49df9ae986fe6f9720a43b7807154","datavalue":{"value":{"amount":"+0.7506063580513","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":"Q6111081$0B47C7A2-FA26-4C55-AE81-0557557FFCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9458a22e5116a9bbc92dcbda52ce482027f93b70","datavalue":{"value":{"entity-type":"item","numeric-id":3433172,"id":"Q3433172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4bdd5a0165424204e3591840eea2bd89a3a96f","datavalue":{"value":{"amount":"+0.7388634085655212","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":"Q6111081$A9FE271F-A8CA-45CE-8A56-F7C9BF6F9CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"866519116130d78fafa38a0400bd4a30ca13d5c9","datavalue":{"value":{"entity-type":"item","numeric-id":4328824,"id":"Q4328824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cf29ff85d176402e48bb1f1a051206c3b497619","datavalue":{"value":{"amount":"+0.7337992787361145","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":"Q6111081$39DE2835-4C16-48BC-877D-A6BB697BF23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb259a68d2a865808f8173ec22e25d86e3e6b03","datavalue":{"value":{"entity-type":"item","numeric-id":763330,"id":"Q763330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab507d3d4037b73cdbbef034025464628cb615a","datavalue":{"value":{"amount":"+0.7268632054328918","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":"Q6111081$6FD71611-C744-413D-AE87-EEF4B8813249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34e207362b735e124f570b06d957df27818d268c","datavalue":{"value":{"entity-type":"item","numeric-id":813089,"id":"Q813089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68865c5d253cf9eae197b1cd4308d9d587563892","datavalue":{"value":{"amount":"+0.7263666391372681","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":"Q6111081$34458399-E7CF-418C-9879-9B18B8A602C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6111081","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6111081"}}}}}