{"entities":{"Q3522008":{"pageid":5551912,"ns":120,"title":"Item:Q3522008","lastrevid":50438723,"modified":"2026-01-14T01:36:07Z","type":"item","id":"Q3522008","labels":{"en":{"language":"en","value":"Finer Is Better: Abstraction Refinement for Rewriting Approximations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317322"}},"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":"Q3522008$5FD2065B-84D5-4EA1-BB2E-518BAAF0D6B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dd04b1aba41d6e7f4578d717c57eee7f5d20807","datavalue":{"value":{"text":"Finer Is Better: Abstraction Refinement for Rewriting Approximations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522008$557BAF16-5A46-43E8-8A8E-136DEFAA8CDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80722c804a9d5ed7c30189f5e72fc3fd09f7acdf","datavalue":{"value":"1145.68442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522008$49F8D5F0-D845-4364-8891-6233F3340F10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a380598e5e49f4d3f37817d30fa8497b138713e5","datavalue":{"value":"10.1007/978-3-540-70590-1_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522008$CB6592FB-3B23-49A0-8ACC-29B9C5D94520","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ce8e350636a75f1da02e8ccdbf246aa63c5fa86","datavalue":{"value":{"entity-type":"item","numeric-id":2894571,"id":"Q2894571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522008$9973095C-F9EA-4EBB-8A8E-02DE33DB5F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"750ed031269672a85853b13f60f47c870d58920b","datavalue":{"value":{"entity-type":"item","numeric-id":2424679,"id":"Q2424679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522008$CD8102ED-134B-4FBD-80D0-B9275E695F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28ad9b4a7f5de9582a5c2b602f54e86b0569ebf","datavalue":{"value":{"entity-type":"item","numeric-id":442145,"id":"Q442145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522008$36941BE8-AAAC-496B-ABB5-5CB61B3F9D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb0452d00e02db17d83907d40dea3913224ed5f7","datavalue":{"value":{"entity-type":"item","numeric-id":442147,"id":"Q442147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522008$9FE9B8BF-DA02-47DF-B100-58706D207881","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522008$1B9A2247-9813-401A-9F69-90EEA24E1578","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522008$942EF1FD-74A7-4514-BE30-A6D2A0754439","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522008$C2ABB398-725E-4C48-98B4-F63AED94C535","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1f47dd625c2eacac3a01557464b58ef53675835","datavalue":{"value":"5317322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522008$2D2DF35B-16FA-4AE6-9DD7-854151BD3766","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ab5668d708c884e00e91bf8e8096cfef14a43c","datavalue":{"value":{"entity-type":"item","numeric-id":18478,"id":"Q18478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522008$194B6B1E-F079-4B51-ACE9-05581EF23C5F","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":"Q3522008$8363C2E5-6F60-49E7-AC5E-3B11ECEEA1B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fb54c87d6b1eb8af2d359d737856c88b83dd338","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70590-1_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522008$EB7AD9EF-EEDE-4220-AFB1-496DC966D563","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"502211b173b93d09484e0da334d1dda6aeb51023","datavalue":{"value":"W1858687778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522008$998202F3-1376-4985-ABFA-819BEDFBFDC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31d774057f2cea3d070bccddcd80f04f91420a2","datavalue":{"value":{"entity-type":"item","numeric-id":3527288,"id":"Q3527288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95044b53f0169b0ba5e69356778ee833b7e76e12","datavalue":{"value":{"amount":"+0.9101725220680236","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":"Q3522008$B7171DB6-58B7-4D61-A506-1F8693ED2ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f73c3e9247b83043694a5cdb3f6a3a58d4196c81","datavalue":{"value":{"entity-type":"item","numeric-id":556686,"id":"Q556686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27dda74780181da90d488224af784250f82f6bf5","datavalue":{"value":{"amount":"+0.8313038349151611","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":"Q3522008$DADEFD81-AC47-46CF-94F1-F02521C89BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1b3766f1e7fdeed09039a040b0bdb7b6561c26","datavalue":{"value":{"entity-type":"item","numeric-id":2996202,"id":"Q2996202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea8ef5eefac081132ff94eab3c9d86cb9f8cd537","datavalue":{"value":{"amount":"+0.8239129185676575","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":"Q3522008$596E6AB5-7EBF-4434-9ABD-8C471E0F3F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff1ded4edace3df1b4a8100bb76c409e5844d9b","datavalue":{"value":{"entity-type":"item","numeric-id":5505416,"id":"Q5505416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09035a7ff0d1bc8973f83ce0749aea396aa06821","datavalue":{"value":{"amount":"+0.8210012912750244","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":"Q3522008$1E11E95A-63E5-4B93-8767-4C6D3B8A10E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03dae1aeeb1a36912a39fc3555e6e5666a14fba1","datavalue":{"value":{"entity-type":"item","numeric-id":3172866,"id":"Q3172866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26d44185cdb5d1da09cadcbb23c180e0f301c85","datavalue":{"value":{"amount":"+0.8163718581199646","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":"Q3522008$C610C7A5-1856-4742-A2BF-31BF099DFC46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522008"}}}}}