{"entities":{"Q1677437":{"pageid":1688178,"ns":120,"title":"Item:Q1677437","lastrevid":52961684,"modified":"2026-01-23T22:14:35Z","type":"item","id":"Q1677437","labels":{"en":{"language":"en","value":"Three-valued semantics for hybrid MKNF knowledge bases revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6810475"}},"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":"Q1677437$31E7A9F3-4575-438E-BC26-909D0EBBF60B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63dcc471022be415812f8d71e68a1eb22cc0f51b","datavalue":{"value":{"text":"Three-valued semantics for hybrid MKNF knowledge bases revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1677437$D8B44735-760F-4916-A1C5-779A8B889B52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f140f331a1045229f04ffad19b73b48ad6714ad","datavalue":{"value":"1420.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1677437$F4FE77E1-50AB-4A42-BDA8-1E9FBA6AFB94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebbe34775ef1d216531e6f0566e565f5ff1b1656","datavalue":{"value":{"entity-type":"item","numeric-id":645081,"id":"Q645081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677437$E3B77F09-5943-41F4-B4E5-7BA09E136E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b69a840a3ed4ff10fd79faf47ee43d62dbbc0832","datavalue":{"value":{"entity-type":"item","numeric-id":501531,"id":"Q501531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677437$763A17EE-CED8-4980-8EB1-FDD1D7698EB2","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":"Q1677437$64386E61-0A68-4D09-8AA8-0B623155AB93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bb98d06b20b07e4bbf9a5940500b4f11875de78","datavalue":{"value":{"time":"+2017-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1677437$B9C555E8-52A5-45E8-ACEA-CC17F2961750","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1677437$12F6D3F1-B5D3-4379-9ADC-D133E520AA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1677437$F9C88498-E6A7-49F8-830A-93C8E95AB994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1677437$C710AE8E-B28A-4C9B-9D24-9828E73995CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1677437$31CAB7CF-5BE2-4EBF-A9DF-455F8A7FDEAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4aacc5e21ec240fc999544fd97aea88e29fd9d5d","datavalue":{"value":"6810475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1677437$822E459A-B9C6-4C05-BF3F-955EFBD34751","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38a7a643108d00b4af388a5f280085e91a3c224","datavalue":{"value":"hybrid MKNF knowledge bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1677437$E435B870-AAFC-4345-AB7C-C91C1DE00D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad1a351981dc14098dee5418a62e0e215bb88ec2","datavalue":{"value":"semantics of MKNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q1677437$1C6B1CFF-3C22-4D9D-878C-B140AB3D2DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1677437$D2FB9249-FAE0-4487-9268-36B3CA460E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1677437$FA7E1F6E-7203-4709-ABDA-F2B6246257DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2eca0226d52d9bbc935fa637b6f3a9cbe227712","datavalue":{"value":"guess-and-verify proof method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1677437$D87AE14B-573C-4DFE-BCC2-D17522ABF331","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":"Q1677437$30031ACC-B672-4D63-BC83-639CF3E362D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c49a20a56908fd125da59fbfb04b5ce5872daca0","datavalue":{"value":"https://doi.org/10.1016/j.artint.2017.08.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1677437$1D82C2D5-1AC7-4B42-8A57-55FC87E6F150","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11f637b10061872588eaadb856c9e732635bc459","datavalue":{"value":"W2750078980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1677437$802802FC-519E-47A9-8B24-9721E9EFCB61","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12de8834b4345a0a8992c9bedff5f82b9abe2d65","datavalue":{"value":{"entity-type":"item","numeric-id":5309957,"id":"Q5309957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677437$60C2A797-1D1C-4DD4-B231-545ADD9321CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677437$C6809AA5-5DA6-452A-8215-48CDCEB88106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2467f1b2221d034d0fe8a069e2133a347586153d","datavalue":{"value":{"entity-type":"item","numeric-id":598245,"id":"Q598245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677437$2258F04E-D5E5-4600-9FB0-0AD3D36CDA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e695b6da6b279b9df1b46240360ffce22045921b","datavalue":{"value":{"entity-type":"item","numeric-id":5705946,"id":"Q5705946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677437$53A07929-087D-49F6-A01A-0AC9AAB2CD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677437$1EA42D73-9AB1-4DAD-8B05-72DCB7ABEFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e705a247f833e509a7838866f608205b03a0bb","datavalue":{"value":{"entity-type":"item","numeric-id":646502,"id":"Q646502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677437$D42A15FC-AD7C-40C1-BC7E-2120BB42D850","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":"Q1677437$2C8676D6-79F8-40F1-AC86-9EA988666E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e59bd53a837f83174d0cf6db91cf457dfa3ce63","datavalue":{"value":{"entity-type":"item","numeric-id":3579631,"id":"Q3579631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677437$CCAE9861-5F9B-4061-B022-61E3A55FB23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677437$2488B5FC-18F4-45DF-8F1F-1665E92D17D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677437$69C54ABA-AAA0-4869-87AF-32874F6F311C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0857e8878bcf78132758435c76b6420a8b1c319","datavalue":{"value":{"entity-type":"item","numeric-id":3486858,"id":"Q3486858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677437$3706E90A-4261-49DF-8C8F-21FA5A8AE9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ff4fd15aa6734e12066f575f2700abc354f037","datavalue":{"value":{"entity-type":"item","numeric-id":1603743,"id":"Q1603743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677437$B03377C4-7929-47D2-BD2F-0030A826481D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd81fa3bb16547b9f0c5035c9a1681fb35f7c28","datavalue":{"value":{"entity-type":"item","numeric-id":604911,"id":"Q604911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677437$D955EDB5-1605-4D8E-8F2B-EF39DAACA30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58bf5b8cdf98a89cbb941f903d44d8103f82ac98","datavalue":{"value":{"entity-type":"item","numeric-id":1337468,"id":"Q1337468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677437$385FCDF0-0CC8-4069-824A-811EED408CC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93c7ff7b620cb974e85fafd9addcc5d94b543692","datavalue":{"value":"10.1016/J.ARTINT.2017.08.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1677437$AD56BAC6-468F-4CA3-8257-D34AD051D946","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57b9ceec6bc5ad4fd5a23d23d6ef6942fc3ba5aa","datavalue":{"value":{"entity-type":"item","numeric-id":4592713,"id":"Q4592713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451c4f2eefbcd8459c061959e67f80895291355b","datavalue":{"value":{"amount":"+0.7749679088592529","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":"Q1677437$D1E55B2B-7A42-4CBD-A128-8E6D6C331914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d77fc4b6d28fd44b437b349f429f812b2f861aac","datavalue":{"value":{"entity-type":"item","numeric-id":4925173,"id":"Q4925173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b88942ca37f38995608b27c1e3caee28d73fffd","datavalue":{"value":{"amount":"+0.7637299299240112","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":"Q1677437$0CAA9A73-918A-4E80-A9A3-9B51E95C3D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"571cfbf9dc41c02b85114320d63a371e328b1b29","datavalue":{"value":{"entity-type":"item","numeric-id":2946701,"id":"Q2946701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb1d5ed9a0e60290cca9268ab3233ef40a9c7bd","datavalue":{"value":{"amount":"+0.7415210604667664","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":"Q1677437$03DB825A-FAB4-42A7-BBF5-33A68A3DDD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f1dcb6c61c8a53f8466be386f41e3d9c9209fa3","datavalue":{"value":{"entity-type":"item","numeric-id":3486858,"id":"Q3486858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bfc189ceff4658387a4e78bfc4ac61f26bd4c8a","datavalue":{"value":{"amount":"+0.7372013926506042","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":"Q1677437$3D5D19E8-C261-4702-AA41-D0D144C2353B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3911b9e9c5769b4be0e1c0fd8392096d40208665","datavalue":{"value":{"entity-type":"item","numeric-id":5174583,"id":"Q5174583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c119954ad3788e5751ace590d759764c037c577","datavalue":{"value":{"amount":"+0.7320419549942017","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":"Q1677437$876E914B-CF36-41B7-A08E-C606D22A16DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1677437","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1677437"}}}}}