{"entities":{"Q3523089":{"pageid":5552993,"ns":120,"title":"Item:Q3523089","lastrevid":88335200,"modified":"2026-06-04T14:15:29Z","type":"item","id":"Q3523089","labels":{"en":{"language":"en","value":"The Log-Support Encoding of CSP into SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318859"}},"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":"Q3523089$B96CFBA0-A15E-4EE3-B1A6-6B4B942706C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f31d130f243b2f0cae0e942868abd25594adb8ac","datavalue":{"value":{"text":"The Log-Support Encoding of CSP into SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523089$09ED4A57-C760-4F88-A19B-4742DA85312C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ece8554043b4bdd7e75c32b6465bc96b03400136","datavalue":{"value":"1145.68512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523089$13519AE0-737D-4FF0-ACA7-4F9CC07A8BB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88693b981c63694c0d1270d42e687dc3dcfebd57","datavalue":{"value":"10.1007/978-3-540-74970-7_59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523089$9EA63FC4-EBFD-4D90-9DBC-C6A4D5A2F6F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e88b0a6982e0cec91b7f35f7ecc941ec13aa573e","datavalue":{"value":{"entity-type":"item","numeric-id":222875,"id":"Q222875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523089$B729F024-35F0-4519-A6D5-2BA3FB7FE34C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d10184504a8a81c59a001c44aabc72e7fe376890","datavalue":{"value":{"entity-type":"item","numeric-id":3523053,"id":"Q3523053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523089$BB5EB320-7B3F-4535-873E-2C22F12B45B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523089$9F199806-74A8-4B98-9ED5-4F21B4EB39E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523089$3DDF3D34-80E1-4EE3-A1F2-81311E3101E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f9df8a323085f8de7478c43a6351f5747b02078","datavalue":{"value":"5318859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523089$707B5970-050D-4594-9911-5DB14071B4AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7671c541842e7be2525613deb332e8ca25faf272","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523089$6DF5CCCE-B5B9-4E45-B59A-21B9125FBB56","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523089$152FA820-740C-4816-86C3-CD544F0A0FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523089$DD8526C7-B08B-4345-BB23-E1CBF06FBD8B","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":"Q3523089$6712CE29-6F65-4624-A756-C310258B435A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c246816b801f3bb3af8aa6566f0dbab44668a9b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74970-7_59","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523089$D8C1B7D4-069A-4E86-92C1-D89255F484B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"340dec4885e642aa002f5a8713e7219872c762f8","datavalue":{"value":"W1538681263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523089$0F993FE6-8F55-42A0-AE5C-7DE85A025A7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"769515ff4b8c1d15fde20ff305a2c63ef0c02132","datavalue":{"value":{"entity-type":"item","numeric-id":2342599,"id":"Q2342599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68101d06764ef894008c7690c8a0a97ffce20623","datavalue":{"value":{"amount":"+0.8355217576026917","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":"Q3523089$0A9040CB-CE09-41DE-8FE6-9CE5CEE4038C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f56d079705479d9ba616fc54f07bfe99a6cc33","datavalue":{"value":{"entity-type":"item","numeric-id":4583677,"id":"Q4583677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310e018d86d27b32e4bca46800ee8cf1ad180f81","datavalue":{"value":{"amount":"+0.8309268951416016","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":"Q3523089$B683F92F-5741-41C0-B8A4-15D52A338E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d1a613daab5c440126c9e05d8894a98e897a78","datavalue":{"value":{"entity-type":"item","numeric-id":5418737,"id":"Q5418737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeec763d579485c2a286b9b4b37cb05622593078","datavalue":{"value":{"amount":"+0.8182918429374695","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":"Q3523089$0F8559AA-BC9D-46AE-87FB-35B89AFF1321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03223ce149308bc5be47a5909b094205c896ede","datavalue":{"value":{"entity-type":"item","numeric-id":842794,"id":"Q842794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee60663d36f5d6ae7df7241a623bc8434ef489e4","datavalue":{"value":{"amount":"+0.8014880418777466","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":"Q3523089$F666D7A0-8A5D-41E4-8E75-66E551207B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf50867befe2a1e623fd344b032fa43a0ca1dc30","datavalue":{"value":{"entity-type":"item","numeric-id":3524260,"id":"Q3524260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e502268109dc8a8df0c404c45ec95bc1ac453a1","datavalue":{"value":{"amount":"+0.7966400980949402","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":"Q3523089$5D65C612-A85E-440E-B02B-F198AA798F1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Log-Support Encoding of CSP into SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Log-Support_Encoding_of_CSP_into_SAT"}}}}}