{"entities":{"Q5277726":{"pageid":7307301,"ns":120,"title":"Item:Q5277726","lastrevid":52850396,"modified":"2026-01-23T15:42:25Z","type":"item","id":"Q5277726","labels":{"en":{"language":"en","value":"Reasoning about evolving nonmonotonic knowledge bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743969"}},"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":"Q5277726$6DF090C6-616D-42BC-8D34-7EA93074E3E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da3d923c1b91bfa12afbcb32eb3b17801cc87d78","datavalue":{"value":{"text":"Reasoning about evolving nonmonotonic knowledge bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277726$44FA7782-795B-4486-B639-61FCEC220CAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6acda5c845a92ae97878f6a5f5011c529c3616d2","datavalue":{"value":"1367.68279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277726$DFD03D99-0709-4A37-8A32-5AA138DE8731","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dc27c3ae744cc3635103daa65653326c85e4606","datavalue":{"value":"10.1145/1055686.1055693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277726$0A95EBDF-AA06-4C82-A6E2-C69C94836ADE","rank":"normal"}],"P16":[{"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":"Q5277726$6F9ED4DB-1E32-4A92-89D5-0B46EB9B7AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c426544bb8ac422f7f01b16c87ed6dcb0cd6104c","datavalue":{"value":{"entity-type":"item","numeric-id":253990,"id":"Q253990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277726$AEB68CA9-E2AC-40F3-851E-CC6CE0ADD087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d0af8d7ae083e49ffd9397aa4665e70c0af2ece","datavalue":{"value":{"entity-type":"item","numeric-id":2996179,"id":"Q2996179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277726$A8F1B68D-552E-473D-8D72-D0094FB0E571","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":"Q5277726$C74D561F-289C-4C21-909F-F049B0E69FCC","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":"Q5277726$88F31EF5-10C9-4661-BCD4-2FA36A1B27A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277726$8769AB82-CBEB-487E-97E1-C67BD6E767DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277726$0E42DCC1-7142-4B1F-B472-D4C4B564C6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277726$1F89B0F4-B281-4585-85B7-0AA87BA0DE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277726$0F253571-CD1D-445A-8ECF-6984E7E03346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277726$E5255C2A-F544-486D-8594-51F707E3C088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277726$95FC3BD2-1907-47C1-9EA8-7F7B3B74E6DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0dc91f8cb4b039babc26074f03c30028bc12476","datavalue":{"value":"6743969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277726$C1FFA252-0278-4534-9F8C-0A94039A904F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd0a7aaf016924416e69f5d36eb391a59de87c73","datavalue":{"value":"answer-set semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277726$F89E972D-C3E1-4411-B0A6-582037C8FCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277726$ABB404DB-8B5C-4D52-A94C-F3256B97B96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"022e1c72e5cd55c792ca75cd6b94dadc58d096da","datavalue":{"value":"knowledge-base evolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277726$79789A7D-6B84-4E90-A072-9E605E85B611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c98f1f743b62828d8b6900d9f2f364e3adff1762","datavalue":{"value":"logic-program updates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277726$5E58CC4C-232D-4D91-8C28-469C75175887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3efacca3948f1f323a9a4297d7fc852598cd33f","datavalue":{"value":"nonmonotonic knowledge bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277726$903748E2-7F08-4225-9C71-B4C3549D5FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277726$68D8F48E-1996-43C7-AF87-EBFE5569D321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53eef58615f027b6027e364cb066d3d7469bdd18","datavalue":{"value":"temporal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277726$F69CF077-022E-4B42-9233-53A2BF505651","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":"Q5277726$1E3C1573-868B-4784-9A36-D64F1E9A27FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ed47bf89bd2bc3d3d84b5d47c881cd38504a721","datavalue":{"value":"https://doi.org/10.1145/1055686.1055693","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277726$E4270D78-4FE1-489B-878A-373789560D4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db8c2d720059e0b3c2cd440096a648416c6914c5","datavalue":{"value":"W2024598493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277726$EEE3395C-339D-4A00-B273-A102732BB76B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f24e222714c5f96da5b37da48c71fe2df7c69f8b","datavalue":{"value":{"entity-type":"item","numeric-id":2996180,"id":"Q2996180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be592cc23301723a124baecf069c4875df29e456","datavalue":{"value":{"amount":"+0.98053640127182","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":"Q5277726$143A7DDE-0ECC-47E9-9893-DE0FADCEB64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597f66e7280118a7270adf18e74a9de1142610b5","datavalue":{"value":{"entity-type":"item","numeric-id":4797777,"id":"Q4797777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054295a5cb8ec62240f09787552ca09f4f03b921","datavalue":{"value":{"amount":"+0.8704259991645813","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":"Q5277726$812BC135-CFDE-45C8-B9D8-B5FECB715753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7cdd1cb93876bd592355cb858a9255fda1e1684","datavalue":{"value":{"entity-type":"item","numeric-id":4708906,"id":"Q4708906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c01d0ec5c0be81f3ee9e9c19e673e0e4d8191d31","datavalue":{"value":{"amount":"+0.8618977069854736","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":"Q5277726$F66C96D7-9BB8-4493-B586-7CBD98BAFC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb5de9b4044fb1e10f24972670b5ac245b304694","datavalue":{"value":{"entity-type":"item","numeric-id":4819001,"id":"Q4819001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0059f733e27fc85fccc403383a642115aee48de5","datavalue":{"value":{"amount":"+0.8487043380737305","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":"Q5277726$85F02B94-FFC1-4A20-9FBE-F05B49DEFA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cf0c74e62612b52010f648362ded66a94220b31","datavalue":{"value":{"entity-type":"item","numeric-id":4507852,"id":"Q4507852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6165fb98c3ef17aef6516ec1a2a7aa03bfea444","datavalue":{"value":{"amount":"+0.8334214687347412","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":"Q5277726$E6D9955E-197A-486A-8312-DDA2837C3656","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277726","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277726"}}}}}