{"entities":{"Q6487320":{"pageid":14066089,"ns":120,"title":"Item:Q6487320","lastrevid":56703312,"modified":"2026-03-19T00:51:10Z","type":"item","id":"Q6487320","labels":{"en":{"language":"en","value":"Data-driven Numerical Invariant Synthesis with\u00a0Automatic Generation of\u00a0Attributes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628121"}},"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":"Q6487320$0C3B6639-D6A4-406D-9BB8-85BFC2E77868","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16e12a3fea4dc33a4cc6575b3d5ba49c6b300c1a","datavalue":{"value":{"text":"Data-driven Numerical Invariant Synthesis with\u00a0Automatic Generation of\u00a0Attributes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487320$236E7DA0-5AD8-44D0-9B08-C375B7F5847F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fc1062403d2ebe05a0ee470ccbd521f5cffbbf7","datavalue":{"value":"1514.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487320$6D6E9F69-E873-4ABB-A2D1-051B27C65CEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eabbaf38b2f9c6e2960d650118044346c389ddd8","datavalue":{"value":"10.1007/978-3-031-13185-1_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487320$30C3C825-845A-42D0-8CBB-C02AD08D5FC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487320$BE4EA555-31DC-430C-9AE4-B9590E37C49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c411dc2bd50bb20a807c7f69286bb4a964c9dee","datavalue":{"value":{"entity-type":"item","numeric-id":6485567,"id":"Q6485567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487320$514EE706-8AE1-4917-93A4-F1C01F35FF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48768ae81aa5edcb5110bd8b53b5885bdbc25ee1","datavalue":{"value":{"entity-type":"item","numeric-id":515662,"id":"Q515662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487320$F587F206-7F1F-4B9D-8A24-A5422D207855","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":"Q6487320$993C7F16-AD2D-4855-B1A1-921B235253BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487320$6F759B23-A6B6-4D40-A6D6-222CD409FE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487320$AFBC0725-34EC-4A3A-A034-431EAAA547F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487320$044885DE-1480-4798-B0A9-B9B5E4666D5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecc7b5dec914fdb62f821f9bdbf0bfb6b7778556","datavalue":{"value":"7628121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487320$C4E37631-DB59-4A4C-B191-B43A00AAE4AA","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":"Q6487320$0C9F48C3-C8A8-41A0-8D17-4E64DE5E1E0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf703435dbd17fbac4a70a412f559942f373fe3f","datavalue":{"value":{"entity-type":"item","numeric-id":6487320,"id":"Q6487320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487320$ACFE99BA-9D28-4A68-B70A-A2B86655DF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487320$493E8D5A-2F1D-4931-B3BB-2A9826BE9C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"229fdcdf833f89bed9b165165cd53a3183da7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":6166141,"id":"Q6166141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487320$A0D9D002-5AD7-4882-B56A-15615319F4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487320$1420C888-7CD5-4FC1-9CE2-10AB85C53737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487320$B9069D72-9DE3-4B1C-8A4A-3F3F086D1334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487320$F27A0243-07E3-44DC-9332-03FC6B3061D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458dfa6fd44072143815c860d3690f1687a12132","datavalue":{"value":{"entity-type":"item","numeric-id":2463543,"id":"Q2463543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487320$9AA35AF2-4AA6-47E5-BCCD-E2BF29BD1D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9b88bb298728fba36d6cb290ee95ccae0a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763999,"id":"Q2763999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487320$E8E86D23-E984-4ADB-B14B-A490BCC6361A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487320$8F304B94-66BB-484F-ABD0-0C8606184E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487320$676FC2F0-155C-4741-901F-1B83000C60D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ac8008fc7a5a5734156abe6133cadbaa63c0ab","datavalue":{"value":{"entity-type":"item","numeric-id":6194583,"id":"Q6194583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487320$F0E26E5D-52B7-4CCF-AA01-5E50386F53CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b669ff01773fb618375d501feb0b3033d40d4ce","datavalue":{"value":{"entity-type":"item","numeric-id":2226732,"id":"Q2226732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487320$19C0984C-613D-4DE6-B782-7D8080B2D3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51e7f09253c42c681c594648e00a23eef5ebe9c","datavalue":{"value":{"entity-type":"item","numeric-id":2961586,"id":"Q2961586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487320$58B99697-084C-489E-8839-0B94C82BEDC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f9dba8d6c9fae228fc5a7b1574c44bfce00ab3c","datavalue":{"value":{"entity-type":"item","numeric-id":6487311,"id":"Q6487311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81ad1e6abb1569296ff1280fe85575c4b326bab4","datavalue":{"value":{"amount":"+0.727911651134491","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":"Q6487320$80D2B7AF-EDD9-496F-83C0-84F1B2891157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"725bb17ca3657881f0a98dc3d779187baeabced2","datavalue":{"value":{"entity-type":"item","numeric-id":3656883,"id":"Q3656883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f01978e9681bf1fd931739f4a9974abecef56342","datavalue":{"value":{"amount":"+0.713931143283844","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":"Q6487320$B443C53B-F078-4591-9FC5-72C1B7696306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d950c362d3801fde912fba8bdf9587069d04358","datavalue":{"value":{"entity-type":"item","numeric-id":5452621,"id":"Q5452621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f4fce8031d40aa815c45feb6d8e87d70e9dae55","datavalue":{"value":{"amount":"+0.7085904479026794","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":"Q6487320$EAFB342A-763E-4642-A67E-ECBEA3B6C085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdda183f7482ec8e30ef94525bd4e96f223f3cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5326308,"id":"Q5326308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a10fcee3d5b1d79f4f5f9f13113073d5e0b2720","datavalue":{"value":{"amount":"+0.7017920613288879","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":"Q6487320$0EE2E77E-1025-4A1A-BD6C-728A1949F1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557aba351f98a507dc47f03eaddfa587e5ea434b","datavalue":{"value":{"entity-type":"item","numeric-id":2208307,"id":"Q2208307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd4c2e65d240f4b1d7d7c897dcc6a1de1cee2a1","datavalue":{"value":{"amount":"+0.691830575466156","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":"Q6487320$0F6A52DB-523B-4500-BFEA-193A0E2F0526","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":"Q6487320$D151DFC2-3AFB-462D-B506-BFAC99ECE3AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487320","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487320"}}}}}