{"entities":{"Q2628304":{"pageid":2639047,"ns":120,"title":"Item:Q2628304","lastrevid":52819886,"modified":"2026-01-23T14:02:06Z","type":"item","id":"Q2628304","labels":{"en":{"language":"en","value":"A program analysis framework for \\textit{tccp} based on abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6725122"}},"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":"Q2628304$6900E35D-0BBF-46DF-831F-D2DBF3E42194","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7a21d0fec7ee1b4716dddd28b22bf150433c3e9","datavalue":{"value":{"text":"A program analysis framework for \\textit{tccp} based on abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2628304$C23034CF-AFEC-4853-9F26-E384F9EE015D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6872c0b7a6f0586c15c06867ccba6c17cbb513c4","datavalue":{"value":"1362.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628304$E613E924-45AB-4D65-A13F-AD20C69F7759","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04735811f5f70f629ba4342ebdac125a1959371","datavalue":{"value":{"entity-type":"item","numeric-id":1274453,"id":"Q1274453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628304$667E1098-0A69-4D95-9AE6-26ED8DF5A509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51be7fb864ec0e0d86e4142fdf7eb4aa73033bb2","datavalue":{"value":{"entity-type":"item","numeric-id":835781,"id":"Q835781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628304$359183B8-32A2-4D5A-A08F-2F4CE60AE5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f9f1daac5f8408a7f8a1e7936cd0e7aed962b33","datavalue":{"value":{"entity-type":"item","numeric-id":1630021,"id":"Q1630021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628304$A27BA85A-277D-463E-8A28-D9359C5A19CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36308e32b5a03059e4bfa8be66993d163941fc86","datavalue":{"value":{"entity-type":"item","numeric-id":2409735,"id":"Q2409735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628304$F0553C12-35CC-4A2D-A4F5-4BB914BFA921","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628304$E2CB25E4-314C-4CC5-BBD0-D52685923BDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f05e55fe774ba785804e371d0af378710b362012","datavalue":{"value":{"time":"+2017-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2628304$1C7EAB9C-4B26-4FC2-BDFD-ECBF8880D54C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628304$C426CADD-31F4-479F-A3D5-4EC3662466BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628304$C3BB4832-1E84-45EB-8B5D-69145C9FB50F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a033563352ed1b178827ee076853acdc1ce25bda","datavalue":{"value":"6725122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628304$C1CF11C8-1280-45CD-A368-A404C32880FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9feece922f171d82bf92303dad5d45540c800300","datavalue":{"value":"concurrent constraint paradigm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628304$A1442C91-5AA6-47AD-9A68-943F9E58E69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628304$97B57588-F60D-4AAB-BE78-30BD6F62CB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b5ef96e16ad04069a357ef6a98a2823c300d1c3","datavalue":{"value":"abstract semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628304$E6FEEBFF-A3C6-411E-8032-C2ABCF8E6CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ce5d8c8443ca3a94474fc6e82139ad3f3057ce6","datavalue":{"value":"widening operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628304$F76BAA39-87A8-40DE-851F-74159E817FD2","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":"Q2628304$9BF65391-D82C-4D21-A403-23D16162FE2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08d87318bd2e5a832ac153e7f5bdbeac04147696","datavalue":{"value":"https://doi.org/10.1007/s00165-016-0409-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2628304$0EADD518-3DA7-4C44-90CB-06C9EA33E375","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae835ef9b20f22a0064a37649c25b0d6430a7860","datavalue":{"value":"W2579291985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628304$EDF7E473-B95B-4A43-AFC7-48BDD6A3A931","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f70430c3dff48f1cb204a4703e1525912310298","datavalue":{"value":{"entity-type":"item","numeric-id":2576949,"id":"Q2576949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628304$6FAE02CE-27D5-4846-B56F-EFD3B145035D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b0385beb476f74347b6caaa53186c3cdca7a2f3","datavalue":{"value":{"entity-type":"item","numeric-id":2568443,"id":"Q2568443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628304$4647242D-7A64-4DA6-8C13-14F47513F956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58896131077e962d2f5cdffd0705f235c9780331","datavalue":{"value":{"entity-type":"item","numeric-id":1854359,"id":"Q1854359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628304$317F5FB4-0853-4196-A891-AEFCBE556C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628304$7FF0FCF4-C006-4CA1-8112-3F50E37A97B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61c20603f59d8a24ca62de2cf3b7b77e0dff23d","datavalue":{"value":{"entity-type":"item","numeric-id":5743591,"id":"Q5743591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628304$E0F94EB4-20D9-4C51-BDE7-FD4AEA1D63FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727dfc8ab928c5b09489dbd3a7faea5bf51bcfb5","datavalue":{"value":{"entity-type":"item","numeric-id":3087437,"id":"Q3087437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628304$CC3D8384-8230-4ABC-BFBB-2E305E1315E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55e84c1f54d0ef8c46af80dc238d2982ead86c73","datavalue":{"value":{"entity-type":"item","numeric-id":4592982,"id":"Q4592982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628304$C3BCFFC6-3085-4508-B9DB-D0C2A8238523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d5c09d8b4a40f211f4f694dbfb53598f56f1e4d","datavalue":{"value":{"entity-type":"item","numeric-id":5476390,"id":"Q5476390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628304$93540153-0632-4BD8-8646-EF178AF8A296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe7849ce26f9f457c5d44ef6c061e764aca45f2d","datavalue":{"value":{"entity-type":"item","numeric-id":4411974,"id":"Q4411974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628304$8FE04F73-67FA-4AC5-B2A8-05E1E3BF2D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb4f47a7131723dd2e4a4daa9f6dc9e584962f3","datavalue":{"value":{"entity-type":"item","numeric-id":1605181,"id":"Q1605181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628304$8D07456F-5C23-4196-B33F-B46EB2DCA611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8f8fe6708ac2e1f11803da2b7ef0215ee8d81a","datavalue":{"value":{"entity-type":"item","numeric-id":4259957,"id":"Q4259957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628304$D77C05FC-ECD1-4498-8656-CB528C3A10D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f5e65e590568fdcc6fd72ef196f89375507136e","datavalue":{"value":"10.1007/S00165-016-0409-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628304$D407F463-0F5D-40DF-B3FC-3AFA84208B96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"770296025246def1505e7bf62aa6df881abc4cf6","datavalue":{"value":{"entity-type":"item","numeric-id":5743591,"id":"Q5743591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f446ec54e525b434bc9e1268a79ae5d777f258","datavalue":{"value":{"amount":"+0.9522311091423036","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":"Q2628304$79CB77C9-9F47-4BC2-9C25-3FA4006AADC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4d3b273737663af00bb08fa4dae91aa53e4c475","datavalue":{"value":{"entity-type":"item","numeric-id":2576949,"id":"Q2576949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf8c7625a335c87f5192676925a5e90246fe84b","datavalue":{"value":{"amount":"+0.8850961327552795","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":"Q2628304$CC8EA128-EA2A-4C84-89CF-CE89D03737DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcbf4e50914cbb565f82d58cdb307a543f119e26","datavalue":{"value":{"entity-type":"item","numeric-id":2849844,"id":"Q2849844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d6fc32d11de0b6442e44e95f85e6e161ff4128","datavalue":{"value":{"amount":"+0.8758451342582703","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":"Q2628304$99914B37-53B9-4D2F-8B1D-5B3550811011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cba9babce472d30e259288a4c30b793e9fbf648","datavalue":{"value":{"entity-type":"item","numeric-id":3087437,"id":"Q3087437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6507d679585ec58548f4b100b0a6ee8e1aa42f34","datavalue":{"value":{"amount":"+0.8582416772842407","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":"Q2628304$5AE519D3-8BCB-49A6-8874-F819D417344C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2082bc442d6b12bf7516f2fcbc5b33036361fbe7","datavalue":{"value":{"entity-type":"item","numeric-id":4592982,"id":"Q4592982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d6f6ebcca49fb03f8755036843747dcbae4bd1","datavalue":{"value":{"amount":"+0.8545288443565369","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":"Q2628304$74B5CDC5-88CD-4074-8457-0A3598DED23A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2628304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2628304"}}}}}