{"entities":{"Q3005897":{"pageid":3016621,"ns":120,"title":"Item:Q3005897","lastrevid":51265454,"modified":"2026-01-17T12:42:18Z","type":"item","id":"Q3005897","labels":{"en":{"language":"en","value":"SLGAD resolution for inference on logic programs with annotated disjunctions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5906477"}},"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":"Q3005897$D3301293-65BC-4777-9CCC-65412366D285","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87b1bd40ae77b7d9eafdd4c04c3624283d36407c","datavalue":{"value":"1220.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005897$38F60EFD-5D95-4793-929C-6475D337148F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7e6b99038792d9e71582d3a141db4768ddf7469","datavalue":{"value":{"entity-type":"item","numeric-id":313121,"id":"Q313121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005897$50B7A879-88DC-4771-B0B7-09EF9FCD0B62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17dbad52a0f817ae0f82292685951e6b502d167f","datavalue":{"value":{"time":"+2011-06-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":"Q3005897$760FFF1A-890D-43FD-A69F-D39C44E51BE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16116c272bf22be93f3b216c6d3b228cf1618e08","datavalue":{"value":"http://iospress.metapress.com/content/h284771xj3rv48v1/fulltext.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3005897$574ACCBD-913E-4216-85E0-12558D3E30BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005897$BF1163F0-EA4C-4168-93F8-6FE39BAB7B67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d4ebffd1c58c1f98bfc2ca9820ef4e7fc58ab2b","datavalue":{"value":"5906477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005897$E3BF529E-541D-48F4-8874-FE52D7B15850","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2dbe179c2140a5b73fb632d0a3e25854089c7e5","datavalue":{"value":"probabilistic logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005897$52CFF0CC-4DA0-46E4-BA4C-7C147EE1A153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005897$7B187F2E-D62B-45E4-A9AF-F38742542314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4484b9e56b9d89971cc66b91b8c6645b0d25c328","datavalue":{"value":"logic programs with annotated disjunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005897$6FB5C29A-36EF-4666-8E32-6660DC1B349C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"908d2a95c50420162637c341302a0ad87b93ab53","datavalue":{"value":"SLG resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005897$0B280B10-695D-42C6-930A-B20181BCA5CA","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":"Q3005897$084F7809-8F80-4DF0-9EB5-B223E9C4CACB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"623d2621ffead1574f8da04c2d61b1bfd11c75a8","datavalue":{"value":{"entity-type":"item","numeric-id":5504688,"id":"Q5504688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8414e7d2ef0fb1e6a0edd2087c2fe295c3c2a7","datavalue":{"value":{"amount":"+0.9507797956466676","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":"Q3005897$8281DF74-BDFE-402A-B885-CC008D0E6163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7264870deb5b25e9c97d78892fe70b327c59bdf5","datavalue":{"value":{"entity-type":"item","numeric-id":3007594,"id":"Q3007594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"596dbd8f47baf09894411b28046b445f1079a2d5","datavalue":{"value":{"amount":"+0.8289964199066162","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":"Q3005897$1F541D07-8F6D-4A06-89B9-0447C8C2B32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d604586c60a33dab71bb594a681e4e8c3fcf1a","datavalue":{"value":{"entity-type":"item","numeric-id":5313205,"id":"Q5313205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4fb38a98d8406d5d09841db261248fd3b09e5f5","datavalue":{"value":{"amount":"+0.8199388980865479","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":"Q3005897$C53088EF-7A08-461A-AAAA-87F906B7A85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df63ef18a94c2d8efed69a44692e166856cb3c3f","datavalue":{"value":{"entity-type":"item","numeric-id":1009241,"id":"Q1009241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d23ec117e588b95d147cb4f2bb954aec98d85c7","datavalue":{"value":{"amount":"+0.8153408169746399","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":"Q3005897$79395313-10A6-4880-9B1C-06623F8E18D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617491334d5138fe76d8ec496f461b6ffc1a6ada","datavalue":{"value":{"entity-type":"item","numeric-id":2883089,"id":"Q2883089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7afd8e51c66648c14e62b62f5919de47f12234f0","datavalue":{"value":{"amount":"+0.8109961748123169","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":"Q3005897$3FBAF20D-52A5-4763-89CC-13666DF13040","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3005897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3005897"}}}}}