{"entities":{"Q5958645":{"pageid":8135447,"ns":120,"title":"Item:Q5958645","lastrevid":93536414,"modified":"2026-06-05T04:34:00Z","type":"item","id":"Q5958645","labels":{"en":{"language":"en","value":"Polynomial-time learnability of logic programs with local variables from entailment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715686"}},"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":"Q5958645$C70D09CF-CF56-47E8-840C-AFBDA76BDBB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"958e007cf9af33de3cafd2be69fa2d628174d72b","datavalue":{"value":{"text":"Polynomial-time learnability of logic programs with local variables from entailment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958645$0D6451A9-58B9-4CC8-BA2C-9B8053259B58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1f689ada08c215bd6c53086da40d9748a8a5efe","datavalue":{"value":"0992.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958645$AE2447F6-036D-48AE-A8A0-147B7D867340","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79b30c90ea5f8f6585531d547e18d37c05e6250a","datavalue":{"value":"10.1016/S0304-3975(00)00270-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958645$CD4A3874-E054-435E-A97D-160BE336A483","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958645$577EA07A-6B5D-4A3E-B324-C074FD3D8E62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958645$E32D2675-A608-42BA-9066-3BB306C15D58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958645$49E75B6D-DD8B-4975-8698-BF48CB507490","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"541b0dbeb8e5d1797e08b79692dff70a005a30d5","datavalue":{"value":"1715686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958645$659CC150-D3B6-4065-B16A-20E4E3944428","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fad780c47cf323de3e36940e7970a6c74f820e4","datavalue":{"value":"exact learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958645$895DF9EB-6C8A-4E43-9E56-7C10D69D8FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935d5611e28cb0ac17fba11eb32a0043bde29424","datavalue":{"value":"incremental learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958645$42ED3636-D099-4ABF-9BB4-368BCE258975","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":"Q5958645$DC3BC1C1-CD23-457A-A500-85E86801C046","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c3d281ab1020686fa49be9fbda50f89b24139f2","datavalue":{"value":{"entity-type":"item","numeric-id":2232294,"id":"Q2232294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958645$7B456205-3FF7-466C-A0DF-9A33DD8A845C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a7dac8a0a3d5ce0ef24c7d74b9068115d4cd87","datavalue":{"value":{"entity-type":"item","numeric-id":4370231,"id":"Q4370231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958645$FD9DB821-16A2-44E4-BED6-4A34DB1ADB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958645$197C2B16-3132-46E9-82B5-A2AF181DADBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d20bdcea5490376265832e57967847211e2ee14","datavalue":{"value":{"entity-type":"item","numeric-id":4305633,"id":"Q4305633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958645$7B86C91C-44D4-48F6-BF4C-6C40F9FCDD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f342ea4f6edcfa9b24e8c4722a1d0f43147ce5a5","datavalue":{"value":{"entity-type":"item","numeric-id":4844167,"id":"Q4844167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958645$59759EAD-42B0-4362-9712-864659EA193E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eb57310977e308cbdca87dfcc89a72e3a1a1259","datavalue":{"value":{"entity-type":"item","numeric-id":924173,"id":"Q924173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958645$29A666E4-C855-4082-9AB1-2A0196D15A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e232b24a5d59a0579da8c12ac6b537c7b42cfdf3","datavalue":{"value":{"entity-type":"item","numeric-id":6184031,"id":"Q6184031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958645$F0F6F9A8-B838-4FE2-B1A9-C469B899843F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"465c811c3422c6010a7ea508c5c2ca8b265f5d19","datavalue":{"value":{"entity-type":"item","numeric-id":5463967,"id":"Q5463967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f486a129370c4c4f20a25cdc712edd2e30dabe89","datavalue":{"value":{"amount":"+0.9193750023841858","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":"Q5958645$C31A0A42-B058-43FE-B7ED-764C69D9284D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fec176d39f9a3c8b0c6a6f72f4541f402a6aaa0","datavalue":{"value":{"entity-type":"item","numeric-id":1390950,"id":"Q1390950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748715d436e24ffaa20b82582cf1ea1c252ec651","datavalue":{"value":{"amount":"+0.7904859781265259","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":"Q5958645$9DEB5533-86F1-4828-9CA5-2B51C2553D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b8b49d47c9bd21cffd826fc32f25abb699393d3","datavalue":{"value":{"entity-type":"item","numeric-id":2763628,"id":"Q2763628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748715d436e24ffaa20b82582cf1ea1c252ec651","datavalue":{"value":{"amount":"+0.7904859781265259","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":"Q5958645$D36B7F3C-1604-45EB-A7A6-5A5D80D8E12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b7bc54870293c98556cf7a2d98fd577573f3df1","datavalue":{"value":{"entity-type":"item","numeric-id":4386935,"id":"Q4386935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec5e8117b7a7cd363ceab4f6f3257f1003a5cb4","datavalue":{"value":{"amount":"+0.777825653553009","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":"Q5958645$6F8122DF-A1C8-4D2C-897F-9107E65F191B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df7bd3250cef42603e60c10bb218c555a22d17e","datavalue":{"value":{"entity-type":"item","numeric-id":5941133,"id":"Q5941133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ee2db4ba3d987e66e796b3b886c1638c2db05c","datavalue":{"value":{"amount":"+0.7575873136520386","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":"Q5958645$175B3D6B-7407-41C5-8A1E-5E99004C8586","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomial-time learnability of logic programs with local variables from entailment","badges":[]}}}}}