{"entities":{"Q3172885":{"pageid":3183595,"ns":120,"title":"Item:Q3172885","lastrevid":86378999,"modified":"2026-06-03T19:51:33Z","type":"item","id":"Q3172885","labels":{"en":{"language":"en","value":"A combination of rewriting and constraint solving for the quantifier-free interpolation of arrays with integer difference constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954764"}},"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":"Q3172885$200D8EA9-0ED6-4A25-9EE3-0E9AF27814D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa0bdc316f071840956cf16e24e3420d8286dc6b","datavalue":{"value":{"text":"A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172885$7246CAD5-CAAB-4838-8E6E-1A9B51624E16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f08d7d0d9fe2162d4c7dcc084c7b5a0a3967931","datavalue":{"value":"1348.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172885$B0F09E75-EBC8-4607-B34B-727D35A08606","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ce9d45f2bc565928c9e09a03b6e66e5f216b348","datavalue":{"value":"10.1007/978-3-642-24364-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172885$B4BECD64-B561-4BEA-8B7D-86B227A6EE56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b1bce7f658807241618c24b1a425d03bccc6443","datavalue":{"value":{"entity-type":"item","numeric-id":479813,"id":"Q479813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$E9647DC3-150A-4B00-806A-61E001CFE79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$15741B62-3403-42DE-BFE0-B27FEEE556C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$C94A9C32-7155-484A-B15A-147647FFB79A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$37548C3E-FC1E-4F0D-876E-1A0B385C4255","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-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":"Q3172885$1DEA0D36-0F58-4695-B838-587A263C864C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172885$6EB44733-080E-4F85-882A-4170ED07773B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172885$55424693-2463-486E-A423-21BE9F3E693F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172885$5D1233B5-CDAF-44BB-A3A1-8E2BA832DCE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3be12642b2f2e0d47e7bd85a56a8092d99c19c6e","datavalue":{"value":"5954764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172885$2EADC934-1F1E-4080-8D57-5C2C60CF7D39","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$A6EEFFA5-8238-446D-B9EC-88735EDA5B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"776ec61ea9403d0c48a81eefe331d6bd9e850b8f","datavalue":{"value":{"entity-type":"item","numeric-id":20435,"id":"Q20435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$5FC9BDE8-D641-4833-8BE1-E49262609CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b194bd31d37c1243d7e8c5eddae754651b6b0ca4","datavalue":{"value":{"entity-type":"item","numeric-id":18941,"id":"Q18941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$E6471B2A-9674-4273-802A-26C51EBB37A5","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":"Q3172885$8FF1FF30-C4D3-4113-9CB4-6401C43CC3E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0bd9ec113db7a0bbd64439eb8023c912e91cb057","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24364-6_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172885$1A1226B0-CBF8-43F5-89DD-587502A59A90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1c28b79a5d48a020d2206413cb5c08d94653716","datavalue":{"value":"W194239260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172885$A3EBCBE0-4A80-4815-B4C3-5D4FA7D8C1BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82f5a27fc87efcda025a7e3fcb2ac5ca42fd862f","datavalue":{"value":{"entity-type":"item","numeric-id":4595499,"id":"Q4595499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$CE9F13CE-F070-45ED-A8F1-C63201A7A595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$5CCBEF86-ECD1-463D-A879-91A490260559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d02295b918ee0afc1f76dac5b90054e0bd92879","datavalue":{"value":{"entity-type":"item","numeric-id":5747778,"id":"Q5747778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$3BF81834-139C-45BF-BE51-DB6B8E8A108D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9877add428dd78103388124da498b7c045cd5b18","datavalue":{"value":{"entity-type":"item","numeric-id":3075472,"id":"Q3075472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$890F4A33-EC94-4070-A0EE-2E158F9ACC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4542adac012f57bd573302e62777472c2bbd1aef","datavalue":{"value":{"entity-type":"item","numeric-id":5389080,"id":"Q5389080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$A60BD8DD-FBCD-406A-9782-683602E8C57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dac129a159e5019d1399be30aa2aedbb8b57223","datavalue":{"value":{"entity-type":"item","numeric-id":2946624,"id":"Q2946624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$0B165FD3-7473-4E57-8772-463FB8D1E7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$04A977C5-E10E-4961-BE9C-63A610FB781E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3b2fbf42eb3def1e4ffb467318a0ebe0218007","datavalue":{"value":{"entity-type":"item","numeric-id":3617772,"id":"Q3617772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$22ACF2A6-5AA4-46A2-BF46-D485B5D34908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$C58B7B66-9D7D-4051-B94A-6F09FCA449E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef9c0e492b02772fdee855678eeaaecef66c13a","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$46880BF2-3B13-4219-98AE-513EF0D0E50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$16E2FB61-1573-4E28-97E5-416C7B71A14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0c5a805e2d83d2fc67d0e9100dbfc3999c3a60","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$02363135-09FA-4886-A5D3-7CBC0BE404D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7903ffd8f9b852f272a22a95cb583ad2910295a","datavalue":{"value":{"entity-type":"item","numeric-id":5394624,"id":"Q5394624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172885$D64ECD2C-4D8B-484E-994B-2E98BFDE1475","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a65bd0347409171903a3729e9a61ca5c35266228","datavalue":{"value":{"entity-type":"item","numeric-id":5389080,"id":"Q5389080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"531786723871a18a072793cb9f3747b321f46499","datavalue":{"value":{"amount":"+0.9139124751091005","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":"Q3172885$ECABA827-7D3D-46FB-A582-A3C105E5BB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa5b8ee219383bf057660ccaa8422e52df4e875","datavalue":{"value":{"entity-type":"item","numeric-id":2887061,"id":"Q2887061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c0264541be56b8f4246088c80072e863db22df","datavalue":{"value":{"amount":"+0.8951377868652344","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":"Q3172885$E26256A2-C4DD-41C8-B992-02962FCAE1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33b9f803b485945da86faf8cbeb621e43e8d77e9","datavalue":{"value":{"entity-type":"item","numeric-id":1799115,"id":"Q1799115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd0dc4c99b68bd110c3f311eb81594c7365abb64","datavalue":{"value":{"amount":"+0.8091891407966614","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":"Q3172885$AAB78375-BD0F-4F61-85A2-C238F0E0BFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9297116a8fd5d2d74795bb8b8d5edc5bf38cae53","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d78b882b0ad4524edd616d4b14986c68f922867e","datavalue":{"value":{"amount":"+0.7910616993904114","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":"Q3172885$2FAFD151-3FC9-4CEC-B07F-EFC3095211B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5302c862f26649c1cb13bd6e9bc82d762cb6ba77","datavalue":{"value":{"entity-type":"item","numeric-id":604394,"id":"Q604394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28c22b430420e726d09406f9226016ff20ebe9a0","datavalue":{"value":{"amount":"+0.7909898161888123","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":"Q3172885$5AE80E3D-93AA-4D47-909E-6FEFDDA8BD7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A combination of rewriting and constraint solving for the quantifier-free interpolation of arrays with integer difference constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_combination_of_rewriting_and_constraint_solving_for_the_quantifier-free_interpolation_of_arrays_with_integer_difference_constraints"}}}}}