{"entities":{"Q5351965":{"pageid":7381539,"ns":120,"title":"Item:Q5351965","lastrevid":58525527,"modified":"2026-04-05T14:39:45Z","type":"item","id":"Q5351965","labels":{"en":{"language":"en","value":"Static analysis for logic-based dynamic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767603"}},"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":"Q5351965$8ADD1E99-6092-4DCE-95BF-FEAAF68B1F51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c6d66218132cc6507e7de7ce60cf3f85fb97482","datavalue":{"value":"1373.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351965$CF964A09-FFCC-4BA8-8FDC-355DB1057FB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a30c2c13b8e433f8b7509914fc24c7510ae2c202","datavalue":{"value":{"entity-type":"item","numeric-id":208764,"id":"Q208764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351965$02FBF1F0-1886-40B7-93E3-637B8CE227D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d41774d17d27f4505a1e52be3dbd1557130ff1f","datavalue":{"value":{"entity-type":"item","numeric-id":2233428,"id":"Q2233428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351965$9A21879F-A405-4F80-A419-CD04F55C9436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f50344d6d2402c082431ec7cf80747ef3aecdea4","datavalue":{"value":{"entity-type":"item","numeric-id":509760,"id":"Q509760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351965$474C6D26-16E8-417D-B961-27AF3BB4DD46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5351965$20554949-63C0-4E2E-9C42-8F98ADEAC0E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0f76a1dde5e2561a41cd6bfe58fc5032acd9692","datavalue":{"value":"https://arxiv.org/abs/1507.04537","type":"string"},"datatype":"url"},"type":"statement","id":"Q5351965$F5B18AF2-B834-43E2-A97F-3780A0A83DC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351965$6A3110C2-CF8D-49AA-900B-D607160CE67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351965$E97E4FAC-3009-463C-B319-BEB22FC48713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351965$493CE104-0E5F-4850-B9E2-A9C4E9B086DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"152ccfbf49d9f26e67ec292998513c1332b5901a","datavalue":{"value":"6767603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351965$FC0875D6-38B1-4FD3-891D-661C1A7E4684","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e87aef05ff1728f878f1cf93e12f4c2f395529ee","datavalue":{"value":"dynamic descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351965$92228DA7-42A4-4324-A62A-360B9FCD5244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c5f4b362ac670040d01985b5bb04f8548e4403b","datavalue":{"value":"algorithmic problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351965$F3334721-3023-4C92-95BC-3E25729978B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8467b9a4e4939f4e162a608c109a114d789c40a","datavalue":{"value":"emptiness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351965$E7A51835-26F6-4114-BDCD-82A55FCC8AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ae816863ee89b1b550299598f1dc15ed4e7781e","datavalue":{"value":"history independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351965$A35B2DFA-7C78-45EB-93C7-A202EAB03466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351965$5C8D3544-883C-4420-A09B-4861B3E2D144","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":"Q5351965$6EB6B3BC-16E9-4F78-91C3-C77D7DEB59A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9095c3c1d025aead22d39782362fc9335ceed38","datavalue":{"value":"W2963799957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351965$9E969FF7-8CF5-4457-9116-555015B06F66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd81a771e9c85e9da49eaf9787e8db863e81cfda","datavalue":{"value":{"text":"Static Analysis for Logic-Based Dynamic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5351965$38C5B992-39CC-4462-AA94-8FA786BA5671","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d385afe10d3e944fd43bf14bedf423a2eb4149c6","datavalue":{"value":"10.4230/LIPICS.CSL.2015.308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351965$2EF34C4F-FC81-474C-8281-D2708379AE48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fd57ab11dad12497f302fe18df6f88ffe34ba2e","datavalue":{"value":{"entity-type":"item","numeric-id":5012593,"id":"Q5012593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c74f0fb89a9fb4d5bfd45280b54df90aebaccf95","datavalue":{"value":{"amount":"+0.79522705078125","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":"Q5351965$27BD0174-1F5A-4C30-BD5F-58438277A547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5054b57dcde24cf01c1fcfbd3563f43b175b9c07","datavalue":{"value":{"entity-type":"item","numeric-id":5111430,"id":"Q5111430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"268a1797841b28a5d640f8b3adbf9d604f358629","datavalue":{"value":{"amount":"+0.7764250636100769","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":"Q5351965$8E8965B0-DE43-4350-845B-D0673C64BE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b26c03bcd188ba7fce4efeb1b36ecc889ef28367","datavalue":{"value":{"entity-type":"item","numeric-id":5376663,"id":"Q5376663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfad9998ab6bd1520d6e7c6033f23ae5ea7cd99d","datavalue":{"value":{"amount":"+0.7752535343170166","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":"Q5351965$0F8D3849-C8F2-4929-9F44-8AAFE80E988C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80124ba9daab423fa7ffebd3a5a29f066659e51c","datavalue":{"value":{"entity-type":"item","numeric-id":3196624,"id":"Q3196624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f358e24211def6ef313fe9d4768d85833df40e7","datavalue":{"value":{"amount":"+0.7617053389549255","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":"Q5351965$56225F8F-E4E0-4917-8B1A-83CCD08CF9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e196423328d1296f4fc0352c0e66d844e8c4f8","datavalue":{"value":{"entity-type":"item","numeric-id":5710680,"id":"Q5710680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128970c7b712a0f5c7902ad281ee397bb94e2eb3","datavalue":{"value":{"amount":"+0.7609274983406067","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":"Q5351965$836A45E2-4F69-4E4A-BDC5-001FB615D5CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5351965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5351965"}}}}}