{"entities":{"Q1342215":{"pageid":1352954,"ns":120,"title":"Item:Q1342215","lastrevid":70191567,"modified":"2026-04-13T13:03:43Z","type":"item","id":"Q1342215","labels":{"en":{"language":"en","value":"Minimal belief and negation as failure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 710217"}},"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":"Q1342215$103C867A-53E4-4021-B9C7-7B373FC8CB9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d10d509ebd46edb0dd7491f894dc0b122d96e406","datavalue":{"value":{"text":"Minimal belief and negation as failure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1342215$C4AB9D6D-2AC3-404E-A321-DCBE996DA50E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0cdfe5d355ef7a57c6dc194d482d9e6d10eac83","datavalue":{"value":"0820.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342215$96E6BDA3-4FB5-45F7-B966-5244224D5BF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c45b32339b61bbe899b981b8f9f99076b410e1c2","datavalue":{"value":"10.1016/0004-3702(94)90103-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342215$EE7D0CA5-F239-41C8-B9E8-BD4CCE9DB8D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"264349f01f15aafc786d236704010273459ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":234724,"id":"Q234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342215$2C05A202-7B31-4449-85B7-91970A3AA7BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342215$49A8A950-116E-4014-9C35-3F0BE35F1C58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a1529ffb26db2b22f3624b5eae79e54a7bbf813","datavalue":{"value":{"time":"+1995-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1342215$E2A7B48F-8D29-434B-AED0-C7818E0A4030","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"34b2cd25b8ff1f69a93aa9b3b899a9eeae6aa65b","datavalue":{"value":"The logic of minimal belief and negation (MBNF) is a nonmonotonic system using two modal operators \\((B\\) and not). Its semantics is a rather straightforward generalization of standard approaches to first-order semantics. Although MBNF is a simplified version of Lin and Shoham's logic of knowledge and belief, it turns out to be very expressive and can be used as a common framework for describing the semantics of several nonmonotonic formalisms as (disjunctive) logic programming, default logic and circumscription as well as for the theory of epistemic queries developed by Levesque and Reiter.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1342215$D2C31A04-165B-4C71-A7AC-785CF4663ED8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342215$78AE0760-8EF8-49DA-9D07-36D89EE07E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342215$68E81A07-C56C-4A5C-B623-D452A6EC4901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342215$C9A1BC84-FC47-4B62-B627-3DA950F9C0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342215$77C6532D-9E9E-42EF-A700-83754CCDE0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342215$CF44BBA6-9622-4936-9A09-877E8B6CE78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342215$13726812-CBEF-4967-90F3-158DB6184891","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df507330ba2147a46f57ae044542e4131449d545","datavalue":{"value":"710217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342215$4A353D03-99FB-40A0-9C6B-54C9571112CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd8ae74b8d1b33e89803c9ff9056c64ae23e49a4","datavalue":{"value":"logic of minimal belief and negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1342215$08DD2DF0-1734-4654-B8E6-8DBC9267227C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1342215$E6599111-EDEA-4CE7-836E-790D7F18CA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1342215$5D4624E3-E277-46B0-8B89-C983319ABED0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"22d20eceb312e30c725f44ffe52ae38696760214","datavalue":{"value":{"entity-type":"item","numeric-id":361804,"id":"Q361804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342215$F0C9A635-F5E1-40C0-98F4-07EE498F49B5","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":"Q1342215$EBC52147-4723-4E6B-BE39-F537FCC2CEE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"623fa35fb6478c4d7b204f73827e6e6b8079bb3a","datavalue":{"value":"https://doi.org/10.1016/0004-3702(94)90103-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1342215$1DFBA2F5-5237-4964-96C2-F280591A67D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"893b8a502d1f3c1cc0eab899ef77e2d48d3d56a8","datavalue":{"value":"W2034442203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342215$E2FC2E59-C917-4102-BF1A-023B6F8BBC73","rank":"normal"}],"P223":[{"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":"Q1342215$D4B4C82C-7DEB-4967-8675-85BA36127D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"621cdcec343b8efd3c2373261ea2507bb6c2c9ee","datavalue":{"value":{"entity-type":"item","numeric-id":3703315,"id":"Q3703315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342215$286157F2-6899-468B-89EF-A10BD61A273B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62005ec72ec2f611f752e07bf6457e9307f8e1d5","datavalue":{"value":{"entity-type":"item","numeric-id":799390,"id":"Q799390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342215$70A8A68E-B202-4A81-91AA-EB0310F7713C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307e53818e6dad7b853304ca71ddc563f5e76e0d","datavalue":{"value":{"entity-type":"item","numeric-id":2276949,"id":"Q2276949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342215$21262974-A2E6-4FAA-AA2C-1E3E01A7A0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddaa8e0c17da8e06531adaa0adfd9aea2becfa39","datavalue":{"value":{"entity-type":"item","numeric-id":4012230,"id":"Q4012230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342215$2737FC58-E254-44D2-B8A1-FAD58E07E0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee48a29aa3f3bb2f3ab70d88d00cb8a5a330562f","datavalue":{"value":{"entity-type":"item","numeric-id":3484810,"id":"Q3484810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342215$7DAF12A0-5D9F-4D69-B90C-18AF2B97CEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2f5bc92e9392637b6279fc20e9ab64715fa973","datavalue":{"value":{"entity-type":"item","numeric-id":1199920,"id":"Q1199920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342215$7AC20383-9AD1-4531-B153-38496BECBA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342215$5BE1E7F4-306D-48DA-83F3-573239E59516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb36cc314c6133b76696002d821bfa258897a606","datavalue":{"value":{"entity-type":"item","numeric-id":4015954,"id":"Q4015954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342215$C010CB5A-87D7-4FAB-AE97-7D65E0549217","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":"Q1342215$FD044DD5-85E8-452E-90A0-CF0F4266E31A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caaeaa5a0a10314a21f9537a0185e6d12dc5a034","datavalue":{"value":{"entity-type":"item","numeric-id":4704216,"id":"Q4704216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6df23a765976a6ebde61d4a6bca3b83157643e","datavalue":{"value":{"amount":"+0.9503491","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":"Q1342215$282E0895-50C1-4850-B9DF-0D9788BF4E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533bd593cc868c3a9807cfdefb8ecab49966ab34","datavalue":{"value":{"entity-type":"item","numeric-id":4317909,"id":"Q4317909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca57db9db92b58902fc9f2035043d5808abfdfc8","datavalue":{"value":{"amount":"+0.9178131","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":"Q1342215$50053B95-1E08-4A6F-B2CA-21BCE9765D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb81eef73fb07b601fbc198f85cc01348ef49b8","datavalue":{"value":{"entity-type":"item","numeric-id":4207881,"id":"Q4207881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28da5bc6209ed47b49bbadd2ed968ea0b5f8a698","datavalue":{"value":{"amount":"+0.8739933","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":"Q1342215$44AC4CA6-FF30-45A1-BC1E-57852F8540EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cae52f1a21ba66a900521f89b38195a30a2d9da","datavalue":{"value":{"entity-type":"item","numeric-id":3732985,"id":"Q3732985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f6a54f8f42a862c237a8e7281fd3950a55a0437","datavalue":{"value":{"amount":"+0.86835355","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":"Q1342215$DE1B0E0E-137B-46A2-A86D-42E2AFAB7217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46deb69beebee1eb6ac1f30977d18298642f220","datavalue":{"value":{"entity-type":"item","numeric-id":1861897,"id":"Q1861897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bca8df2d3d3dec4cd45d77eb0a52ae1800e4dbb","datavalue":{"value":{"amount":"+0.8555529","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":"Q1342215$594B0927-F1B8-42B9-B6F0-4D417230252A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8576f7229ec5335999039d33562d6d221a7e97f","datavalue":{"value":{"entity-type":"item","numeric-id":4028794,"id":"Q4028794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf824448bb1bf1dbdc9063e6aeaffcd1973b05c","datavalue":{"value":{"amount":"+0.8514397","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":"Q1342215$E16EEEE3-3D87-4D17-B6DA-FAD7BFF55FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7601488fab2a9837ebd93d287a51f831706e0237","datavalue":{"value":{"entity-type":"item","numeric-id":2751058,"id":"Q2751058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc08d53510c860bd34b2c5bbe956538f6c799cec","datavalue":{"value":{"amount":"+0.8372883","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":"Q1342215$53A7C6E1-2BE2-4545-B584-0CCC1043C3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c33966bad55ff95e0721e1f5951cd0711d2c41","datavalue":{"value":{"entity-type":"item","numeric-id":5117207,"id":"Q5117207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dde9378fe6640fec05d1794ed78f057d79eaf680","datavalue":{"value":{"amount":"+0.83412886","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":"Q1342215$C8042C01-520B-49AC-85BD-4E057465D5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe478303c052fc6d409eb39ead2f77b7693391b0","datavalue":{"value":{"entity-type":"item","numeric-id":3826525,"id":"Q3826525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9521d471068adff8a4a14d93542d58a5c2107a17","datavalue":{"value":{"amount":"+0.83329046","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":"Q1342215$6FC1C9D5-2BA7-442F-9BCA-0A846B2A97E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a68ef1804f2d2c624b23f624627032b9a5c99ed","datavalue":{"value":{"entity-type":"item","numeric-id":4878771,"id":"Q4878771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"857ba28d1984cc41d250b03aa8161794ce0d589a","datavalue":{"value":{"amount":"+0.83273697","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":"Q1342215$7BAFDAA1-E3BC-4C5F-85BC-759FACD6C408","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimal belief and negation as failure","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimal_belief_and_negation_as_failure"}}}}}