{"entities":{"Q5215367":{"pageid":7244937,"ns":120,"title":"Item:Q5215367","lastrevid":53660324,"modified":"2026-01-25T12:37:11Z","type":"item","id":"Q5215367","labels":{"en":{"language":"en","value":"Answer set enumeration via assumption literals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7165496"}},"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":"Q5215367$C81C29E2-7489-403B-9746-5B663A413755","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b73236431d52204ab870d3311bcd8e8424e9b7b0","datavalue":{"value":{"text":"Answer Set Enumeration via Assumption Literals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5215367$A542CF58-5CE3-4EF8-ABA5-217F64C41131","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9454cc02c223910f36219fd00395d7170711f452","datavalue":{"value":"1430.68326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215367$4CAC6D2B-3D9A-467C-BB21-588316F0FF52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"433172325127733844b497bab688fc6dda2acd66","datavalue":{"value":"10.1007/978-3-319-49130-1_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215367$D8112CDB-B644-43F6-8FDD-017DBD071811","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5a97ca6b9aa27ff9ea5b9e923a7697bd4e8c876","datavalue":{"value":{"entity-type":"item","numeric-id":590982,"id":"Q590982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215367$A09B76C8-E3F5-4728-980E-247D7ADC3498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"750927c5fb765835282b75675de140e07cdbdd80","datavalue":{"value":{"entity-type":"item","numeric-id":2238695,"id":"Q2238695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215367$2E37F99F-7861-40C8-9CEE-04E01A226B7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d8f1746ee1908891f5536b4c1c374694f3fae587","datavalue":{"value":{"entity-type":"item","numeric-id":5215365,"id":"Q5215365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215367$8DD7B903-2125-4D6B-82C2-BF70AFDFD4E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c81b0ff7a16cf5dd5907466303464ced8542d6d2","datavalue":{"value":{"time":"+2020-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5215367$515A0F0C-A8F0-4716-869F-55CED1B58E31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215367$C81CF607-6E2D-4BD1-9800-349ED6C2B61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215367$96EB7448-B891-428E-A10D-14FB1D6A22D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53170a22bbe3b7e24dbe109fbbe6110386a315d8","datavalue":{"value":"7165496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215367$F2B3F1CC-3192-41F1-9732-41A860A0F443","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215367$D95769AD-8ED7-45AE-A5BD-8B3E62D1F42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816681eea21269f3ad56375e4f8d7d873b144eb6","datavalue":{"value":"enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215367$7229247F-25D8-4994-B1F8-D820AB62CB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bbd12297935f604acf605fff7515ace22faf1a4","datavalue":{"value":"assumption literals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215367$F5AB775D-1741-4300-91EE-48E7EA322F54","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":"Q5215367$7A9771C5-A362-40B1-BB58-42D2FCE78F88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3420adf3712bee73ed04c5ea6a29b6369ea5ff47","datavalue":{"value":"https://doi.org/10.1007/978-3-319-49130-1_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5215367$A385A56B-2EEA-4807-A05E-7D925F2A961E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eafa30aed18682905a020efd4818c4ef69ccbc79","datavalue":{"value":"W2546986443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215367$C9E30F5F-F2B6-4919-96F2-164ED37111F3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2f83754315224749fdc9cde34d1082d6d1a1e2af","datavalue":{"value":"Q62043811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215367$FC1C6D22-5217-4CD5-AC88-B8C3D3D5228A","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"ec5bf825a17404a6b5b61cb09242df236706cdaf","datavalue":{"value":"conf/aiia/AlvianoD16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215367$7D1D29B2-E354-496A-9B45-821BFE70F4C1","rank":"normal"}],"P1643":[{"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":"b23214b784f7757da3d0df9e76c330065a942e61","datavalue":{"value":{"amount":"+0.9551459550857544","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":"Q5215367$6BA7FEB0-0407-44F7-BBA9-5E0CE2396D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f0b12176006290b267bd91655224b59f92c378","datavalue":{"value":{"entity-type":"item","numeric-id":5425404,"id":"Q5425404"},"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":"Q5215367$D8F4F976-0C96-4B0A-B18A-35C67924DD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8792b2ca7efb2d7ae56bd60e9b9855736c9bb6ee","datavalue":{"value":{"entity-type":"item","numeric-id":3449189,"id":"Q3449189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb31471c06e9ea8be5dc519e98c53b89b75512e","datavalue":{"value":{"amount":"+0.7939906716346741","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":"Q5215367$23353F07-5B9D-4629-BA48-A3E71676EC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca42033159db7f723e09df228b4b44dba035fc70","datavalue":{"value":{"entity-type":"item","numeric-id":814607,"id":"Q814607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f8638e5d216a03bf908306a13209d229c7513e7","datavalue":{"value":{"amount":"+0.7807923555374146","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":"Q5215367$78B8AD3D-5B05-4105-BC79-273C1FCBED5A","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":"624abee39ecc94e3c189618f1340b5059ec2614a","datavalue":{"value":{"amount":"+0.7794679999351501","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":"Q5215367$774B61A9-0B17-4379-AFF7-A17EF83DA328","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5215367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5215367"}}}}}