{"entities":{"Q1749225":{"pageid":1759967,"ns":120,"title":"Item:Q1749225","lastrevid":53083058,"modified":"2026-01-24T04:44:44Z","type":"item","id":"Q1749225","labels":{"en":{"language":"en","value":"Class invariants as abstract interpretation of trace semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6868996"}},"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":"Q1749225$ABA06F1B-D9E2-4F7D-8334-531E2220495A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df8a98aa48b111d4a941fc7370717e23dc4f5b94","datavalue":{"value":{"text":"Class invariants as abstract interpretation of trace semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749225$8EC0F0DF-8D1D-41BE-A625-B2383E7B4128","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90d484f76e47bd1c766f5d113cced605c81bc96c","datavalue":{"value":"1387.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749225$049FD448-5487-44A1-9C13-65739ACDF3AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e49a0ecb14865a5b433d1cf738812e937a4ed0ef","datavalue":{"value":{"entity-type":"item","numeric-id":988563,"id":"Q988563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$7B4EF8FC-48EB-4222-AD22-830CB106308F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$34BB7923-9182-4EC4-BB4E-888BF2A345F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e956331d0e5540795d70cdf1447eb2fc47cd3be5","datavalue":{"value":{"time":"+2018-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1749225$2EF40A26-945E-48A1-8B0C-E1DAF12DD33D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749225$A6C2B419-F73D-4B11-8D7C-8635CEC0A152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749225$06B0FEE6-7B65-4AEF-9FCC-C6A5CF66B58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749225$88CCAF6E-5133-4D02-BD94-B221CA2C2A10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7842b863e84648816dfba9b2285ec1c2a2113e6f","datavalue":{"value":"6868996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749225$9649C41D-428E-4E26-8868-F027274E54DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749225$0801518B-9817-4C43-87BF-EEC0B1E19F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d43282c2e4ec2ea9d635ac10ecb88d517b711e3","datavalue":{"value":"class invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749225$FBE38F09-39F0-48AA-89FF-F42E7F17C409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749225$5C55E0B7-D275-4FEB-8069-FD4498B64108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749225$963137F0-2AD5-4E21-9FF3-21C916E24F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749225$B4BF73A0-58B4-4CB2-B5FE-4A0295B348DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749225$330C89F0-5625-4613-A6B9-2E4F29DB53D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749225$B0DF2619-10FF-4484-8C04-E45B68285C11","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":"Q1749225$0595C111-F48B-4093-9B27-CA8C6F719A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$2B505F80-F4EE-42F4-ABD3-01961D92A411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$AB924A0E-EAF6-4FA8-9E79-6158A80BB6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$03B875BE-5C2E-4A2D-9507-17326D3FB582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$E4593799-DCD5-4C62-ACCB-1BD69D5FCB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14bcb78167ecbe13d976fd586e0b21100a3bf946","datavalue":{"value":{"entity-type":"item","numeric-id":31317,"id":"Q31317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$D20BCCB7-B4DD-4413-84DE-009485A4EBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea42592d88b0dc0335528708fc0459f05c2f670","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$6281BD35-57F2-4370-A351-F659A3C18370","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":"Q1749225$300EDA04-1FEA-4C6D-9049-41F3325BE894","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81115eb748779b78efc16e69aa2d4a7052bc5bc2","datavalue":{"value":"https://doi.org/10.1016/j.cl.2005.01.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749225$7E8C0387-A4A5-4132-91D3-8D6FE58B0ED2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64a53ae5fe416865ebf246700c9eceb9bca24d8a","datavalue":{"value":"W1967714136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749225$E3C64BBE-BCD3-4185-964B-5A6F579D6EEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c32f716a89d889d8580cbbf755ea41f18177dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4371400,"id":"Q4371400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$6A51314F-F111-4A51-9F72-78024F932340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6826931c7fbd099e876410cceeef903bc184e57","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$2711A26E-BD66-4E12-930F-F695E3404D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$8CC7FC24-2F3F-4C6D-9F55-A7D92B94D3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$A6DD0C95-4CC6-448D-8228-E8600BDD98E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14974b3b845ae94bc223c2d1fe8ec86506204fa","datavalue":{"value":{"entity-type":"item","numeric-id":4349925,"id":"Q4349925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$F78432FC-F1B6-473A-B0EA-5577503BCE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472cf19de10139786f8a962564dd8595fa33649b","datavalue":{"value":{"entity-type":"item","numeric-id":3122694,"id":"Q3122694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$663A264F-08CB-4A05-9831-1A32E8597AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fe5096ebd237e9c4393d87931bca2c88a0a7a0","datavalue":{"value":{"entity-type":"item","numeric-id":2736342,"id":"Q2736342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$7F768CA0-FB66-4DE2-A468-20C2670F1AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce25a4a8232222128f4982fa9c99ead81adfe344","datavalue":{"value":{"entity-type":"item","numeric-id":4319801,"id":"Q4319801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$069DBBB2-8625-44CE-9C6F-796861CDC990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50f7159ed5d80059ebcaf3d35e876efd50166449","datavalue":{"value":{"entity-type":"item","numeric-id":5901910,"id":"Q5901910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$2FF5AE8D-D7E2-4732-BE9B-AC6D61EA81C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"597d271d459ad49c44f0c067941d38f82a26164f","datavalue":{"value":{"entity-type":"item","numeric-id":5312991,"id":"Q5312991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$A4830199-9D13-4F5B-AB8A-7D2E59DD8E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d502422ae3a232f9927d51ac5daa432f19dcb8da","datavalue":{"value":{"entity-type":"item","numeric-id":4813390,"id":"Q4813390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$F0E5BBBF-3C09-427D-A69A-0267B742F797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fadf0864e8369760eab0e372a170e099b3056091","datavalue":{"value":{"entity-type":"item","numeric-id":5898626,"id":"Q5898626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$537AC946-D3E4-48EE-8087-E09120934209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0436ec1271692b5ff35a4328cd2369d8b91eed50","datavalue":{"value":{"entity-type":"item","numeric-id":4495072,"id":"Q4495072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$C16C8D90-A728-4FF0-B45F-C596588BA8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3080bd85d1970847e3833afbfbc0c32fcc932e60","datavalue":{"value":{"entity-type":"item","numeric-id":4024014,"id":"Q4024014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$BD944BF7-AF22-4AD0-9238-1E171B270012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093682f82b55047546d767040082e61c8c07c786","datavalue":{"value":{"entity-type":"item","numeric-id":4282672,"id":"Q4282672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$3DC4A963-8677-4088-BC74-3787B0DFB2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a5e8fe55f6caaa3d67b79d6819ca4ca171c41df","datavalue":{"value":{"entity-type":"item","numeric-id":4411957,"id":"Q4411957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749225$9048CC06-E5A5-4599-B4B6-FA9D4292C391","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42af5470df232e2bfb0e0d6b059c87d9d72aa141","datavalue":{"value":"10.1016/J.CL.2005.01.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749225$4914067D-8E00-4D0D-941E-F51827458FB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d613a33142f4d16b07d92442f322c86bf74d9e3","datavalue":{"value":{"entity-type":"item","numeric-id":5901910,"id":"Q5901910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d9eaf5c29bf2e0bc271bdb76083f685cdc4351","datavalue":{"value":{"amount":"+0.9183511734008788","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":"Q1749225$68F6EF75-97DD-42E1-BBEC-9051BEC986D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cf4cc98e354fb0a43b976c9b90536575083ec81","datavalue":{"value":{"entity-type":"item","numeric-id":4813390,"id":"Q4813390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feffcd52bc1ecf72c0476beeb0fcb10434504472","datavalue":{"value":{"amount":"+0.8142963647842407","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":"Q1749225$0B78D8AD-AE7E-4E89-8C93-990A53D92675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25f595f1f3162ee239095e0c417d87d9af99cb19","datavalue":{"value":{"entity-type":"item","numeric-id":2769434,"id":"Q2769434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"111f48429a5790ac06044ceb1e6aa58bf1d1583c","datavalue":{"value":{"amount":"+0.7540359497070312","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":"Q1749225$8A5E5145-8C63-40F8-AE3D-B4793A9E1B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eadddadf92361cc5fb7e4144048c9db5c0d03025","datavalue":{"value":{"entity-type":"item","numeric-id":1029806,"id":"Q1029806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d68bb314884ce0b0f2ca9cb12fdef3256401a03","datavalue":{"value":{"amount":"+0.742362916469574","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":"Q1749225$94476818-3B47-4B8D-AD55-C60CE04A99EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"540c260737e4d2b312c3fbef94b4940936e1a8af","datavalue":{"value":{"entity-type":"item","numeric-id":5716910,"id":"Q5716910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"206d697e850530f75d89c02fc9684e0ad4c9dd2e","datavalue":{"value":{"amount":"+0.7308982610702515","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":"Q1749225$8DE11182-746D-4C2F-897A-FA25FADDE3BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1749225","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1749225"}}}}}