{"entities":{"Q3534658":{"pageid":5564562,"ns":120,"title":"Item:Q3534658","lastrevid":49243111,"modified":"2026-01-06T20:22:26Z","type":"item","id":"Q3534658","labels":{"en":{"language":"en","value":"Implementing Prioritized Circumscription by Computing Disjunctive Stable Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5361007"}},"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":"Q3534658$9A95350A-D267-4868-8781-B3A80CBE03BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4e2330d616ad33f44a897a93a1931f6fdc8b5ab","datavalue":{"value":{"text":"Implementing Prioritized Circumscription by Computing Disjunctive Stable Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3534658$F89B8279-957E-4392-9602-343E00ED88FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3fefe3b23968d5c6bcade974f980d79e171faa8","datavalue":{"value":"1169.68623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534658$03B2312C-02AF-4FD6-9442-DF12CDD3195A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9b2f0bc57da2ceba7496b4392639c5ed1281818","datavalue":{"value":"10.1007/978-3-540-85776-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534658$0697D1E3-AB45-4B12-8104-9A6A3687A403","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a04068cc433f2e9509aadb4dc79e0d8845b667f","datavalue":{"value":{"entity-type":"item","numeric-id":420787,"id":"Q420787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$074A58C8-A032-4996-BFE0-FD410F5E25F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b796059b3d44a405a8af15eeb705b77a871ac3","datavalue":{"value":{"entity-type":"item","numeric-id":517385,"id":"Q517385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$E017281F-E42A-4A57-AEB4-BF391CC34F64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aee7cbccf36d5e0c46e52d4bb7450588d8f63b14","datavalue":{"value":{"entity-type":"item","numeric-id":3534655,"id":"Q3534655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$6A0A9954-34FB-4B00-95EB-547B6F09CF1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96ef292e5607cc4e0881b5cb40cb0c823b467bce","datavalue":{"value":{"time":"+2008-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3534658$0495B253-1296-41DE-B925-EC100A2AFDDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534658$1FC5B885-EF48-45D7-8045-04E47C81D9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534658$9D762285-ED0A-4FC6-8992-A8F47204EFE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f2d5f267eff04d9277d90e3ad1e9344ad47347f","datavalue":{"value":"5361007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534658$958270BB-BA56-4F63-8672-A2E8F60B3D88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e54d7e88276897f6cdaab276e35d30799c1f91d8","datavalue":{"value":"prioritized circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q3534658$CB249C82-C341-4B7F-8C4C-488A48913DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d1538f4c45fa7feeada18307cac6172c75cd5e","datavalue":{"value":"disjunctive stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3534658$7BB537AD-44EE-4F69-90DA-70A4B40FD7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d676093d25af2261e811e697691ead0c7c985ae0","datavalue":{"value":"linear transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3534658$CBFCEE01-BDAA-4E74-896E-38A61DDD0C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3534658$02AD296C-68F7-4730-8A8B-09514472F37D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"144b1ab76ac17733837dfcac81a6ac9e4aeacc2d","datavalue":{"value":{"entity-type":"item","numeric-id":16810,"id":"Q16810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$0B095D9A-04E1-4E9A-B08B-DBE125B97EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a27f907e857fee68e9d2d4c61012e9db7e135272","datavalue":{"value":{"entity-type":"item","numeric-id":44800,"id":"Q44800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$5E553A88-7B63-4785-9253-F455CBDC09BB","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":"Q3534658$3CEAC44D-6B7D-4507-84C9-82060F73116D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"325522b379cb1682a696cb5049dad59d512dd758","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85776-1_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3534658$20FB4FF1-BDE4-4F2E-8210-5E182474E384","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcc5f67530077934105037474f5ab329b281e778","datavalue":{"value":"W2156015704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534658$801AE559-51A4-4535-BC48-25D8CD64DC87","rank":"normal"}],"P223":[{"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":"Q3534658$09324067-06E7-43A5-A626-61ED0659AF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb678fcfbbb428f6b5621e5f89f6a8cb37d8f8ba","datavalue":{"value":{"entity-type":"item","numeric-id":3983045,"id":"Q3983045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$B739321D-E4D7-496C-A35F-2155092C1124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2befd5bf037312a5f81f972d48216396733a6971","datavalue":{"value":{"entity-type":"item","numeric-id":5277755,"id":"Q5277755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$A2C4E634-2A45-45CA-94D1-F85E45BD0263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a570c48c6d97b419e37f9240e6e6b34a0f8f2c","datavalue":{"value":{"entity-type":"item","numeric-id":5277741,"id":"Q5277741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$0E3A5057-9BC2-499D-A3CD-8016963F2543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$07452BED-80BC-434F-BA78-F5A831B8E312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$BE960A2F-1462-4109-B5C9-E479086F3085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf5da9ad4a3e0fc0fae16500fe72d2ae1e786f9","datavalue":{"value":{"entity-type":"item","numeric-id":5394120,"id":"Q5394120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$877B401C-FD4C-4423-B3FA-C90C588E5186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6396bcebd9635c22d632c9c1cc90bc4f76e5154","datavalue":{"value":{"entity-type":"item","numeric-id":5313197,"id":"Q5313197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$D3E468B1-579D-4326-97EE-4FC59A1EAAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6284e3aa61c09d97c89d43e58aba73ad8a6cb1a0","datavalue":{"value":{"entity-type":"item","numeric-id":5425407,"id":"Q5425407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$25F5F84A-2EC5-441D-93D5-5EF98593F07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df38804e67e83fb7ec12a61a5f4e62e40450b6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1924780,"id":"Q1924780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$4F15CCB7-52B1-4EA6-BF75-455E81F2FFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c710c60b0bd636135bc992e50390044d8d36d65","datavalue":{"value":{"entity-type":"item","numeric-id":1898114,"id":"Q1898114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$3BDF5B01-19C7-424E-A729-9234195027EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89792e9e6f5664e2152711a93bad39763f8c27c5","datavalue":{"value":{"entity-type":"item","numeric-id":1119564,"id":"Q1119564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$66250450-0D89-48C3-B728-E9C68938149E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98fd4033e7cbe0d9315a53e2de2e8e0b6522ac1","datavalue":{"value":{"entity-type":"item","numeric-id":1193478,"id":"Q1193478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$5184DDBC-94E0-4D0A-A2BA-82AC1C736258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a560d36d73ece2a0e5454e9551afdd4850d359b","datavalue":{"value":{"entity-type":"item","numeric-id":3830545,"id":"Q3830545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$DC075BC2-5FC3-4960-AC03-67C43CCCA46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"621fcb8c02b14bb00b576213ef17c6ad3df74ddc","datavalue":{"value":{"entity-type":"item","numeric-id":5101461,"id":"Q5101461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$C2EBB7B9-FAFA-4CE6-9378-6D912708DC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af2b79d7e639995bf9aac2149643933f62641a6","datavalue":{"value":{"entity-type":"item","numeric-id":1589476,"id":"Q1589476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$ABFACEB2-8F4B-49E5-9110-1E2DB4C5B322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e3684754825a081af253d8848c5fc38ec62d17","datavalue":{"value":{"entity-type":"item","numeric-id":2457644,"id":"Q2457644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534658$D07AF6C0-7E70-4525-8E0F-3398BA34557D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e538afe29d73f71c384f70cd02f02a57ba199fed","datavalue":{"value":{"entity-type":"item","numeric-id":4421251,"id":"Q4421251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f7ccea35a1a43ec92b8e3804931e85e4dd96c6","datavalue":{"value":{"amount":"+0.90965414","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":"Q3534658$BEF0828C-5F82-4278-B65F-3A643E17E5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5aaa8be1e108eed6e2d8b2352df3c5b337bc9c5","datavalue":{"value":{"entity-type":"item","numeric-id":4366600,"id":"Q4366600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c630feeff466d0ef3cc1ce59e76adf0705f61038","datavalue":{"value":{"amount":"+0.88308215","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":"Q3534658$0F3C972A-0DE7-4BD4-A7F3-FBBAB89667A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b20aa979432520c417d265c4973bb02f37d784bc","datavalue":{"value":{"entity-type":"item","numeric-id":5313197,"id":"Q5313197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b3dd99d94c34beeb89a6d7205d30f2514e6266","datavalue":{"value":{"amount":"+0.8646801","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":"Q3534658$11B7F252-F3BC-4343-9531-63AB33987FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ff7bff40333ddddced7100cc203155153a93c2e","datavalue":{"value":{"entity-type":"item","numeric-id":3490987,"id":"Q3490987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce5c9c7e610ba3b055b09a8e4c1803588604d10","datavalue":{"value":{"amount":"+0.85846174","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":"Q3534658$C84FFF5B-9F25-4EB8-88C5-8A32B6352FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6725d31d6fa7cfc98609de89aa279414939702c","datavalue":{"value":{"entity-type":"item","numeric-id":4940935,"id":"Q4940935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a990e54474b9a9d253e7fa29ee06477e30902a26","datavalue":{"value":{"amount":"+0.83947676","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":"Q3534658$5393DE44-FC51-4ED2-8715-B6205A275CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b27e4add4367eb9727cb1ee7edafae3cea5b7283","datavalue":{"value":{"entity-type":"item","numeric-id":2767052,"id":"Q2767052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b07ac8bce8b1e1ae9023db6464476d48d94fedb7","datavalue":{"value":{"amount":"+0.83669925","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":"Q3534658$7E3B156F-B4E1-49AA-9DE5-6A85C92BA878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07eb80de3f69f93fd719923ef66806d5fda70bd","datavalue":{"value":{"entity-type":"item","numeric-id":5898912,"id":"Q5898912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d24c1fae691dbde46fc1c3c74ce7271ce748c0e","datavalue":{"value":{"amount":"+0.83660555","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":"Q3534658$75FE5EFA-A313-43E1-A58D-2A07B6978846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2226f416d0673ac716e3bc8e74166cbc37100e81","datavalue":{"value":{"entity-type":"item","numeric-id":4812969,"id":"Q4812969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4c68f6f5cf2f458e8f5223d31842d7f1cb60ed5","datavalue":{"value":{"amount":"+0.83591694","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":"Q3534658$CA7EA4A8-23E9-4B7C-844E-E8D6D46AF69B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3534658","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3534658"}}}}}