{"entities":{"Q2946639":{"pageid":2957359,"ns":120,"title":"Item:Q2946639","lastrevid":52347251,"modified":"2026-01-22T10:11:30Z","type":"item","id":"Q2946639","labels":{"en":{"language":"en","value":"Embedding nonground logic programs into autoepistemic logic for knowledge-base combination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483145"}},"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":"Q2946639$29D061F5-9033-4305-93B4-14E4F7CCA1E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b9ffaab09180c92403651baa78a9057aca6450f","datavalue":{"value":{"text":"Embedding nonground logic programs into autoepistemic logic for knowledge-base combination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946639$B5E23CCC-DF76-4559-B99A-F0D61FC16D72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f356be5e316cee90cec9f81e80f6abd5fe72e02c","datavalue":{"value":"1351.68273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946639$BFD2661D-0C87-43E3-9B15-FB52753A2CAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5027cfe989b8d49e6211974f70fd90831f6542e","datavalue":{"value":"10.1145/1929954.1929957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946639$975FBAE9-A406-4E54-B970-E4691773E8AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b2a925778d0fafcefe483bd31267b7332b1f2ff","datavalue":{"value":{"entity-type":"item","numeric-id":2946638,"id":"Q2946638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946639$658B03D2-5087-4E38-836B-D0EE091AA51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e2771a73d1b8d307276d7afc6997154a7082ea","datavalue":{"value":{"entity-type":"item","numeric-id":171927,"id":"Q171927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946639$4C43A7DF-045B-484D-B3E6-991696B77A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a537c8b2039e2a435edaf547d7b49dd8cb1e2ac","datavalue":{"value":{"entity-type":"item","numeric-id":814435,"id":"Q814435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946639$467B1837-8A71-47FF-B0BD-6136EA763102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b4c9a3b60ce1a7957f6ef922f2b322f43dfc45","datavalue":{"value":{"entity-type":"item","numeric-id":1868243,"id":"Q1868243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946639$14845656-BB84-45A3-8B93-3737034AA048","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946639$042C9872-3F42-4B65-B020-14B67DB9085A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946639$85495CA0-D43A-4F54-AF58-435431151F57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b742e565be789bd041580d8d23b444c4e6dd7fea","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.9899","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946639$C3D9FE07-9A71-449C-87AD-D8DE80D83EDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946639$631089E2-3D45-4239-B64C-58C9304F3970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946639$A859BD3A-50DB-43EA-A02D-899EF0C840C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946639$9A3BFF41-4026-4854-BAF0-AF44CB87BA47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dae2c41091860595f2ce734599160ecddbd7ad8","datavalue":{"value":"6483145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946639$A5BAF0C1-2715-4C6E-A345-885111B97722","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a944bca9146d9f880d0398d7e4cc3deadc9c647","datavalue":{"value":"first-order autoepistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946639$43B6FE60-F454-4167-90E7-66CEBD30503E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a2738e7e32fc2cda715f4e8cf8bb5c18d04e943","datavalue":{"value":"knowledge combination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946639$104E36C1-C23B-4CDD-BF02-C54CBA5923DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38255a01ff8ffb1fa692e624f7913a6f3083aeee","datavalue":{"value":"ontologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946639$393C01C6-2726-4ABF-94C4-61CB16213C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2e49754c15398b2d3304df82e5eca6cee57bcd","datavalue":{"value":"rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946639$F25D10CB-D219-4AC3-82F9-0A4171A92D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8c04d6faec96e0a57b788f2647a3e7913e75e9","datavalue":{"value":"stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946639$D582DEF5-A88C-4A8E-88A6-D292BE0DD910","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2a0e6b0744260c5a0ae3a79f81883a14580bddd4","datavalue":{"value":"Q58049436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946639$D02D2EFF-CED8-478C-B217-31AF8E202526","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b0829dbe86038ebf166e85d3ffc458cfa18c7a65","datavalue":{"value":{"entity-type":"item","numeric-id":25911,"id":"Q25911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946639$A71B137E-8CF9-4957-8506-B9750EDF67D2","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":"Q2946639$DEFA0D7F-7A55-4D99-A6E4-4FA48EB1F205","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d6c6cb856676b98d8bffa27f5ba1c1320915272","datavalue":{"value":"W2157081549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946639$BC1444B6-C737-470A-BEB0-1F67407BD353","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"043edef1c5df6ebf9a5eaa55ed755b22c4e41528","datavalue":{"value":{"entity-type":"item","numeric-id":2946628,"id":"Q2946628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe46be37bd256ba693c8a0fc63a1fb9b9a677aa2","datavalue":{"value":{"amount":"+0.7482180595397949","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":"Q2946639$64817E61-4B2E-49E7-809F-475BD0B0474E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8b9c9c6d46c050f9dcfcdf4b347904f96df3d62","datavalue":{"value":{"entity-type":"item","numeric-id":5475811,"id":"Q5475811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d37ee6f09dd3f5262f7f622ed836c0094eada5","datavalue":{"value":{"amount":"+0.7438782453536987","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":"Q2946639$74DDCD62-7385-4651-9783-9F26B0968CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f13f9b0b24868d5f8acd49dfdd4c8be3cba16d","datavalue":{"value":{"entity-type":"item","numeric-id":2389666,"id":"Q2389666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ece23b262281c4fbc45ea44a56cb9f76b87663","datavalue":{"value":{"amount":"+0.7355169057846069","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":"Q2946639$86740CCA-8BA0-431B-B7CB-26FD3C428A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d4560c23182e172a6ec0ceac845c855917d204d","datavalue":{"value":{"entity-type":"item","numeric-id":5930852,"id":"Q5930852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70dfa84a275f4ff8065d1dd0d8ef3172eddd4906","datavalue":{"value":{"amount":"+0.7322816848754883","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":"Q2946639$5E97EB34-19D7-418D-8F1A-B8F63ACC1134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca3044358064642f9e5557741bc4f29fa37c8b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4537432,"id":"Q4537432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"430970a8df70118e527c68c37f59beba5f36bb94","datavalue":{"value":{"amount":"+0.7305552959442139","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":"Q2946639$DB66F8C2-E3FC-4966-8541-E7C51639A26F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946639","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946639"}}}}}