{"entities":{"Q1094152":{"pageid":1104904,"ns":120,"title":"Item:Q1094152","lastrevid":66121599,"modified":"2026-04-12T07:41:30Z","type":"item","id":"Q1094152","labels":{"en":{"language":"en","value":"Subsumption and implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4024831"}},"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":"Q1094152$20D6C090-3B60-4998-A998-EEE6FD6C4D24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2424b20de850a4f8a950c2a938224a40c7b5a718","datavalue":{"value":{"text":"Subsumption and implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1094152$E3A6DD61-2B6A-4AC2-B1BB-124859771C6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53a0ad864278b5acc5c539c468e402d53e9c10fb","datavalue":{"value":"0629.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094152$FFBB8366-23B4-42FC-80B9-DCAC9D12712B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14d3504f5ebcee5f6e3365c3bf2fc78bfed07139","datavalue":{"value":"10.1016/0020-0190(87)90103-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094152$C84F5269-5144-4B14-94CA-EE2B82CAB8AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094152$89946176-87F6-4897-8695-07871F3124B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1094152$F5B734A7-A96A-4EE5-8A93-DB257C8DFAF4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a16af1696fe6aa87799d072274f9c4ce5f7a30e2","datavalue":{"value":"Implication is compared with subsumption, the usual test in databases. Subsumption implicates ``implication'', but the converse does not hold. It is shown, however, that if the axiom is not self-resolving and the consequence is not tautological, then implication is equivalent to subsumption. Some consequences and algorithms are also considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094152$65AE988F-DA99-48DE-BEB2-CF86EBF37B01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094152$5CFD2B8D-6F36-481B-B08E-BB3C27A55F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094152$37D2CE88-CEF0-4D81-AD91-BE91DDEDB595","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e6863699ae1394e4dffed59172af34982140145","datavalue":{"value":"4024831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094152$504C6818-B5D1-447F-A9CA-350A0E5BCA68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c51344918cf160612586ae31930ddba9864b1c0","datavalue":{"value":"subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094152$63A6BAF5-F745-464B-933D-5EB566FAA129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2600aaba1f819f7d3ad24bab0da3f73740086e75","datavalue":{"value":"databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094152$2149963B-24BC-4194-AD74-0F8315D4C291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ffe387100c9d49a3e2011c6542d8e65fcc50bd","datavalue":{"value":"implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094152$C8F77F7A-308D-4484-833D-E893EEA0A59B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"86f7461c69892e6e8666af0cf2b495e22fc2a179","datavalue":{"value":"Q59259785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094152$9630D06C-DB8F-4C01-A22E-3134188DC20F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ea9f01e952d7c8681ab3cdbdd2dab7be8167564","datavalue":{"value":{"entity-type":"item","numeric-id":202112,"id":"Q202112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094152$3F3FE834-18DE-4BCB-996B-DA50FFD3E4AD","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":"Q1094152$D534F135-3210-41BD-AF25-2D2F632290B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abada53f4f98e27daed7e875bc75c686de01113d","datavalue":{"value":"https://doi.org/10.1016/0020-0190(87)90103-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1094152$F262660E-688F-42FA-B06D-221CC27EF215","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f2b9b9cd5c9bf7c98a6cc0b34f5b527b534150e","datavalue":{"value":"W1989242777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094152$050CB934-3AD2-4D8E-A98B-11A0C1D74CA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b8154126bb7dcff376a3fb5230eefc60388d66","datavalue":{"value":{"entity-type":"item","numeric-id":5652222,"id":"Q5652222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094152$3823D94A-91C7-4DF5-92C6-78CA996CAF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70200912b15e3f6d8f97f26c605e4ed0a53464e8","datavalue":{"value":{"entity-type":"item","numeric-id":3919057,"id":"Q3919057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094152$A0BF47B3-2AC5-4235-86A4-1A31E9E785E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5deea374b82280f9bb78642ae53787a3c1d6cada","datavalue":{"value":{"entity-type":"item","numeric-id":3340205,"id":"Q3340205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094152$5002CF0E-90AB-4CF8-9FCA-DA4C7BEF44F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"916f90652d55a7043c8bb9e5cf36216cc37b0d7f","datavalue":{"value":{"entity-type":"item","numeric-id":3771609,"id":"Q3771609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094152$411CAF3A-39B3-4FD8-B52E-F49A8B44FC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3bc28bbd3ceb63e1371d2c218ba029bf15797f","datavalue":{"value":{"entity-type":"item","numeric-id":3716319,"id":"Q3716319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094152$F32AA014-DC29-473A-BF75-E5C9665E9D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094152$8038A82A-3236-45CD-93FF-DB6F95CDC4EB","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"b9f76709765a43a1f5977732bea1d8b6300e406c","datavalue":{"value":"journals/ipl/Gottlob87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094152$82A4E6D9-3154-4154-B8B7-2C95D94E1C0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef84c65fdd9ba266444320e8d22a4611afa2aac2","datavalue":{"value":{"entity-type":"item","numeric-id":3804226,"id":"Q3804226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc329bbbd09975d0a723859e7bd1940aea9e911e","datavalue":{"value":{"amount":"+0.7700559496879578","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":"Q1094152$CB79CF34-9FD3-4A43-B889-24A3BDB23180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"167eb97f0eaf05b4e18427bd7a52a9519fe5d618","datavalue":{"value":{"entity-type":"item","numeric-id":4875842,"id":"Q4875842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c53b93e29d06083baaf77ddbdb0c724b1868108","datavalue":{"value":{"amount":"+0.7416374087333679","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":"Q1094152$9C4F468C-5221-4ED1-8CCD-303AD2701709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faeb8350f2dc1ffc2945ecedd321707a89509bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3326888,"id":"Q3326888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d29352f6b5571d35d2cc2dd2b16355d7ad43a44c","datavalue":{"value":{"amount":"+0.7399510145187378","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":"Q1094152$322E83DB-1B3B-4996-B153-14FE3E4A1015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efdbfc9c31ed4f0747b16cf4e8df422f3c222b6f","datavalue":{"value":{"entity-type":"item","numeric-id":4244313,"id":"Q4244313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2b6444c96dbe498b42bff761609eaeef7be611","datavalue":{"value":{"amount":"+0.7287845015525818","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":"Q1094152$CAA3259B-FAF4-41EE-BC3C-CA7CBC6988E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4b8c1c4510b04f54d1d8f72daf13bf8b78792a","datavalue":{"value":{"entity-type":"item","numeric-id":4729408,"id":"Q4729408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"511fe73922008e0b653cc1832527a54097c38db7","datavalue":{"value":{"amount":"+0.7249095439910889","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":"Q1094152$52B3B866-17C7-41BA-B9EA-BFEAAABC93C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subsumption and implication","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subsumption_and_implication"}}}}}