{"entities":{"Q2798256":{"pageid":2808994,"ns":120,"title":"Item:Q2798256","lastrevid":52495643,"modified":"2026-01-22T19:41:50Z","type":"item","id":"Q2798256","labels":{"en":{"language":"en","value":"The Boolean constraint solver of SWI-Prolog (system description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6562503"}},"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":"Q2798256$BC317F02-F50E-4140-B1FE-C8883DE8F065","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88c7ced02442a0e17483a222d1d0e55bea0f3d72","datavalue":{"value":{"text":"The Boolean Constraint Solver of SWI-Prolog (System Description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2798256$7637EEBB-84CB-4622-84F1-5367CFFDEC97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd271bbbb430590aec81d2f098f79860b6d0435b","datavalue":{"value":"1475.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798256$C18AAD69-4458-4CFF-A5AA-990C3B0D7AD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf31496befab9a8dbb250a9b9c14b5a8a404dce1","datavalue":{"value":"10.1007/978-3-319-29604-3_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798256$D2FA22FE-5999-4C57-8542-9A3A53B3952A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca7a5b9cc717c66ae0585275a11495c8848c687f","datavalue":{"value":{"entity-type":"item","numeric-id":1761918,"id":"Q1761918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798256$C058D683-034A-4ABA-B31C-E0C7698D5410","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":"Q2798256$CD15797C-D445-403B-933A-B5C327074A6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d632be975d89d9bf6400f8a1a3033c5ac887a3f4","datavalue":{"value":{"time":"+2016-04-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":"Q2798256$557C5E99-4978-40DC-8526-272D34CADE5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798256$DDC1C5B8-A427-477E-818F-BF277C7B2741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798256$5EC7ACE1-DE72-4D89-A7DB-2B0642D5FCD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43b4e245e803fc31cfdaed0ee523404234a155de","datavalue":{"value":"6562503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798256$BD90727D-F6CB-4DF9-B92E-F1AAE6F30DAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9639e7548aed0af2bff641bd7f5d0a6dfdbf7a9","datavalue":{"value":"CLP(B)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798256$34CE285C-7C84-43B0-8606-60CCC1168EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca4a0762e153982478d57ea9094bd4a5cee70c64","datavalue":{"value":"Boolean unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798256$6AD0DD1F-BA56-47E7-AAE6-5AF28E0FAB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00baa34181a949bc57429a7c01044e321721969a","datavalue":{"value":"decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798256$1C1CA985-8B28-4D4F-B686-2FA5B78EFBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a0a073691266b0ecc66980e46d2aca401a95ab","datavalue":{"value":"BDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798256$B35F77E4-7C5F-42F2-80BB-F46B170CF790","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798256$66DEAEC7-1454-4AE5-8CD1-FB0F6E797593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d36e94124670e343ce0a941fd9d5d398e768df6","datavalue":{"value":{"entity-type":"item","numeric-id":24368,"id":"Q24368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798256$C2E09247-1F9B-487D-8760-C1E092AA412D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f213a64a1d849f8e3a9a97efb00e5275e63467df","datavalue":{"value":{"entity-type":"item","numeric-id":30505,"id":"Q30505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798256$67BA5EB4-E177-43CE-96C8-F6C827213FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0cef52017e4e3abb65b54005e36080c4a777722e","datavalue":{"value":{"entity-type":"item","numeric-id":32763,"id":"Q32763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798256$E9E7048B-C083-4C6E-87B2-D3C66630CF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8a82980ea9b9e661b9bf9ec7fd1664f08aabd020","datavalue":{"value":{"entity-type":"item","numeric-id":15982,"id":"Q15982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798256$AA749FBA-3E90-4137-8F86-EB225A677FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798256$C8C2AB07-45CE-4FDB-A579-121EB6E6B789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"688eba81cb056dd5bd9a14f97160caacc67f3346","datavalue":{"value":{"entity-type":"item","numeric-id":18616,"id":"Q18616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798256$9BFBFEB2-C6DE-4AE3-B021-5B7AC9DCF111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a216d6c09dac0df49b00b19ed2bb5c4336ef7f4","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798256$56AF2F49-3AB7-4DC4-A63D-41DCA4C251FA","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":"Q2798256$22B10F4E-CCFB-44A8-93C2-9CC5CDBC4673","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6249b72ad279840531c0cd61d7a36599082f9ac0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-29604-3_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2798256$ADF3440E-0302-423F-A5BB-1805E5EBD9B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7f71c3f8658df60e2ee16a3d1a896b0f93e397b","datavalue":{"value":"W2407783078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798256$A4E850E6-A75A-448D-964A-D22084F371A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798256$BE0A7DAF-7BE5-4FEF-A0CF-7DB298376974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b590c74cc2c0dc104186169332ea750619d33a98","datavalue":{"value":{"entity-type":"item","numeric-id":1357667,"id":"Q1357667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798256$A9598D70-E997-4ACE-9104-57D484BB9A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba34de8abf8565194c6ace8efc51b7a1214907c","datavalue":{"value":{"entity-type":"item","numeric-id":4939272,"id":"Q4939272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798256$45084878-447C-45A4-860B-7B2BF1AA91FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb86304d345994a774d69695ce4afc91c6daf72","datavalue":{"value":{"entity-type":"item","numeric-id":2893102,"id":"Q2893102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798256$E8658660-5BDD-41AC-8857-C82E379F2914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9883df5e2fad2e3725c6a6ac86889ba509b4831c","datavalue":{"value":{"entity-type":"item","numeric-id":265702,"id":"Q265702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798256$61F52D8E-5030-4F06-8FE7-578F8E93DE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b99e2c9371fb5c144dc93ae570b1c3fe049599f","datavalue":{"value":{"entity-type":"item","numeric-id":3393339,"id":"Q3393339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798256$240C45E0-6DCE-48AB-A848-53B0F3159804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a8ffed364d2600e06b29154e82acf08f7a8df51","datavalue":{"value":{"entity-type":"item","numeric-id":4930770,"id":"Q4930770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798256$D2F673E5-8033-40E2-B661-17C90B4AC07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a3fc88bc4906c2e0e29d5cbbde5c2340386638","datavalue":{"value":{"entity-type":"item","numeric-id":4473057,"id":"Q4473057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798256$ED898279-7D59-4A4E-BC6C-F5EAE7944A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c1647842d2c4612622084a5b09fcbaf704ae6d","datavalue":{"value":{"entity-type":"item","numeric-id":5687271,"id":"Q5687271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798256$BC1F3D84-6A3E-4D43-95CC-BFCB4B44C164","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61c633924bcaf5c94158b1a0088ff8a9e3ca7ad","datavalue":{"value":{"entity-type":"item","numeric-id":1357667,"id":"Q1357667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bf949626c8c431dd93af0a576992ea31658f9f7","datavalue":{"value":{"amount":"+0.8528978824615479","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":"Q2798256$579F094F-E7EF-4AE2-9EC5-1BB0FD508F99","rank":"normal"},{"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":"1b237b5e7ef19f659cd8f95e00feba1c5813c88d","datavalue":{"value":{"amount":"+0.7842307686805725","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":"Q2798256$9BAFAE9D-382D-43BB-A169-0A65F95F503B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"138b4fcb327ab496dc7786fcca5e477457be8149","datavalue":{"value":{"entity-type":"item","numeric-id":3524222,"id":"Q3524222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7497a14844bdd63986c6115f5c65c1a2dbd93c","datavalue":{"value":{"amount":"+0.7491291165351868","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":"Q2798256$AD26908C-6617-46B9-B693-B0B1DAA0F2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b25c22c46d0ca86f6ce2c2532a917e61e47abc","datavalue":{"value":{"entity-type":"item","numeric-id":3558337,"id":"Q3558337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f51e420c0b82a4a645f88516d7ec204baba01e0","datavalue":{"value":{"amount":"+0.7434965968132019","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":"Q2798256$59DE19D0-A82E-4B97-86BB-1DD027208B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e4fe9c5eab0764decda317b8a4c0deb03354ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3129502,"id":"Q3129502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e57ffdd6d644041466d680b01c8bd8e944771655","datavalue":{"value":{"amount":"+0.7375588417053223","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":"Q2798256$CA2C7190-C094-40F8-A8C3-11F89A472314","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2798256","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2798256"}}}}}