{"entities":{"Q3297840":{"pageid":3308548,"ns":120,"title":"Item:Q3297840","lastrevid":55978162,"modified":"2026-02-21T17:10:14Z","type":"item","id":"Q3297840","labels":{"en":{"language":"en","value":"Incremental Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7223193"}},"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":"Q3297840$C3946C93-BCFF-4842-ACF8-14C1A0BA85A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"031bdbdb538a9f77acedc5d767c0475cb73308a0","datavalue":{"value":{"text":"Incremental Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3297840$E55BA9E1-F4BD-4028-967C-254DDC39128D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5305ad3a40cc47feb05655717f72d200f9acc46d","datavalue":{"value":"1440.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297840$8C6AC168-288B-4C36-A9B2-F4907633180A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"236017788a1a28baec59c5e4b8943035bb96e689","datavalue":{"value":"10.1007/978-3-030-41103-9_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297840$78B42B07-D7BA-41C9-BBF9-F7B3790C64A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297840$14A783FA-EC0E-4CBD-97BE-60331CAB4D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3f8ff0d74b444587c16c95136e7ac730c2f0a4d","datavalue":{"value":{"entity-type":"item","numeric-id":2145341,"id":"Q2145341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297840$B17D5C19-925F-4BC9-B69B-A3E9D5AAA572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b47d4daeffd22cc8ca629b6133c88e944b81ce","datavalue":{"value":{"entity-type":"item","numeric-id":1664403,"id":"Q1664403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297840$5C86A4F1-EE55-4873-985D-8844AE53CE99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"27979b6fecde998746a1d86fcb1f0a4920fa93dc","datavalue":{"value":{"entity-type":"item","numeric-id":3297836,"id":"Q3297836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297840$B542874E-773E-48D8-91DC-3BCDB67F4A63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93d5f4948d316121f295e91de8563e97eff620a8","datavalue":{"value":{"time":"+2020-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3297840$C3DDD551-31BA-4970-A7CF-E8A0D26C56FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297840$B0EF532C-A0F5-4EF4-8445-21CD44584271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297840$E67D8009-6651-41CE-8342-3967D23BC259","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f10676e253e282083f75474c6386f33769263d67","datavalue":{"value":"7223193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297840$93553DA2-7CDD-40B6-BCF0-F8787633DC13","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":"Q3297840$30D8B6BC-2ABE-4666-83FF-BA15A0E99247","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f60af741f0a888ca273ebe0c6452c1dcd13e377","datavalue":{"value":"https://doi.org/10.1007/978-3-030-41103-9_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3297840$8B28CBAF-C960-4A6D-A617-C337FAA098A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c35efb576357667ac0c05fec9a565705e78335a8","datavalue":{"value":"W3006146940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297840$95A17DAF-FC6D-419F-AC78-3B6872D25FF8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e771a7a9f9ae459cde56ff883df92bce3b5f2ee1","datavalue":{"value":{"entity-type":"item","numeric-id":2796229,"id":"Q2796229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297840$CB857128-B120-4A75-9F65-B398764CB1B6","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":"Q3297840$629BC103-7B10-4A39-8FAF-57051443EA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297840$478773F9-011B-40DA-AB4E-96FB64F768C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf5bdcaa540bff7c2bb2bc19021ce1f0a31f5b57","datavalue":{"value":{"entity-type":"item","numeric-id":4738384,"id":"Q4738384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297840$DD66D19F-8B52-4986-AED0-C020D59E9C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99fd32c7f7fdea482b7efc7dabf370b8a94582f7","datavalue":{"value":{"entity-type":"item","numeric-id":4910422,"id":"Q4910422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297840$ADA6BADD-6294-43FA-BDDD-B550481E979E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3457db4aeeca705bdfa43bc4ff297c870d568c","datavalue":{"value":{"entity-type":"item","numeric-id":5145272,"id":"Q5145272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297840$4974D900-37EB-47E7-AA8A-D6BF41D40E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046f20e9dee13f4b7d9008c7ee545d3174c427a3","datavalue":{"value":{"entity-type":"item","numeric-id":5030198,"id":"Q5030198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297840$2B90793C-11FE-4CBB-B60F-900510F9199D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d332313f42eb96a4535b558be77e59f70753b06","datavalue":{"value":{"entity-type":"item","numeric-id":4895806,"id":"Q4895806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297840$8004F713-88A2-4EE4-8869-BE16045D046B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1033af9e2a59ed257d1d3bcdbe507bd5d41fa37","datavalue":{"value":{"entity-type":"item","numeric-id":5387905,"id":"Q5387905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2814663bcf9b07b8fcc8e12298dd27340ee582f4","datavalue":{"value":{"amount":"+0.8923971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297840$AE676661-032D-4499-95E4-978DAFEF88E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c6408661d73892449e3a46f374539c0fa99309","datavalue":{"value":{"entity-type":"item","numeric-id":2769580,"id":"Q2769580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb8551c2986d753294440849a52663c125d7284","datavalue":{"value":{"amount":"+0.8864854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297840$DD1B4C2D-97BE-4F0F-A558-FE16EC077671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c988226a3506b03cd3d641201eee498ded58e51","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba7ac8335e51845f0459d1e84eab671ca3a0891","datavalue":{"value":{"amount":"+0.8773648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297840$DFFFC48F-FBBC-4045-9B32-7BBE03707EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"681b5f9bf88a34cd72ae85c65c1e6bc0dc90d3e8","datavalue":{"value":{"entity-type":"item","numeric-id":1323307,"id":"Q1323307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"840d8ca69dab6f14a4fe637c58d38adeb9325c71","datavalue":{"value":{"amount":"+0.8711046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297840$4ADD32E3-D0C7-4786-B66D-31FC10B51782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c39de42580b153badabf394eed843b7000f51a7","datavalue":{"value":{"entity-type":"item","numeric-id":2805148,"id":"Q2805148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc275c33a48cde68eeda8d00c95623e88669caa","datavalue":{"value":{"amount":"+0.86103284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297840$D45506E5-BCDE-49FC-A710-ED40C166BBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74690218a9ab9bd601eea2524dc0e612ac3e1d7","datavalue":{"value":{"entity-type":"item","numeric-id":2164221,"id":"Q2164221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"927cd6921f81d0567508d29cb3f52603732830f9","datavalue":{"value":{"amount":"+0.86039066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297840$2FE1817D-53D3-42F6-8927-F0A2F44B4D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13345ee89c0953919eb4b9f61b0e941d455b9a34","datavalue":{"value":{"entity-type":"item","numeric-id":2796053,"id":"Q2796053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4426c84b845d976f613fd3c9fec6a70254274e","datavalue":{"value":{"amount":"+0.8584066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297840$29073810-24B0-4078-8F7A-EA9FE8FE8A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaba46c36ac4c40df8b4ddd9c15168f65beb8f24","datavalue":{"value":{"entity-type":"item","numeric-id":4994688,"id":"Q4994688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a370149449b1d0e5bb5371e21cda019a4ff1c82e","datavalue":{"value":{"amount":"+0.8576127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297840$1F5A5F65-F92C-478F-8DEC-52DDCB404C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27864ec8706ac0d8e291a2781af1ab90121a3a53","datavalue":{"value":{"entity-type":"item","numeric-id":2798280,"id":"Q2798280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5946f538fe72500fef35e36d93d07344ba83fe","datavalue":{"value":{"amount":"+0.85616034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297840$723EFCE9-0E57-4383-9ED2-698749E001ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3297840","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3297840"}}}}}