{"entities":{"Q3558289":{"pageid":5588193,"ns":120,"title":"Item:Q3558289","lastrevid":50972429,"modified":"2026-01-16T00:56:14Z","type":"item","id":"Q3558289","labels":{"en":{"language":"en","value":"Coinductive logic programming with negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703473"}},"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":"Q3558289$4CCAA5B6-EB12-4887-87EE-00E8EA9F7055","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c35f533f19c0e3b2181ee0e27d1daa432db77424","datavalue":{"value":{"text":"Coinductive Logic Programming with Negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558289$3F7A9DB3-2F0F-4213-8E2D-16C468E74226","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"534fa989fbde423d59fdbef3262acff5048cf7b6","datavalue":{"value":"1284.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558289$F3E0720E-F4AC-4DEE-AE92-88A9A4940938","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc5a4e57dc7195397372ee81723ba34dcbcc34e7","datavalue":{"value":"10.1007/978-3-642-12592-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558289$52241CA6-04F7-4FC8-A880-31C36AAEFF67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b80f5dd655a9c01ea4f0c5eb8fe3134a3f4327a","datavalue":{"value":{"entity-type":"item","numeric-id":3090858,"id":"Q3090858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558289$FEBD5944-B5A3-41A2-8E6E-F05040F7B9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d1065bf5a79a6e3399944e23126deafc1dd756c","datavalue":{"value":{"entity-type":"item","numeric-id":1209355,"id":"Q1209355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558289$2ED1F018-C222-4CFF-A61B-64C3D8A475CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558289$CCB71F7F-9547-4EE4-AD37-2AB4C638FC96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3558289$0BE8F2DE-9FF8-470E-8AD9-A1D0898280CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558289$40C0FC7A-9A9B-47F8-BEA8-8E33AD4A4D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558289$09D95362-4762-4F7F-BA96-E0C88E201FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558289$D37F0F45-D4A2-4F1B-B8E2-F3F1972C8D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558289$85474BA0-E920-4263-A196-AFD11A4F3F77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63b7a9a85c18cb745f1383f0090f45bc0d378ef7","datavalue":{"value":"5703473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558289$8CC490B5-155D-42EA-8506-4B81CE6CE3E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f788a14932bbcbaec598167a5bad42ec060a7cfc","datavalue":{"value":"coinductive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3558289$97878337-5985-4145-B39E-F5CB433B538C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06b1625cec1e42314487cc2a54cf2f303280ded","datavalue":{"value":"negation as failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3558289$26885BB4-4AA4-4C35-9666-FC350300B42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a08e08f872840295dbf046acbd62339159b17e","datavalue":{"value":"program completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3558289$374A6242-7BC2-4AC1-AE96-4D82BC42331E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a40d9d07dcd55a854dd4f51c9386f79070e883ff","datavalue":{"value":"Kripke-Kleene three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3558289$204FCEE7-8CE4-41CF-A5AE-ABCC2CDF37E5","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":"Q3558289$5F2DF8ED-5A9F-4DC6-809A-5AAD1C2162A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edb9f6ace419ea2b0b381b5f903a47bd0e8629e8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12592-8_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558289$399CFDDF-1265-4DDA-A5E5-9BCF7CDBFC02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"372bcdcb37d934c8633d56f0b5abe2a52caef6c3","datavalue":{"value":"W1559995437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558289$2B47EA4A-4F3F-496E-9698-2B32D1DECEC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a804c3c76a1bb0c8ec52d4f0a6c8fbcfbc284417","datavalue":{"value":{"entity-type":"item","numeric-id":5428832,"id":"Q5428832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b9a03d147eea6c15050377aa6208770413780ba","datavalue":{"value":{"amount":"+0.832334578037262","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":"Q3558289$15902CA7-5C8B-4137-9526-858CF9651DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b97095a387083d4829b242d2a1a3f0b04cdcbd7","datavalue":{"value":{"entity-type":"item","numeric-id":3608645,"id":"Q3608645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62da34ffb70775a8855f8b5a3a9dd7aa11e313c7","datavalue":{"value":{"amount":"+0.8269255757331848","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":"Q3558289$E958A537-2074-4B11-8A92-C515CA24C2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b07a054effb01c4406dbd2e9ac3080413faeeb","datavalue":{"value":{"entity-type":"item","numeric-id":5449611,"id":"Q5449611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb18ff8649357b3f03fb2ede4fc88a8e4e3795c","datavalue":{"value":{"amount":"+0.8199902772903442","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":"Q3558289$6BC9AF61-46BA-4741-A1EB-4D9CC07BBF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f738bd16a6067c0fa362e786697f040ca9f2a517","datavalue":{"value":{"entity-type":"item","numeric-id":5743583,"id":"Q5743583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba9bbba34877735289a59e9c5fa7889e1116674c","datavalue":{"value":{"amount":"+0.8144027590751648","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":"Q3558289$63E3E179-C9A4-4DFF-BAA1-24E67D481B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ea50ed238d6385ede59d152c882c0dd3c710dc","datavalue":{"value":{"entity-type":"item","numeric-id":2900266,"id":"Q2900266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ea6612ec0b182934362103d1e91126f0f2545c9","datavalue":{"value":{"amount":"+0.806088387966156","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":"Q3558289$8CEC5067-1C45-43C7-8E8C-9BEE2416595D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558289","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558289"}}}}}