{"entities":{"Q6063865":{"pageid":13198021,"ns":120,"title":"Item:Q6063865","lastrevid":98816009,"modified":"2026-06-05T18:33:22Z","type":"item","id":"Q6063865","labels":{"en":{"language":"en","value":"Solution Enumeration by Optimality in Answer Set Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7776325"}},"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":"Q6063865$D5280715-21E2-4711-BD84-4C6893174F17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88bc244a107d7bda9884c0395c1f4e237fae5a02","datavalue":{"value":{"text":"Solution Enumeration by Optimality in Answer Set Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6063865$4BFABFBD-3C9C-4A5F-9CBB-37FF38C1E68B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e631eec4928423efb1583abd156ba6a2ef101ce","datavalue":{"value":"1530.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063865$A4DDCC7A-54A8-4F10-9955-862BF761B3A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb7edb0203703313373b6332c76e104bec2adc93","datavalue":{"value":{"entity-type":"item","numeric-id":6063864,"id":"Q6063864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063865$162A0125-51D4-4BD1-9619-C73821B9F3A3","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":"Q6063865$395E39FE-43D6-4B4D-92C4-9BBE5AE45089","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063865$4E665835-005B-4947-8B33-87DE02B93776","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"066d1477c8c2dc8167e035c2af02788021afe714","datavalue":{"value":{"time":"+2023-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6063865$D2071FFA-BC21-485A-AF34-CA0D4E670729","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ac97ca045e0ded92f6538008a0192f2f9d81dfc","datavalue":{"value":"https://arxiv.org/abs/2108.03474","type":"string"},"datatype":"url"},"type":"statement","id":"Q6063865$84DF6A16-C884-4979-8B8E-EEB642C20BE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063865$74A3431B-9B61-4584-AD6D-152126DF9622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25eea5e981896c7d51341ea7b254fd09e6f26268","datavalue":{"value":"62H22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063865$11B487DC-80E9-407F-9C18-E112CA39AD25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1697fc3ecc6744ebbbdfaf1a7527a1ca145a5c55","datavalue":{"value":"7776325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063865$A13E30DD-2AD0-4C34-A26E-C3C859401E6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a9b2dcf8b3a0f429e2af80d5de714d45efbb","datavalue":{"value":"answer-set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063865$C653FB94-F6D7-479C-8554-EFFB83646372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a59b1493a3dfce77efe9c02f17396ec193aeaaf0","datavalue":{"value":"optimization problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063865$0C2FC7C3-9B06-4786-8EF4-E73584777AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"314cc9aa848a23c4dd4ce2e4b896979141d845cb","datavalue":{"value":"solution enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063865$E6E737F6-C82F-46D7-A036-685352B62F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b75d02aa96eefe42964c24b2e52964b9dd69149a","datavalue":{"value":"sampling","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063865$81665B4B-953C-4C27-9B05-D5B7E96E94A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"676507cbdd9e92541a87efc7ce63f081053113e9","datavalue":{"value":"Bayesian networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063865$F900717E-A15A-4489-B36B-1B15B73B3EEF","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":"Q6063865$E4CA9F73-6056-459E-AC5E-42FBB165AC59","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9078399993fb88fa6f7f5178e548d0f2d27dfeee","datavalue":{"value":{"entity-type":"item","numeric-id":4592997,"id":"Q4592997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063865$937E9A6C-74E4-41BB-88CB-94A8DA113181","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":"Q6063865$7AA00548-F06C-4A6B-ADC2-D381B149A6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85ecf7b9e9e1bfbfafd10c5384ae5e6f3abbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":2938492,"id":"Q2938492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063865$CDD13951-3677-4314-B948-C6D5DE92B6B7","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":"Q6063865$C206324D-273D-4523-93A1-BDE80C1A6415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9b36c0aa81b0a49e50bc1489b13e67cd038930d","datavalue":{"value":{"entity-type":"item","numeric-id":899444,"id":"Q899444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063865$CCAADF5F-424D-4BBA-8D21-244FF8E0ED7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e287b03dbe62fe3988cf2468774fed7be938b9ef","datavalue":{"value":{"entity-type":"item","numeric-id":2389636,"id":"Q2389636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063865$4F6B419D-5445-4969-8726-77A5D23ADD66","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":"Q6063865$3C95B747-8C77-40E3-8FE5-8B38010B7C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd3a18a97e376c807cc3666c7857f971355d8a9","datavalue":{"value":{"entity-type":"item","numeric-id":5425404,"id":"Q5425404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063865$FFC56419-C11A-4822-BBAA-D7D95A4AD9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dd8a4dc93b016ae90d166400ff8f558de540e1","datavalue":{"value":{"entity-type":"item","numeric-id":3630153,"id":"Q3630153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063865$96422C63-0F31-44D8-84E3-74D23893A521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c25997fdeb7f85341a5bc041f8954e693ba9a2f6","datavalue":{"value":{"entity-type":"item","numeric-id":5753563,"id":"Q5753563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063865$91E5C73C-AB3B-4C06-807C-D532217C7A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063865$D67CE4FA-DAA0-47D8-8273-35A238A2C837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e74279de3cff77e39f169c2fa73a84850031c1d","datavalue":{"value":{"entity-type":"item","numeric-id":2574644,"id":"Q2574644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063865$31A6F205-F8B9-4F87-AAAB-30B295AB056C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4fbbdb525d53e912d0fd9fc57d70ac9cc61edd","datavalue":{"value":{"entity-type":"item","numeric-id":5643805,"id":"Q5643805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063865$E7E238B5-ABF1-43FC-B00A-BA6006693ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78dd59ea4e3e1453a3f57942bdb362d8e8fab10c","datavalue":{"value":{"entity-type":"item","numeric-id":1978384,"id":"Q1978384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063865$4913DEA0-6084-422E-9EBF-631954EFBC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d3f458cafe029fcc06e729be6204ce7ef05b6","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063865$6D72DA1C-440D-4892-812E-59861C8EB74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3acfeb6500969d2e934fb86ceff54824a082fa","datavalue":{"value":{"entity-type":"item","numeric-id":5616598,"id":"Q5616598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063865$4F44D5F5-1728-4790-A906-6EFF9AC51638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063865$4E2DA7AD-98AD-4CDF-8F99-18745D1D5EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063865$79269720-E103-4CF8-B3C7-923251354D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ff4fd15aa6734e12066f575f2700abc354f037","datavalue":{"value":{"entity-type":"item","numeric-id":1603743,"id":"Q1603743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063865$495758D9-2C6E-439F-AC6C-D7F412C8941B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e80125c55364d0ca25e5cc6f5986c5fa7f91bd6","datavalue":{"value":"10.1017/S1471068421000375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063865$37CC53A7-C86A-4A93-84D8-CDC14B2CF3D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c57a145269660bc94bc3135d3043dd92fdcf47e","datavalue":{"value":{"entity-type":"item","numeric-id":2851286,"id":"Q2851286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e10bc263bb4059b3685be49d09cf8df203860e5","datavalue":{"value":{"amount":"+0.7768867015838623","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":"Q6063865$642A8C93-A1CC-43ED-AE3E-562388782A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f58c2e8f6a5742fca273a53536f2036d6b56adcf","datavalue":{"value":{"entity-type":"item","numeric-id":3304091,"id":"Q3304091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9549b04821b9fbdccc5bcf2246aff88be6b1213","datavalue":{"value":{"amount":"+0.7706061005592346","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":"Q6063865$E0781ED0-9D09-451C-8E4B-E9F6C503053C","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":"ee784a78c7b22fe9c3dd730791d699d026714ccd","datavalue":{"value":{"amount":"+0.7555851936340332","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":"Q6063865$AF8F83EE-55EB-4AED-AD10-016096C58709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16bda3650bcb379abf9ab76d187e205f271b27d8","datavalue":{"value":{"entity-type":"item","numeric-id":3003258,"id":"Q3003258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"849f80934860ceeb6b55a6667b0f4d8ac536abfd","datavalue":{"value":{"amount":"+0.737485408782959","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":"Q6063865$46EF0A9E-59C8-420C-9BC3-86E959B88968","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":"411136f0f40dda66921afb76aa792b609baed2c3","datavalue":{"value":{"amount":"+0.7358608841896057","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":"Q6063865$221BA650-5F33-474A-9656-9B05A8368BB6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063865$2A83986A-C5CB-48CE-86C4-218D58F7745D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solution Enumeration by Optimality in Answer Set Programming","badges":[]}}}}}