{"entities":{"Q2378282":{"pageid":2389025,"ns":120,"title":"Item:Q2378282","lastrevid":43993335,"modified":"2025-11-18T20:19:58Z","type":"item","id":"Q2378282","labels":{"en":{"language":"en","value":"Logic programming with solution preferences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5486410"}},"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":"Q2378282$BA553D7F-CC8F-40D7-8F06-AC10DA16CA55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05a049e7314b4f0a1193a35ffe4512b09b408960","datavalue":{"value":{"text":"Logic programming with solution preferences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2378282$026EDD69-993E-4905-938C-BAC3A27BB665","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b8f9d7c0962af1432e86b13a695b860eed0e292","datavalue":{"value":"1170.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378282$9AA14EC1-A215-4026-84B8-6E3EE913D796","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec012fc148affa548e31865a086d0dd2d59c4a3d","datavalue":{"value":{"entity-type":"item","numeric-id":362777,"id":"Q362777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378282$56026F36-777A-4F4D-9670-728BACCD7DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41a56534dd23780900fa1075d2898141d6886e7a","datavalue":{"value":{"entity-type":"item","numeric-id":169895,"id":"Q169895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378282$6B2A9E0D-C65D-4D4D-9E02-3DEDCF996792","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378282$A770F90D-D13E-4355-8B09-C929D68014A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d55a0bf8b3b64224045ad841b57d4f9669a829de","datavalue":{"value":{"time":"+2009-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2378282$8AD6678B-3CBC-42F1-8EB9-FCE09B4E6727","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378282$424C52C2-2701-4DE5-AAB5-B8FBAA7216ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90675578d51372eb8d97c001e7b8960ff6e479c6","datavalue":{"value":"5486410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378282$CD7B6239-8CE8-441E-ADE5-57BEECF5E857","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca7a87ac75b6fc8996107d37cf3a35b06f03b833","datavalue":{"value":"preferences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2378282$236B5B1B-DDC4-48DC-9F84-7B8EE7FC6F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2378282$69EF63A9-4F40-445A-90F6-650EA543AB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q2378282$948B8359-480A-4C2F-881C-DD360A833AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a8f07d0a3bfabea17b00996461606d492fcacc","datavalue":{"value":"Herbrand model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2378282$E8CEF584-5634-46D6-9E70-C7C9A8817981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79174ac9302084c7b06342f7808dbfe9d792991f","datavalue":{"value":"preference model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2378282$5E4DB341-E745-45B4-97B3-8ACDAB1C4F10","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":"Q2378282$09D09D42-4182-4AAB-BF66-178D586C1282","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24e7c9adc3a7591d0982f4d65696547e646b09a0","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2007.11.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2378282$378C0B0F-49EE-4C05-8FE9-623D06706255","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a982edeb9350e2601e6506084bac75e77d513f4f","datavalue":{"value":"W1979420104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378282$6821BC93-FF83-406F-B1E0-4AB9EB1A5CFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8a11e59982d4661b56434a85f083056778ce45","datavalue":{"value":{"entity-type":"item","numeric-id":4377273,"id":"Q4377273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378282$0CE58112-D153-43B3-BE49-F617E28AECF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6524ed9e73f7c8f70f505907d604558cdf427c","datavalue":{"value":{"entity-type":"item","numeric-id":1924777,"id":"Q1924777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378282$7AA70734-54E2-46F7-AF80-9C93B97AFCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"353dab22332923e55a96f95488b7aeb1ef99091e","datavalue":{"value":{"entity-type":"item","numeric-id":4371515,"id":"Q4371515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378282$20BC1898-E66D-4A95-A9BC-36E764C3A676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8403c019e2382255c4a83c48f70f7269f881847f","datavalue":{"value":{"entity-type":"item","numeric-id":3125898,"id":"Q3125898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378282$4920314F-B8B8-4969-8CD7-AEA2DE66C45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15853d7fda15270ebc72ca1b3e4d5224bf059a0e","datavalue":{"value":{"entity-type":"item","numeric-id":1603737,"id":"Q1603737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378282$6A61FDD3-21D3-49A4-8B26-6C9D82739A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378282$3A7DC568-6F5A-4567-9792-30259733E00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38585a22fb08ba97771afefa3ce0529b99228467","datavalue":{"value":{"entity-type":"item","numeric-id":4719300,"id":"Q4719300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378282$866E0E27-6A97-48F2-8B00-A8049B9E3132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"161ad922f8b92ab8fe9404246a9b96495dabac21","datavalue":{"value":{"entity-type":"item","numeric-id":4736512,"id":"Q4736512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378282$FA43F166-92B1-465D-A27B-D939368E9601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31c44e6e095cb573cd92b765e8374e9c33bc2f22","datavalue":{"value":{"entity-type":"item","numeric-id":1806132,"id":"Q1806132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378282$5727C436-F046-41B5-86CB-60CBDFD9F25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378282$3E828EAA-7C14-4F89-9DAA-5A850AF56079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a247c2e21384c40a87e299da2af8bd19f535c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4254883,"id":"Q4254883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378282$FD275A77-61AA-4048-85D9-9048A82308FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e19a8839f4a8794351c3d2bb45f6f1e81e4095d","datavalue":{"value":{"entity-type":"item","numeric-id":1143818,"id":"Q1143818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378282$DAAC7E2E-1666-4657-9A56-FBD7C2694BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc4769449d4b00722f698236a2763f37e44c39c","datavalue":{"value":{"entity-type":"item","numeric-id":4736502,"id":"Q4736502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378282$1BD39A77-68E3-4EC9-9E54-F9A66B1E4B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe9ccd48d9c95b4e4f996eb914a32d5d26dda31","datavalue":{"value":{"entity-type":"item","numeric-id":4420777,"id":"Q4420777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378282$216AC321-8201-441B-AF1C-2B1FF35DD07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed9d29fa9d82344944d8875332d9c963c873ad3","datavalue":{"value":{"entity-type":"item","numeric-id":5289311,"id":"Q5289311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378282$7677A1FF-47E2-4CF2-A639-39932F1DE97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edb32eca9fb636790c2b2e620f0465178b290a9","datavalue":{"value":{"entity-type":"item","numeric-id":4413060,"id":"Q4413060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378282$804E6A7D-DC8A-468D-9912-377645997CA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34a391831e2cb0bd232fd5f6fe1725d48b134978","datavalue":{"value":"10.1016/J.JLAP.2007.11.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378282$CFCE15B4-4D7C-4BAA-90D4-4C947F071318","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c21a5ced5b803b82912642f0381523206c1a331","datavalue":{"value":{"entity-type":"item","numeric-id":4944963,"id":"Q4944963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d548e91503be6bc07c68d54e32bab705f359e777","datavalue":{"value":{"amount":"+0.91788685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2378282$C87D8A61-7296-44CD-BA71-823A089168DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3a958271d79608d259477267a75445ac69a73fc","datavalue":{"value":{"entity-type":"item","numeric-id":5482277,"id":"Q5482277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99837c2d65af3e7dd5ff05a96b6c7e24dab1313f","datavalue":{"value":{"amount":"+0.91053855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2378282$4B88B986-9EFC-43F6-9FE9-B87D19981FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a518c368b54676a04cbe95ef4c95b5d22fc377a","datavalue":{"value":{"entity-type":"item","numeric-id":5424878,"id":"Q5424878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99837c2d65af3e7dd5ff05a96b6c7e24dab1313f","datavalue":{"value":{"amount":"+0.91053855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2378282$C27C38AE-9D4C-454F-A436-6A2B3D30675E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96e9e186ec34980181af43efc9a3de126ba38a6c","datavalue":{"value":{"entity-type":"item","numeric-id":5437652,"id":"Q5437652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"207c5d20ed8c77268472c36081bd6c4f6588d8a0","datavalue":{"value":{"amount":"+0.9056783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2378282$ECFAB360-59EC-4CC8-91BF-11E008E20BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be72a2e83efd44986eb2d8672f33196ad8d4eae1","datavalue":{"value":{"entity-type":"item","numeric-id":3624104,"id":"Q3624104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edfafc2c27dbb14d78bb0cb275511117201d7d83","datavalue":{"value":{"amount":"+0.9049598","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2378282$E1E477AE-F501-488B-9356-E68B5E867E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76eb1bbe9791965ff3c28745b150f904d5d8ea0b","datavalue":{"value":{"entity-type":"item","numeric-id":3533132,"id":"Q3533132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edfafc2c27dbb14d78bb0cb275511117201d7d83","datavalue":{"value":{"amount":"+0.9049598","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2378282$112F8162-0AE7-4D0D-AC1C-863AE36B5E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c14ca2e36991123b5afa341ab97891f7fd69233","datavalue":{"value":{"entity-type":"item","numeric-id":2915073,"id":"Q2915073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22449d9e9908e8f2c7afffe0c7f50e44be313636","datavalue":{"value":{"amount":"+0.88987136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2378282$E0022B40-3930-4B28-94BD-4168756BD0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5bec16e0b1abeb60c59cf6759b1288619b2204a","datavalue":{"value":{"entity-type":"item","numeric-id":4452601,"id":"Q4452601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bc8cdb1f3f4e184952aa3248aa972c3a5a30268","datavalue":{"value":{"amount":"+0.88865244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2378282$65C2B90A-04BC-4DB2-BE3F-0D8DC4AE5A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"517ab234fa179e78da317f3ac018032997afdd4b","datavalue":{"value":{"entity-type":"item","numeric-id":2757853,"id":"Q2757853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd78e25eae14efd7b493138c0570656cbeeb9e0","datavalue":{"value":{"amount":"+0.8815639","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2378282$5C4B55B8-06D6-4931-B0BB-C633C7D2F33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8962b015c84d8e018b120dfcc0785ce60675b6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5302728,"id":"Q5302728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6229fec6224bd24f720f7c02da3ae5bdceaae583","datavalue":{"value":{"amount":"+0.8801789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2378282$1119EF93-E802-4198-9485-F59BEB0F91EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2378282","badges":[]}}}}}