{"entities":{"Q2922496":{"pageid":2933216,"ns":120,"title":"Item:Q2922496","lastrevid":85028099,"modified":"2026-06-03T05:36:19Z","type":"item","id":"Q2922496","labels":{"en":{"language":"en","value":"Strong negation in intuitionistic style sequent systems for residuated lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6353742"}},"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":"Q2922496$396C38E8-942B-4932-949B-F0CA2A5B0F1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44e49fae004dfb702784f65eab5a8ee182f2f8aa","datavalue":{"value":{"text":"Strong negation in intuitionistic style sequent systems for residuated lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2922496$C3D0F5F2-FBA0-4E8F-A0E2-86C806EECDEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c920b5fe247211c399a2a193db55ac4773265aa3","datavalue":{"value":"1343.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922496$14F9B0E7-A9A8-4934-9904-C9AD61EDC2CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ced0594bbc25ccbe3005458e38633f9dc7d32ee2","datavalue":{"value":{"entity-type":"item","numeric-id":1015483,"id":"Q1015483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$4FF4CB8F-ADCE-425C-A2EB-BCC5648553D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d8dd11abefcac9e8dab1e7b271e7d8b6f83d94b","datavalue":{"value":{"time":"+2014-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2922496$1FF6B103-BC34-4ADE-8113-636B29D4E9DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922496$4A52944C-D878-4ED2-B11B-3C7D274FC669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922496$988B1CDD-71E4-413A-B855-70661441D86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922496$05D6B227-C9FC-476C-B955-144B67801DFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b47aa90ab636a6579a8be35909a72d328cec0581","datavalue":{"value":"6353742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922496$7529132C-93B6-443F-9CD4-8A4F4B7DB6A6","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":"Q2922496$3CE4055F-68DD-4B5B-9176-D0BC5A18FFCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83b93fc1abd97715b1dd7a646c175153d295cbc9","datavalue":{"value":"https://doi.org/10.1002/malq.201300016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2922496$98B18E46-6C39-40BE-B1C4-E9A69E5EDEE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb5b5cd1fc7825fb17e2540b1dc4cfe02481411d","datavalue":{"value":"W1596140841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922496$54D2FE90-4135-4F01-BD76-74EF2A55A3DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4792b5729ccd751666a738991241637d65618b98","datavalue":{"value":{"entity-type":"item","numeric-id":3984416,"id":"Q3984416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$A6E18DA6-37B5-47A1-80D0-F8282ED4633F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff335355e78f8ab519c9af3d7a359f533c90e7b7","datavalue":{"value":{"entity-type":"item","numeric-id":1850949,"id":"Q1850949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$DA84D8B8-B0EC-47D7-9DB9-3053E78F1BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$3065B6CE-B88A-4E77-90CE-4327C91A14C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bb7dbf8abdef8d4f87c20cbbfb5e95fc2d02f5","datavalue":{"value":{"entity-type":"item","numeric-id":3583096,"id":"Q3583096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$7D26555C-5C71-4D69-B910-12D542167DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3027e3f92dc546fe71540e36147d586524c4fe96","datavalue":{"value":{"entity-type":"item","numeric-id":2776810,"id":"Q2776810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$E8811764-B1B1-401C-A565-9119AAC1CECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa8c8929c768f224e83dab433f989c2dc6bcac","datavalue":{"value":{"entity-type":"item","numeric-id":4913809,"id":"Q4913809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$5C8BE1FC-0B5F-4D07-920F-CB6CE42D70B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe042fd73b0f564590539742ad031432d6096563","datavalue":{"value":{"entity-type":"item","numeric-id":2433102,"id":"Q2433102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$85FC666C-45FE-45C1-BDEB-BF3BEA213CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$8FC391F6-AF75-45D5-A976-C1891EF32FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$C7177B1B-9157-49BD-B6ED-584A94437CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3dddab2d0747f362f5568fd5142dde52cd1092","datavalue":{"value":{"entity-type":"item","numeric-id":1241438,"id":"Q1241438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$1CE2131F-31FA-43FD-BFA9-C2B70E01C2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4295b0b0256baaebe15f3e2ed6b1d0f2e2328a17","datavalue":{"value":{"entity-type":"item","numeric-id":5450573,"id":"Q5450573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$6EC90F47-108B-43C6-9CBA-7013974ACA0A","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":"Q2922496$30C5F868-1FD3-4D81-9F25-2FA4506D8043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"241aa180f62d382f2c3b1543ba2f8f3420878f7e","datavalue":{"value":{"entity-type":"item","numeric-id":3006115,"id":"Q3006115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$BFBE74D5-A154-4C76-A119-6EDC3DA7EC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9538968d5d2fc33860e5459a77c6efa68acaef3","datavalue":{"value":{"entity-type":"item","numeric-id":5596202,"id":"Q5596202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$613EE466-D1D2-48FC-BD6E-34013F6FA264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$662B4643-0977-4066-97C8-72A8D20273C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472dc9372bb0dd59c93566504c1379a2c88d3bf3","datavalue":{"value":{"entity-type":"item","numeric-id":4327830,"id":"Q4327830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$631B7034-E0C8-4AF1-A9D6-E2007BABE94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf83dcd4d8cede63fec63ad1a39afc8ab277e5b7","datavalue":{"value":{"entity-type":"item","numeric-id":1906000,"id":"Q1906000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$B5A4221E-29AD-41CE-B9EF-80CDBDE79D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5632db167ef6c092078898c844446230d593bbd","datavalue":{"value":{"entity-type":"item","numeric-id":5677463,"id":"Q5677463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$9C7E61C9-A6B0-4B64-A49C-BA3825698832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7a573059ef7edd2e363f71e1a7ade615ddfc340","datavalue":{"value":{"entity-type":"item","numeric-id":5411445,"id":"Q5411445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$3F12B1D4-2BE4-467D-9F5B-3E7359B81B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$13381721-54AE-42AA-9480-7137BEF37DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92106e7769c717dae7741849e4c7b9f1270a7321","datavalue":{"value":{"entity-type":"item","numeric-id":3257770,"id":"Q3257770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$647BE891-BBC6-4563-9BD4-1C4F52F205D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ea391b40383a90b131a418ce786a45da6ee431","datavalue":{"value":{"entity-type":"item","numeric-id":931408,"id":"Q931408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$BDA19DA2-8F08-4EC5-B5C1-D001E99FEE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5898b6cd6c8cfbc422bf04a93a0ea53c804f6711","datavalue":{"value":{"entity-type":"item","numeric-id":1005940,"id":"Q1005940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$49EB7E5A-8F1B-4914-B61B-7AB1902217A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556023de527f0a47926ace58f6081826c5c14adb","datavalue":{"value":{"entity-type":"item","numeric-id":5422301,"id":"Q5422301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$264B66F4-42E8-4C0F-A7D1-44A511CE180C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00af5ae470c84dbc4ad8ade0806af8b62fb343e","datavalue":{"value":{"entity-type":"item","numeric-id":5570919,"id":"Q5570919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$F50662B6-6C8D-43BB-A8FE-43A3FD882FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932b60f2de7f0c159be4a614dd7bb695f2120759","datavalue":{"value":{"entity-type":"item","numeric-id":818712,"id":"Q818712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$923C6C4A-9D8D-4E63-9879-9FBCE54E3704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$36AC41AC-C26E-45E7-A6BB-3ABCF2B4D18B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1bef6d6e2b8074d22f3be4d6d5606879b263db3","datavalue":{"value":"10.1002/MALQ.201300016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922496$4DD99EC2-0BA9-453A-8994-63B9185FCA3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922496$E1039D3C-EE1C-491A-9906-A0FC5155D7E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90566aea06a1b716bce699d0ee939fc2193daa1f","datavalue":{"value":{"entity-type":"item","numeric-id":931408,"id":"Q931408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a5c8df295fa23662261adedaf7052c389d6df23","datavalue":{"value":{"amount":"+0.779956579208374","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":"Q2922496$5032DA4F-385C-4855-AD44-69621B18CF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bec22ff490172df0fc4deb3bf2206207f1361fb","datavalue":{"value":{"entity-type":"item","numeric-id":1576374,"id":"Q1576374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"264b287c95cc2f1529a4eda3c444b49e02d497d0","datavalue":{"value":{"amount":"+0.775105893611908","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":"Q2922496$D5C73BBB-84AE-4EA7-9F14-A2997140B420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"378af788c7c8a535513b651cd71e030aec254b41","datavalue":{"value":{"entity-type":"item","numeric-id":1005940,"id":"Q1005940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5488b74508b3a8780d95d4361f1847fd328424f0","datavalue":{"value":{"amount":"+0.7677321434020996","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":"Q2922496$1345C236-22DE-4930-9DBA-BF702BC8EB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8e56889084caef4ab878bfb77ff1a57900c34cf","datavalue":{"value":{"entity-type":"item","numeric-id":757363,"id":"Q757363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c39f7ea40ad573db68dd7a9d3572ed8a1b0f3d","datavalue":{"value":{"amount":"+0.7643447518348694","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":"Q2922496$1B81F46B-A0B2-457F-95F2-DCB8FE006D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d917e395b1ef507ef9bbf1228a3e92eb914ce008","datavalue":{"value":{"entity-type":"item","numeric-id":818712,"id":"Q818712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5ecf01829351c3a5095836d770331c2dbb60847","datavalue":{"value":{"amount":"+0.7581495046615601","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":"Q2922496$2109C814-B867-4BD3-B8F7-97E6ED5B81ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong negation in intuitionistic style sequent systems for residuated lattices","badges":[]}}}}}