{"entities":{"Q3026317":{"pageid":3037033,"ns":120,"title":"Item:Q3026317","lastrevid":49086502,"modified":"2026-01-06T14:04:56Z","type":"item","id":"Q3026317","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014000"}},"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":"Q3026317$54C47BF9-DF9F-4292-A90D-BE273DBF0D0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b193a68d3b8e98b19f542b41417a07c16930536","datavalue":{"value":"0624.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026317$43D48BFB-903E-40CD-B9C5-ABE3309E4313","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18c7fcb8584b7b8d21a55e2a4a82fabe1e69a8a0","datavalue":{"value":{"entity-type":"item","numeric-id":2246587,"id":"Q2246587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3026317$F3D461C2-17FF-439C-887D-68B9BD6B4156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82e2200fdb29131c1330c17b4b47a8012d0d0d76","datavalue":{"value":{"entity-type":"item","numeric-id":488869,"id":"Q488869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3026317$2A1BF4D7-A7E3-4BF8-89A2-680E0884897A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3026317$B3BDB4B0-2E9C-4621-91DC-13743A7C5C85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026317$81505F59-CBEB-4F7D-8462-F798E9BDA0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026317$793D4693-EA7A-4ED9-8D3C-86DC80ECBE29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4cda890c5951ee5786f18f56e74a0683df93165","datavalue":{"value":"4014000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026317$775F8665-049C-4376-91CF-4E33044DD8E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa05752555337eef110a538862439afbb0f24d9","datavalue":{"value":"abstract interpretation of declarative languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026317$758BE63E-B699-42D1-859E-3A59B88CCA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026317$FA52C7C2-8B92-4037-9F48-48660973B6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cb698ec4ba83dbbbb1ad6e1b8df4161e4aee80d","datavalue":{"value":"value domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026317$0ECF8C9E-0892-4F69-BBBA-90A11883B1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db16ca27547c72b6789d0e58000a2ba65efae249","datavalue":{"value":"run-time properties of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026317$93241081-3AC9-4324-AC46-AE34D30C5EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9fd422b022555057bc4d4ac5aee0fd8943ccb88","datavalue":{"value":"performance improvements","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026317$0E9BE931-6D27-47F6-BE77-00DF2A863060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a54bfe4160c4136119f69df3dba514b7baad5f","datavalue":{"value":"strictness analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026317$C76EF772-82FC-40BB-8EAB-2C5EA60BFCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e706eb1911b8510aa8a59c4a13fa99cf92a1ee39","datavalue":{"value":"fixpoints of recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026317$83DFF92D-2D19-4BC5-945F-DC7D4D1307A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026317$E13B4300-8B97-430C-8212-7A1E97ECB62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026317$D1F763BD-46EB-4756-809E-2C67916BCB80","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":"Q3026317$255B4276-552C-479E-8EA3-004CBF825DA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c9ea0ae31e3c2f59919e59cea74369fe0a6863e","datavalue":{"value":{"entity-type":"item","numeric-id":4939693,"id":"Q4939693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fbe141b0ef4499a9afaa76c144a980b09c98318","datavalue":{"value":{"amount":"+0.8901295065879822","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":"Q3026317$8712540D-3B8F-4C35-BA42-00EC0A88FD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ea6823fc804b5444d36ae0a0ab8c4f2ecb9dd0b","datavalue":{"value":{"entity-type":"item","numeric-id":1330439,"id":"Q1330439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f56bcff4d114f8c1b3060790395fda4fe193443","datavalue":{"value":{"amount":"+0.844405472278595","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":"Q3026317$23D470ED-254D-4F80-BAB4-6A6C7F45AD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b01b4b8e107208ff4b146dc71363c3c16aa423d","datavalue":{"value":{"entity-type":"item","numeric-id":4360124,"id":"Q4360124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"315deb9722e6ad6f73f6b5833063684f9f3ac006","datavalue":{"value":{"amount":"+0.76894611120224","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":"Q3026317$8299103B-28C6-4087-BC8F-E50823CAB84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f26c5e9f784f203a0e32d1dd0b41cae62ca78c8","datavalue":{"value":{"entity-type":"item","numeric-id":1098274,"id":"Q1098274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"349d4010416e749bc1cc25b1b488df8e6d71f1a7","datavalue":{"value":{"amount":"+0.7672247886657715","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":"Q3026317$FD16AE96-CA40-4446-A628-7F4FD68C2D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f24817ea0b21cee2a5b2e62c3d86ab616382e95b","datavalue":{"value":{"entity-type":"item","numeric-id":1082802,"id":"Q1082802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08daf610f3de61901f94236163f2bf3a051ee22b","datavalue":{"value":{"amount":"+0.7639662027359009","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":"Q3026317$42DF678D-09D9-42C2-B7C5-41E462D45CCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3026317","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3026317"}}}}}