{"entities":{"Q1876092":{"pageid":1886834,"ns":120,"title":"Item:Q1876092","lastrevid":73922898,"modified":"2026-04-14T17:44:36Z","type":"item","id":"Q1876092","labels":{"en":{"language":"en","value":"Semantics for analytic containment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2091572"}},"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":"Q1876092$37D7D06B-F05D-4988-B028-4302C8AA5270","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c099169b9399a280fc98241de6853ac42986f89","datavalue":{"value":{"text":"Semantics for analytic containment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1876092$16FB8BC4-4006-4EF9-ABF7-F1B69A01FFCA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c407a3ffda24d45931055af0c66d5d7d6fb7a73","datavalue":{"value":"1054.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876092$4A2BE721-5E85-4D4C-A5D2-4E60D243613A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"911003343fbeffbdaf3f401e660229412802f885","datavalue":{"value":"10.1023/B:STUD.0000034187.37935.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876092$BDC0953C-7C76-4C95-92C7-AAD640DEEBDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9c16e70fe825bd8c0fd240aa69e1639a2dd2b77","datavalue":{"value":{"entity-type":"item","numeric-id":190355,"id":"Q190355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876092$788966DB-8240-4A68-916F-FC3A18D4D886","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876092$1AE47164-EA0C-4217-B809-4137AD8C6548","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"940bfd82d93d0a0f8bba8894177c9d9473a815f7","datavalue":{"value":{"time":"+2004-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1876092$B463FB70-5AD8-451C-8745-13FBB7675E94","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d264a9cba97d879d7dfbab20bb309b451b3d2ef","datavalue":{"value":"The notion of analytic containment introduced by R. B. Angell provides a kind of relevant implication whose main feature is that a disjunction is not always implied by its component. The extension of analytic containment by this usually admitted axiom on disjunction gives, in fact, rise to the relevant implication of Anderson and Belnap, which is called tautological entailment as well. By a suitably designed model theory, the author shows in this paper the completeness of the logic of first-degree analytic containment, which is a system of implicational formulas containing no implicational proper subformulas, and illustrates how the tautological entailment and classical consequence are characterized in the semantical framework.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876092$12B9394D-2FC2-40C7-8BF9-F1ED888EF7AE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876092$C4472F53-DDC1-43C3-90F2-80C575B490C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876092$E66666FD-A9B7-44DE-A72F-7053619B1DEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ad991451dece2c592cbf37f9a729568828f0202","datavalue":{"value":"2091572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876092$041B8939-E2D7-443E-9B6E-129C137A705B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"399a978187ea863a6fc5fc0228c967ee811f4c38","datavalue":{"value":"analytic containment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876092$23B70F80-8631-4C28-A4EB-2DA58785DACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2c3921d666dde100f7140651a610dee9b25f20f","datavalue":{"value":"relevant implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876092$B6E6E2F2-8995-4A92-AA04-B540FB69C180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876092$16C3639E-00F2-4334-A604-1A9B86B17B27","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":"Q1876092$8E8C81B9-C644-4FAC-959E-64E38C84368F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d79f34c2a1b19be2d12dfad598e1370f0014e00","datavalue":{"value":{"entity-type":"item","numeric-id":1090323,"id":"Q1090323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1012971c312e84fcf79726f5bb86a017044335a","datavalue":{"value":{"amount":"+0.7943130731582642","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":"Q1876092$AC3B8F13-0503-42DD-B4A3-12333A9F1C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ea8244b000c360e1279e3a00353aeba84c09a36","datavalue":{"value":{"entity-type":"item","numeric-id":3317079,"id":"Q3317079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae705fae261f4f91384166a4453764d56d497a95","datavalue":{"value":{"amount":"+0.789006233215332","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":"Q1876092$305D050B-A4D0-479E-9952-A4FD90485B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcc68ed11ec70e04d8d9b1a0b1db58a8af3f83b4","datavalue":{"value":{"entity-type":"item","numeric-id":1685482,"id":"Q1685482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b886af5b007fa197c114f5f7bc33c837025541","datavalue":{"value":{"amount":"+0.7875664830207825","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":"Q1876092$37E8A725-1AA0-489B-A4F3-CAD7D41F21CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9139048936ca60bd24fc47934905d52a8d881e27","datavalue":{"value":{"entity-type":"item","numeric-id":801897,"id":"Q801897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899f42b9b24d10bb00d2bcdc027fdad59e6280e3","datavalue":{"value":{"amount":"+0.7710840106010437","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":"Q1876092$29FA4BD6-EA43-4894-822D-657DBFC29544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"142e59cd142d5175dfa6a2755158ae82846b149f","datavalue":{"value":{"entity-type":"item","numeric-id":1683263,"id":"Q1683263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ffcb5084d052151499cc51d029ccbea42d72882","datavalue":{"value":{"amount":"+0.7694916129112244","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":"Q1876092$4F28BD86-62BB-4329-9C7E-620715FC6952","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics for analytic containment","badges":[]}}}}}