{"entities":{"Q6163915":{"pageid":13298796,"ns":120,"title":"Item:Q6163915","lastrevid":55470508,"modified":"2026-02-17T17:10:11Z","type":"item","id":"Q6163915","labels":{"en":{"language":"en","value":"A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719294"}},"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":"Q6163915$53D33866-F5D7-4CD6-8A35-8AAB4BED546C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5bce5dc6b8ea6467b9025247a7e891616db38cb","datavalue":{"value":{"text":"A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6163915$EFA3B22B-F449-4534-AE4E-7647B85BA85D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63bb1044324e3618db0920a7fe415848a16ebad0","datavalue":{"value":"1524.68375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163915$9BCE6857-B684-4154-A53A-B31D10EF3FEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66358ba67165daf87a954894776efcd4328b9bcb","datavalue":{"value":"10.1007/978-3-031-18843-5_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163915$5FA72254-76A5-443E-A9F9-93927D998DC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e98f36bb177de06ae0496cb16b321af38092538","datavalue":{"value":{"entity-type":"item","numeric-id":3297797,"id":"Q3297797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$EC293A29-0A20-4BA9-836E-700F11EE72D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"328bf1807e58ab4853d28855004190ae923e6a03","datavalue":{"value":{"entity-type":"item","numeric-id":6163913,"id":"Q6163913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$30BE0BF9-D292-4B3C-BE6D-4D7D880387E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"522cc0600b3442a483831cbdc2629f13909a0e95","datavalue":{"value":{"entity-type":"item","numeric-id":6163914,"id":"Q6163914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$8715495F-33DF-4936-B10C-01F71247D211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a7b6a6fcb05e256a00396f0ebcbcc42994aede1","datavalue":{"value":{"entity-type":"item","numeric-id":253978,"id":"Q253978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$4F925760-D44F-4174-A7F2-AC257ACD8743","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$E69AA4E1-DD80-4FEB-86DB-C480B336735A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a737b362c9cc4a7577c7886e9ed43c21a3fff2e","datavalue":{"value":{"time":"+2023-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6163915$55E437BB-0BFA-488D-9B9A-67B52A8F9DC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163915$DF04D011-C911-45AA-872E-195BAB8AC1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163915$D05699B9-F77D-4390-B2C5-6E550058D8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163915$7996BC24-99F4-4FE8-A742-4B3C9830EC3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"348eccf6d75dbe1f81f248e3f8ca8e7be82668c2","datavalue":{"value":"7719294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163915$4D97AEAE-FA40-466A-918E-F9EEA1B3699F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44f9b68b748f7ebcf5f8d8cf03d1eae6f9024f31","datavalue":{"value":"inconsistency measurement","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163915$9AFA8565-5AFD-4795-B9A0-D6BABC1684D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163915$87B76E31-3CAB-4697-8680-1595E9728F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96028fa19b1d85b7a7982101bba7ca3ddc9cb463","datavalue":{"value":"satisfiability solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163915$10D4466B-B06D-4C33-9529-B6EE3C4E25D9","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":"Q6163915$FE25AF35-3448-4E19-A77C-070E3C75F38B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58a484318d698f593323426d1140aa576877d0d1","datavalue":{"value":"https://doi.org/10.1007/978-3-031-18843-5_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q6163915$B0E87766-D476-4E87-B1B7-8F2EEA75EF47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44fc6d2eee5e29f394e534295336f7035bcd25ef","datavalue":{"value":"W4312549193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163915$CE66622B-D661-4197-B343-910BB151CC3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"150aa801de356297a68a75e1eebbbf0a3f17eb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5415453,"id":"Q5415453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$7941FFEC-4678-450A-9B9E-028D5A53DFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd871b21dffdb1c4772f23fcf5bfe2deefc51f7","datavalue":{"value":{"entity-type":"item","numeric-id":3451184,"id":"Q3451184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$78B980AD-3B20-4FA8-AED8-3DFDAC2A31BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04929e8a560d7b662f03019855b9e75447498703","datavalue":{"value":{"entity-type":"item","numeric-id":6109627,"id":"Q6109627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$E86CBF1C-7E0C-4135-9389-6511EC0C1A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"858a461379c90b78176a8176bddbaca15b466d28","datavalue":{"value":{"entity-type":"item","numeric-id":5268425,"id":"Q5268425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$68FBB995-7DB7-4273-94DD-B19DC312B5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$76A963F8-9239-4B84-A464-B9C74A4F58A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c668ca442f115905a8000fb322f8c01ecfeb205","datavalue":{"value":{"entity-type":"item","numeric-id":1680689,"id":"Q1680689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$07461D4B-6AE3-47DB-911B-690C7E14E82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92bd96f1fae79c549a6403fe29102ebab2556393","datavalue":{"value":{"entity-type":"item","numeric-id":2909134,"id":"Q2909134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$649BF121-0F97-4399-BD58-CF9B0CFEE1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72b12b8fe9d8095c0fff6acea9d9e2ca2d28ad0","datavalue":{"value":{"entity-type":"item","numeric-id":5197744,"id":"Q5197744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$130A2F7B-8B00-4E95-AE29-58AC871AB415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edeb0ae83ddb3c473eadcaf899af81882de62ab","datavalue":{"value":{"entity-type":"item","numeric-id":3011958,"id":"Q3011958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$B93B9A53-CC49-4B4D-91BC-B4ADE0B88086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27540f05b104b11a1f61b5c41439fd4c3acf3faa","datavalue":{"value":{"entity-type":"item","numeric-id":1217107,"id":"Q1217107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$10ADEFB3-470B-408B-B718-5BE724A144AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f3a46aef62e159731a26c4cbc7c52728334467","datavalue":{"value":{"entity-type":"item","numeric-id":4581210,"id":"Q4581210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$EDC269F7-D755-4888-90C5-F83FDFB3F2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43e73eadad7694a29cdbc5326249f6adc814f12","datavalue":{"value":{"entity-type":"item","numeric-id":5230475,"id":"Q5230475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$5626E142-5978-4D35-950A-D9F5987B5705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8481b9dfe0d480f4985193de48055a1bd81e23c","datavalue":{"value":{"entity-type":"item","numeric-id":5756584,"id":"Q5756584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$0FE4A997-5506-4C3C-8B37-E0458A4D628A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c9e9aeb1477dbeff3422cac057cb440c8b801a","datavalue":{"value":{"entity-type":"item","numeric-id":2411265,"id":"Q2411265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$844088A8-BC7A-4962-BDA4-DFE55049E61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$B7938B23-C2EF-4F33-9D8D-CD1B4677D5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107d69d8ca98db7620611ee6ace5f0ce2d290cb","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$4349EA3F-28F9-43F1-A7B1-EC6D608C5D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4292163ee9f000e758f073f835816cf594b46b63","datavalue":{"value":{"entity-type":"item","numeric-id":5226731,"id":"Q5226731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$35C5468D-D8CF-4A58-82F7-22346755FA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bc5ce203e10f028547a546e366d0c8960beeb96","datavalue":{"value":{"entity-type":"item","numeric-id":895515,"id":"Q895515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$47A5AA5B-ECEA-4735-A463-3BBB615E9B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34127b9a9bcb38b40732a539fd782fbf5750a06","datavalue":{"value":{"entity-type":"item","numeric-id":2321337,"id":"Q2321337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$39C668CF-2813-4255-8123-542ABEF3386B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6b871d25a3f2bcc10ef5d12d2a6df59054c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":5604434,"id":"Q5604434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163915$E9228F26-603A-458F-9AF9-34E3557B14EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"600b2778d2d97413d122819b1e4ddc065262d74c","datavalue":{"value":{"entity-type":"item","numeric-id":6545579,"id":"Q6545579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63bf3500650c376ad875513976b92e4d82b90772","datavalue":{"value":{"amount":"+0.7894218564033508","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":"Q6163915$67B89944-3429-4C9E-BE28-80977FC07B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0988df5699e94b306a5047c721c9848e5a1dc02a","datavalue":{"value":{"entity-type":"item","numeric-id":861709,"id":"Q861709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaaaaec6a3fb9bff515b20c91bc7d445aabb7f5e","datavalue":{"value":{"amount":"+0.7492660880088806","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":"Q6163915$705FAD45-D859-452C-988F-4FF3D925384C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d2e4aa384392b962c3b93b9808e939a78cbcc3","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da9f8c0738595d8bc376fc692cc6896a57090509","datavalue":{"value":{"amount":"+0.7443134784698486","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":"Q6163915$7EA9D6C6-8590-4CFC-9E65-2F33FF12B626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f965dee0a264858ef5a98a69afa73d4f9201b49e","datavalue":{"value":{"entity-type":"item","numeric-id":5475768,"id":"Q5475768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe387a7ba00cd450770562189ff15bef0263934","datavalue":{"value":{"amount":"+0.731194257736206","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":"Q6163915$BDB28211-CF29-44A6-AC2D-EE6AFDB869F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46db543420f11676f0d39ffebe50c3e77eade4d","datavalue":{"value":{"entity-type":"item","numeric-id":1028643,"id":"Q1028643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"005afa64655ddc8c1769595b4ac93812c3e5d9f7","datavalue":{"value":{"amount":"+0.7278150320053101","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":"Q6163915$28E5D548-8D95-492E-8841-CF7F734C76CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6163915","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6163915"}}}}}