{"entities":{"Q5747629":{"pageid":7777180,"ns":120,"title":"Item:Q5747629","lastrevid":51080135,"modified":"2026-01-16T13:35:59Z","type":"item","id":"Q5747629","labels":{"en":{"language":"en","value":"A space consumption analysis by abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785320"}},"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":"Q5747629$C4A821B2-DC96-429A-BA56-3D16A2A0F877","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0199ff4c9e04ae574be61e611d75474b210cbbe","datavalue":{"value":{"text":"A Space Consumption Analysis by Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747629$AEC7ADB3-0240-455C-A41E-76A922748C7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a10a43925b12f03d8e6e2ff3738b7081006d49b","datavalue":{"value":"1305.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747629$6586DB99-EDC3-445A-90AF-2DCD960A0AA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cf4dbfdeb06ac56e9d351b8eac92c05573291ed","datavalue":{"value":"10.1007/978-3-642-15331-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747629$AE2814BA-293F-4490-A200-3590A26682E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc554f6471ff9eed49aa19334a728f6412a548e6","datavalue":{"value":{"entity-type":"item","numeric-id":209390,"id":"Q209390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747629$97E0537D-A3F3-4520-B7CB-107CCFC5CF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fe0d5d94c9e0413608077b92ea1c7fc83d2414","datavalue":{"value":{"entity-type":"item","numeric-id":2437793,"id":"Q2437793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747629$057BD8BA-ECE2-4FE9-95F4-9AD6673EDDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3c4f0a73cb16daf1a6d20b105b364dce4d8e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":1984796,"id":"Q1984796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747629$B0B329B2-58A1-4062-BABB-8C88C36B2925","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8628d9b822fca08704059c3ecefa6278618df136","datavalue":{"value":{"entity-type":"item","numeric-id":3167521,"id":"Q3167521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747629$0DAEEF5F-EF9D-4690-B3AC-63E0A8D196E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747629$D288C71F-18FB-46D1-99E3-D0F96827BEAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747629$2CDE1CA9-BE20-46E0-8939-64E9B2473D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747629$0B1D3420-8341-481F-9A2B-A78DDB7AD49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747629$0E5E3B65-675C-49E9-AC77-FE782EDB9F23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdd39bbf24bae5e44d1fed86f02292c0ebb9cde2","datavalue":{"value":"5785320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747629$D3E92A07-CD58-4F38-943D-45FA81B39F87","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":"Q5747629$490388C3-E7E1-4BBA-A789-42BDD784302C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95b0352e02bccd572ad3a2baaf9f247aaf27bb11","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15331-0_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747629$DC6B845C-36B0-4962-81EA-59FA4A48D7D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b923224eaf8fe0cc0c99a8ce084ae0a5f5d7eab","datavalue":{"value":"W1536974934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747629$87B0CDE8-13D9-4677-940B-A0041A22F261","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d664942f7209955e567810d95947782f58a61cc9","datavalue":{"value":{"entity-type":"item","numeric-id":2942925,"id":"Q2942925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df3b25816e5c6c7f8ed2189942a7f1d3e374156","datavalue":{"value":{"amount":"+0.788415253162384","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":"Q5747629$F057C3A4-AD0E-432D-B661-1B0266616AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7301399dc9e7c9322a1458fad1afd2e7cf1331a","datavalue":{"value":{"entity-type":"item","numeric-id":2437794,"id":"Q2437794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a93cbcb14ccb2261bc34954d301e2a18c35c90d","datavalue":{"value":{"amount":"+0.7818505167961121","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":"Q5747629$78893A90-DE4B-4C24-969C-C9E8FE406678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e1c65891041d7fece34aa3a78beecc56e69da0","datavalue":{"value":{"entity-type":"item","numeric-id":4982630,"id":"Q4982630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc29daf4f9f1c18eb1b021d43425763f733aa116","datavalue":{"value":{"amount":"+0.7716333270072937","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":"Q5747629$613598DE-58A5-4BA5-B393-B3B8F671F81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de2d413dcd3df904f451eaff232eb4290254a25","datavalue":{"value":{"entity-type":"item","numeric-id":3434631,"id":"Q3434631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3fca376a07662a7293d660c92f2191ca639bdd1","datavalue":{"value":{"amount":"+0.7542827129364014","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":"Q5747629$4E0A0179-B2F0-4A65-B36E-8A4882BF39CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b8b2f0cf61faae727ab82c2da0d15c6a15b4ee","datavalue":{"value":{"entity-type":"item","numeric-id":5222979,"id":"Q5222979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb51934f29d6542474a345ae81cf9fd6192d272","datavalue":{"value":{"amount":"+0.7359970808029175","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":"Q5747629$F97E6A07-4228-43BA-AF0B-9EE6CE2BB1EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747629"}}}}}