{"entities":{"Q5223207":{"pageid":7252777,"ns":120,"title":"Item:Q5223207","lastrevid":53479013,"modified":"2026-01-25T00:49:40Z","type":"item","id":"Q5223207","labels":{"en":{"language":"en","value":"Model enumeration via assumption literals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7081387"}},"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":"Q5223207$203AEEAC-D7AD-4514-B49E-45E9CE1801EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"182515b361f5d108b88ce57b3dbd6666906b495b","datavalue":{"value":{"text":"Model Enumeration via Assumption Literals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5223207$88D5A77E-C8E5-4E9D-8D07-E169B2D5E1F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f52c588ba37f4ffa9a88e15ef15f07cc46a933a0","datavalue":{"value":"1415.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223207$72E3BD9B-E519-4F2C-80C0-7063CCC7F104","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae4441fcf75bbfc6b2178bb825de2bc137b34329","datavalue":{"value":"10.3233/FI-2019-1809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223207$531C3FE5-64AA-4026-A90D-2E5C5F3F4221","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":"Q5223207$EE583DF7-A041-43B3-B8B0-26EF3AB9D66B","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":"Q5223207$2486FE41-A409-48DF-83A4-317192BDB01B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223207$8A9BB8CF-C814-4045-AE20-8677C39ADA9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76f7bc0f8da2050027b9f28cd54ad13e090567ab","datavalue":{"value":{"time":"+2019-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5223207$1085E386-7866-4518-94CE-14FBBCAFBA43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223207$53DCE985-42A2-4582-8CFE-EBD0E71206AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223207$02A28BFA-A0C7-4C40-8515-F8304E3E00B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223207$B2AC13DB-CA45-4320-81EB-DA58D19E5546","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8aa82bcd01943d2d79ab77167ac0d3c9257cade","datavalue":{"value":"7081387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223207$13CBDA7B-10C5-41CC-ABBA-D4C7555FA232","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5223207$24B7DAED-3796-413E-B153-A7B60A6C05B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816681eea21269f3ad56375e4f8d7d873b144eb6","datavalue":{"value":"enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5223207$7E1FC3C0-C51D-476E-B6AF-03238C225600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bbd12297935f604acf605fff7515ace22faf1a4","datavalue":{"value":"assumption literals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5223207$F20B53F1-E161-4062-BB59-925D6A6CD0AA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"85b754c7aba659ac162851cf41996f9e210b1425","datavalue":{"value":"Q114584471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223207$0F54A9F9-4744-492C-8D4C-5898D7C651E8","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":"Q5223207$3F96D414-660C-4475-B4B5-8C8BF58892F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed8e70655a84a5ab09b7b101fa353630a8c9d504","datavalue":{"value":"https://doi.org/10.3233/fi-2019-1809","type":"string"},"datatype":"url"},"type":"statement","id":"Q5223207$C1D9C8B2-922F-4E6D-870C-83184CBAE954","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0390b550a6685650dec90b5247e82b404f2d4e3a","datavalue":{"value":"W2949030274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223207$C029F048-C69F-4214-B315-C731FCF7F6E0","rank":"normal"}],"P1643":[{"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":"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":"Q5223207$91AC53DD-DCE8-4AC2-9903-577D70155E5C","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":"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":"Q5223207$3DE58107-D98E-404B-872D-C4AB3D1195D4","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":"ba0c4c186dffa6f9356300669a90996c02e543e2","datavalue":{"value":{"amount":"+0.7873974442481995","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":"Q5223207$FEA0CFF4-BE59-4F64-8386-977DBC11C3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86df0a704069eb49c994220515c17d02ba95667f","datavalue":{"value":{"entity-type":"item","numeric-id":5504668,"id":"Q5504668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4b0c5c842af45ddc93d68b594e798a2561d2c09","datavalue":{"value":{"amount":"+0.7735018730163574","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":"Q5223207$CA64C099-CAF4-4B35-B645-44FCA615BA2B","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":"f46f51ba680beeaf27661a8dd3491ac4f83369ac","datavalue":{"value":{"amount":"+0.7714717388153076","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":"Q5223207$B83AC072-36FB-480E-AEC4-7C1670657354","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5223207","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5223207"}}}}}