{"entities":{"Q673380":{"pageid":675229,"ns":120,"title":"Item:Q673380","lastrevid":46765086,"modified":"2025-12-25T13:27:44Z","type":"item","id":"Q673380","labels":{"en":{"language":"en","value":"Combining explicit negation and negation by failure via Belnap's logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985539"}},"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":"Q673380$363EEF41-EB04-44FD-BD31-2FD4AC26DDEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"830c02ae5330cc087a364cf828966929cbbb68cf","datavalue":{"value":{"text":"Combining explicit negation and negation by failure via Belnap's logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673380$CEF4BAF7-4C4A-4FE6-927C-B74787B9A52C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26a895a51b12d547948fd92844d51b05e68a44ce","datavalue":{"value":"0874.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673380$EC9E24C0-2F32-4051-BAFB-AF72C10E3C94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d56ccee9ac125ec4a90e53907b3deeb14aff85e7","datavalue":{"value":"10.1016/S0304-3975(96)00125-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673380$6E37D79D-E84D-4242-B564-DE8887B3C4AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cbcb47240bdb54fc9170b457d0d32b5a471d25f","datavalue":{"value":{"entity-type":"item","numeric-id":512528,"id":"Q512528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673380$16932813-EA95-4A4E-9054-F7CCCF35EACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3af5bd70bdf1aab77620ece66f5e40dd3ce66d83","datavalue":{"value":{"entity-type":"item","numeric-id":272012,"id":"Q272012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673380$BD0D49C0-17EB-4342-B25B-D65B7C8D55E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673380$B808D1B9-BE59-4716-8341-C1A801AC86E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673380$DE8300AC-E456-4A1E-ADC7-AB904B90336F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673380$30AF0DEF-55BF-478B-82CA-E7DE281F2712","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8ca8f516cfccdb65a254ccf979a17f24d79bc4d","datavalue":{"value":"985539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673380$27006942-4709-4AD0-83CD-B9A071C3B436","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06b1625cec1e42314487cc2a54cf2f303280ded","datavalue":{"value":"negation as failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q673380$F72E3EF5-B2F3-43C2-86FA-EE6EFBD27EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6d97490c4f3c4f7fc2c93a55c1556b8a588a8b1","datavalue":{"value":"explicit negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q673380$0E39B6DE-7D78-4F53-B268-F3319A6AEA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e661c94278622f819c075f8359f484c87e186a91","datavalue":{"value":"reasoning in the presence of incomplete information","type":"string"},"datatype":"string"},"type":"statement","id":"Q673380$F7CFAF00-3F3F-424B-98D9-D2E4BD3C2323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61d584dd1651835d3a968633360ea41624ebea08","datavalue":{"value":"semantic","type":"string"},"datatype":"string"},"type":"statement","id":"Q673380$B13A6D79-D563-4A45-9267-ECA9641DFCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a6c74929008cb295e7446e771de4f9275144f3f","datavalue":{"value":"Belnap's four-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q673380$E14BA273-E43D-470B-BFB7-219ECC407449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q673380$CCE224AB-14FE-473D-A674-B0194F5DA5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"733b3864b2e289419346b04e496da3a7a333fdbd","datavalue":{"value":"bilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q673380$859899C8-EFC8-4EFB-A14C-30024F372AF0","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":"Q673380$847737F6-1717-4488-99C4-35F5426A227C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fb509738f0b3e829cca3a409774d7aad2b566fd","datavalue":{"value":{"entity-type":"item","numeric-id":4537432,"id":"Q4537432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673380$CBC6CDA9-700D-4568-A4A6-D21F78DCC5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673380$C9CA899E-5BE5-4E7C-912E-598929633F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a32bc0ef00c31c61a800b19fbaf8e0898507642","datavalue":{"value":{"entity-type":"item","numeric-id":3477931,"id":"Q3477931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673380$6E09AA56-5390-4EE9-8196-DB2EF3CD721F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673380$0B7AD3B8-7307-4670-8B54-183617CC2F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1122bb326851b5a3f1cd4b2ba87fe55baea7e18e","datavalue":{"value":{"entity-type":"item","numeric-id":4352538,"id":"Q4352538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673380$A2B92E4B-B877-4AA4-944C-1A0AD8BEEB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673380$A07063FF-D53C-4C77-AE8B-F42C5E37BC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5df2ed3bccaf33db2911d0fbd26c5af6161bed60","datavalue":{"value":{"entity-type":"item","numeric-id":1123891,"id":"Q1123891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673380$9F626448-686F-4BC6-8A2C-16A482F00904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903f9f52eef04d94cfa524ca594f47f356bcbc56","datavalue":{"value":{"entity-type":"item","numeric-id":3983121,"id":"Q3983121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673380$FA263EAF-9D02-4E81-99B8-2D7FE38FCF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b0e0b0c9f96bf46bc49fc864e9c2ae831530686","datavalue":{"value":{"entity-type":"item","numeric-id":4275258,"id":"Q4275258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673380$CACC2BB1-C650-4847-AF68-DA3AFFE9DF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673380$B89F891F-70BD-4DB3-826C-46B4E8DB4556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673380$0E297225-AE58-4F56-B1CE-DC14E1CAAA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673380$1E09301A-4BDF-4742-AF3C-410A0B2AFECF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e3930b4b9d23f3be48f7037d728e33d66571235","datavalue":{"value":{"entity-type":"item","numeric-id":4296303,"id":"Q4296303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5252b07fa394130f4e1345ef696f3b9d3f28ce5","datavalue":{"value":{"amount":"+0.8236881494522095","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":"Q673380$DB0B1B6E-377D-41B9-B7B5-4D0995B1E036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae991310c4eaa2d67c30ac0b2bc5888ba480b86b","datavalue":{"value":{"entity-type":"item","numeric-id":3204031,"id":"Q3204031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"965ebc5e1c6db014b0092a0226e0a8ca7d60515e","datavalue":{"value":{"amount":"+0.8209196925163269","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":"Q673380$507EF86F-9E29-40CA-8E5A-2C7A739FF661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"861a29e029b8d997e08de3e69d542c1dc8f48493","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbc77bde890fe1d0acd23b765589119e1e3d0c0","datavalue":{"value":{"amount":"+0.8088470101356506","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":"Q673380$CB82955E-9E77-4CE7-9EA9-672DB19603F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:673380","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:673380"}}}}}