{"entities":{"Q3524260":{"pageid":5554164,"ns":120,"title":"Item:Q3524260","lastrevid":50450645,"modified":"2026-01-14T02:15:09Z","type":"item","id":"Q3524260","labels":{"en":{"language":"en","value":"Compiling Finite Linear CSP into SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5323502"}},"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":"Q3524260$8E4D9304-5BFA-4C36-AE03-DA4C065D7193","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06aea4f0dcc34a172c16473e0b9ebe63c4518e11","datavalue":{"value":{"text":"Compiling Finite Linear CSP into SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3524260$18277A18-5255-45F3-8A91-0F1E213F0F70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a0d39b63e4e3a0e6805f026483225255ca3d451","datavalue":{"value":"1160.68567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524260$1B2126B4-51C4-4A62-9375-2D7F850BD5C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e752b2db7547dd913477c5da5564aa074aaecf49","datavalue":{"value":"10.1007/11889205_42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524260$84755D4D-4F91-4198-95BE-176639386027","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44e1ebd063bae01b0015c3747ab277093223f2d7","datavalue":{"value":{"entity-type":"item","numeric-id":842790,"id":"Q842790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524260$5C90B3A7-81AA-4125-9158-3059A1BE5A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fff2db95b32abad8dc04ab448ccce663aa264aa1","datavalue":{"value":{"entity-type":"item","numeric-id":842791,"id":"Q842791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524260$8F10C4AD-46D2-49B3-8168-C846044D1215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53b98bcf6462d33212183f28db3d7a2dccf85c6a","datavalue":{"value":{"entity-type":"item","numeric-id":842792,"id":"Q842792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524260$FDF01445-4C62-467C-96C8-F64EAAA601E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11eeba1a556b3bf65f38fd098fcc8d38e57d4488","datavalue":{"value":{"entity-type":"item","numeric-id":842793,"id":"Q842793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524260$BBA3219F-11F0-4EE4-AF2F-D5ED4007B641","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bf5766bad16e3583d1d70f8c58c86d03e3f3db2","datavalue":{"value":{"entity-type":"item","numeric-id":3524234,"id":"Q3524234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524260$A57F3F4D-5583-4AF7-BFB4-D81D45C11717","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c410b8e6c6f16e495cecdeb38de7754dabfa1e","datavalue":{"value":{"time":"+2008-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3524260$6908C78E-BA9D-44EC-8451-48FD626E8181","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524260$EBA8E89F-FEA7-433D-AD50-B10F35C64F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7ffcab9ce53e90c8627cb2c3bb400b94a5f354a","datavalue":{"value":"90B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524260$3AA6946D-BBE4-45B2-8078-B65B53F7553C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22f077c890082e7b96cbaeddfc9ea849e258a1dd","datavalue":{"value":"5323502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524260$AC4A1E36-C8D4-40B4-BEA3-91F53F26DB2A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"54c4db5b3f124efb02306bb4c30dd9d1d636d7cb","datavalue":{"value":{"entity-type":"item","numeric-id":21737,"id":"Q21737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524260$CBB21DA8-1C51-4B98-804A-0DB5034504A8","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":"Q3524260$F6161618-ED21-4D51-AAD6-4880659D7D73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1067d4efbf2203d436b7805c8cafe14d2be31365","datavalue":{"value":"https://doi.org/10.1007/11889205_42","type":"string"},"datatype":"url"},"type":"statement","id":"Q3524260$5088B224-3E5A-4402-8155-9D13D9B510D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4929915db8d79e74f133ac53101fba83d416438b","datavalue":{"value":"W1986964870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524260$4FFF67EC-7B71-49A8-9585-09279E1BDE1C","rank":"normal"}],"P1643":[{"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":"dcbf288000fb9e848bf6377ed804f8fdaf1334fc","datavalue":{"value":{"amount":"+0.9849488139152528","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":"Q3524260$6E8C5466-0286-4173-AB1C-99D04E2F1A10","rank":"normal"},{"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":"53dda141964768edc9da6f08cbd5ed9e787a56e3","datavalue":{"value":{"amount":"+0.8285187482833862","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":"Q3524260$A545F8C4-FD6D-4386-AC12-2FF43C3FDAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f3024398fc52ae32fbcf95d0f3d4d733728233","datavalue":{"value":{"entity-type":"item","numeric-id":3523089,"id":"Q3523089"},"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":"Q3524260$B67A66E0-EB5D-485D-8D66-D77088D3BD55","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":"9e53082c035df0fba5af608807683d9e67765d48","datavalue":{"value":{"amount":"+0.7921716570854187","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":"Q3524260$547D734E-660E-4C47-B9B7-71D319C3F726","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":"a2d64c8643e690f3fdf13ee6a2f7c8f460a0268d","datavalue":{"value":{"amount":"+0.7778815627098083","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":"Q3524260$9019F921-0C5D-437B-B4ED-F584AC43DF8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3524260","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3524260"}}}}}