{"entities":{"Q3558337":{"pageid":5588241,"ns":120,"title":"Item:Q3558337","lastrevid":49558243,"modified":"2026-01-07T18:56:51Z","type":"item","id":"Q3558337","labels":{"en":{"language":"en","value":"A Pearl on SAT Solving in Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703517"}},"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":"Q3558337$C40D15A5-0961-458C-AABB-EA0CA89229C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"511290c3059b1de4b657e366870825760cdb12fc","datavalue":{"value":{"text":"A Pearl on SAT Solving in Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558337$CB966127-2EC4-4BD9-B32F-FD17F4FCAC9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58069367a6ed4fd2341ec730800c913ecf41683b","datavalue":{"value":"1284.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558337$9E08280D-CCA5-4164-A9F0-C3CF2119D099","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae6c0c0c5db727ec38806748ca61e49d8e7f1266","datavalue":{"value":"10.1007/978-3-642-12251-4_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558337$5EB20BAD-09D1-4919-ACD0-665F9013E9D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b78be09e060d47a3be0e8316b77e796d8d6efd97","datavalue":{"value":{"entity-type":"item","numeric-id":294782,"id":"Q294782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558337$298A32A1-55E3-49AD-A3E6-17CC285114D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3398e52dfa611cfbebe7884f888145f10a6bb45a","datavalue":{"value":{"entity-type":"item","numeric-id":294783,"id":"Q294783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558337$27DA9BF5-7F07-43D9-B76C-A0A4EE7A9D31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558337$1B3C36DF-06B2-4138-80FF-E9A2D4597531","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3558337$7C91E08B-D55B-4DDA-9B69-83A2E4C55D7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558337$2D6794F5-7D14-4A58-9A41-22C76B0BB8EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f12598cdc2cc9b3ae6b6446587abe6750499e521","datavalue":{"value":"5703517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558337$F29AB6A1-5CBE-4F6B-A916-2A2F0690F3FC","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":"Q3558337$825AFF9C-1007-4AB4-A6E5-2ABFC98152F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bd721ef17dbda53db3fd888a5b6b936167f2dca","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12251-4_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558337$5C86945B-2C5C-4A22-BA30-3D71A123A611","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec8c8040496ebdd88435d5635601bb24e8ef67fb","datavalue":{"value":"W1946627845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558337$203C9D0C-9C6C-46E9-BDD9-3627A00261A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a9141fd77a8408f053fef282549cb9dda2c1d8","datavalue":{"value":{"entity-type":"item","numeric-id":428887,"id":"Q428887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3fc8191cec7e41cc3b5ca6bd42a8814e6a5364","datavalue":{"value":{"amount":"+0.9841197","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":"Q3558337$6D40A73A-137F-4AAE-900A-B9B790B259E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18240ada612154b365e6daf50d72144869500ba","datavalue":{"value":{"entity-type":"item","numeric-id":3176367,"id":"Q3176367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496a86230dc00ba760b67b25aca53591582a4b6f","datavalue":{"value":{"amount":"+0.86635363","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":"Q3558337$75B32CF1-A54C-42E2-8E40-A94161A3F484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a29e179bbf06cf64dcb40b6c39cad4b300e7df5","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71992615f7c1603a3ee82db9aec46e46e9573e3e","datavalue":{"value":{"amount":"+0.85560596","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":"Q3558337$28BBBEA4-1BE7-4F31-9BBA-7DD6C52767E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ebbb2924bd06ba4841e404b09785a8fdff9ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3994926,"id":"Q3994926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81394a212a2b14103bf973dab5937a84f7b06254","datavalue":{"value":{"amount":"+0.8462173","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":"Q3558337$03E7FEF6-2EBE-46E8-8937-9C80FE0AC337","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":"afe545f5132c4c930465038cb3b6df751b7cbb93","datavalue":{"value":{"amount":"+0.83775866","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":"Q3558337$219C710F-18C6-4FF8-BF80-8A8D057AA96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b8d4a41d7b58615ce21e787d0e566caa1880be","datavalue":{"value":{"entity-type":"item","numeric-id":4427902,"id":"Q4427902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e35b351f672eb1346bcd080018093a6fcc8102","datavalue":{"value":{"amount":"+0.83718944","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":"Q3558337$985DDAB1-8504-4092-AFC4-45A2E97C39F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cfc99224bc940a643a0e63f784fc5b3c6ee7679","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a779b5fadd9a320d8dd9583d14dd5af3330ba70b","datavalue":{"value":{"amount":"+0.83653533","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":"Q3558337$6666F14B-522E-4BD8-A8DC-2BD32D3FBF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87629de4359287996da652e0418c9ee9d901e54c","datavalue":{"value":{"entity-type":"item","numeric-id":4797424,"id":"Q4797424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"872ec09ec729d7b592082abbfc19cf06a6b41575","datavalue":{"value":{"amount":"+0.83649313","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":"Q3558337$AE4C9AD2-741F-4D43-9C43-4BF3793855FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558337"}}}}}