{"entities":{"Q2844158":{"pageid":2854878,"ns":120,"title":"Item:Q2844158","lastrevid":83756645,"modified":"2026-05-07T10:52:13Z","type":"item","id":"Q2844158","labels":{"en":{"language":"en","value":"Implication and functional dependency in intensional contexts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6202346"}},"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":"Q2844158$9D04D93B-BE77-48D9-8CB1-87536654B576","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4efb39f354dcafce0615c54dee3f2d51d3558bb6","datavalue":{"value":"1270.68296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844158$EC52B00A-2E62-448F-9BE3-6322058278D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"820f1fcdc41756af2ec30edf712a6c935666941a","datavalue":{"value":{"entity-type":"item","numeric-id":2844156,"id":"Q2844156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844158$F948ADA7-2609-438A-BA15-FA1D9D26EFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e5c80ea8006af3dffb4d6e083bb79bab3d0044","datavalue":{"value":{"entity-type":"item","numeric-id":2844157,"id":"Q2844157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844158$05F265A0-3492-4F0F-BFB5-DBD7F26247CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b61c76c7b3527a3b135cd1d5c3feb577e0722a96","datavalue":{"value":{"entity-type":"item","numeric-id":406460,"id":"Q406460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844158$D89E934F-995D-4850-BB3C-FEC2993DCF35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3ec29239080af298f31ca919d4ec7bbabbcf682","datavalue":{"value":{"time":"+2013-08-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":"Q2844158$B9F37F6F-1B2F-4123-A2A2-360C6FC5F188","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844158$20119A9D-BC8C-4061-897B-C8A67FC38B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844158$AA59A85E-E77D-4C28-9D04-F00B41B6D02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844158$4850D211-FF9E-4BB2-BB1B-36711A07DD70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f380a3bbaecb50de91716af85b815f6aaf21c9c6","datavalue":{"value":"6202346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844158$02BE071E-E166-4FCF-89E5-FF90AD706B98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd5d0be6f53a816d879a1d581e94b64ef6c90f5f","datavalue":{"value":"formal concept","type":"string"},"datatype":"string"},"type":"statement","id":"Q2844158$5EA6104C-10C5-457A-8546-790C4A7FACC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c1cdec68f6f531065eeae64be8360df19d70183","datavalue":{"value":"functional dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2844158$AEF3C13C-B515-424D-845E-CC43EDCBFF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ffe387100c9d49a3e2011c6542d8e65fcc50bd","datavalue":{"value":"implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2844158$B279AC3F-2F86-4F6E-96C3-8BDE4D26EC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1524f71cc66b46d395687e938304f600d995dfd6","datavalue":{"value":"Armstrong inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2844158$72B8B470-4411-45B8-8241-35ED34DF8308","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":"Q2844158$50B86C2A-25AA-4817-B54F-D861A01A8881","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9697b6e7bc94fc9f956d65d1c89599fbdb735b6","datavalue":{"value":{"text":"Implication and functional dependency in intensional contexts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2844158$70280AAA-6EFD-4B89-B9DE-DD3413CD8267","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"552a92a731477719bc06c8c1eaa310bcfae10a60","datavalue":{"value":{"entity-type":"item","numeric-id":6558047,"id":"Q6558047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844158$513D29C7-52B2-4279-8B7C-F20603949338","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ce59b8bc3fa0cf04aa8738656e797b76e2cd1da","datavalue":{"value":{"entity-type":"item","numeric-id":2254619,"id":"Q2254619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e583f3ee000c024c8b1b0b65a0e72fca46b54f7e","datavalue":{"value":{"amount":"+0.76874840259552","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":"Q2844158$B45A799D-B207-4568-9E4D-6133859D12A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"932c0abe33cba691768e74b4018b806b7b90898d","datavalue":{"value":{"entity-type":"item","numeric-id":5710374,"id":"Q5710374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d40a1a7041c3f5c9ba8875ec6fa0a9b34c58c81","datavalue":{"value":{"amount":"+0.7576136589050293","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":"Q2844158$727E8B48-440E-4283-8083-0E395044D8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f653702c16a582bb3c16a9ac47580d3195164dd","datavalue":{"value":{"entity-type":"item","numeric-id":4409019,"id":"Q4409019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1688a75a1cf181a1cea9ecb01ab0ffe92315191d","datavalue":{"value":{"amount":"+0.7561270594596863","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":"Q2844158$527696B2-2D72-4D1C-AAC7-A48F95F56E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c160aedf794540b81cf01ef5660be7da87df4d81","datavalue":{"value":{"entity-type":"item","numeric-id":3426352,"id":"Q3426352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1688a75a1cf181a1cea9ecb01ab0ffe92315191d","datavalue":{"value":{"amount":"+0.7561270594596863","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":"Q2844158$62973219-A345-4581-8EA2-5BB13D1BC057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6eb7c02265cdb40b50527157ecf1a76701ee32a","datavalue":{"value":{"entity-type":"item","numeric-id":3830524,"id":"Q3830524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"557ae6736adf2f1a1762fb82d367df87dae497ab","datavalue":{"value":{"amount":"+0.7501352429389954","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":"Q2844158$ACE128D0-60F2-48E8-AE89-77E9F7D8F2AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implication and functional dependency in intensional contexts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implication_and_functional_dependency_in_intensional_contexts"}}}}}