{"entities":{"Q5885773":{"pageid":7915325,"ns":120,"title":"Item:Q5885773","lastrevid":57186537,"modified":"2026-03-27T10:15:49Z","type":"item","id":"Q5885773","labels":{"en":{"language":"en","value":"Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7669827"}},"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":"Q5885773$3C733CB7-358C-4C71-8735-D873D243A36A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02d548778063661bda5bce0e90804c2bdf6924fe","datavalue":{"value":{"text":"Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5885773$137427D2-170E-4C04-BF37-77FAE95CF50C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a58eb4c4b59a1ad954c8e82e60e204e3e9001a6","datavalue":{"value":{"entity-type":"item","numeric-id":590824,"id":"Q590824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5885773$84A3A23E-2D99-40FC-815F-995357E9777F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55ec59bb5a9318d90bccd7149395feea6793e4e5","datavalue":{"value":{"time":"+2023-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5885773$A2177E9E-1F52-4B5F-8DC8-585E09BB8FA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5885773$AAC6980D-EC02-410A-903E-B9138EC1932D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5885773$448BADB7-8487-402F-9517-C782DD8D7545","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"341530eaa1dc545a26d04b41448bbeee5b7577c6","datavalue":{"value":"7669827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5885773$AA506B41-375F-44A7-B034-E1C521616E56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1edaeddee64594d84836f6e81940b1399276dc","datavalue":{"value":"relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5885773$122E3D34-705B-489A-B255-7BD23938420A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"579ec375aad8be0cb09acd71857018ec1d4aad3b","datavalue":{"value":"4-valued relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5885773$DAB991E3-2BDE-486C-ADF3-223F31D83D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4207ee3baaaeb24f18b53e8ccc78f1bfdfdc2907","datavalue":{"value":"first-degree entailment logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5885773$EB559FCD-67FD-464A-8E9F-D3918899CCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6501bcf432cd8808abdf1e28419ffbfb675aab44","datavalue":{"value":"variable-sharing property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5885773$4C9154E9-3692-498C-AB1F-AC7977793F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e016e95a03fa91acd49faf44305bd9d28618f2d","datavalue":{"value":"Ackermann property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5885773$7EEAA470-7673-498B-B2DB-A55AE4DD865E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f9755cb74aa6b76cfc4fd1feda0b21f3e871762","datavalue":{"value":"two-valued Belnap-Dunn semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5885773$545E35BB-3049-4394-BEF6-A2AB88E7C094","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":"Q5885773$47E15827-52AD-45DB-AA96-69A6A6E4C124","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a196331103473308c086177b7ab58803342ca3f","datavalue":{"value":"https://doi.org/10.1093/logcom/exac101","type":"string"},"datatype":"url"},"type":"statement","id":"Q5885773$D601C27A-0322-4E74-B239-1A7AE9EB0A4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9452dbbada7bb4777a1224eaee65ee8d87f8c22a","datavalue":{"value":"W4318689657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5885773$7B9C4C94-4DFB-490A-8894-DD5095EE7D79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9999f623648fd9663dae0b2e5797dc7df72952d","datavalue":{"value":"10.1093/LOGCOM/EXAC101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5885773$7DA3FA3A-25FE-4842-AF6E-F4CF4054C1B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5885773$51384A4F-53AD-451A-974A-371FD43B01C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3d5f24b9f4ea27b050880bd4bbeda58b8cf95c","datavalue":{"value":{"entity-type":"item","numeric-id":2695525,"id":"Q2695525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"889f7cd92ce0edfb64583593730a6ca05d31857c","datavalue":{"value":{"amount":"+0.9239789843559264","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":"Q5885773$6F333304-D6E3-4712-8C9D-E471537403D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016a882749d9ac7b51ce0cc2655f73213b0e07df","datavalue":{"value":{"entity-type":"item","numeric-id":5100008,"id":"Q5100008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8ab5186bce9eba46184696097f5d79a4319ae46","datavalue":{"value":{"amount":"+0.8742422461509705","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":"Q5885773$7A8AC73B-EC23-452B-8D51-131B129F34C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b197ad198e42a599b640ac047266c35c4c4e02c","datavalue":{"value":{"entity-type":"item","numeric-id":381004,"id":"Q381004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"674fc36f36bbdb25af61241f0123a8ac4a01f8c4","datavalue":{"value":{"amount":"+0.8056004047393799","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":"Q5885773$A3259664-A693-482F-B60B-4AA943951C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dbb58059239f4220f1ceaed12a05a8a6e93feee","datavalue":{"value":{"entity-type":"item","numeric-id":4644573,"id":"Q4644573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd302bdbd05a1f23177417c7b38a650019be774e","datavalue":{"value":{"amount":"+0.7983982563018799","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":"Q5885773$BF20BCA2-9266-4124-8743-2CB4759FE513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f01107438e4f3c891633909a1e1c5db4b7a548ba","datavalue":{"value":{"entity-type":"item","numeric-id":6111082,"id":"Q6111082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e5e7d65346f0fa35cc0fad2207741396024b78a","datavalue":{"value":{"amount":"+0.7975589632987976","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":"Q5885773$66D06BE4-96A7-40BD-8EA9-414BECCA91C3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5885773$315D3797-9732-43F3-9D26-100D49A86984","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5885773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5885773"}}}}}