{"entities":{"Q5425404":{"pageid":7454978,"ns":120,"title":"Item:Q5425404","lastrevid":50212127,"modified":"2026-01-13T13:12:22Z","type":"item","id":"Q5425404","labels":{"en":{"language":"en","value":"Conflict-Driven Answer Set Enumeration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5211332"}},"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":"Q5425404$D3BE26C9-5D19-4DA6-A9D8-F3C4C4AC6315","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0313c7b8b5c19df90195015f437c446fcdcf1d9b","datavalue":{"value":{"text":"Conflict-Driven Answer Set Enumeration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5425404$F577A176-F38C-4C73-A7E3-C427E0874E30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30c1569ec30df551278394812e44f21126f1a9b9","datavalue":{"value":"1149.68332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425404$33C22BBA-1253-4CC6-BA43-0BB6A985BE96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1058606280f740a690840f8b6820a9703b664fc","datavalue":{"value":"10.1007/978-3-540-72200-7_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425404$F151AF0A-F1CD-42EE-B22D-BDDDD084E3A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"604a0d7fcc1e2c43b6e93347ac5f105e9bfc07d5","datavalue":{"value":{"entity-type":"item","numeric-id":498924,"id":"Q498924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425404$A2DD6521-B9A7-4FFA-B495-E9D668EC87EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f855e5d7a3b4afee8c0c7f4d1228da8a5e2c3ba7","datavalue":{"value":{"entity-type":"item","numeric-id":1730737,"id":"Q1730737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425404$8F0671F1-FF4E-4B84-B983-D6603C34F4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44130da1f68a9bfaf19146459d9ab4709a74ff5a","datavalue":{"value":{"entity-type":"item","numeric-id":2189122,"id":"Q2189122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425404$A2C5CA93-670C-406F-9345-B6A4950305D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1b02b9e7e03e44c0aa9ad28c14a665e922cd412","datavalue":{"value":{"entity-type":"item","numeric-id":421457,"id":"Q421457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425404$4DAC9382-EB03-4F2F-B48C-36AE15042E29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51a68d4cc2fc48fe2102403b77e8fce99df4def2","datavalue":{"value":{"entity-type":"item","numeric-id":2851222,"id":"Q2851222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425404$0ABEFE4D-3870-412F-9459-B95B209E057C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ec78afc52e00fe3d8975920d3a43c9431ac1875","datavalue":{"value":{"time":"+2007-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5425404$0F784268-38DF-45A9-BB45-D0B3C753C478","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425404$1D7D14C3-D061-420B-B06C-6FA89C6D85EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9af521a14b3fb3577c038308572d39f9231c7d27","datavalue":{"value":"5211332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425404$8974F67D-A400-4C31-951B-1C76A0F0ECA6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425404$5738C012-716C-444C-8AA0-13593D793416","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":"Q5425404$34FD9EAE-C794-41B9-8082-259E5137E479","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac0cae7ffcda1a471bf75ed871e56dc5306abf35","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72200-7_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5425404$8ECEC83E-65CB-4794-A132-874DA75713CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f8657fbeb21581d34175a6755f352bd42f2b902","datavalue":{"value":"W1584297074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425404$DFEB1593-882C-4344-B2FC-937EE60BF527","rank":"normal"}],"P1643":[{"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":"729b4ff89424e9152eb11aa91f43f287f1e823ac","datavalue":{"value":{"amount":"+0.8829897046089172","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":"Q5425404$BF770E37-F207-42B8-8B3E-B076F9AD3C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7eeed3ea3af9cb29ee2bb4116be783408c460b2","datavalue":{"value":{"entity-type":"item","numeric-id":5215367,"id":"Q5215367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83f0623907eaf6c43f31b012383dfcbd9450594f","datavalue":{"value":{"amount":"+0.8507851362228394","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":"Q5425404$FB07D1F1-53EC-4303-A609-12FFA1DF4E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e3b48ea8f12d2618199065fddfb32883175d23d","datavalue":{"value":{"entity-type":"item","numeric-id":5223207,"id":"Q5223207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23d94b5bb8299398e26296eb9d64b5b5641fa4b7","datavalue":{"value":{"amount":"+0.8324536681175232","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":"Q5425404$DFCAFE46-9F2D-40D2-845D-354838C33B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0502741c60530a7e63cc5a3ef140848f1b4fb8c3","datavalue":{"value":{"entity-type":"item","numeric-id":4649733,"id":"Q4649733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e5e9640104d5d74a5faf0d15600b7ab7b12642","datavalue":{"value":{"amount":"+0.8084765076637268","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":"Q5425404$CFD4B96C-C3E1-40A0-BECA-8F3A157A86D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5736b9db2883a79870679f651d3df3cf2392d55a","datavalue":{"value":{"entity-type":"item","numeric-id":4812972,"id":"Q4812972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee80f403e3fb5d17ee9a70e3b24a6d981107a90","datavalue":{"value":{"amount":"+0.783211350440979","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":"Q5425404$A9FE2D67-E6D0-4251-96EA-B532A41288CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5425404","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5425404"}}}}}