{"entities":{"Q3198867":{"pageid":3209575,"ns":120,"title":"Item:Q3198867","lastrevid":86088434,"modified":"2026-06-03T14:14:30Z","type":"item","id":"Q3198867","labels":{"en":{"language":"en","value":"A fixpoint semantics for disjunctive logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4174316"}},"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":"Q3198867$21B13C9C-1CAB-403A-98CD-84952AFA08E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90ec89a732b37ded5101e7800bf3c319d3842eaa","datavalue":{"value":{"text":"A fixpoint semantics for disjunctive logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3198867$6140059E-31FD-44F2-BAC1-C082021F717C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d45cff0e26d45b7362e9f7a50c3f1199b18d1ae4","datavalue":{"value":"0713.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3198867$151DCF7D-4181-4975-856D-ADC98FBC55CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad8935e4526ba0f92e20633805aa581b1b188352","datavalue":{"value":"10.1016/0743-1066(90)90033-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3198867$303E1FAE-D6BC-4CF2-B1E7-A971B8580C6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2a1df6940ad8b72a28bea22198189f244677cda","datavalue":{"value":{"entity-type":"item","numeric-id":1062475,"id":"Q1062475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3198867$1A2106E6-13BA-4641-A062-5D7E8C3455D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c1bb930f3df30df236a7034643eeb4dc48582bb","datavalue":{"value":{"entity-type":"item","numeric-id":1177927,"id":"Q1177927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3198867$1513BAED-F70C-433A-A5F9-D033503AB193","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":"Q3198867$FFDA829C-69C9-4DAB-803A-2529D13AF21B","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":"Q3198867$D494714B-B60A-4CA1-8CF5-30F8530D6567","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3198867$525C61E9-DDF0-4AEB-BE25-789A85AF01C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3198867$40B9419D-765C-4B9D-9A12-36997AA999A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3198867$AA3F048C-CE7D-46C6-8A8E-1F04DAD1750C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30e935e8163679b6068ad8baf479d9d4b223308c","datavalue":{"value":"4174316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3198867$CCDFEC38-2E45-43C5-BE65-98FDBDE19BF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3198867$D4186E49-B784-40CF-9F9F-870F819805F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c684c527af3979997ea37dcd232097f7091ef06","datavalue":{"value":"Herbrand base","type":"string"},"datatype":"string"},"type":"statement","id":"Q3198867$51FEFE35-AE6F-4E7B-8E07-C4F76DE39254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0455910bd255bbb8b513238c1f3706fe3d365ad7","datavalue":{"value":"disjunctive logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3198867$8BD99DF4-45DC-451C-8B39-E595ECB2E53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11f4b821493ef40472c66aa8039003fd8034cbc7","datavalue":{"value":"Linear resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3198867$3695A44D-6D36-43A8-B615-D4B037B43365","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":"Q3198867$D0E83F59-2931-43AF-8370-FCC715B068CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ec77160809d3eeadc735598e6f580d4d2107e7e","datavalue":{"value":"https://doi.org/10.1016/0743-1066(90)90033-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3198867$09DA6DF6-A807-4161-BA8C-EF6CB0802C22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03f7d6669bd035c1b87852e6909db4f2b7b4bdfe","datavalue":{"value":"W2082367267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3198867$86377880-8215-4783-989D-0798F7919870","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61962937f0a80c9ef2ed7843a90035f59f3909fc","datavalue":{"value":{"entity-type":"item","numeric-id":1177928,"id":"Q1177928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e353a794f548874c6b92eb1a91da5772a494078","datavalue":{"value":{"amount":"+0.8508700728416443","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":"Q3198867$1BD9AEF4-4B53-4581-B802-814A1972A115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215424cedc3f94294c4ff39d0589f9f4e3875e08","datavalue":{"value":{"entity-type":"item","numeric-id":3975936,"id":"Q3975936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb98ea8196c71aa71b4f65b0146c841a23b7ac3","datavalue":{"value":{"amount":"+0.8480290770530701","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":"Q3198867$F9258C3F-A4F4-40AB-BDA9-862299A10757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba3d74507943ba7b3d9f658b7be3bdb146db013","datavalue":{"value":{"entity-type":"item","numeric-id":2718191,"id":"Q2718191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae36552a20b58f5f5ecf578cf14fba057111d8f0","datavalue":{"value":{"amount":"+0.8335077166557312","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":"Q3198867$2BD99AE8-4912-40D0-868B-B70FC41A1D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de26eeead228d0ebc3b477ab153036975a5e281c","datavalue":{"value":{"entity-type":"item","numeric-id":1356225,"id":"Q1356225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2791681a7801a384178c30f8da37ab74d204bb3","datavalue":{"value":{"amount":"+0.8289467096328735","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":"Q3198867$C4F54945-A5B3-4651-8DF2-A12C50FFDF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7662bf62316859e1e110290de01a1895fbcee798","datavalue":{"value":{"entity-type":"item","numeric-id":3983045,"id":"Q3983045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e79be5e68deb71591954da7687f995233f82dfca","datavalue":{"value":{"amount":"+0.8261982202529907","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":"Q3198867$258B2B79-3F61-4C2A-9694-EBBA77A391A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fixpoint semantics for disjunctive logic programs","badges":[]}}}}}