{"entities":{"Q917325":{"pageid":919173,"ns":120,"title":"Item:Q917325","lastrevid":65364933,"modified":"2026-04-12T02:05:11Z","type":"item","id":"Q917325","labels":{"en":{"language":"en","value":"An algebraic semantics of notional entailment logic Cn"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4155915"}},"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":"Q917325$B26221DD-D710-437F-A666-DED724D24CBF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc46d997be716c93e5917869a342ca173c8f0bc7","datavalue":{"value":{"text":"An algebraic semantics of notional entailment logic Cn","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q917325$9CC6D874-D18B-4DE7-9743-7F187E9E2D10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fd10e7250ac5ca39a5d54d0bfc9e0f8dae28746","datavalue":{"value":"0704.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917325$059F3608-AA6A-4605-9013-961A45018313","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7bda3945000e72db3d9a7492cc9b8cf9723b668c","datavalue":{"value":"10.1016/0020-0190(90)90079-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917325$F2C7B42C-DE9D-4602-92ED-4E6145296196","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29583797441d21324f80fd397bb4d819a7ed2765","datavalue":{"value":{"entity-type":"item","numeric-id":744078,"id":"Q744078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917325$E3885DD7-9177-476E-A0D2-13FFB8FB4E5A","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":"Q917325$6673CE4F-989E-4DD9-B1D4-A2AB6287EED1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q917325$D08B755C-251C-430D-B25A-ECF0D72790D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917325$4EDA2C5F-F417-4E1B-A257-C0C8360B64C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917325$DA67237A-F1ED-4786-812E-70CD5A718EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917325$63B557B3-8F65-456E-BB6D-E63AE00C05D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba1a6f5d6e7161fd7f6d8796501833dddc40bbfa","datavalue":{"value":"4155915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917325$AE3A44B4-22A3-46C1-B661-1D7C572A74B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cae7dae32502f15dd3a8e0eea8323b697815aee","datavalue":{"value":"entailment logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q917325$39BBAFCE-7153-44E1-A8D9-A196A3B38356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98ed0a0ea5bf33f7a37460e384fb4bb830943c26","datavalue":{"value":"knowledge engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q917325$3F2196B3-F07D-4A47-8B91-35FF5F453D35","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":"Q917325$A0276CB7-3FF8-427F-903B-DC2E01CC5775","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5daf6be85f2d6d6205652155ad2ae927c3705a9a","datavalue":{"value":{"entity-type":"item","numeric-id":3237137,"id":"Q3237137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917325$943974A8-A72F-4193-AB37-502842694E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917325$EC430BE2-FF95-4E87-AE39-1C6EFD13E564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917325$3F765A35-5003-4BC6-8B4C-BFD15AF2E0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917325$4D337FD9-4664-409A-9C13-7718F02602B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd7b22470c4a5e37e5e85a8aa86296795508f259","datavalue":{"value":"https://doi.org/10.1016/0020-0190(90)90079-d","type":"string"},"datatype":"url"},"type":"statement","id":"Q917325$D481C0A2-FC00-4F43-A9EC-637D6F523CE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0813d07534f18c04fa48aba59f950173fd234623","datavalue":{"value":"W2033359462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917325$06F20234-FDEC-4051-BC27-5F4EE246B5F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"529bd007ccb861781fbf6fd44fbe5c1583967792","datavalue":{"value":{"entity-type":"item","numeric-id":4544194,"id":"Q4544194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3446230f6e2c589531493e4071261c1034eb41d","datavalue":{"value":{"amount":"+0.7291483283042908","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":"Q917325$CB877364-D3D8-4EC0-A7B1-E136E1712125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"460ca4ae929b4c53a55172fd950eaf4160a2d2cb","datavalue":{"value":{"entity-type":"item","numeric-id":5492882,"id":"Q5492882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3446230f6e2c589531493e4071261c1034eb41d","datavalue":{"value":{"amount":"+0.7291483283042908","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":"Q917325$D0041C75-30BE-4EF9-9952-3E37ED49D8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad505a3ab5fa333821cb6a5397edb6131296a9e","datavalue":{"value":{"entity-type":"item","numeric-id":1263299,"id":"Q1263299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029a611d291e000a88b6254fdd36bd5ae02e863c","datavalue":{"value":{"amount":"+0.7269970774650574","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":"Q917325$AFF64076-4324-4ACC-BFA5-B5CC83AC3B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1d4267ae9ccb75c911cd4e2207c77deef960df","datavalue":{"value":{"entity-type":"item","numeric-id":484156,"id":"Q484156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2a21c1fe35c693659ebc84ccb31424c00ff9820","datavalue":{"value":{"amount":"+0.7170282602310181","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":"Q917325$213C7BEC-6967-4173-9196-A13C6DE875A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7279b51d47df6dcfcb87d9b6367367ae60eb135b","datavalue":{"value":{"entity-type":"item","numeric-id":4011732,"id":"Q4011732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc22fd1676a4844e60b47980254d203fe362a88","datavalue":{"value":{"amount":"+0.7082600593566895","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":"Q917325$8F5AAABF-B2C9-4A82-82C7-3CB94DDDD5D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic semantics of notional entailment logic Cn","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algebraic_semantics_of_notional_entailment_logic_Cn"}}}}}