{"entities":{"Q2931788":{"pageid":2942508,"ns":120,"title":"Item:Q2931788","lastrevid":52145744,"modified":"2026-01-21T00:56:23Z","type":"item","id":"Q2931788","labels":{"en":{"language":"en","value":"Quantitative abstraction refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374667"}},"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":"Q2931788$2D702B24-3351-44CA-87FB-98C5D0B1B0F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"962137adca24378b0f6ccf49b0a04d28a8cc97ae","datavalue":{"value":{"text":"Quantitative abstraction refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931788$831CF7C9-C90C-4580-B7E3-91A0A3D269A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97621c5edfb7f0e07a8c76dfdfd56d052f8139f9","datavalue":{"value":"1301.68244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931788$C3A88505-8B1B-4AE1-9570-057B44C2B21B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e17d78e4458142cd6233765e44c42bc117ec93c4","datavalue":{"value":"10.1145/2429069.2429085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931788$5C3249C9-0F73-4DB4-ADF8-159E13A5EB3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42555107275c15893120c7cc39741fb0ca2e4591","datavalue":{"value":{"entity-type":"item","numeric-id":477209,"id":"Q477209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931788$A797A797-87E2-4A53-8B03-7FFFF715D6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2b15a1a4c7a08cc5e6016c9991e9ef7b99884e6","datavalue":{"value":{"entity-type":"item","numeric-id":477210,"id":"Q477210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931788$5FD0ED68-F8C0-43D4-9BB7-F6D063E29C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931788$F11085B4-F839-4531-93FA-4B5BC7BEA516","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931788$9DCFD340-8648-47F8-95BC-EC949F231BE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-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":"Q2931788$8138AE80-B316-48D9-AA24-B3C7E5FB1DD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931788$27695DF1-EFF1-498B-8F5D-B31FD4739EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931788$CB45FD76-C4CF-4F91-9805-C7E83B445CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931788$C35DF257-7405-4FDA-9A1F-8FD913116114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931788$0A65D8C3-A63C-414C-892B-AFA4DDBE6DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931788$98FC5B5A-4430-4884-A5A5-0EE84688EBB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f0598b571992a53ee831d2cf6c415e91431c6a4","datavalue":{"value":"6374667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931788$95F40A7D-21D3-4717-86CE-E3C25992C554","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931788$6FCA7198-60B2-4A1D-AF47-0086BD646D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16da24c5a0382d4c0e1b754e184feb71bb9dfeec","datavalue":{"value":"quantitative analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931788$CFD4F4B5-F3F3-43D8-9CB5-AAB73E3FC1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931788$35FDA82F-2D01-4867-BC70-BF137D97D98F","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":"Q2931788$B2F55BD7-C9A2-4BAF-B429-F8E30A4DDE1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f9c055390216c6fbd537c1297c760e6f86c9837","datavalue":{"value":"https://doi.org/10.1145/2429069.2429085","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931788$6CCC6FA2-D77B-4D08-8325-AC902E3CE220","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b578f8e2a5511d5ae6c488d72b550836d665c796","datavalue":{"value":"W2116888614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931788$8B28925F-AA1C-4534-9A3F-95FCB4A70951","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace698697cbbe721b5ab9519258c53dc5180368e","datavalue":{"value":{"entity-type":"item","numeric-id":3588082,"id":"Q3588082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"795f0e35159e91133f5aaf4d0df6565e0b789533","datavalue":{"value":{"amount":"+0.777702808380127","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":"Q2931788$D2AC3181-8FEF-4CBD-9056-D3FEE0E6A054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356609ae3d55d23c02586fd1f83879a316c099d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74d22d419f58ff907c322478c82b0700d0001b45","datavalue":{"value":{"amount":"+0.7759064435958862","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":"Q2931788$127BBA83-CFCE-4D27-8EEE-7BB8AE8B4DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fbdeaf1c1cece30df620a4fcc42b82edb9df71","datavalue":{"value":{"entity-type":"item","numeric-id":3510839,"id":"Q3510839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b724dddbd3e94f4f85b649d09992ca878abdf71","datavalue":{"value":{"amount":"+0.7705538868904114","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":"Q2931788$85DB39B7-E68B-438B-8B3A-124F93F02EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64746e97f601930480a06a6d9121fb2ea4a98bd1","datavalue":{"value":{"entity-type":"item","numeric-id":4813201,"id":"Q4813201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96274737e412799c4b8220fc6a41eca6950ba44b","datavalue":{"value":{"amount":"+0.7647143602371216","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":"Q2931788$79778689-CE27-4BDD-9264-D836CE4A799E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbcf5dade46bade62bd735e1a56145d78bc858ee","datavalue":{"value":{"entity-type":"item","numeric-id":5464759,"id":"Q5464759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58fb560452870b08fae4c33b78a6c8a1efcea27","datavalue":{"value":{"amount":"+0.7563253045082092","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":"Q2931788$0EB4B99C-31F8-4DF0-8CD8-83DEADF91F45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931788","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931788"}}}}}