{"entities":{"Q5236437":{"pageid":7266005,"ns":120,"title":"Item:Q5236437","lastrevid":41759768,"modified":"2025-05-08T01:03:22Z","type":"item","id":"Q5236437","labels":{"en":{"language":"en","value":"A system for computing constrained default logic extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7114572"}},"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":"Q5236437$E52B3BAF-3BDA-4691-8B89-C5942E40BF56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85c93921c277b7a17c8f3c4098767722fdd67200","datavalue":{"value":{"text":"A system for computing constrained default logic extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5236437$997CB8AA-E83F-4E0F-A252-F6FF18033F7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29d4831545e97187173aaa372d93ca86f290752d","datavalue":{"value":"1427.68286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236437$13554A05-519F-4F9D-8791-ADDF52127C3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00532fa5fa79136228d995ed221ee64459420691","datavalue":{"value":"10.1007/3-540-61630-6_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236437$CF1A232C-047D-4876-86FE-7A02A1D2ABA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236437$3732969B-59BB-4A76-90F7-0DBC0A3CDE6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc07bda6ecc2d918e20f9b6c43dfffbc17943f9d","datavalue":{"value":{"time":"+2019-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5236437$58D32588-E065-4638-AE9D-ECA37A860BFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236437$79DDE9D0-DBAC-44DC-B93D-8C0C5EED2D8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2fbffda27d7c709b1ed3d1b578608177c74eed3","datavalue":{"value":"7114572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236437$EA80E312-C7BB-49E0-BF8F-BE593B2468BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236437$99D43C3B-2478-48E8-AEBF-8F88A4208532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c21a70463af21171b5268a4d1dc51b15d19d4ca","datavalue":{"value":"default theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236437$F8B0A8EE-21CF-4FF0-8282-0C87AD654C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14e2d6cc14d0fe9a0ac7cae9c342aff188bb9d06","datavalue":{"value":"pruning technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236437$24B512AB-E980-4F68-8F90-404ED02E3DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236437$04DAACD6-1B1D-41CF-B5C4-DD953665268D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236437$B98A375B-039D-4CF6-B248-EDD9DD758D77","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":"Q5236437$135562DD-2F2E-4C13-B0E9-0BCF49C40BFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38cec81b699c733d9adb6c52ac11bb7f02daa98a","datavalue":{"value":"https://doi.org/10.1007/3-540-61630-6_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5236437$CCE4DCC2-466F-4357-955D-09E0C27232C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10edcb8e3d66c25aa29511ed90e41be9e1e82969","datavalue":{"value":"W1642770377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236437$4A71F5B5-33B4-454B-8DF0-FA9967EFB3F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f517f93e41f1b83fc185c6676d8edd046e7ca0a","datavalue":{"value":{"entity-type":"item","numeric-id":1187215,"id":"Q1187215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236437$FFEE78FA-6D32-48F2-84D6-107D2D4BFDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c80832e650dd91e7c07ca5fdf93a8580029fd57c","datavalue":{"value":{"entity-type":"item","numeric-id":4474859,"id":"Q4474859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236437$C2F409A8-3E31-4976-BFB8-BBAEC2E55639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef7ec0993570eb5b6905b987007d45fa7992eab","datavalue":{"value":{"entity-type":"item","numeric-id":1606312,"id":"Q1606312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236437$171B29F7-8284-4C8C-9304-CB69ECB32829","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":"Q5236437$F5D3434F-8FFA-46CD-90DE-4A12185DC3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb92bf01373ec42bd1f1e7aa1885dfb1a9239925","datavalue":{"value":{"entity-type":"item","numeric-id":5101455,"id":"Q5101455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236437$7B4E1BB4-9088-4448-A38B-7530419816E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd65dcc2f2789d017c7392c53b3e11ee3c4fa3bb","datavalue":{"value":{"entity-type":"item","numeric-id":1104777,"id":"Q1104777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236437$7BBB93FC-7CCE-4024-A9DD-EC8666328127","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":"Q5236437$03496DDB-A086-436C-97BA-BC83D53C2DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dbd0b8489aba57d80e9eb153dfd238f15cfe905","datavalue":{"value":{"entity-type":"item","numeric-id":1344885,"id":"Q1344885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236437$54EB6F8C-DE59-466E-9B5F-B7BE23AFDAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68efa9e5bd739d69f66fc6751c8ddb1542326e4","datavalue":{"value":{"entity-type":"item","numeric-id":1896370,"id":"Q1896370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236437$468BF621-62A5-4F88-9815-5024841A54C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021d5944cae8d16e0ff5ff07e60f345cbac3ff94","datavalue":{"value":{"entity-type":"item","numeric-id":4286218,"id":"Q4286218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236437$B315D7CD-B8BB-4BE8-AAFA-B88ECF6C876D","rank":"normal"}],"P1643":[{"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":"64c4f8b3df88f2a2e4aec294589146e55722c3da","datavalue":{"value":{"amount":"+0.9152856","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":"Q5236437$4F7AA675-F125-4E8C-8D4B-AE1853E17935","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":"e3a84b6dd58994a97c5f2d75d764829c79ae3701","datavalue":{"value":{"amount":"+0.90419596","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":"Q5236437$DC737E8B-7790-42AF-9067-531D42641E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dbf46fae11de5816f779b228d892707da2ca346","datavalue":{"value":{"entity-type":"item","numeric-id":3639567,"id":"Q3639567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d1c52b5c157a545886efa3108852ea5f7ec870b","datavalue":{"value":{"amount":"+0.89816","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":"Q5236437$2AC0AFC6-BEB9-427C-A5F3-1D26C9457B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f332c47ded7f5f70b591e06bdea95cd54f55f4","datavalue":{"value":{"entity-type":"item","numeric-id":5309346,"id":"Q5309346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ae12654dcb21175ff80dbe3d09e2acc99867b9","datavalue":{"value":{"amount":"+0.8865478","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":"Q5236437$F1612EA4-A70F-4B91-BD56-F22FBEB044D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dccd2deac6435487466aa8f75ea24b4405156124","datavalue":{"value":{"entity-type":"item","numeric-id":4471864,"id":"Q4471864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a64f28d5f7bed1ab861e42ed7cec297cba286e2","datavalue":{"value":{"amount":"+0.8860666","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":"Q5236437$F420FE28-1EF2-412B-B989-86B0A1E5A012","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":"a6496b78e7616f6f95953828d711214c21cc4305","datavalue":{"value":{"amount":"+0.8809276","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":"Q5236437$6FD8DB34-AD80-40C9-AB7E-383759FC2107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19bc59e5eb00d789a3e9cc6b2a69c6a680ee1791","datavalue":{"value":{"entity-type":"item","numeric-id":4244306,"id":"Q4244306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d3682258b7556dd443c6139323e1ffbc512ac88","datavalue":{"value":{"amount":"+0.8780824","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":"Q5236437$1992A172-6EF2-4A0C-9399-D66CA5D378E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bdc5be1cfd00100f1ab628dabb5cb2456cde223","datavalue":{"value":{"entity-type":"item","numeric-id":5101454,"id":"Q5101454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0769fd58dd51d227e013bc680abba8971865ab89","datavalue":{"value":{"amount":"+0.87803537","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":"Q5236437$9933D051-572D-4A7A-AA78-D4D6CB5442DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b75a813dce6f0781673f3d6e1b3904e66d4398","datavalue":{"value":{"entity-type":"item","numeric-id":3643125,"id":"Q3643125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c48a9628e1c2502ffa06a814d9286170755aeea","datavalue":{"value":{"amount":"+0.87770057","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":"Q5236437$5723A9FC-A7E9-49A7-AEDD-ECED51675E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f8b00ee50190e32bd611be3c8de535f0bfe110b","datavalue":{"value":{"entity-type":"item","numeric-id":844157,"id":"Q844157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a95a2166ce88f6e57b4b2c6c84ab9c1fad96b033","datavalue":{"value":{"amount":"+0.87456393","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":"Q5236437$AF756EEB-203E-4E36-8288-CC905F5D4E1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5236437","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5236437"}}}}}