{"entities":{"Q1193840":{"pageid":1204589,"ns":120,"title":"Item:Q1193840","lastrevid":66300219,"modified":"2026-04-12T08:58:48Z","type":"item","id":"Q1193840","labels":{"en":{"language":"en","value":"An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65281"}},"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":"Q1193840$0E02BE7D-8DAF-49B4-8973-9394E47DC3B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2361510e26a0d1a787893e981610132c188ac7a5","datavalue":{"value":{"text":"An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193840$D3D20DDE-3965-49E8-8C0C-B6DF31EDF068","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61cc42b28467de0b4ecb056e73be8b6a9c3d5372","datavalue":{"value":"0800.68843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193840$A10CBE0B-DE55-48B5-891C-386944599E36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"554a3612a8f6dd392ce298ab22b08ecc200eb1a4","datavalue":{"value":"10.1016/0020-0255(92)90073-H","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193840$60E4A0F6-986C-4F26-A51D-4F9B3E87418C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89d92139913a293583639fc1d3a6e0bf3c33ee92","datavalue":{"value":{"entity-type":"item","numeric-id":1193838,"id":"Q1193838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193840$F5B322F2-C6A7-4928-9E1C-CD8C7F0B770B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d280e15e8de16cf00e901ee69612fe69a687a79b","datavalue":{"value":{"entity-type":"item","numeric-id":1193839,"id":"Q1193839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193840$7193B75A-0280-4DCF-81B8-8D2018F1B783","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193840$1C20BC6E-F3E4-4277-8902-BEDE77388B7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193840$6097D695-05BA-42F0-9F75-5ABBD1D4BFE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193840$B43E31B9-220D-43A3-97AE-17741CCCBB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193840$557ABD57-1AE2-4590-9A53-CEDA6783B727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193840$E9BDADD1-BC04-4EC3-94D5-2E8BE947B4A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71d071600004a217e73359a974cbe8f9a06a0f11","datavalue":{"value":"65281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193840$0828E353-EB24-4AA1-943B-7F5014D83CC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db2d0c65a24b5701ea0a62b61b219bf10210f17","datavalue":{"value":"IS-A link","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193840$8DE6C52A-7D4F-4C31-BE4A-9BEB39C70508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b73c90f6f116dd86bc5c4449efab40b66490c894","datavalue":{"value":"inheritance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193840$2AC1E394-DD6B-4678-B2FA-6B98412A52F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17d6f2354e4b2e7a2da468d62f5e979d9061519e","datavalue":{"value":"non-monotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193840$BD4F67E0-75C1-4F90-BF8C-A51CC0DAC0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193840$3FD34BE1-77AF-4288-8302-2D783675E305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bcee19d16bfdc9ec17856bf78add4a73088bd79","datavalue":{"value":"semantics for non-monotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193840$A82E31A4-742F-45BC-9C30-EB307BAAD76C","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":"Q1193840$3700D9D4-A4DC-4E0A-A3D6-C1B66828A0C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6053278ad8ab4cca5aeee0e3f4904ae4bd51cb89","datavalue":{"value":{"entity-type":"item","numeric-id":3992826,"id":"Q3992826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193840$8AEA2D79-1E56-4D9B-8B48-F0EDB6C80641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d470e6c08c7d2bc40187c19447d3686ec0e28865","datavalue":{"value":{"entity-type":"item","numeric-id":1099647,"id":"Q1099647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193840$4828EC94-1E12-4AA6-B702-0D32FDB88E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6ec4e6ba1cc79ebcb9630c584a97bcee529ec1","datavalue":{"value":{"entity-type":"item","numeric-id":3309807,"id":"Q3309807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193840$BB1B8387-1D11-477F-8DFA-BB6994B1760A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"619ef057e81255b9ccbd4741acc451bdab004b7e","datavalue":{"value":{"entity-type":"item","numeric-id":3939274,"id":"Q3939274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193840$EE2E3BD3-0FB3-4C1E-A273-6C130899A442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193840$817D0EE3-1F88-4EF5-9DC5-6EE515D4E4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193840$0752C91E-53CC-47E0-BF45-6DC2FFD948D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94855211e231eaafec4a6b9936fa50c3f6c921ce","datavalue":{"value":{"entity-type":"item","numeric-id":3933791,"id":"Q3933791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193840$69C4959B-17FF-4650-BBC1-5037D87B4BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193840$DB7FE198-207B-409E-87FB-34BEBA815FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193840$D0603D06-F8D5-43BF-935A-F454463D6D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a502a770025bb9705f462b1132920965df52f670","datavalue":{"value":{"entity-type":"item","numeric-id":3667910,"id":"Q3667910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193840$1A7367EB-8C7F-408B-A032-C70FB965FA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193840$28C59CBA-BCEB-4233-8050-81F5FC9F531B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193840$45E0994B-A6AA-4FAB-B75A-70A7122C2E9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_explication_of_reasoning_in_multiple_inheritance_systems_through_non-_monotonic_Horn_clause_logic"}}}}}