{"entities":{"Q689216":{"pageid":691065,"ns":120,"title":"Item:Q689216","lastrevid":63639036,"modified":"2026-04-11T14:31:43Z","type":"item","id":"Q689216","labels":{"en":{"language":"en","value":"A structurally complete fragment of relevant logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440200"}},"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":"Q689216$A9F7BF41-171A-44E7-A3A6-A4696E0462AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d71a4081ef3005325a9de6cde6f28017c787af7e","datavalue":{"value":{"text":"A structurally complete fragment of relevant logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689216$BC78400E-07C7-4A2E-B5B5-68F36DEF1C52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db5cc71b033ad7e5c9b08886999c8d881e7355e7","datavalue":{"value":"0798.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689216$5FCCE9AD-B75A-4E38-9626-C4736C3799D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bcf20fbd6e518d6ec705e75c1250ec189c8029f","datavalue":{"value":{"entity-type":"item","numeric-id":689215,"id":"Q689215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689216$BFC62F1B-16AF-4E93-A2FB-67A6DA3EE07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d56eee76cc68923f40cf5d662eafe557e3cda46d","datavalue":{"value":{"entity-type":"item","numeric-id":452354,"id":"Q452354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689216$362D2D0E-8D86-4A9C-8DAD-7092B69A27AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689216$DA6B33ED-9A84-4176-8821-3FB03862CA53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f76288a30164f14e28f1a275b49eb5d03da81a0a","datavalue":{"value":{"time":"+1993-12-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":"Q689216$93CB8CB6-EAE3-4E85-B6FD-25D15963A517","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c705943933e0b5d48a46e5306b54a6bdff363ae8","datavalue":{"value":"In the fragment of relevant logic \\(R\\) whose connectives are \\(\\to\\) and \\(\\&\\), every admissible rule is derivable. The proof is a non-trivial variant of the argument in the intuitionist case.","type":"string"},"datatype":"string"},"type":"statement","id":"Q689216$56FE048F-B877-495C-8962-B07F6E3521E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689216$FB4B457A-2C8E-439C-AAB6-AA2F6AA3710F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47b91414b9e4589bb534e5c18cbaaa5b890b2392","datavalue":{"value":"440200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689216$6A1B182B-3E15-4AF5-82EA-9D24FAEC6D18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548bc79ce362c691471fdce748b63aafcb850b45","datavalue":{"value":"structural completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q689216$D37376A0-0ACA-482D-BD06-1C1D5DEF3E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"312f9c834dcb41374f05f35a59b840eede4c6df8","datavalue":{"value":"fragment of relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q689216$DBAFE98E-E509-4B10-96FC-466DB8905976","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50f26af6018e0e17dd62bb96a7b7b7241e4da546","datavalue":{"value":{"entity-type":"item","numeric-id":1891932,"id":"Q1891932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689216$8E6E3E3F-B510-49EA-B833-EDAEAFC2A258","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":"Q689216$C6DE3BAA-EAEC-4D0A-9453-E6154FF532A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59180573d955b59a97f11a98561ce0a7a4a171cc","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093634487","type":"string"},"datatype":"url"},"type":"statement","id":"Q689216$FC7EC888-060C-40EE-A555-9868D0F4F6BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bed7d0795a15f70166c478aaab2effde7090591e","datavalue":{"value":"W2076274196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689216$8B41DC2C-4DEA-48B9-A0C1-E25DA811D52D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"220a4780c089f838aab006634957df6a5e0a6afb","datavalue":{"value":"10.1305/NDJFL/1093634487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689216$15BB767F-80ED-44CF-9AFE-C4C262DA521A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6076118f3c478e429e1a131aeee112a6427205e","datavalue":{"value":{"entity-type":"item","numeric-id":2804477,"id":"Q2804477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7237c1f2448869e904bc3cc377684392c3a02cf8","datavalue":{"value":{"amount":"+0.8745383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689216$F934DF3D-BAF1-472A-99C0-D06DDE09C6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50162e624bbd79419f5271133c52926f1d8c0bc8","datavalue":{"value":{"entity-type":"item","numeric-id":3784049,"id":"Q3784049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b533815fd9563d37c4e0bf96aaa8a07a97045fb","datavalue":{"value":{"amount":"+0.8629651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689216$F91E3213-F6B1-44F4-9767-5491CB0BB807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57dd0507b6eca4c052422efba33d63ea95c7505","datavalue":{"value":{"entity-type":"item","numeric-id":4318167,"id":"Q4318167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"934607129a12cafbd89cc709465f1c5a1ffd2032","datavalue":{"value":{"amount":"+0.8558167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689216$2BC25CBA-C7AD-41A1-ACB1-2FB67A852BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73b60495c7cdcf434c8cf133591f705342fef518","datavalue":{"value":{"entity-type":"item","numeric-id":6041910,"id":"Q6041910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5de5c7241685c244dff3064e7407c55e21c76854","datavalue":{"value":{"amount":"+0.8540039","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689216$FCBA9464-194A-46A4-A85E-4A439F6E3D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4cb720d0aacec9201b3dfb05af7488b238e2be6","datavalue":{"value":{"entity-type":"item","numeric-id":295911,"id":"Q295911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07a3fb59237795d0edd718f9927aadafe4f09f51","datavalue":{"value":{"amount":"+0.8529583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689216$2523AF8A-E402-486A-BD71-D36CC9DB438E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d18b5b381fc9c024108e091646c374098b4d9910","datavalue":{"value":{"entity-type":"item","numeric-id":2849811,"id":"Q2849811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96de69d6b78ca3dfaae20fd476ce028b752662e","datavalue":{"value":{"amount":"+0.848526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689216$96F3DA07-5BEB-43A4-B997-1C83C92F5072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4b77b1aa378398b2f7350e6fb1b152efe5f98a0","datavalue":{"value":{"entity-type":"item","numeric-id":807614,"id":"Q807614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d79aa49c32df14dafe625286e54adb5d281f4bf","datavalue":{"value":{"amount":"+0.8473022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689216$210D626A-A4D2-4A3E-A207-300433B3FBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd92fcbd187999428755f3015a6c0079f87cfd3","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a072a3e4ceab43e3374caccfaefb14beb21780f5","datavalue":{"value":{"amount":"+0.8465384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689216$DA795D95-F314-47D8-9F5D-4C70ABD8A83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02c8c4ab34df9db7fdd5ecc6d84e14472d11a5ca","datavalue":{"value":{"entity-type":"item","numeric-id":3351350,"id":"Q3351350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e43991e0d88d093c79889d870fe64f4579392ae5","datavalue":{"value":{"amount":"+0.8454678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689216$43D91363-98B1-40FA-9292-28AE3DA86AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4204f808519bc56b4b155cc0d66be7c49cec5f79","datavalue":{"value":{"entity-type":"item","numeric-id":3342540,"id":"Q3342540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a658c6c0c8fcfec112e8d15f2f3f3018ca3abe","datavalue":{"value":{"amount":"+0.8446083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689216$35000844-D81E-474A-A2E8-379360E72CD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A structurally complete fragment of relevant logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_structurally_complete_fragment_of_relevant_logic"}}}}}