{"entities":{"Q5302885":{"pageid":7332459,"ns":120,"title":"Item:Q5302885","lastrevid":50539184,"modified":"2026-01-14T08:21:35Z","type":"item","id":"Q5302885","labels":{"en":{"language":"en","value":"Converting One Type-Based Abstract Domain to Another"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5491967"}},"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":"Q5302885$4D15C919-93A3-423A-8DF8-B4C6FB5DE03E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eecb05de8f2186c18576d3dcdcdfb7dbf9ed6cc7","datavalue":{"value":{"text":"Converting One Type-Based Abstract Domain to Another","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5302885$1CD38ED2-3141-40FD-B3CB-CB1ED5D77DBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48b4bb1f0dcbfe145343d18efddd318377e4cf0d","datavalue":{"value":"1156.68327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302885$9782140B-89BB-4B1A-A013-627BE6437D7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d327fc8c8f14d31af444d0dfdcf236adff44b5e","datavalue":{"value":"10.1007/11680093_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302885$5656D649-B1F6-4FB9-AEDC-3D394A825E69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2c13ddb28c279be9eed2b39004f69512bab7c50","datavalue":{"value":{"entity-type":"item","numeric-id":238502,"id":"Q238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302885$3C528539-4AFC-4644-ABF9-F3286EADE767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08713bd984f0db2e5b63dc9c1aaebc82280c11b","datavalue":{"value":{"entity-type":"item","numeric-id":493523,"id":"Q493523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302885$BA76D25B-A2D2-44B2-8D28-8F4164755A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db02a25ee0188485f9ab7c84ccd406f8866487b6","datavalue":{"value":{"entity-type":"item","numeric-id":232928,"id":"Q232928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302885$655A5C2E-BFE5-40BE-AC4F-4BE1E433776B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b30e253b497c9ae83eb323a9f6b0623853ce927","datavalue":{"value":{"entity-type":"item","numeric-id":3079910,"id":"Q3079910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302885$7207C2D6-5912-4EEB-B1A6-CAA6F2E8C087","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e26e6c2a83c3157baf46ffe4a8d556736cf88fe","datavalue":{"value":{"time":"+2009-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5302885$D6649A8B-9F6F-4D0C-88CF-BA026A6F3249","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8020fe2f7b5cb968053ac743d29b7f13b1a9808","datavalue":{"value":"https://rucforsk.ruc.dk/ws/files/264537/camera-ready.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5302885$857229E4-8238-4CF2-B905-15A9D5AD0B05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302885$628A16EA-BA1C-453C-8EE3-3982FB501811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302885$F6414E8B-CF20-473E-91DF-AE4E66A1C199","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0471d341216a122a2ead4d63d2817d522019792b","datavalue":{"value":"5491967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302885$9028336E-EC36-44EB-91CA-35927172DC12","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302885$671636A3-A8AD-4B26-A590-E9DB0FFE6FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf05a0fe8c67d4d8f396d444a59573c809b42e38","datavalue":{"value":{"entity-type":"item","numeric-id":24023,"id":"Q24023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302885$DFC8C2E0-B6CD-45CA-A4E0-5BB683B346EB","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":"Q5302885$06C9FB22-7F30-47D8-8A52-084A21E636C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73d4e294ae48bbb0c31acf57a1529f42471201d4","datavalue":{"value":"W2100005069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302885$1722E8FB-BB53-4894-A60B-FC2B331E8674","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35714156d61f28ac2ae1a6e3c721636f9e33f840","datavalue":{"value":{"entity-type":"item","numeric-id":5313204,"id":"Q5313204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed6b52b4c154630fb05360c99c5fed4cb4a9661f","datavalue":{"value":{"amount":"+0.7832066416740417","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":"Q5302885$45F23045-6B93-4C9D-8F57-5C706501C2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33216c248c5412ccf52455bece8601bd6f42a168","datavalue":{"value":{"entity-type":"item","numeric-id":2723918,"id":"Q2723918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fec8100de6bcf89d15da0fa4c915ef33a91d882","datavalue":{"value":{"amount":"+0.7573067545890808","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":"Q5302885$FCEF9D43-97F7-4E87-B148-0ED3CDBE731D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b5ca0ef69fd9bc3dfbaf7db7ef189740e9061c","datavalue":{"value":{"entity-type":"item","numeric-id":4518879,"id":"Q4518879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e459b554224df3fa5cf87c532300bc5d5061cf","datavalue":{"value":{"amount":"+0.7423691749572754","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":"Q5302885$79CA0DD1-030C-464D-A526-7BFC269522EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6876f5f83f3a9504bd4a67af198b87090057fe8d","datavalue":{"value":{"entity-type":"item","numeric-id":5277715,"id":"Q5277715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0efb9b3a171b05164b21e8d4774690ae6a4348c","datavalue":{"value":{"amount":"+0.7412862181663513","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":"Q5302885$2D54355F-F9BD-454A-B883-EE588DCEB50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f749b54ebddfae6d58c4d34d4b5ca9c25bd065be","datavalue":{"value":{"entity-type":"item","numeric-id":3125089,"id":"Q3125089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b092931df7b29eb72f9813342dac26cadd17449","datavalue":{"value":{"amount":"+0.7375820279121399","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":"Q5302885$6C6C69A2-CF70-4FA7-979B-D162B12007BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5302885","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5302885"}}}}}