{"entities":{"Q4290617":{"pageid":6320218,"ns":120,"title":"Item:Q4290617","lastrevid":46316052,"modified":"2025-12-24T13:36:53Z","type":"item","id":"Q4290617","labels":{"en":{"language":"en","value":"Hypothetical reasoning in logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 562506"}},"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":"Q4290617$3BAE2E54-6FCC-476B-9FE1-377FA94A34BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b45f04da7ba4c69a218a80903ee82f355c13bea","datavalue":{"value":{"text":"Hypothetical reasoning in logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4290617$FD32E28F-ACE3-4126-921E-E5CAFED0D7F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37d20fa7bf7f7656e2138d7c2818b0dd191c1287","datavalue":{"value":"0803.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4290617$387F235B-7F24-48AF-BA2C-2982EB9559F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f62fe7aec73043c5a8b4c85ab5df42b0a3825787","datavalue":{"value":"10.1016/0743-1066(94)90043-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4290617$98FF49EE-797D-4B4B-84F1-D2FC81881DE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e804c1f7efed58c4ab3563ef841d7e67b0819c","datavalue":{"value":{"entity-type":"item","numeric-id":374190,"id":"Q374190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4290617$B828F4EF-79AF-4A44-BFEA-0DB8224D54C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4290617$339BDE0C-AECD-4A95-9D4D-B53F57DB9BEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a303d4d1896f08c255b3c4fda96f4345ac9e66d0","datavalue":{"value":{"time":"+1995-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4290617$FBB61FDA-1404-4E91-86FA-7C830946D140","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4290617$AFD992E1-FCE5-4FF3-A5A8-0475D9BBC469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4290617$B4D105E7-EA7F-4382-8951-463767AB1D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4290617$C0C2FC3F-7B82-468A-9F9D-6247A8F82B62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c666d44a15751ce6025f66fcdffa0786de0f3c53","datavalue":{"value":"562506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4290617$A2855AB0-9A53-4897-A495-E6B5434C9EC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d8be3a68b095b185e0adc1ea5710ebb6a35c08f","datavalue":{"value":"incomplete knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290617$AD1C8992-3944-47B2-847E-35708BADC833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87011016bccf7a7292eadf6dce31d415e7785767","datavalue":{"value":"extended logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290617$E3D1AED0-6FD1-440B-AD16-B3F89B0953EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"820dd0b1abbe13c4e9c4607dd50ce8897343240d","datavalue":{"value":"logic programs with classical negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290617$57049E94-979A-4BC8-BD57-DF49571731E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06b1625cec1e42314487cc2a54cf2f303280ded","datavalue":{"value":"negation as failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290617$65D6C1BC-3EAB-4AAE-98D7-3EA083AD71D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b42fa923816ce7e6fe65afcf24ca0a3ec830fed","datavalue":{"value":"common sense knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290617$8FC1A566-C487-43D4-9126-C520BC4E9569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e21d64a26d04e357687da822fb23f3d1f57a7134","datavalue":{"value":"hypothetical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290617$7A6941CE-D389-4EF8-B3CB-D74B911879DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2f976b8e52bff04fa9f0dfbc6ef2dd6da37e0","datavalue":{"value":"default reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290617$757B853D-E1A5-4338-9D7A-91F97A9FE471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41149b8b1a109224c46c37cedca6e74ece6df2de","datavalue":{"value":"contradiction removals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290617$7C53952B-F12D-470F-B044-FB6E01999587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"903e33f82dfc22825b55216318496ae384d85c47","datavalue":{"value":"closed world assumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290617$9AF4931B-E260-4F20-9BAB-D415D976CD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290617$CDCDC517-DDD3-4280-8871-7200389CDEA4","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":"Q4290617$A59212F1-2813-4302-81F4-6AC3F3A3BF76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ab6569e0c23fab15ce0e416f7e8b9d849b20e91","datavalue":{"value":"https://doi.org/10.1016/0743-1066(94)90043-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4290617$F50F5AF1-B068-46DD-B556-B785413368B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f3038b359f522f866fc1b722ff589e766824c5a","datavalue":{"value":"W1979017246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4290617$8A668383-3F01-442A-8AD1-1360AFDD6C9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e89835381d7f9245412253e75b9479e259c2011e","datavalue":{"value":{"entity-type":"item","numeric-id":918664,"id":"Q918664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5990d98f51245f1f14dfdd8f1e9bbf5ee30232a6","datavalue":{"value":{"amount":"+0.7951747179031372","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":"Q4290617$FA8EBA46-14E7-4073-872B-8B740475DB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d32f21b9cce4cd413e22989f005815de7964f8","datavalue":{"value":{"entity-type":"item","numeric-id":1924820,"id":"Q1924820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e9b56a64b3523cdcb5544bf4fedfa09ded4c30","datavalue":{"value":{"amount":"+0.7690533399581909","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":"Q4290617$4F69BC7B-F2F4-4D10-BCC4-DE28B913F6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea411277b171eab4b181c18fa5bb525a9dacacaa","datavalue":{"value":{"entity-type":"item","numeric-id":4897703,"id":"Q4897703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"627f100eef785c9461c0752c6fdcb623deda002a","datavalue":{"value":{"amount":"+0.762514054775238","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":"Q4290617$58B2A459-FFB3-4B9A-96A6-0F140A6AD863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f950e6521ba56768f0341dd98da9d5db5d428ba","datavalue":{"value":{"entity-type":"item","numeric-id":5277706,"id":"Q5277706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f602d4225447efc3092978bfadcb915ddc0e0688","datavalue":{"value":{"amount":"+0.7584660649299622","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":"Q4290617$8301FB86-6C5B-4702-B1C2-6E798633809F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2569eec109692c989c6df521632c84f39f3bd725","datavalue":{"value":{"entity-type":"item","numeric-id":5101460,"id":"Q5101460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d5eb7e26064a12e80fda5c2b2e134df7962515","datavalue":{"value":{"amount":"+0.7463629841804504","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":"Q4290617$08EF79F0-834D-40F2-B067-869524F83C42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4290617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4290617"}}}}}