{"entities":{"Q3821633":{"pageid":5851539,"ns":120,"title":"Item:Q3821633","lastrevid":53963378,"modified":"2026-01-26T00:14:18Z","type":"item","id":"Q3821633","labels":{"en":{"language":"en","value":"Negation as failure using tight derivations for general logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4094870"}},"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":"Q3821633$4D6DBA56-C401-4B4C-94C6-D7EA3CA44B7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88d616c5e5143e3ee0e14d43bf98afb432ab72f0","datavalue":{"value":{"text":"Negation as failure using tight derivations for general logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3821633$FCFCF008-65B4-485E-9184-CA231E1F8989","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"356832cfdc76e579a57a2a2e2df310a47b5d7206","datavalue":{"value":"0668.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821633$37F18FC2-75E2-4485-B628-A602613CA397","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60ee2544234311566b0b10668719c1ea5984bc1b","datavalue":{"value":"10.1016/0743-1066(89)90032-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821633$A92FFCF4-6B18-440E-8380-CB9225846341","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":"Q3821633$0CAD6CA9-4705-497A-A69A-EE012B0AB5D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3821633$ACA383CB-2CF0-4AE0-BA44-C65B9D61908B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821633$E901762C-740B-48B1-AF7D-0E1694D519F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821633$3E849B7D-628E-41D1-A49C-A52C22780077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821633$0531A942-7AD9-4B40-8988-33019261E827","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3632f6787da5d65ec6421428ba8abbf4544a7464","datavalue":{"value":"4094870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821633$E6749B9E-2757-4F9A-AFAE-2A173387DD46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26e1a31b18ca480ec95c39106226fd5b772dcce","datavalue":{"value":"general logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821633$5DFDDD82-B47E-4CDA-A69D-E072B844C770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"102160ada33ea09d0384ca7fa8aded518a1ab380","datavalue":{"value":"tight derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821633$DDAD127E-90F6-4C92-B1D2-58DE3EEBE3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ea45f791e1a244df1d943e565564d65190a4c40","datavalue":{"value":"negation-as-failure rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821633$176A7737-D906-43FF-B1E2-F303DD93A424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b761347cb888e7a5ccdeb461ac23aedbb608a471","datavalue":{"value":"tight tree semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821633$34ABB7B1-6CED-405F-8412-E926E9F67568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e87056a726196f55dd04d2b91892e5125371529","datavalue":{"value":"bounded-term-size","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821633$95F7BC5F-4DA7-47D3-AC7D-788F1E4C293A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f9196a7af5fe09ff115413afea9e65fc8a69014","datavalue":{"value":"freedom from recursive negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821633$008DD19C-2976-4E59-BB4C-C50A1DC1A76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c684c527af3979997ea37dcd232097f7091ef06","datavalue":{"value":"Herbrand base","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821633$6BBF821B-4CCF-4214-8265-D1A193B156B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8b3008ba29a712ecf7c968b80f0d6b946fa81d","datavalue":{"value":"iterated-fixed-point semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821633$B85A9A4C-8714-496C-9C54-942B899A327C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe49c25650dcd4febba639d323fee3054738fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1104094,"id":"Q1104094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3821633$2AC55207-56D1-418A-9531-7CF811D31F61","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":"Q3821633$D4DB738F-7E7B-454F-A1F2-7D0A8A2CB4E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36b102a702b45b3a9ff66a546f60167d31f0d894","datavalue":{"value":"https://doi.org/10.1016/0743-1066(89)90032-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q3821633$0AAB2612-0F11-4E27-A597-BA99E1F9B50D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64e0ef428d71f5b3113e15f61ff36b320f35d6bd","datavalue":{"value":"W2157221482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821633$A516F7BF-E37A-4269-B914-D9D6886259A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0cac6981f58e33f807f4f8d9568fa6c53de152","datavalue":{"value":{"entity-type":"item","numeric-id":3348436,"id":"Q3348436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb1b86a0030d9d7217b48c82d1a5923b3b583c5","datavalue":{"value":{"amount":"+0.9399566054344176","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":"Q3821633$64A28334-B54C-48C7-A629-4783A9BF2D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30fe35c49512ef6edd57763a74b6cf4b77213db0","datavalue":{"value":{"entity-type":"item","numeric-id":3727350,"id":"Q3727350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c392ca4be3f9ed4cbdd52fd8908004820703d868","datavalue":{"value":{"amount":"+0.8515989184379578","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":"Q3821633$D30EA7D4-79EF-47FE-A8A1-9149042FAA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995f47a42869b3a8e3a8310a1e4e0d54d1e8de4e","datavalue":{"value":{"entity-type":"item","numeric-id":3709865,"id":"Q3709865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0418a09a8317b5b6a30ebb9b896e43df6ea4fbcb","datavalue":{"value":{"amount":"+0.8410049080848694","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":"Q3821633$C62A6B1D-D003-46CD-A7CB-D9828472999A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86bb84870d00c37a5a2a73f098d13bcaba97e468","datavalue":{"value":{"entity-type":"item","numeric-id":4815031,"id":"Q4815031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb817677b8830dcfd0ce30d9c41a0fa992fcd862","datavalue":{"value":{"amount":"+0.826024055480957","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":"Q3821633$36C39766-F62C-4880-AA17-42C644CED580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56edaf5ecf91e67e7cd8f4c7a79cd2143a3f3a95","datavalue":{"value":{"entity-type":"item","numeric-id":1277302,"id":"Q1277302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1730f82a1e024cbe2f5ca8501e7d86cf0d09d4e6","datavalue":{"value":{"amount":"+0.8254145979881287","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":"Q3821633$6ADFF983-B411-4384-B7C9-E4B0EA36FA3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3821633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3821633"}}}}}