{"entities":{"Q6545514":{"pageid":14156668,"ns":120,"title":"Item:Q6545514","lastrevid":55671100,"modified":"2026-02-17T20:45:12Z","type":"item","id":"Q6545514","labels":{"en":{"language":"en","value":"Generative Datalog and answer set programming (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7855108"}},"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":"Q6545514$3EFF8277-AC7E-40F2-AEFE-7B80FD1717AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16d3abb90e68380e14e936b217f1ba7274a6c858","datavalue":{"value":{"text":"Generative Datalog and answer set programming (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6545514$BA309574-A5E5-4F13-BD43-916DF27FDED3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"188bbc8948b70293fb85a0bc1bac1f141f3d10d3","datavalue":{"value":"10.1007/978-3-031-43619-2_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545514$6E173E32-95D8-4549-8073-C2A9D8045067","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5a97ca6b9aa27ff9ea5b9e923a7697bd4e8c876","datavalue":{"value":{"entity-type":"item","numeric-id":590982,"id":"Q590982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$FAC19512-223C-4C91-B791-04B67BC3CC4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6545514$B4AC5311-26FE-4B5A-9EAF-9BE2E1147057","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545514$D54AD5F2-8A67-478A-BBCF-008CA3BC837C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c2266fa9edd0412cc75f3a4b2e0b512b67a889a","datavalue":{"value":"7855108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545514$B31453F1-B39D-433F-B603-E8D5C4226D06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545514$995DC444-E0BB-4B59-82EE-044DF5952AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545514$68240376-32AA-4593-B3EC-88DB873FB034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8584c6e1f30022e38b3142ba97a768d1f1ecb116","datavalue":{"value":"probabilistic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545514$ECD288A5-3669-4DA7-921D-EF31B91982B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37a6321615a51c473c273759d09192c55a91684","datavalue":{"value":"non-measurable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545514$E58EE549-AB7E-41B1-ADF2-566FC64E3A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8c04d6faec96e0a57b788f2647a3e7913e75e9","datavalue":{"value":"stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545514$E39824C4-B5C5-44D1-A8AD-112AFFF96B17","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":"Q6545514$48ED187C-A234-4220-92B9-D6E441CF6FA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78d51c47976dcda9c5a8e121ff9368920c64528","datavalue":{"value":{"entity-type":"item","numeric-id":2401936,"id":"Q2401936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$DDE0E86D-8626-4264-B7E8-953BDE39EDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f61c0382bee639fd50de627d9fafa9b2f54c0e","datavalue":{"value":{"entity-type":"item","numeric-id":3612603,"id":"Q3612603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$757435FB-D435-4C79-8D6F-FC71C4282621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2889dbb31b2e670f523a9e6f4e23bc23bd02d23f","datavalue":{"value":{"entity-type":"item","numeric-id":5276186,"id":"Q5276186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$AF5A874E-96A1-4A77-ADEE-044CF29BA5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f9ad490f77e13f4a20364189a3d71a5cba2ec8","datavalue":{"value":{"entity-type":"item","numeric-id":5452025,"id":"Q5452025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$49D68812-42E2-4B0A-960A-F7807612B936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90ec685939fb013b946f6a358a09ab6a8074f925","datavalue":{"value":{"entity-type":"item","numeric-id":2206456,"id":"Q2206456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$4185418E-85AA-47DB-8428-CA4F0325F199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2616ef39c973ecf459a7e8cc94c7de4d25707bde","datavalue":{"value":{"entity-type":"item","numeric-id":3575744,"id":"Q3575744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$24150B8B-40CD-4C62-8D0A-4489991A4DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9382fd3f9c93e003339d076e8d3ce4bc603b9420","datavalue":{"value":{"entity-type":"item","numeric-id":4592983,"id":"Q4592983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$8F4DD4D5-4333-4F56-8B91-5A3E99BEA3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72b12b8fe9d8095c0fff6acea9d9e2ca2d28ad0","datavalue":{"value":{"entity-type":"item","numeric-id":5197744,"id":"Q5197744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$F9ECFF25-1E9F-47DA-B591-32BD5F369D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e56cc0ad7baa7eff77c156e697973d717687501","datavalue":{"value":{"entity-type":"item","numeric-id":3011296,"id":"Q3011296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$87EE0F94-0E26-46DC-A602-61DA56206476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$DEE3A4B9-D019-41ED-9FC0-760E9F72D5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9d844f977e5a2a9615144ca605e01646d6ba85","datavalue":{"value":{"entity-type":"item","numeric-id":3007597,"id":"Q3007597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$C19E594D-D97F-4E53-9524-7D44EDF2115E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6190fde0505654fdbf036544d03ec624ff39e87","datavalue":{"value":{"entity-type":"item","numeric-id":3087451,"id":"Q3087451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$0AD09F47-294A-455D-B574-AE26CB2D9BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907218b6a78566b8f5d426df9d0073e6f50f7ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3203061,"id":"Q3203061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$BA1CBFB7-DA2E-49A6-B3FB-5246159A9882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a00e88ded27897c8a2f24570ff4c60e7f08504","datavalue":{"value":{"entity-type":"item","numeric-id":4592718,"id":"Q4592718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$16042FDF-C77F-4DCB-9046-AAEB4322F8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6297729297cb28a62117a4999c4114b036b54e67","datavalue":{"value":{"entity-type":"item","numeric-id":2630824,"id":"Q2630824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$366B8D57-9C7F-4964-8D49-E9DE6BC7EA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730673ab69aec4c14291c9dce9e11bd29a9b03ba","datavalue":{"value":{"entity-type":"item","numeric-id":5452027,"id":"Q5452027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$168020EB-A869-46C5-A801-A584F7D7D558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5b3210b70504b00a0159ca4bf1b7ae9c795baee","datavalue":{"value":{"entity-type":"item","numeric-id":2491364,"id":"Q2491364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$890A9CEB-CDB8-4F13-9DA2-F6F9D35C833D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100d18e0f1162a9d17692beaad754e517d6195ce","datavalue":{"value":{"entity-type":"item","numeric-id":3100961,"id":"Q3100961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$60FDB6FF-04D1-4F9E-9CE6-A688FBC107CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b86f9d0828d03ba4ceed5766e6eee10828aff1","datavalue":{"value":{"entity-type":"item","numeric-id":3393227,"id":"Q3393227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545514$ABE88CF7-E5C4-40C9-9543-B5841472C560","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c496d9ebffde4ef2b7de69c39f87bb3e882ae91","datavalue":{"value":{"entity-type":"item","numeric-id":5276186,"id":"Q5276186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d553adb3cb252d30f1fad4c4d2d0b7df105391","datavalue":{"value":{"amount":"+0.7910003066062927","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":"Q6545514$3827D2BC-7048-43FD-BF28-061DFB9E8008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e93325b9dbad810d095d25dd02b462063b3a3e","datavalue":{"value":{"entity-type":"item","numeric-id":6551262,"id":"Q6551262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf94f45a448d3f4a160ee1b6ce2667bb37aa3a7","datavalue":{"value":{"amount":"+0.7696627974510193","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":"Q6545514$3C62B306-C0F3-4DD8-B528-4C7A264B64BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae8b37a790c745b299f6649c9fcc12779bbba02","datavalue":{"value":{"entity-type":"item","numeric-id":6132960,"id":"Q6132960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"586297164a2ffa12291fe6939f671969a03645e1","datavalue":{"value":{"amount":"+0.7570958137512207","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":"Q6545514$DADFEF0B-2A5A-4D59-B1DB-D513E8D2DAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17716700cfe7369fb0aeb00b5bbca0f16ee440f5","datavalue":{"value":{"entity-type":"item","numeric-id":6488098,"id":"Q6488098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6749304086aea654e8e58ba0fcc8c4e6629e9903","datavalue":{"value":{"amount":"+0.7521269917488098","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":"Q6545514$C9CA9F48-0A71-4997-9C85-629720BF03A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b8ddcb91e7a670f4785e9373e1603365cadda43","datavalue":{"value":{"entity-type":"item","numeric-id":5233781,"id":"Q5233781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7acc88e45a996aa5923ea866b15ccd581a4e8ed","datavalue":{"value":{"amount":"+0.7215089201927185","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":"Q6545514$8D1154A0-DCA2-41F8-A547-A419FC90F192","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6545514","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6545514"}}}}}