{"entities":{"Q2931249":{"pageid":2941969,"ns":120,"title":"Item:Q2931249","lastrevid":58077447,"modified":"2026-04-03T17:23:10Z","type":"item","id":"Q2931249","labels":{"en":{"language":"en","value":"Dynamic consistency checking in goal-directed answer set programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6373637"}},"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":"Q2931249$8FAB0073-C2A7-4423-B7D8-4453880DDA27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24310f46a73aea1dbc2bdfcc27a26d6b62794958","datavalue":{"value":{"text":"Dynamic Consistency Checking in Goal-Directed Answer Set Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931249$3A7B3DCC-6279-4DC1-B4B9-92C5A44ABF9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbc644fdcb8f7be560f9261526bb3fdfe5928a69","datavalue":{"value":"1307.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931249$904FCF0B-2126-4F6F-8512-6B275A151B7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"363bc5728fadb81724cbe45da8709c43c9bd9d9a","datavalue":{"value":"10.1017/S1471068414000118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931249$9DC86ABB-CCBF-4E2A-AA3A-CE9D2D237FBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7843314105acd765722f8220ee7e6b881761fb9b","datavalue":{"value":{"entity-type":"item","numeric-id":2931248,"id":"Q2931248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931249$B4530E15-5860-468B-9BAB-C650E9063280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d1065bf5a79a6e3399944e23126deafc1dd756c","datavalue":{"value":{"entity-type":"item","numeric-id":1209355,"id":"Q1209355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931249$B35F5E54-0F92-4DE5-8FDA-081609C0FA69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931249$3D4946A1-E881-45C4-A5DB-C26B23C006DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a882446bd128890a95a71deebb9cb2548da37a94","datavalue":{"value":{"time":"+2014-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931249$FC3330B2-41DA-4864-9377-55ADF5D468E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3706981fa3ec83a1f21ee931a910ae2990ce6cf","datavalue":{"value":"https://arxiv.org/abs/1405.3603","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931249$DEE282DF-3A54-4BB8-A9A4-064388D4EC6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931249$95B01006-C74B-4BB1-9966-C5B04E45C884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931249$B80B3F53-F467-4AF3-8793-3A53443ACFAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23622f439fc738b9eff277e7e0005dbb35d63c85","datavalue":{"value":"6373637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931249$851955A0-6606-4F3D-AF7E-0A5EFD214537","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f93f5afa57b5bc1988ba5bdad1cc82f822e081e","datavalue":{"value":"dynamic consistency checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931249$CCC38791-E0E4-4DDD-8429-ED81B118112B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931249$6A32DB73-3032-4456-8848-753805464869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c189c852f4b6df150f6ab3689c61235c478f37","datavalue":{"value":"goal-directed","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931249$B676767A-91AC-4B58-9EED-A639B887E92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d46d48e76c4dcee4323b3eef1466317bfab5d4a","datavalue":{"value":"consistent query answering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931249$291E4CE2-923E-4500-9B3D-543880A14918","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":"Q2931249$07ECC0DF-62CE-4BC0-A5C6-BEBA28C48156","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a7aba96d6d7680a2364ace548db07ed0a108fdd","datavalue":{"value":{"entity-type":"item","numeric-id":4815028,"id":"Q4815028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931249$4D43ACA7-5AE3-4BE3-96C3-2614BB2C8A9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25cf2323a2ce21f4f60417bda70c603452fd84a","datavalue":{"value":{"entity-type":"item","numeric-id":2401933,"id":"Q2401933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed0fd739b85e07010d1a36f5e69bd8dc7754cce2","datavalue":{"value":{"amount":"+0.7286851406097412","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":"Q2931249$80595A33-0894-42A3-8315-97D884F0D960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d384e7c4094d56bd206dbd354f5da2ddfe533dc8","datavalue":{"value":{"entity-type":"item","numeric-id":5473727,"id":"Q5473727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae2edbd322ee9abecfca3f60f4bf8e9d63c4d227","datavalue":{"value":{"amount":"+0.7229004502296448","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":"Q2931249$9FD948A2-BE85-4889-AA20-8FAE44A395E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffafbe6eaf7d3e0a16313107ca7c94b0c574ae36","datavalue":{"value":{"entity-type":"item","numeric-id":459042,"id":"Q459042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e1cc7d302181969b99a1742c6956b366899eb7","datavalue":{"value":{"amount":"+0.7140594124794006","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":"Q2931249$4CEB44D9-AA9F-432F-BA80-FDD00538880A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb58c56d300d9ed326dcafa5831ce9f0907896f","datavalue":{"value":{"entity-type":"item","numeric-id":2767119,"id":"Q2767119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"970d2248c29a4da6ad2dfdeaef5f015727a63ad8","datavalue":{"value":{"amount":"+0.7132847309112549","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":"Q2931249$C022DE14-F58E-493E-95FC-BD57E9AF3468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e87e66196aa67b77bb43e4c56f489a39bd2db30c","datavalue":{"value":{"entity-type":"item","numeric-id":3008410,"id":"Q3008410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"970d2248c29a4da6ad2dfdeaef5f015727a63ad8","datavalue":{"value":{"amount":"+0.7132847309112549","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":"Q2931249$0EB0ACD7-98C9-4FAC-9DD6-BEA91C38CF8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931249"}}}}}