{"entities":{"Q5259270":{"pageid":7288838,"ns":120,"title":"Item:Q5259270","lastrevid":52292318,"modified":"2026-01-21T09:12:45Z","type":"item","id":"Q5259270","labels":{"en":{"language":"en","value":"An abstract interpretation framework for type and effect systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6451149"}},"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":"Q5259270$DB2805EA-7305-460E-A153-C2E8C3EA9953","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11a3b3e495efd8878141c0d3ff77b987273e38f8","datavalue":{"value":{"text":"An Abstract Interpretation Framework for Type and Effect Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5259270$112B78C8-751E-4ECE-B60F-02E190B28A82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11ddbf7f1688e59f0042117ccc5156a23763f856","datavalue":{"value":"1315.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259270$F2295800-790A-4139-8FD2-5BD7EF42E7CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9d8730ee79a2dec1580b5033af262836d7b0ce7","datavalue":{"value":"10.3233/FI-2014-1106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259270$B0526525-2603-4291-902B-95E4FB781E7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f5918a5af7052cd2efeb6ba73cd51149fe732ee","datavalue":{"value":{"entity-type":"item","numeric-id":1731515,"id":"Q1731515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259270$7B075C86-155C-4B98-9D00-08F534EC0262","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259270$AC5590B6-F73D-490E-B0AB-14FA73094388","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4795efe26ace72ea33e5b50072c8db0e5047722","datavalue":{"value":{"time":"+2015-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5259270$C20A533C-6021-4713-AE78-E9D57123833E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259270$11B9B66C-5395-456E-A9D5-AC656D6179D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259270$09C60CD3-F34C-4D74-8000-3E8DBE00AAB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9df1ed87f5131a131cdca7b76f3a590fda4e5265","datavalue":{"value":"6451149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259270$7BDB1E32-91E7-4BE3-90BA-2A17514D5382","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":"Q5259270$5AE3C945-A119-4CDC-AEA5-01370A0C8702","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c6adfc564ece09ec05c35009f25ae83d0535c7b","datavalue":{"value":"https://doi.org/10.3233/fi-2014-1106","type":"string"},"datatype":"url"},"type":"statement","id":"Q5259270$E94BC217-B8AA-4975-87AA-EFAF0C0113A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26f4666868dd0e7ac15ed439591b185733a55ac3","datavalue":{"value":"W1794566669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259270$73ACC1C9-B38D-4E8C-B498-C3AD76AC06C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aacf6d8245f297808ba85b2f1dc6e5b75fe1dd62","datavalue":{"value":{"entity-type":"item","numeric-id":3709872,"id":"Q3709872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88c48f58ccb8c49dcc8ab1cf044a93d97db48981","datavalue":{"value":{"amount":"+0.7725731134414673","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":"Q5259270$9574575A-6E0C-4C89-AAB3-4C5AC062A303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c6c6a9ff5c2c7ec652675028201f2b56322501","datavalue":{"value":{"entity-type":"item","numeric-id":5505423,"id":"Q5505423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1063dd4af382394a811e25701912ef01da9abe","datavalue":{"value":{"amount":"+0.7703219652175903","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":"Q5259270$AE70A1B7-582E-4EA3-A353-D8FF4390433F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a05d3f963271a6771786f0ca5f1d57b318ad68","datavalue":{"value":{"entity-type":"item","numeric-id":4490730,"id":"Q4490730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"655d21a44e5d72e1d4acb9ccff1395b1345b9c1d","datavalue":{"value":{"amount":"+0.7662065625190735","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":"Q5259270$853D060C-7502-466A-AA3A-1AC21C974306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c7fbffaf54c38da87f2ec08c6c6f4d0dbc371e","datavalue":{"value":{"entity-type":"item","numeric-id":4287478,"id":"Q4287478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b60a34beca561f3d131af120ef6c71a73abc22a","datavalue":{"value":{"amount":"+0.7352169752120972","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":"Q5259270$07319577-1163-4B79-8F6E-E4D66E278D35","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":"ca59c0b92629845b2530b6740e84aac60e209611","datavalue":{"value":{"amount":"+0.7321965098381042","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":"Q5259270$1BD16644-29FB-4708-8898-EBEC9CE0D5B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5259270","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5259270"}}}}}