{"entities":{"Q844157":{"pageid":846005,"ns":120,"title":"Item:Q844157","lastrevid":42723880,"modified":"2025-07-09T14:08:59Z","type":"item","id":"Q844157","labels":{"en":{"language":"en","value":"On the complexity of extension checking in default logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5659903"}},"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":"Q844157$E5D4EAA1-5D56-4120-8D55-92A4A15DAC7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"407aaa45b8f78683d5a3632f02a5634bdf01141b","datavalue":{"value":{"text":"On the complexity of extension checking in default logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q844157$307BA350-6F20-42D4-A202-0653F38066BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70b97dea587e92a58c3ea5b826fe9b0168b21641","datavalue":{"value":"1187.68584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844157$357AEB03-5FB0-4C5B-AEA2-BDB885573B5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0e56c25c2b7d0d8276bcdd33dabb0c16cbbccd","datavalue":{"value":{"entity-type":"item","numeric-id":202172,"id":"Q202172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844157$3E6BC4E7-9BF0-4F82-A03D-1D7DE4334A41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844157$E709B99E-C3CA-4380-AC68-3EE64F041776","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"160ae7be62905e153a649a9a4d09ab3aa02ded62","datavalue":{"value":{"time":"+2010-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q844157$2E47BC17-A969-4D96-B779-CCCDD1C027F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844157$718D9181-9BF7-4F06-B210-A5F2E66C673A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844157$09BCAC3F-5DD0-4282-90B7-8D067FD4AA57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cb28ec3f86edb33e05f4a079f491572b10016a7","datavalue":{"value":"5659903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844157$633FB732-3C92-47ED-88E7-67082B32B8C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q844157$DD31CB11-C7E9-4C9F-A4C9-8065DE648235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q844157$45743188-0714-43C9-8C56-AD4CCD3034DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q844157$5D8A9EDB-3A4E-468B-ABBD-E678A7880DF9","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":"Q844157$402BED14-EE63-4255-AD22-57B6A1723F0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b857283b18f27a0c913fbbc7a51a9af595d3cf08","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2005.12.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q844157$598EA61E-4F22-47D8-AF8A-D15805BEF59D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c6977d1c658846fd4c2ade68c66e9dbc557e654","datavalue":{"value":"W2042523249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844157$3EE6FD4F-4D96-4375-B817-95EC46864813","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f3263c60a694de64985bdf1681be7c6c0352cfe","datavalue":{"value":{"entity-type":"item","numeric-id":1333283,"id":"Q1333283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844157$A58423C3-2918-4C7D-B756-E2AD8A09F90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0e6b50db66114e81992a5b3880453f6ef0b6e22","datavalue":{"value":{"entity-type":"item","numeric-id":1853549,"id":"Q1853549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844157$7677DE06-EEE3-4DEC-BA22-8F60B57A1FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87bd0d661c6f87c4eba3d55a7217fe1c254772e6","datavalue":{"value":{"entity-type":"item","numeric-id":1342221,"id":"Q1342221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844157$C89C5D69-3FD4-4B0E-A93C-2852191A625A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb3b6574e3a64e30fcadc203163baf4db47e18e","datavalue":{"value":{"entity-type":"item","numeric-id":4244306,"id":"Q4244306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844157$DDA2076B-5B9F-47EA-B7C3-FAF20C238EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b03faa4dbcac10b41e80920dfdcc0083c7771a5","datavalue":{"value":{"entity-type":"item","numeric-id":4273952,"id":"Q4273952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844157$6B766352-B0D5-4938-8343-5B67EF0E3121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844157$8CFC8A64-6EBD-4383-AC9C-A06C16BBCD2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a3dd555e3b1a86cf0ad107e9819ae923639495d","datavalue":{"value":"10.1016/J.IPL.2005.12.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844157$13CAF2E7-C154-4720-A12C-53C2FF19B4B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba05ffa3a3b8bb80abd905574bb62dd29528cbf","datavalue":{"value":{"entity-type":"item","numeric-id":4796540,"id":"Q4796540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd202a854454c9deb3873820282d2ae74e1233bc","datavalue":{"value":{"amount":"+0.9216218","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q844157$D43EEBD2-5019-42F5-8600-1CD97A217F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9b6da3485a4b7234e7d09bd92d9869a9c9648c","datavalue":{"value":{"entity-type":"item","numeric-id":4282499,"id":"Q4282499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7999a24648cfd865083eedcc32f59b270f707177","datavalue":{"value":{"amount":"+0.9035965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q844157$D953157D-146D-43BE-95AE-96826649A931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4a5860b5623a0ef0b0bb6ceef5c051bb18bdaa","datavalue":{"value":{"entity-type":"item","numeric-id":679244,"id":"Q679244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909f0af14463d68c30edf62d90b7920a7d7465c3","datavalue":{"value":{"amount":"+0.8975215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q844157$6BB639DC-9D04-4FA5-93EE-207979B29E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff1340a1d38244fc57f71740ac4e75882198353e","datavalue":{"value":{"entity-type":"item","numeric-id":1853549,"id":"Q1853549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6f7694b70538e250eb517e9272c67bd5b94dd5","datavalue":{"value":{"amount":"+0.89219743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q844157$E2AE7637-7113-4B60-88CF-2B7CA8A5D03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f183308078f52a9809a1e7cc50dd85d7acf55c9","datavalue":{"value":{"entity-type":"item","numeric-id":6061878,"id":"Q6061878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c801a12d2abaed731a948791fd887617977372d","datavalue":{"value":{"amount":"+0.88991666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q844157$97897FFD-1471-4803-A924-3AF024DE34C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ecf989acd6341f439040561b340b719e887516","datavalue":{"value":{"entity-type":"item","numeric-id":4025925,"id":"Q4025925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9744b2e567fff9e78a03d6ff38bcb9bd4ae0074b","datavalue":{"value":{"amount":"+0.88536847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q844157$62267FE8-ACFA-43A6-AA24-A68ACDDE1177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d1156ef5e99db6f89858241f4ef0ba38ee13f0","datavalue":{"value":{"entity-type":"item","numeric-id":2893324,"id":"Q2893324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3893d36bfcd567c803a82ea7a248802842837c2f","datavalue":{"value":{"amount":"+0.88301533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q844157$51AE01FD-9651-4A82-B765-0506B19C549D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10d0ef2e4ecc8703484d1c5f84564ff588a9eeb9","datavalue":{"value":{"entity-type":"item","numeric-id":3637157,"id":"Q3637157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3893d36bfcd567c803a82ea7a248802842837c2f","datavalue":{"value":{"amount":"+0.88301533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q844157$5B3CDFE3-3B0D-484B-9C42-F96F4EC094A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e58770b831abc2ac95b038ca376cdd6dce9e1543","datavalue":{"value":{"entity-type":"item","numeric-id":4930577,"id":"Q4930577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d71aa5fc0ddf91ac761e2b722647b49edc1e496","datavalue":{"value":{"amount":"+0.8761657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q844157$2AFEAB19-197B-4C9B-8834-D7058147F126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a7bf0d0f25486e2b487ca15bccabd9d7423916","datavalue":{"value":{"entity-type":"item","numeric-id":647339,"id":"Q647339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d71aa5fc0ddf91ac761e2b722647b49edc1e496","datavalue":{"value":{"amount":"+0.8761657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q844157$9E8822A5-D083-4D86-B37C-E7D145FEB40A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:844157","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:844157"}}}}}