{"entities":{"Q2119122":{"pageid":2129865,"ns":120,"title":"Item:Q2119122","lastrevid":43522302,"modified":"2025-07-30T14:06:49Z","type":"item","id":"Q2119122","labels":{"en":{"language":"en","value":"Testing your (static analysis) truths"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7496652"}},"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":"Q2119122$B53188BC-8506-4021-AD4D-DF20ED22E1B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d41193ce42b9fc1539d77760b6c3ae63e5ad58e","datavalue":{"value":{"text":"Testing your (static analysis) truths","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2119122$74AB7D33-D15E-41F9-9EA1-62E2CB6408DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76090ca227a17055c85d57a1117d3984f13fb020","datavalue":{"value":"10.1007/978-3-030-68446-4_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119122$8802CAC8-CE8E-408D-85C2-38D2ABD6D80F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a82627690f202be7f48046ec779d117492dfcafd","datavalue":{"value":{"entity-type":"item","numeric-id":2119120,"id":"Q2119120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$B29EA2AC-4A39-4167-BC13-101625DC90B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fdc9da9080ec9c8e10fd6ecc20006e9734d7d9e","datavalue":{"value":{"entity-type":"item","numeric-id":488323,"id":"Q488323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$CE88DAD6-77CB-40D3-86CE-2F61A85719AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"379177518bf56ec7a1b993b30de89b6a25bfe955","datavalue":{"value":{"entity-type":"item","numeric-id":737625,"id":"Q737625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$8781272D-C7C4-4BF0-818B-5AE0BAD4BB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99814c61bccc39874951144e5bdc5c470edc619b","datavalue":{"value":{"entity-type":"item","numeric-id":980468,"id":"Q980468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$AFECD6FF-202D-46DB-97E6-6C79E6AD9E09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9aa1d2d8467e713a3bff3ca93031dfa09d4c4894","datavalue":{"value":{"time":"+2022-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2119122$102E8667-A2D1-4386-85A9-6455708E5B11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119122$514BDE6E-E5F4-4679-AF33-C98E2363E363","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ba66222006e895ed9d7ba252cfd68d709e836b0","datavalue":{"value":"7496652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119122$60667817-DD9B-4B2C-A576-2DF1A72FE96B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2119122$7386A4BA-5199-465F-9B41-9D87592DF708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca4a8ac9e36f994708be152234aa839fc6cf2b7","datavalue":{"value":"run-time checks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2119122$0EEADA95-FBCE-4763-8644-61445552918C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78951d9b5346daca714761763f732b106017b87","datavalue":{"value":"random testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2119122$98311561-7A33-4E47-8677-F6977D1F8755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929e026e26211c638e0e626dd465559c0f18106c","datavalue":{"value":"assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2119122$39C2809C-549F-4B89-8DA4-D5C1ED4F2B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2119122$7C8D7F2A-C423-4CDE-BC09-4597C3E348F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2119122$BB6A754A-E37D-40BD-B68D-3EDC499C18AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49748bb13ba195dda2f89b300af8304f18c0a338","datavalue":{"value":"(constraint) logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2119122$B83B74D5-56F0-4A21-9EE8-4C1C9B0F9B58","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$DDBE6452-E1EF-4B73-85E1-18F643540C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a5699a860dd7dc9c732976be3ba437fb61ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$8A00F626-D17D-44A8-8D09-59054EAFA41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf05a0fe8c67d4d8f396d444a59573c809b42e38","datavalue":{"value":{"entity-type":"item","numeric-id":24023,"id":"Q24023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$3723D36B-334B-4910-83C4-D5A919576BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cff6794623cf5d8528667b5f3c64c252856fc71","datavalue":{"value":{"entity-type":"item","numeric-id":24022,"id":"Q24022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$863D0B17-893E-4F5B-9527-D531683A0B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0cc9c769c3668a0a1aa50bb552f5f533bb41a964","datavalue":{"value":{"entity-type":"item","numeric-id":31808,"id":"Q31808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$54072752-A008-416C-8F26-C41480CE4035","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":"Q2119122$1945168F-FD24-43A2-B4A2-B0FDCB3A55E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3532246de9d84d245959b248daf80df9f7c6e504","datavalue":{"value":"https://doi.org/10.1007/978-3-030-68446-4_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q2119122$A10F4881-8C70-44A5-BB34-51F8A4E7E89B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63dade74ac3faad610ab6d6a708fec05689ad112","datavalue":{"value":"W3131705400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119122$1EF8CFD4-04A7-4C1A-8EB4-AEF6C8342EE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b1ea90f4b411036a8f63de40270fb5b0e5e9609","datavalue":{"value":{"entity-type":"item","numeric-id":5308016,"id":"Q5308016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$34C6AA74-F541-4896-847E-57C7AE7ACF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8122ab63c946a49c08b425b17a0587a9cf7577","datavalue":{"value":{"entity-type":"item","numeric-id":4813396,"id":"Q4813396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$2B76FCFE-0164-4BD8-90FD-0F452936558C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c0eb37fe34637a8d777cc7a2463ada729c0ab70","datavalue":{"value":{"entity-type":"item","numeric-id":5097625,"id":"Q5097625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$34F56E1E-610D-45DC-8485-3A189893F229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07426bce9e35df81dc394128385905d0f27fd861","datavalue":{"value":{"entity-type":"item","numeric-id":5097633,"id":"Q5097633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$FFB053D6-1DAF-4FD9-B92C-DE30F3588BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69110d66f4fb9eaff7a66ca9098b4642d893a3ee","datavalue":{"value":{"entity-type":"item","numeric-id":5316581,"id":"Q5316581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$1C7331A5-19ED-4057-A85F-30B22341E6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae8e0b69fc9d0950d46df897230bb1653222693","datavalue":{"value":{"entity-type":"item","numeric-id":2754040,"id":"Q2754040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$01AE8D2B-44FE-43F8-9911-B37EDE81622C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd5f8b2c3f1851fa76187929c3e8d10dd24e2ec","datavalue":{"value":{"entity-type":"item","numeric-id":2039953,"id":"Q2039953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$32A1F319-A858-4A53-B21C-593F3323505D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019356e9f10ec1dfb2a554f9ae7ad0988b82ab4b","datavalue":{"value":{"entity-type":"item","numeric-id":6085982,"id":"Q6085982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$9CBEC727-3D26-4229-AC45-5D36679B2625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f68a46f2cd4bd5ca6df8604037dd8f54f4c8685","datavalue":{"value":{"entity-type":"item","numeric-id":5097624,"id":"Q5097624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$9E31D65B-B2FB-4182-B463-8B1103BE2EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445ffe708f46664a7fb3c95abfc0aea70b84e1a2","datavalue":{"value":{"entity-type":"item","numeric-id":2893101,"id":"Q2893101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$EDE572BB-0D4C-4375-B0EE-CBE52EB34C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8567e612fefba6e9cf7726613fab44bab80fdfa","datavalue":{"value":{"entity-type":"item","numeric-id":4702568,"id":"Q4702568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$1612EA09-9036-4A2F-8675-81A25758D5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa0f50f9e079e80672ae8d0c1e92d01238bcc7e","datavalue":{"value":{"entity-type":"item","numeric-id":2568449,"id":"Q2568449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$55F7BC7E-C3A5-4FF9-8E31-5848C6B7276F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dfcae681746a2c8be6d782ae2ce7c7c38bf6cbc","datavalue":{"value":{"entity-type":"item","numeric-id":5458791,"id":"Q5458791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$F7FE4679-BB81-40ED-B65B-9E0D85CFA68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6d335d19293216394c2980c76fccd6102f4293","datavalue":{"value":{"entity-type":"item","numeric-id":980470,"id":"Q980470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$A92A9D9C-9EC6-4184-A452-F195DBA04032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e078bc054dd2f0127f472b04229eee817bcda4","datavalue":{"value":{"entity-type":"item","numeric-id":4012713,"id":"Q4012713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$5A69E9A9-BE4F-4B6D-B903-5080AB7F39F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef435db185a1a8a8686ac2c0b46ac5df2578467","datavalue":{"value":{"entity-type":"item","numeric-id":2723933,"id":"Q2723933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$B197947C-DA5A-4C44-957B-7E5C5BC4584F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a8b694d70fc75aa502f005dbcdfea291d709051","datavalue":{"value":{"entity-type":"item","numeric-id":5178908,"id":"Q5178908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$25D0F1C6-31DF-48D5-9287-39D96F3B4C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e8ba3cbc965d5d30e468b17593d267c74248fee","datavalue":{"value":{"entity-type":"item","numeric-id":4593012,"id":"Q4593012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$E0FBACA5-51D9-48E4-8B50-EFBD0D140FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0877ba4aca119dec904804ed9ebcc5ae4702de24","datavalue":{"value":{"entity-type":"item","numeric-id":4411953,"id":"Q4411953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119122$2D51F51E-8669-4B9C-AD85-A48BE9F122DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2119122","badges":[]}}}}}