{"entities":{"Q490437":{"pageid":492204,"ns":120,"title":"Item:Q490437","lastrevid":52332734,"modified":"2026-01-21T11:35:38Z","type":"item","id":"Q490437","labels":{"en":{"language":"en","value":"Local search for Boolean satisfiability with configuration checking and subscore"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6476306"}},"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":"Q490437$3FB0E52D-DA10-4D71-AEA3-3A09A51C9A3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2765a585e2eabbe86bcb0f69090b2aa844b0e09e","datavalue":{"value":{"text":"Local search for Boolean satisfiability with configuration checking and subscore","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q490437$68F292D9-627D-458B-BB51-7ACC3A95A087","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4ad4f5dda1520457d7888bafbaf2087b06f3d90","datavalue":{"value":"1334.68200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490437$E08B80A1-001C-4396-8429-51E9C1226ED4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6547ea2456cf7ea8c03d9dddd728f9b9295ce231","datavalue":{"value":{"entity-type":"item","numeric-id":329032,"id":"Q329032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$051C80D2-A058-4FD1-BD27-5505151D4A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9067f8663bc4535221a064e05e63cdbfbb8b607","datavalue":{"value":{"entity-type":"item","numeric-id":238000,"id":"Q238000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$C0CBD787-4ECD-4EC0-955E-C6065A8263F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$AD80FE11-CFEB-4CB5-B7EA-231DCA1ADEFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5d7e575ce06abec1e01331d693d8d1b08ceff3b","datavalue":{"value":{"time":"+2015-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q490437$AD8CAAA4-647B-4FDE-8766-73274E8B6B05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490437$B0F82870-641B-4769-B92E-07AAF902CFE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"233209bcd7de4921f5c2aa597f6fadfd86736eed","datavalue":{"value":"6476306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490437$838DB066-72E0-41D5-93A4-370D995AC997","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q490437$93F12C52-6893-4F71-BD28-70C6A8E5DA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea1ff5a5e657abc0a392084b74b3342d23f2f4c9","datavalue":{"value":"local search","type":"string"},"datatype":"string"},"type":"statement","id":"Q490437$6B510EB6-1C05-4EB5-AF3A-928AA00DDD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94fca42f2e5b4f981a5e5c61d8426305dcf611df","datavalue":{"value":"configuration checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q490437$0949679C-18D1-4D07-93CF-68B1D6B9A6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c0434f10e3ac223ca1eda6843c5e2d4c6b73e3","datavalue":{"value":"subscore","type":"string"},"datatype":"string"},"type":"statement","id":"Q490437$A928A9EB-D2B7-475D-B0B6-8B6229621E70","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":"Q490437$D8FC29B3-E21E-4F5A-8E05-57BA8703D69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"13535746bd7cbeebdac40964f20e4617b2399076","datavalue":{"value":{"entity-type":"item","numeric-id":23403,"id":"Q23403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$6ACC0430-2BDF-416C-95E7-80140F472380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7e4b916dfeef280942e96b55da6911aeff0acb37","datavalue":{"value":{"entity-type":"item","numeric-id":24849,"id":"Q24849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$2BDF726F-2120-437C-91EF-8D001150CA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f46d9fe6abdba0d7be326a59f5de8d293dadfd98","datavalue":{"value":{"entity-type":"item","numeric-id":24850,"id":"Q24850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$EC2F9969-FEA8-4A13-B3F0-3EDA0EBB44F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75051848b474128e4985ed4bd6de9dfa91223569","datavalue":{"value":{"entity-type":"item","numeric-id":18412,"id":"Q18412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$94EC0EE4-7B31-45BF-9F4F-ED75F7232CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7daf7ec166de12a4dde35cdf00f90e35db7776c0","datavalue":{"value":{"entity-type":"item","numeric-id":20229,"id":"Q20229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$8BD7A6E4-BAEE-480F-87F6-77903EA3F760","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":"Q490437$FAC3E224-E0D5-42D2-94BC-4F8135FB9129","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de08e9ea500fad8cbc94ce7e6f4f8471010ac389","datavalue":{"value":"https://doi.org/10.1016/j.artint.2013.09.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q490437$AA0C4CE1-2838-4727-B631-3326E127951A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81e8200e5f9465ea5b0eea1e22a8a5fbcb4f86c1","datavalue":{"value":"W2097153130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490437$25CF644D-2DF1-4494-96B3-AFE36AF63D1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5368364ce79b0e1d8db898bc5b40c9c76df5089","datavalue":{"value":{"entity-type":"item","numeric-id":4930575,"id":"Q4930575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$0AA46426-1F3B-4562-A869-C4C5A9E971C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca98daa9b6c754a2aa9f9116fc0c16578202f57","datavalue":{"value":{"entity-type":"item","numeric-id":2843318,"id":"Q2843318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$D3623556-9059-4079-91AE-E236F23C00E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5215572a99d5e1a59e3659067c294a20b0d1cadd","datavalue":{"value":{"entity-type":"item","numeric-id":5943666,"id":"Q5943666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$5474AAFC-A586-4F8F-BB3F-DB73286FD829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0158d61646f22fa2bf3f5088db715ce11c981450","datavalue":{"value":{"entity-type":"item","numeric-id":5318246,"id":"Q5318246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$B4C152F9-FE36-4905-83D1-B71197FE3A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5c843166377c42a2a7c16df5c93d8199ec2f8e","datavalue":{"value":{"entity-type":"item","numeric-id":646517,"id":"Q646517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$30851127-B0EC-4C54-B689-E34CAC710B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8770cb49225be2c960a3f579d3509545fc60b382","datavalue":{"value":{"entity-type":"item","numeric-id":4917618,"id":"Q4917618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$47DFF0D1-030A-4B02-8AF1-D8E016ED481D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$DAD930B6-495C-422A-8214-0387E27AE6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372062ab71daaf29e9e9d082cc69fa4e57387087","datavalue":{"value":{"entity-type":"item","numeric-id":4018159,"id":"Q4018159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$5A9946B6-E4F0-435B-A05F-4618AE730BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e81b289669334d4601775104b3d0aa37445b08","datavalue":{"value":{"entity-type":"item","numeric-id":4021362,"id":"Q4021362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$6AC2DE56-855A-431D-940B-C67F2D04E57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f673ba67ae0b39162d16f3da67f8d71ee6d9989","datavalue":{"value":{"entity-type":"item","numeric-id":1581848,"id":"Q1581848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$C7BCB74E-4D83-42A8-9DE6-34467078C7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b553a03c35228ab6866223378d507c503f6dc29","datavalue":{"value":{"entity-type":"item","numeric-id":5472387,"id":"Q5472387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$AA2837FC-952B-4C0A-81B0-28B5E00AF416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49347a96ea5f7172477fd3a5c9b8312b90cb768c","datavalue":{"value":{"entity-type":"item","numeric-id":3101335,"id":"Q3101335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$A60AF86A-C5DF-46CE-B84E-0D8F4CA2B1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dcea0936ae74bad894054f6b7e0f895b30e6274","datavalue":{"value":{"entity-type":"item","numeric-id":4930603,"id":"Q4930603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$5DEB39D7-548A-4161-B936-51183B207619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19aae305028cc1270ef8b8b1b994e327a6f35f85","datavalue":{"value":{"entity-type":"item","numeric-id":5713707,"id":"Q5713707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$F340D6E6-E5B7-4F83-B564-C5744ABEED5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91162444788859f6a171af43aed62b7c28c71fa1","datavalue":{"value":{"entity-type":"item","numeric-id":3455584,"id":"Q3455584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$81398B9F-F082-466C-A8BD-2DDFB5A715D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e9e5cea5a6e817d1dce64aea7c9dc0d68e013f","datavalue":{"value":{"entity-type":"item","numeric-id":5471051,"id":"Q5471051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$FF7CFF84-1EDA-4C0C-919A-1279178897C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7add0b7f5a2dae931ed88c6ed9899724c56c8570","datavalue":{"value":{"entity-type":"item","numeric-id":859710,"id":"Q859710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$12EFC749-8DE6-4C1B-98CC-91A6D3179818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$C9702E8D-D4A3-48D2-89CD-6329C8A71C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0abf5d9fdc55899f7e8befe9d1758fd8837a969","datavalue":{"value":{"entity-type":"item","numeric-id":5955472,"id":"Q5955472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$178555C8-39C8-42AC-A3A0-8C153AC5FF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"539c55f0465324185eff9ab6999f51a4b7e82ccd","datavalue":{"value":{"entity-type":"item","numeric-id":5713746,"id":"Q5713746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$BD9CBF71-88DA-4AC1-8EDC-D6940DCFA7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d8ca037fbe7cf729f714a862ea062c7333e1b1","datavalue":{"value":{"entity-type":"item","numeric-id":3007692,"id":"Q3007692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$E2FBDFB6-F294-4110-8E9E-1134833113B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44edcee3d78dc88296e2ed086dc927fa7e6972ca","datavalue":{"value":{"entity-type":"item","numeric-id":4930595,"id":"Q4930595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490437$938940CA-4D71-4950-8992-ADEC26C858B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10df120d15948a2504e6fd63437ce85b8bbbfebd","datavalue":{"value":"10.1016/J.ARTINT.2013.09.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490437$F50D19ED-EFF3-4B91-BEB7-7FE75B3E04BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9614fb4889151150a3176c408ebc4b705d67bd20","datavalue":{"value":{"entity-type":"item","numeric-id":513324,"id":"Q513324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014ed5b538ccabca677d2243bc05b20242c0d8d2","datavalue":{"value":{"amount":"+0.8671284914016724","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":"Q490437$760D7FEB-AA11-4E3F-BC70-A39012675B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4fa694f1476dca76ee194f999822f33a7bc80d4","datavalue":{"value":{"entity-type":"item","numeric-id":3455584,"id":"Q3455584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc95a587d9beaccb09a38eab8f25ce80f83345f7","datavalue":{"value":{"amount":"+0.8595644235610962","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":"Q490437$04284B88-2513-4744-A1B8-A4577FC9CE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8669c46cebd2b7c68335de6852f68adb2539dd80","datavalue":{"value":{"entity-type":"item","numeric-id":3453204,"id":"Q3453204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67bb77ba3653c70a698507badbff01264b3fbeda","datavalue":{"value":{"amount":"+0.8459394574165344","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":"Q490437$BE0FF32E-AF17-43F6-842B-705B41E49BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f53227324ededbcc859ac44f8de37bedb0d642","datavalue":{"value":{"entity-type":"item","numeric-id":5687271,"id":"Q5687271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef231a4315f3a6e6c07ca5a43dec0bcb4409d16","datavalue":{"value":{"amount":"+0.7901647090911865","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":"Q490437$DDE3989F-3641-425F-BB2F-60E98D9D181B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef04500975d5d588d8e907758698790320bc544b","datavalue":{"value":{"entity-type":"item","numeric-id":2749857,"id":"Q2749857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a0e3151d15e2baf86086df2c9c76944000b770","datavalue":{"value":{"amount":"+0.7896034121513367","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":"Q490437$76306CF9-3EF5-4F6A-A232-800FAE24F405","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:490437","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:490437"}}}}}