{"entities":{"Q6623800":{"pageid":14234952,"ns":120,"title":"Item:Q6623800","lastrevid":95646086,"modified":"2026-06-05T09:29:12Z","type":"item","id":"Q6623800","labels":{"en":{"language":"en","value":"Computation of non-ground disjunctive well-founded semantics with constraint logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7931399"}},"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":"Q6623800$F3CE8891-CFB8-484A-9BA2-5D02596EAF6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3cca1dfa70db8aa25496c615b595ecfdbf28655","datavalue":{"value":{"text":"Computation of non-ground disjunctive well-founded semantics with constraint logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6623800$9BDD1DCC-BE0A-4799-92C9-3C64E4957235","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50497ee3a38ea0274bdb52d06873bb465661120d","datavalue":{"value":"1547.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623800$71116CAA-68C3-41D1-9EBB-EFDA3A40D614","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6e4646ecbebe7cc2a702f0e438111a78808a9ae","datavalue":{"value":{"entity-type":"item","numeric-id":186032,"id":"Q186032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623800$3BFC4CC0-6DE6-4D5D-B335-7E0BE73B67E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85c5753c1bade119a92fcd653f8b775d373f1721","datavalue":{"value":{"entity-type":"item","numeric-id":524932,"id":"Q524932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623800$12C84DB3-A8D8-4862-9F11-4A3F521BD2B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e904a32ce9fe0905c581b0bf09991f7f3f0c6d0","datavalue":{"value":{"time":"+2024-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6623800$2B3F5014-045C-463C-8117-9BC4D1F81230","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623800$4632B6F6-5CD7-4CFE-9848-3A6756D387C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623800$D097657D-DD0D-448E-A5CA-B4BDAD5F2AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623800$6AB9998C-89A2-40FB-8F9F-3204B380512B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"140dd99d359c82115e1d7cd9b6dc1cde5946f7a0","datavalue":{"value":"7931399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623800$188CF073-68B0-40D2-8944-57FE50CDAAA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623800$58F5DA97-DEE9-4F4E-8678-EFB2E02C29F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea0779d64402e9ad412843f297d7572b809911f","datavalue":{"value":"equational constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623800$257100E6-010F-4D8E-89B3-8E1FC55B794F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08550266bf03e3d9d539b3e6a8b8aa8b4cd04b48","datavalue":{"value":"disjunctive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623800$8A7868CF-3BB1-44D5-ACE1-671E25617166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623800$380F9F5D-2090-4908-8865-15BBF52733B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623800$C92474B9-2CD3-474F-BB67-A60C7D170BE0","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":"Q6623800$5B233D52-9747-45FF-8602-1EDD7ED60297","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4805594407a57257c47b2939793bf5829a6c8de4","datavalue":{"value":{"entity-type":"item","numeric-id":5236439,"id":"Q5236439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623800$44F0A730-93D0-465A-8E15-073B4A1EF2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623800$1E38E079-88BB-4E70-8DA6-4D96E7FFCC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"353dab22332923e55a96f95488b7aeb1ef99091e","datavalue":{"value":{"entity-type":"item","numeric-id":4371515,"id":"Q4371515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623800$069DE0F3-71E1-443B-93D2-5184C9C25CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"064ac656999f385f3da04af24751c317ecbfb491","datavalue":{"value":{"entity-type":"item","numeric-id":672131,"id":"Q672131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623800$D1F11DF2-79D9-4985-A80E-BDAF5DEAB7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0db4b7623e484d401f72696443649dd0b4416f58","datavalue":{"value":{"entity-type":"item","numeric-id":4875865,"id":"Q4875865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623800$AC96A55B-039E-47D2-A642-D4DA2A3CCA73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfe63714f14c7d73c2e9b2844fb2070aca88b75f","datavalue":{"value":"10.1007/BFB0023808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623800$6BE959D9-E157-4AF8-9BED-6C0A1D2D2A54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed575a5694f48f3ae74d6b5d739f9d3e4e326b0b","datavalue":{"value":{"entity-type":"item","numeric-id":4245933,"id":"Q4245933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0b5c27df4177e42c87378b75dbc2e6150da91a","datavalue":{"value":{"amount":"+0.9505382776260376","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":"Q6623800$5A8B7260-4DE4-4E9D-B261-7077B4E5DEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7252fac111378f48a5d18d3cccb2cc82bbd9e33","datavalue":{"value":{"entity-type":"item","numeric-id":1382158,"id":"Q1382158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3157ce01c4fccdbf4893bce2858f424fe3a7999c","datavalue":{"value":{"amount":"+0.8079116940498352","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":"Q6623800$2D7D8C5A-00D7-4D1F-8B74-F8422587BF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37aa604832d2cdc67927d64eb7d31e2a456d44d3","datavalue":{"value":{"entity-type":"item","numeric-id":5475788,"id":"Q5475788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"968fc07bcb33cf5a59e0e71ec519fa340ee5d326","datavalue":{"value":{"amount":"+0.7937480211257935","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":"Q6623800$17547FCA-AD65-49F4-A58B-FBFD21C85F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14830c0fe2b9502bea32669b21a0fc68f78627d7","datavalue":{"value":{"entity-type":"item","numeric-id":1894636,"id":"Q1894636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a102856bf23087a25070950f621d50ac08791e0","datavalue":{"value":{"amount":"+0.7862109541893005","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":"Q6623800$3C5B2A0D-839B-4050-9395-8A027876DD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9df1f1e566f237985ce2f43745c21961a66ab61","datavalue":{"value":{"entity-type":"item","numeric-id":5277723,"id":"Q5277723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a2325574a6e06d46a1f4e23f2628fcb11b6a6f","datavalue":{"value":{"amount":"+0.784530758857727","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":"Q6623800$4B06135A-DF69-45DA-847C-D73BF736FFB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computation of non-ground disjunctive well-founded semantics with constraint logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computation_of_non-ground_disjunctive_well-founded_semantics_with_constraint_logic_programming"}}}}}