{"entities":{"Q1933768":{"pageid":1944510,"ns":120,"title":"Item:Q1933768","lastrevid":69335964,"modified":"2026-04-13T06:19:29Z","type":"item","id":"Q1933768","labels":{"en":{"language":"en","value":"\\(n\\)-fold implicative basic logic is G\u00f6del logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6130823"}},"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":"Q1933768$06757CBB-7C18-4109-A62B-BB42CD4E6486","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cef187e8c5327147fded4acc0a23991dfb910107","datavalue":{"value":{"text":"\\(n\\)-fold implicative basic logic is G\u00f6del logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1933768$34AAF592-63D0-43E8-A3CE-652A3FCBC990","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"855bb8f34277096d619d93db267be365aec19da9","datavalue":{"value":"1274.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1933768$73663FDD-C60D-4EE1-83F5-01DB2B96ED09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3657751368a20b4a9b2c6238f005be710ad10346","datavalue":{"value":{"entity-type":"item","numeric-id":218965,"id":"Q218965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1933768$C89CEAAF-0DFB-40D5-B589-8D4A653B8C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1120e38c9501fe4331f3a0cfb50ddf826d069c","datavalue":{"value":{"entity-type":"item","numeric-id":377672,"id":"Q377672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1933768$6C979D45-56FD-4EFB-B3E1-91CDF50ADA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e20e4333845b65b5346333c3863b0d76a3154b","datavalue":{"value":{"entity-type":"item","numeric-id":301362,"id":"Q301362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1933768$BF30BE8B-AFFB-43CE-BD1B-FCCDFD966C26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1933768$C4C4F8E0-2CE8-41EB-B70B-6D599A9C4594","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a659ba98165083069101f0f523df96a9746d5ca","datavalue":{"value":{"time":"+2013-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1933768$0DCDDDF4-CCAB-4F96-9CD7-D3911A611369","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a1f71dbc60bb7f9dd7d337c402b54d10a52c48ce","datavalue":{"value":"This paper unfortunately contains a mistake which invalidates all the relevant results in it. The mistake was found too late to avoid publication. An erratum was published in [ibid. 16, No. 1, 183 (2012; Zbl 1274.03048)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1933768$D4E42071-3C7D-4DC8-9768-C08B98D2D5E6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c9d8398a1ca729172ff10438ecb041a167d56eac","datavalue":{"value":{"entity-type":"item","numeric-id":387624,"id":"Q387624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1933768$D7D1F313-256D-422B-AA8B-802E413B82F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1933768$D3FC196C-44C6-4EB6-908E-DD46C3FA7C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1933768$D4F75F2B-2724-4C4B-883A-4B85583CAD17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b56ea12cddf9862b812c40f7fe429bad6e9b1d6","datavalue":{"value":"6130823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1933768$441CE4DB-67A9-448C-A693-819CBFB7AC04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7c34ebf3338e5f356c675204b3f814aa2e89490","datavalue":{"value":"\\(n\\)-fold implicative basic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1933768$E138AB77-D3D3-4F5F-85D5-801EBB3EE5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1933768$1C6BC9AE-0803-4881-84C1-93CBCD867ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a993c44ee7a170fe20ad50759945859677a0e5","datavalue":{"value":"BL-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1933768$5DC9EF5C-07A0-4FED-875D-67589B5D9CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d333bec9fcb980bd4f276c1e38ed7badca083f4","datavalue":{"value":"G\u00f6del algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1933768$E6A6204C-05FE-48C6-9663-B99B53A92A7D","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":"Q1933768$37215BC6-817E-4CEB-A497-631EBB7187BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebb7324b78f396097b90f5cb692d1c64e6c3ff37","datavalue":{"value":"https://doi.org/10.1007/s00500-011-0761-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1933768$C79C806E-78E3-40C8-8B20-A9BE6B95D2C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6dc89b9fd1e51923ed5b08b470e44a3a0c99163","datavalue":{"value":"W2088587676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1933768$26FFC520-FBF0-4AA9-B350-046B753ABB1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1933768$41F2F568-72AE-404B-BC9E-140EBA176D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"266a6cecaca49009ba24255871087a156ad9b06d","datavalue":{"value":{"entity-type":"item","numeric-id":2500772,"id":"Q2500772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1933768$7080BF0C-12A5-4099-8642-E1D0A1DC851A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f2ffed8689566b5025dda48cbdd299a990c316","datavalue":{"value":{"entity-type":"item","numeric-id":5387330,"id":"Q5387330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1933768$6BA3DE9B-FFCF-413E-BC0D-9E9DB0B6755F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b27cdb796575b95fae7b83f3d991355b15a3132","datavalue":{"value":{"entity-type":"item","numeric-id":2476639,"id":"Q2476639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1933768$7079C43D-D399-4E68-88D1-5F5C04BABD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4869b8b73e95b15c37eb0156f6b9fbfe242260cb","datavalue":{"value":{"entity-type":"item","numeric-id":4506244,"id":"Q4506244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1933768$1DFEC2B5-DB94-4C4A-91B7-FC8929B40B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be3e1cbaec993f625577596c2642cc525101c659","datavalue":{"value":{"entity-type":"item","numeric-id":5950710,"id":"Q5950710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1933768$63A0D21D-4E96-4A6B-BE05-41581CD90075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"503952dac3d949291cce9b0196381f763ea29d70","datavalue":{"value":{"entity-type":"item","numeric-id":3437041,"id":"Q3437041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1933768$5413B1AB-16F5-4C2B-A9FF-93685A1096B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e65e167bd3a2434405d7e0a3206f3f0bfd5875b","datavalue":{"value":"10.1007/S00500-011-0761-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1933768$908ACB1A-2FE0-4722-AB0A-10E8BBF89A4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7f9a26e251b84fff0a71d7cd3f9392920ba7ef0","datavalue":{"value":{"entity-type":"item","numeric-id":6083023,"id":"Q6083023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b142ecabd37c5f49259a911e70201b0ebaf5f1a","datavalue":{"value":{"amount":"+0.7302880883216858","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":"Q1933768$A3544C85-1DBF-44A8-99FC-E6DB8E8E3623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b47140620a3a7d1343da245a058b23847a3b4387","datavalue":{"value":{"entity-type":"item","numeric-id":2893327,"id":"Q2893327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d763da42f0e849d3d728328184608c9597f577d","datavalue":{"value":{"amount":"+0.7243706583976746","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":"Q1933768$B5058806-D7F1-484D-A7E2-B92D3BC48959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c044a77cf5b18e2d41feb26c1acded2d1ac0131","datavalue":{"value":{"entity-type":"item","numeric-id":390714,"id":"Q390714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c3320ff0092eb19a2293bf04a896d8d1ab8400","datavalue":{"value":{"amount":"+0.7191312313079834","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":"Q1933768$683B9B30-5A3D-4EB6-938E-27C9D6E4CEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e227a41d905da745edd129850511cda5bc491619","datavalue":{"value":{"entity-type":"item","numeric-id":1697319,"id":"Q1697319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"716d7e883d8899b9dc462cdcff23fafa84ccf5f0","datavalue":{"value":{"amount":"+0.7111066579818726","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":"Q1933768$BAADBB67-0B72-4678-9BF5-FAB82CDFC919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69ba5a817d9900d7d99ac4e47495a9e4348f85fe","datavalue":{"value":{"entity-type":"item","numeric-id":935025,"id":"Q935025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"662de59384c0d37aa8033c043fdbe45515f07086","datavalue":{"value":{"amount":"+0.7030573487281799","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":"Q1933768$49816509-B6A6-42B6-B2A5-D807B24BD435","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(n\\)-fold implicative basic logic is G\u00f6del logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(n%5C)-fold_implicative_basic_logic_is_G%C3%B6del_logic"}}}}}