{"entities":{"Q7014304":{"pageid":21588747,"ns":120,"title":"Item:Q7014304","lastrevid":78860561,"modified":"2026-05-06T12:36:17Z","type":"item","id":"Q7014304","labels":{"en":{"language":"en","value":"Comparison of SAT-based and ASP-based algorithms for inconsistency measurement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8009318"}},"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":"Q7014304$C08B1AAA-C542-40BE-B5F4-E167ECA33C3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8dbf0aa51d6f70ad9bdb70b9f27392d06db0c9bf","datavalue":{"value":{"text":"Comparison of SAT-based and ASP-based algorithms for inconsistency measurement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7014304$025DEE98-B1DE-44CA-BF8B-4C0F222C0E5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39118ee01451d89706c04ae2dbc592bc44c1fbf3","datavalue":{"value":"10.1613/JAIR.1.16888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7014304$97132402-D808-4A9C-BFF1-4145F69AEB59","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":"Q7014304$B5AEAC11-6AD7-489C-BAB6-E1485E1AA887","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":"Q7014304$8BCEA85B-1D5E-4128-9ACD-5A5192E9CDFA","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":"Q7014304$8FEB7C27-5D5B-45D2-837A-64E43C7BE945","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":"Q7014304$531DEF8F-EF7E-4297-BA4D-591C5F09E570","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8a215d385f75fb3e358378de413ed23462bf46d","datavalue":{"value":{"entity-type":"item","numeric-id":6488778,"id":"Q6488778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$248005C7-2713-4FF3-871F-5FAFE2C94076","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07a15b3ca4d65ac9dee0d320c7a989d04762cbb0","datavalue":{"value":{"time":"+2025-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7014304$ABC59A67-5232-44D1-9F82-94AAD3699D28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7014304$7830FB9A-7481-4815-9C05-7DF1B721A0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7014304$D3B18BF0-37A5-4EF6-8099-316992FACEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7014304$EC38F544-E86E-433F-951D-F2B74E2C311F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0883ac80c6c382f681a61065c194d4a8c426df48","datavalue":{"value":"8009318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7014304$3792CD7A-BB3F-43BD-9FC1-9F531D313008","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a9b2dcf8b3a0f429e2af80d5de714d45efbb","datavalue":{"value":"answer-set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q7014304$B5381948-1837-47C8-B166-4E2B04E01D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q7014304$849F8227-F532-4674-BC9F-EEB3401D458E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44f9b68b748f7ebcf5f8d8cf03d1eae6f9024f31","datavalue":{"value":"inconsistency measurement","type":"string"},"datatype":"string"},"type":"statement","id":"Q7014304$8E0030B6-3A4D-459F-AA7F-FB3C91BCF2ED","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":"Q7014304$661CEDEB-4622-4080-9006-32B13B6CE204","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":"Q7014304$0D104CF7-314D-4A55-BDB6-030BB9E632A0","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":"Q7014304$8B4AF9DA-7305-414C-A202-50327D074299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1becd1d99caaab1d324b3ade4ad1a38c60aa68c6","datavalue":{"value":{"entity-type":"item","numeric-id":5398060,"id":"Q5398060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$69C87DE7-37CC-4123-83AD-4FE6405F640A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32014f67437b68a4eb6207f4c4efd531618e367b","datavalue":{"value":{"entity-type":"item","numeric-id":3449196,"id":"Q3449196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$CFCAA78F-7412-4E34-A255-FDFD26613FCF","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":"Q7014304$C448FD99-B91A-40D8-ADF6-94FBEDED024C","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":"Q7014304$DA1EF075-B65A-43A2-AE20-A4BC1C00A20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1270e2a3f0c8f68e812c735939bba3fe7e21ac","datavalue":{"value":{"entity-type":"item","numeric-id":5230074,"id":"Q5230074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$12B0D89A-724D-4754-B9FD-13730B5B1A37","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":"Q7014304$DA4DF6D2-9CA0-441C-B5A1-95ABE2C9C693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e0cce9a7ca8bfdbf1c3c7ab24a3ccb8dad9165","datavalue":{"value":{"entity-type":"item","numeric-id":4957196,"id":"Q4957196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$0FAD4AF8-6DFA-4E69-AE22-31922F4ED362","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":"Q7014304$DD1B6035-10EC-43AC-8538-BF240444D3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0f7e101a0ec1c49d6dbda6afd04acdf641c074","datavalue":{"value":{"entity-type":"item","numeric-id":1855240,"id":"Q1855240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$B5F345C6-D720-4323-99B0-C92E7A6281A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e648849759be406c9eb52fea228820e1c04a6864","datavalue":{"value":{"entity-type":"item","numeric-id":5756559,"id":"Q5756559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$8E21296C-BCA2-4D29-8BBB-B24EC486FD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95b826e2da2298db17497778f5d0398edec5b26","datavalue":{"value":{"entity-type":"item","numeric-id":3449220,"id":"Q3449220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$F0D71CE5-BE80-4CA0-B446-661CFBEB4441","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":"Q7014304$05EFF538-0159-4F5E-9C3A-CCF9BA8296B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d65be6b84798d28cf87a0d7ae277068dab641b7","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$5891D293-9B35-4854-B5B8-092EAB662DB5","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":"Q7014304$04A60433-FF59-4BD1-BAD1-C82D64F85956","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":"Q7014304$A54D958A-E514-421F-B955-904EF07C8012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d19b4d6de3008c98a2754e2d3582585e3fe225ea","datavalue":{"value":{"entity-type":"item","numeric-id":5326421,"id":"Q5326421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$D231997C-7FF8-42B5-A082-455E8B98E174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a132e36a41d7a09e9e09dbd5f0433b5b8d931b","datavalue":{"value":{"entity-type":"item","numeric-id":1680685,"id":"Q1680685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$4104FB34-789E-47D0-A6BE-90D5EB3D4955","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":"Q7014304$F6DF9C67-6075-4393-ABA5-ADBA4EE63642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5358851da4f8fb4964bbdb4dce49453d53e27824","datavalue":{"value":{"entity-type":"item","numeric-id":4576231,"id":"Q4576231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$BF24F521-DB47-4D3F-93E6-E911DFF15690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbd5ecac6ac3a14ce990d227d0674f490b6f1efd","datavalue":{"value":{"entity-type":"item","numeric-id":5086219,"id":"Q5086219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$DBFC6BD7-2D2F-4804-A0A7-A03D072CDA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b377dc4f14b7641ea005821559fe74ed2575d6","datavalue":{"value":{"entity-type":"item","numeric-id":1610611,"id":"Q1610611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$80220252-4F23-4F0D-9325-18465D58F169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770fe6c7d4646221d993872da6ac43faf72c72e5","datavalue":{"value":{"entity-type":"item","numeric-id":6163915,"id":"Q6163915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$AEA6A49B-B4DB-4045-8AA0-E991A3C606ED","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":"Q7014304$C3C5F2D2-DE3E-47C7-82E9-25163A94A154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0a89606ff47e4c6b9d8d3811a5203f7347f11c","datavalue":{"value":{"entity-type":"item","numeric-id":3502710,"id":"Q3502710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$2BF9C4A4-172B-44F0-A179-76D6844137E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eba150ae6f42870a14ed6c03004afd5f1a45b8","datavalue":{"value":{"entity-type":"item","numeric-id":459042,"id":"Q459042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$181B4E7C-DCBA-4B20-80CF-DCA193F1EB2C","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":"Q7014304$8783EDF8-4E26-42AF-8E70-34BFCE95C50E","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":"Q7014304$DB0F9A6B-1157-470D-99D1-6B044F557616","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":"Q7014304$B6B7EA17-86BE-4961-AB3D-E680D8C71A5C","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":"Q7014304$3B0F6E31-1CEE-4BE7-B719-57F1BF528245","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":"Q7014304$580F9FCB-DC97-425B-8DAC-511131BBD297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"642084d9bbea659af7231221423abd96f76111c3","datavalue":{"value":{"entity-type":"item","numeric-id":253979,"id":"Q253979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$E24DE25A-425B-4C0D-A0AE-6833149A4C9F","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":"Q7014304$13B94D05-57D0-4BF5-893D-961CD92ABC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8a891dfd3ccc68df56d8a061736050c92ee8461","datavalue":{"value":{"entity-type":"item","numeric-id":3297796,"id":"Q3297796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$E967B7CF-D335-4006-B32D-D053DE0D4A4D","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":"Q7014304$72B2068E-E68F-437E-AE99-6CB5E481C5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$7E3176F0-05FA-444A-BC22-665F72C9617C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb35696373cedb65b23a9c1f23955e8ed120359","datavalue":{"value":{"entity-type":"item","numeric-id":3184604,"id":"Q3184604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$52DC46F7-BFC9-4969-9947-5D8B492431AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb9e850ad94231f7e7705baa4ba21496bd19c85","datavalue":{"value":{"entity-type":"item","numeric-id":3455621,"id":"Q3455621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014304$0B1DCACB-3BCB-40B9-B725-89B1521726A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comparison of SAT-based and ASP-based algorithms for inconsistency measurement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Comparison_of_SAT-based_and_ASP-based_algorithms_for_inconsistency_measurement"}}}}}