{"entities":{"Q4572005":{"pageid":6601594,"ns":120,"title":"Item:Q4572005","lastrevid":53133587,"modified":"2026-01-24T07:02:27Z","type":"item","id":"Q4572005","labels":{"en":{"language":"en","value":"Refining and compressing abstract domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6898428"}},"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":"Q4572005$6A6F6977-0ADD-4690-9CB7-32AC9EF464AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f9ac6846f344bd7bde6fc293d94d26627260347","datavalue":{"value":{"text":"Refining and compressing abstract domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4572005$A09270AA-B85F-4EA9-86DE-610B51ED3D4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a860c9b3f6c2beeb36fcd5ec70e6774d57bdf7e5","datavalue":{"value":"1401.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4572005$EA634582-CCBA-404F-8C16-4F7DFC2F1368","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfda9e710847b81fadb4a924a1f57d71aabc1d35","datavalue":{"value":"10.1007/3-540-63165-8_230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4572005$F2066815-EC49-43A4-8563-71E3C3F1D13F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572005$08F1EF19-A0CF-472F-97FB-14E2157785F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210f06773da60a84f3e0c4f4d099d38fa9aee286","datavalue":{"value":{"entity-type":"item","numeric-id":453544,"id":"Q453544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572005$AABA2B54-29C3-4C55-8012-BB7B15575460","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572005$4F5F0AC4-86CC-442D-BED4-2FDFA02B4F84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a2469e9547180e8da9b9320d063ac8110297525","datavalue":{"value":{"time":"+2018-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4572005$2A9CD9A3-8390-44E9-A194-7A9EE794118E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4572005$D2AEDBE0-77BA-4964-A16B-31C880B6EB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4572005$A1A43C27-DEC3-49C5-B194-774D1A972572","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1c73ef0c32a28c1d0d1a6234c3853930fdef84a","datavalue":{"value":"6898428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4572005$CCC14E4C-6D58-44CF-946F-87EF4ECF4B76","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":"Q4572005$A98FEEB2-01D8-4DDB-89AB-5A966727414E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc033905e04f45eb71baa67abaa86a6a5f210bb0","datavalue":{"value":"https://doi.org/10.1007/3-540-63165-8_230","type":"string"},"datatype":"url"},"type":"statement","id":"Q4572005$6ABD5034-44F1-4A91-BF20-1C1D13411A2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"928f30df13b99a374c18cf5728ccb3e2e1f9ce6a","datavalue":{"value":"W1559130486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4572005$8999E24F-3E04-42B1-8C0B-F432D9328C8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d04b670e7ad6909e8ece5ea78f4e3f9148ab5e","datavalue":{"value":{"entity-type":"item","numeric-id":1581061,"id":"Q1581061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572005$2D255EC9-57DA-4735-80AB-F1A83F9F3A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572005$79EA270A-E19A-4622-9D6B-0E8B6ED4A3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572005$FE9D61B7-E535-49DA-83E1-7623AAAFDE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e640c9f35893b4c0cbac8cf11b1607e0636da0b","datavalue":{"value":{"entity-type":"item","numeric-id":4593956,"id":"Q4593956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572005$6A0B83AC-F442-436C-9EB9-B325BAC072FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c826802362fd2e69416c88fc6976635f9b38bd","datavalue":{"value":{"entity-type":"item","numeric-id":1272226,"id":"Q1272226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572005$03FE95CE-E98F-47EB-BE8C-FF942FB338AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9af677e614b80799ce2fac10e1841dcbb8e90c","datavalue":{"value":{"entity-type":"item","numeric-id":1818325,"id":"Q1818325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572005$1D1C4F9E-F49C-480F-8660-26349CD79FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c012e9e7f8615bd9f015df51cf98112471a0adb5","datavalue":{"value":{"entity-type":"item","numeric-id":3713564,"id":"Q3713564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572005$C933ED83-018C-4171-8ABC-AF3CF9134D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2d94941eaf23285edef7e20981bac0b05436fc","datavalue":{"value":{"entity-type":"item","numeric-id":3142281,"id":"Q3142281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572005$7A6C3BE7-D2FA-4A0E-8193-2C0DA35962A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef35927efdca637d550edc4b800fe98494502b69","datavalue":{"value":{"entity-type":"item","numeric-id":2653385,"id":"Q2653385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572005$AF196F6C-D584-4B8E-A2D6-3A37E5A687A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d5e4cf6976932ec6977e79e2bebf209adb42ad","datavalue":{"value":{"entity-type":"item","numeric-id":4414386,"id":"Q4414386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c85d6e3a29d197fa0131173784c19d20f41d0038","datavalue":{"value":{"amount":"+0.820972740650177","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":"Q4572005$919C2A2D-E813-4C7D-AB56-AB9FA69D44D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43db39d0452c662201363e806099e3eb3cb5c7b2","datavalue":{"value":{"entity-type":"item","numeric-id":1960538,"id":"Q1960538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b31eba0108d15fa562eeb1283ca7459d8769340","datavalue":{"value":{"amount":"+0.760515570640564","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":"Q4572005$3DCD7B20-1769-4DE2-845D-A562EE721C42","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":"272c1b822adc46f16a75c7dc3175643d5fc00e92","datavalue":{"value":{"amount":"+0.7500248551368713","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":"Q4572005$6352F7A8-75D3-4CCB-B623-47F42CCCE5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07c9093e060847b9e13d15dbfc9b71e30450b11","datavalue":{"value":{"entity-type":"item","numeric-id":765513,"id":"Q765513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d386734dfb4535399a3e1d22470596f70e3ea75a","datavalue":{"value":{"amount":"+0.7420365810394287","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":"Q4572005$7981B4CC-EB5D-4456-A937-C22125829AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5a3f7a2d34f658d5e647ca201d1864a97c49500","datavalue":{"value":{"entity-type":"item","numeric-id":1818325,"id":"Q1818325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd94040e5469f274a5d094fadcdecff7b2bd479a","datavalue":{"value":{"amount":"+0.7387964725494385","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":"Q4572005$FCA75B3C-0925-4EDF-BD5D-D83A9E51CCC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4572005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4572005"}}}}}