{"entities":{"Q2884520":{"pageid":2895245,"ns":120,"title":"Item:Q2884520","lastrevid":51475997,"modified":"2026-01-18T10:38:54Z","type":"item","id":"Q2884520","labels":{"en":{"language":"en","value":"A MINSAT approach for learning in logic domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6039071"}},"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":"Q2884520$B88C124D-76E3-4145-9652-0840C9F337D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adacb6ac71ed8b5abbcd6323f28d71acb569d37f","datavalue":{"value":"1238.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884520$4A56C8FB-850F-4315-88B1-97CBFA362E16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"513c420232c94f372d220d87f8682889be1b872b","datavalue":{"value":{"entity-type":"item","numeric-id":271940,"id":"Q271940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884520$F503A444-4E15-4E75-BA29-ACD33A79519B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcefb4747bbb5a6ab761f4e4fe82c408184c2849","datavalue":{"value":{"entity-type":"item","numeric-id":1386418,"id":"Q1386418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884520$A785985B-588D-452F-8CD2-F647E6C5276E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f030fff290cba9104f71fb1447bb02747b898e5f","datavalue":{"value":{"entity-type":"item","numeric-id":74741,"id":"Q74741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884520$58CDF9C0-94C6-4384-9C5C-0B56D25F5D73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf2f505c732bca65c95db37822678ba6da7d9b6","datavalue":{"value":{"time":"+2012-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2884520$CB847DCA-C49F-4A4A-AAEA-AD55637AEED7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74c415d9fc9da29081115492a84ee12544350d2f","datavalue":{"value":"https://semanticscholar.org/paper/9bbace90d19d124201b33c78998c2ad6bf55a963","type":"string"},"datatype":"url"},"type":"statement","id":"Q2884520$6B321E73-DBBE-44BE-9C0B-939B672F4050","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884520$1633A86C-C448-4FE2-8518-3CD7EF0E5856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884520$6FF620E2-FC61-4DBD-BF72-C3ED5CF1F864","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"500b56519675e547594148b3a66976f7f10d5ac0","datavalue":{"value":"6039071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884520$0CE7BFB3-7188-47F6-8FE4-6BD9EFA0D4EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2db52a7243887f734f3533f390b79d7d369328","datavalue":{"value":"inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884520$2B45D0DF-7F4C-48A0-AA43-4FE35AACAA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4064784273eabf360dc56a804f3c36d1d76a45b","datavalue":{"value":"supervised learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884520$6DF0432F-1916-4DBC-9DA9-09E64994DD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884520$01FEFFDB-96F2-49B9-A8B9-24E6CB8751BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cedc63b3c99cf26009fda8b2cfbde168cae59ad5","datavalue":{"value":"minimum-cost satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884520$F688E5C1-993A-496D-B924-A29FCD81532C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"71404ee4b8d58701895f4c057fbe62cc8e8b5630","datavalue":{"value":{"entity-type":"item","numeric-id":16261,"id":"Q16261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884520$36749A9A-E7D6-4639-8260-06FF736F2139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"314cb7db240b78b9fdebd1fd8b43c1b0f383061e","datavalue":{"value":{"entity-type":"item","numeric-id":24795,"id":"Q24795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884520$9AF0D79D-FFBA-4F3D-9E39-8975C0581A1A","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":"Q2884520$1F2C8626-D7B4-4B84-B74D-C1EA5D52F32B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbfda6106293487d8f12440acc0b2c648a6ebbda","datavalue":{"value":"W2068848220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884520$038F0154-5151-415F-9CA1-8A69C15D176D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e2c272cf2fd5075e76f30a7b4e860068482a16e","datavalue":{"value":"10.1287/IJOC.14.1.20.7709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884520$026E7E9B-5735-4E61-9A71-F48D85C133D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b67f84bdfd05216a403d68bc81fe69d10a6c5ec","datavalue":{"value":{"text":"A MINSAT approach for learning in logic domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2884520$CB987CE2-2BB3-4330-84DC-BD3780B2F88D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd1dc3a1acb94cd42d30e67698412bcf5ff4855","datavalue":{"value":{"entity-type":"item","numeric-id":4452595,"id":"Q4452595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bbc2f42f1c00edc52857e4430cd81bd707a5960","datavalue":{"value":{"amount":"+0.770609974861145","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":"Q2884520$0689743A-DD74-4E72-B5A3-337708E87359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34fddca7191c907a634b4885ffe281ce7db5f99e","datavalue":{"value":{"entity-type":"item","numeric-id":3007601,"id":"Q3007601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc4b80ab37f85f8661ab7d359b70f873933d2350","datavalue":{"value":{"amount":"+0.7238415479660034","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":"Q2884520$175D425E-4D51-4F42-8DD1-FE5C13C38089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27af7fbaabfc6dc73c179acd76a024972c3e27d","datavalue":{"value":{"entity-type":"item","numeric-id":1389603,"id":"Q1389603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f281f6aa82158e7726ab956c84f22bc263c410b","datavalue":{"value":{"amount":"+0.7164297699928284","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":"Q2884520$2CC32B9E-A591-400C-9A40-F22942F806C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51df0f8ffeb1cce84c6b1ddabfed7ad3496e9a5e","datavalue":{"value":{"entity-type":"item","numeric-id":4988863,"id":"Q4988863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8232a12115b3a55643bc17257f5aed0df3eeef63","datavalue":{"value":{"amount":"+0.707615077495575","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":"Q2884520$204DB6E0-EF0B-471A-A6D8-E6B5E8B622EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"578d2632c349dc07a90f79996832a89d958dd0d5","datavalue":{"value":{"entity-type":"item","numeric-id":1918749,"id":"Q1918749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c94b1bd87f440691f65c2267604b8d09bcff9a","datavalue":{"value":{"amount":"+0.7038896083831787","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":"Q2884520$9D31DB99-721B-4EC5-AF08-38BFDDE727E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2884520","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2884520"}}}}}