{"entities":{"Q2294079":{"pageid":2304822,"ns":120,"title":"Item:Q2294079","lastrevid":53660354,"modified":"2026-01-25T12:37:14Z","type":"item","id":"Q2294079","labels":{"en":{"language":"en","value":"Defeasible logic programming in satisfiability modulo CHR"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7165542"}},"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":"Q2294079$E53CE4B3-1F8D-4DC0-BD55-7EA4415628EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2090e8a5948609750e1f43f695e55c27d9ac2f8b","datavalue":{"value":{"text":"Defeasible logic programming in satisfiability modulo CHR","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2294079$F8E468C0-0118-45C7-8907-EDA271F15DE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8de1f0f1ea6e09d0e7c3131da48867fc879aae8","datavalue":{"value":"1430.68316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294079$13E76CDC-211F-4D3A-976C-D1A7743201B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7c422aa6a415438e19082d4a91814420e96d949","datavalue":{"value":"10.1007/978-3-319-24309-2_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294079$1A965B73-9B73-4EED-8399-4D9CEC558AEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9617be33a04916e8cd44fb68d00e3c0f51e24e76","datavalue":{"value":{"entity-type":"item","numeric-id":344545,"id":"Q344545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294079$8FA3F231-9697-41FB-8288-C79D6DD26B1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c81b0ff7a16cf5dd5907466303464ced8542d6d2","datavalue":{"value":{"time":"+2020-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2294079$2465C3A3-5649-4770-8402-10C354ABCBDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294079$5C31ADA8-EFEE-4F1B-99B8-1E6DECFFDFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294079$BA36DAF4-144E-4682-B998-0A4DCA1BCC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294079$EE32B8C5-EC1B-431C-9481-5E3FFBFCF2DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e4956fca8162d5ac677cfbfb89b78a986c8226d","datavalue":{"value":"7165542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294079$EEF4B867-F21C-4C9A-AAD6-83525B745C49","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":"Q2294079$A0D32F2A-B6BC-4AA0-9AC3-6920290D3B15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb2bb4cfe09ebf0bcdb603bedf7a932378e97b13","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24309-2_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2294079$909C3F4A-2CEF-46F2-8374-7A697311CA8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e075fba824b4263cd136c392838c26a2d0709864","datavalue":{"value":"W2256199958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294079$C0C1C622-F02C-464F-8FB5-49F081463049","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec49b8e92a0b7a54b16d0c725ee0d0573267fad9","datavalue":{"value":{"entity-type":"item","numeric-id":4819006,"id":"Q4819006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f7a67543070cf55fd7d401023a776b1068ca189","datavalue":{"value":{"amount":"+0.7941867709159851","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":"Q2294079$C502D59B-1A96-428B-A881-56D7BEC08ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74cd4da8e661d260fe4e8c6434c37805e36ea09d","datavalue":{"value":{"entity-type":"item","numeric-id":835125,"id":"Q835125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a592413824f27994e8bdb9a7d1984ca42a9974e4","datavalue":{"value":{"amount":"+0.7741601467132568","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":"Q2294079$93EAE9E2-AEA3-4605-9E23-F47FB935A30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06885e3b96d6dc228938bfc30aa6102c3ba2e2df","datavalue":{"value":{"entity-type":"item","numeric-id":5116415,"id":"Q5116415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5430699024850c9aa7da1bf6260a42be48f55140","datavalue":{"value":{"amount":"+0.7662789821624756","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":"Q2294079$011F420C-1A69-429F-88AE-FEC722FCF55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063b77ddca74e4b1d0a945bab12da684a88230e8","datavalue":{"value":{"entity-type":"item","numeric-id":5116402,"id":"Q5116402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad6f61cfd553caf198f1a4b4e09c4fda4e73473","datavalue":{"value":{"amount":"+0.7654669284820557","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":"Q2294079$B35DAD03-8363-4D1D-B7EB-3449CB3C20F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89bcf7327fec4c210cabfc9af0c9bbb583d9f109","datavalue":{"value":{"entity-type":"item","numeric-id":5473968,"id":"Q5473968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6748948c29ff8846081f5b312fc0efd687bc352b","datavalue":{"value":{"amount":"+0.7643240690231323","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":"Q2294079$5FC72666-A966-4762-A9E0-985D60F4727F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2294079","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2294079"}}}}}