{"entities":{"Q817693":{"pageid":819541,"ns":120,"title":"Item:Q817693","lastrevid":64565349,"modified":"2026-04-11T20:44:48Z","type":"item","id":"Q817693","labels":{"en":{"language":"en","value":"Axiomatic extensions of IMT3 logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013029"}},"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":"Q817693$AFE9CD91-A0F6-48F6-BDA8-03F3EB738F32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba7c67a580b0652d25d65516b248965aae51b038","datavalue":{"value":{"text":"Axiomatic extensions of IMT3 logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817693$1B8DC798-12C4-4E75-85BD-27C23B2C3EA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcf649a75b31d61214ce5b1d92fdf420c6dff335","datavalue":{"value":"1097.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817693$897BA0B8-10CE-425C-A115-D9117D4C1AB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817693$01B067E2-73F6-4FBC-9853-F8DC14858D68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a32b96026a1aa43ce9bf7d3e87290deb94d5e1","datavalue":{"value":{"time":"+2006-03-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":"Q817693$59DD08EA-55D5-4D92-A740-EE2E31F2B763","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817693$B70AA791-A373-4EE0-B82B-7CCEE183D64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817693$686D5C75-569F-45E2-938E-59E9269599B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817693$1E043D9E-1DDE-4C0D-B2AB-806E0815DDA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d502dc6f0924ae74b59f7dcd50088a09bbfb8a33","datavalue":{"value":"5013029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817693$E51C6045-654E-4D49-97DA-FBC40509FB34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"665586881ab1716f78fdebaf1c6a12d953b1f1cd","datavalue":{"value":"IMTL-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q817693$2D72DF5E-2D03-4602-BEE1-6036224C2388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266aeaff7d967d180efc7511785659b56545fecd","datavalue":{"value":"involutive monoidal t-norm logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817693$746065E3-520B-4603-8DBD-ACC58D7C7B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q817693$00BEC97B-3684-498D-9032-31EAA373C698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e4a50f524a853d7093b2872ea866d3349bf61","datavalue":{"value":"residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q817693$FA41F53B-315A-441C-A235-87DBE4B3EBC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"711ab034b82bbde88426a5757c74156a8edace49","datavalue":{"value":{"entity-type":"item","numeric-id":1306834,"id":"Q1306834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817693$855551CE-4696-465B-93D1-AFFC83EBDAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebba8fa657260c6e2e63119a6f78200b48840640","datavalue":{"value":{"entity-type":"item","numeric-id":1306835,"id":"Q1306835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817693$B2842953-E974-49B2-A0F7-ACC54B810021","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":"Q817693$6A13B491-59AB-4B96-96E8-5B96F9C225B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a42d8886dcc75e078cc997c1897bb8b6c662a16","datavalue":{"value":"https://doi.org/10.1007/s11225-005-4647-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q817693$61FA8C8E-5647-4223-8D01-05FFF1ECBCC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3d8bb846f61f5ff7a850e41d38675e22fc473e4","datavalue":{"value":"W2055729154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817693$ACFEA259-3A7D-49A4-8C62-32734F25F535","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817693$9DD0E443-129B-499E-920D-84E3BC21304F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817693$16C9CAF6-10DE-40AB-831E-47775971C7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8acc8675845e1374ddcb2d21ec124a48fdbda5","datavalue":{"value":{"entity-type":"item","numeric-id":1612690,"id":"Q1612690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817693$CA403132-62A3-452E-89C4-DDAE183B326D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a63f680d76dad7cb9a38c192081e6821432d3e","datavalue":{"value":{"entity-type":"item","numeric-id":4465174,"id":"Q4465174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817693$63D2E35A-B094-4D4D-A852-F9B8D18F4043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb522f815a8652a2a902aa38f27fb3ae9a4a148","datavalue":{"value":{"entity-type":"item","numeric-id":2573726,"id":"Q2573726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817693$B0C59F2A-B9FC-48F4-95B4-9D79282020CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b1c985c60e3ec4b8c54f5c2a51c40b9077e49db","datavalue":{"value":"10.1007/S11225-005-4647-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817693$C4D2F048-7A0D-4221-8061-F4A532DF808E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b01437aa957a7f90a998cb6fa58fd41598d883","datavalue":{"value":{"entity-type":"item","numeric-id":2257977,"id":"Q2257977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3657aed3dacdaea2b35ce54c6ba291be3dd20527","datavalue":{"value":{"amount":"+0.7697809338569641","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":"Q817693$415F6768-0B29-45E7-8173-10D003171EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123806aa2340bd712512413491fd289c54ec898a","datavalue":{"value":{"entity-type":"item","numeric-id":2927177,"id":"Q2927177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c135770e8ec5420e21424761cbf5fb491d53bd1c","datavalue":{"value":{"amount":"+0.7475189566612244","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":"Q817693$D215C491-6CA8-4CFE-AEAF-E004221CFB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb189c3bede0df6f85302f82e83bbe19ad1515a4","datavalue":{"value":{"entity-type":"item","numeric-id":2486056,"id":"Q2486056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56508f18c4e05c3547dcafbd22194eabd0c3cc28","datavalue":{"value":{"amount":"+0.7294116020202637","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":"Q817693$95DDAC2A-70EF-4261-8679-965150A2BA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db218fcc3bab2b35c8939c01c8be5a2f15bf4c5f","datavalue":{"value":{"entity-type":"item","numeric-id":1612690,"id":"Q1612690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b82c6e9385a3d18cd27ef6582e878fc136a5211","datavalue":{"value":{"amount":"+0.7262672185897827","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":"Q817693$5287ECF0-2291-4842-BBBF-5656780A616C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d166d37ad59b46aa85a5b124eb4279b98c0e8d4f","datavalue":{"value":{"entity-type":"item","numeric-id":2573726,"id":"Q2573726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6808470ad1de8ddbb5963c245b4dbd74bbe852a3","datavalue":{"value":{"amount":"+0.7259241342544556","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":"Q817693$BCF7241D-1512-43C5-91FC-79E214047B34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatic extensions of IMT3 logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatic_extensions_of_IMT3_logic"}}}}}