{"entities":{"Q6487338":{"pageid":14066107,"ns":120,"title":"Item:Q6487338","lastrevid":57576246,"modified":"2026-03-31T11:27:20Z","type":"item","id":"Q6487338","labels":{"en":{"language":"en","value":"Local Search for\u00a0SMT on\u00a0Linear Integer Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628148"}},"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":"Q6487338$FC0BF75A-BC09-49DB-B321-DD2EF2536E0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10f23d0befabf7360f5fcfb73b44dde14aad3d78","datavalue":{"value":{"text":"Local Search for\u00a0SMT on\u00a0Linear Integer Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487338$D172F6BF-1A85-4912-89E1-34E72AA4599B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a2be7f24ce7714f23e5cd1d293e3a47d75455fe","datavalue":{"value":"1514.68273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487338$CEA11EB4-A6EC-47E7-87BA-2B7910A88B04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28643ede787de54aaea3579764b1cd828ac74fb4","datavalue":{"value":"10.1007/978-3-031-13188-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487338$E3A56303-7EEF-4DCE-8F16-3A086651D787","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":"Q6487338$2642A47E-8D61-4642-99B8-563CD570E402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6b15e8faf8a0175ef433bfdd9a0028ee0c6929","datavalue":{"value":{"entity-type":"item","numeric-id":2241631,"id":"Q2241631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$D684D5E3-7A8E-45C9-899D-A32688FFBBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48164fb7cc06a11777567e087a869ebb8e693095","datavalue":{"value":{"entity-type":"item","numeric-id":2118285,"id":"Q2118285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$A8C9521C-6492-40CA-BD59-B56C6460C2D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487338$37C0EA46-EBA2-4599-9C26-E5A3A85934DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487338$22DF3F5C-7DEC-4B98-8204-F97DD29E89FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fa8d374ff7d4b05e4e446c5f3200bc845f6d766","datavalue":{"value":"7628148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487338$79845983-1FD2-432C-85D0-2EC9619C3563","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":"Q6487338$C0CD93CD-1301-4F27-8983-E25F00B42EB2","rank":"normal"}],"P223":[{"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":"Q6487338$CD41F63E-BF1F-45B0-94F6-55E59860A62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5f7ec14119349332290c2a3236ae73e2231fc2","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$3E82E720-AB51-49AE-A11C-48D676508B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f69b87d5186b1c7652ae794e22c225d266af5e9","datavalue":{"value":{"entity-type":"item","numeric-id":2305409,"id":"Q2305409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$EDB20CA9-4DAB-4AD1-931A-1A80A9CAFCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55415cac38e348523c355018b37d03e511f2ca11","datavalue":{"value":{"entity-type":"item","numeric-id":2817914,"id":"Q2817914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$B208C05F-87C1-4052-9D02-73CE3BCEF251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e242557b370e70ca22794bd752775ec0bac8856","datavalue":{"value":{"entity-type":"item","numeric-id":4804887,"id":"Q4804887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$14444C92-7B94-481F-A083-4C5B3D45A9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2948a7ca2fc95c59ac6396d0ce1529567a2e2bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3453204,"id":"Q3453204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$81E24F52-0CC6-4536-95D9-E4E629B594CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d319b1024154434406686dc35c9360c8866197c6","datavalue":{"value":{"entity-type":"item","numeric-id":490437,"id":"Q490437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$91C7CD98-B2CC-4F71-A966-F10DE4A852EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$E0DA08EC-14A2-4A1A-952D-58DBDB6F8774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7add66f1a8653814d2cb5bf99e1d69a81ade0c74","datavalue":{"value":{"entity-type":"item","numeric-id":5899055,"id":"Q5899055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$DEFD4A33-9A97-48D9-B8B7-17E07C602F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741abceea5fd16b03ef55b80d741b9f81b02b2b9","datavalue":{"value":{"entity-type":"item","numeric-id":4245749,"id":"Q4245749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$7B0B7ABD-B38A-401E-BFB2-70FBF40AF4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4881d6b7fb8d175bf1c046124177a852c3e5907","datavalue":{"value":{"entity-type":"item","numeric-id":3172891,"id":"Q3172891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$70A297B1-294A-4476-83F7-9836BB829BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1a36e7472f35923d674c124ed06b35150e7623","datavalue":{"value":{"entity-type":"item","numeric-id":2272159,"id":"Q2272159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$C599ED46-2D0D-43EE-8F2A-402FB7CA3DF0","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":"Q6487338$0631F8A1-973A-447D-A067-AA0A399F66A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a55f3f509f5d24c1138ada657548cee43c7f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3643113,"id":"Q3643113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$3A195C70-7EF5-43B7-B372-1E3BBF01F95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdbec6f6989c6755320b302c2eb2b66a627d5269","datavalue":{"value":{"entity-type":"item","numeric-id":5309033,"id":"Q5309033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$496C1287-D5A0-4854-BC7E-CB1F822CE401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc3632f610e97e4c79c25f69428119c0fd7ceff","datavalue":{"value":{"entity-type":"item","numeric-id":4633534,"id":"Q4633534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$AB7DA99E-FA21-433B-8BFF-99DF19558F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6730ba05bbf0433a1a497a7552c55d2bc239d0bd","datavalue":{"value":{"entity-type":"item","numeric-id":5716574,"id":"Q5716574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$4CA12F46-E1F7-44BE-B25A-74515EE65D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$8E6C9FC2-F3B5-4119-8D7D-CA048C7DD6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac267cefe4c0b3f2d90f4b0252d3226cf35ab665","datavalue":{"value":{"entity-type":"item","numeric-id":1854568,"id":"Q1854568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$808E9134-7EEA-4DF9-83DF-D79588F11287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1ef4c8566673a8a5c94d00ea3fc5ee04078d8e","datavalue":{"value":{"entity-type":"item","numeric-id":3506045,"id":"Q3506045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$4318F739-BB03-4AA4-88CE-9C38CD616D41","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":"Q6487338$AD6DD092-E8B8-41FD-B9C5-9D97069C93BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c4614861cca8cffe8c73b1eab1c760ae07859d","datavalue":{"value":{"entity-type":"item","numeric-id":4804898,"id":"Q4804898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$D7C78DB7-4222-4D3E-9684-8E25E68C902A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3922ea947a1ecf0f270f081b90b78ff480340df8","datavalue":{"value":{"entity-type":"item","numeric-id":5312895,"id":"Q5312895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$5D8D6DD3-E028-45B0-A26F-7C08140ED466","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81902c7e3b10892a3d4d50dd99785140e273d0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2786906,"id":"Q2786906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25a13e4d76b6e3dcf9f3e3e8a978e128dfd9607","datavalue":{"value":{"amount":"+0.7699607610702515","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":"Q6487338$A3777BF0-D3F1-4D76-940A-EE3EEDFDB59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b60343c5f12c4960efb47f16f6354d8cb68a7d8","datavalue":{"value":{"entity-type":"item","numeric-id":3172891,"id":"Q3172891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97c672459d522bd74fc50cf0c737b7584613aaa","datavalue":{"value":{"amount":"+0.7664060592651367","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":"Q6487338$CD62DD8A-AE7D-4FCF-BD3F-DB529D82D860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"937f5472f93100cda2b83ee0b08636f642947a64","datavalue":{"value":{"entity-type":"item","numeric-id":4633534,"id":"Q4633534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d7192d7bcd27ffcc3a81445e958ab7eb5a66b8b","datavalue":{"value":{"amount":"+0.7116233706474304","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":"Q6487338$6F60C580-F905-4FF4-A2A7-69E39509BE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87befcca8de7df5a71f48a6d2969e1512cbcb980","datavalue":{"value":{"entity-type":"item","numeric-id":5756582,"id":"Q5756582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a375eb1bd5cfb51cbfd4f7f63c9f99999100404","datavalue":{"value":{"amount":"+0.7101807594299316","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":"Q6487338$80E13F48-74BC-4C47-91A0-CF60DBA5861C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b95002be6af64af38d051c5a16a08b6f9fb08dc","datavalue":{"value":{"entity-type":"item","numeric-id":2817914,"id":"Q2817914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb7d5f63f709480e55933e2e71687f78f79a8b8b","datavalue":{"value":{"amount":"+0.707482635974884","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":"Q6487338$4289D930-CE85-4B00-802F-256739BFE452","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487338$2906EAF0-BE0F-4E65-9B2D-447DC42DAB72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487338","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487338"}}}}}