{"entities":{"Q4005340":{"pageid":6035159,"ns":120,"title":"Item:Q4005340","lastrevid":89153384,"modified":"2026-06-04T16:29:49Z","type":"item","id":"Q4005340","labels":{"en":{"language":"en","value":"Iterative methods of program analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 56446"}},"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":"Q4005340$18532993-C9F2-4678-BF37-4BB83A181ED0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77d050f3efc227e470612d02db1c9f784d8ba0f8","datavalue":{"value":{"text":"Iterative methods of program analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4005340$F7B56B3E-2C2C-4908-BF78-CE6608FE661A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bfa5e384122f7fc6704080ffca4e91ea3c387c9","datavalue":{"value":"0800.68546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4005340$F52DB68A-2A57-45AF-BEDF-7659449719EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b63d20f95673283173141c5ca7b1e7641ba3da6","datavalue":{"value":"10.1007/BF01070122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4005340$93CC0AE6-7369-46A3-A4CF-EA93E6D1AE22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4005340$D53D4059-4BC0-490D-9C28-4F9C4ABC9DFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4005340$5292ECBA-B9A1-4767-98EB-3EBA5916DCD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4005340$B5B0BEBF-A16D-417F-8120-78453730871C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4005340$5841848F-B5CF-4CFA-B74B-664CA2249CCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e934a875ad0c8ba72909048b09c1d399b6f9693","datavalue":{"value":"56446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4005340$B2AFA302-B1E8-423D-9DF5-6165154F5372","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005340$CFDE7D24-D00E-4C25-93DB-11577E22AD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c636984428789ff4a097a77ec5ca7a0c9a8b0a59","datavalue":{"value":"iterative methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005340$19469DDE-492F-4A70-AAF8-B3EBFC4A1AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32e5297480d573e046b742716b5f12ca4058b8b5","datavalue":{"value":"program invariant theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005340$3CFEBF59-2BA5-4FFD-98AC-184AF89EBEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005340$DBF8E5B1-A8B5-454C-A317-B6D1B5BB0869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d3574fd71341339ba94723c4042ff80ced2eaa","datavalue":{"value":"program schemata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005340$849A69B7-16D3-4481-A58D-2816A10AB7CF","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":"Q4005340$DAB55B46-63B7-412F-B285-AA3D4184C23C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e8247f7247e2684acec63a9be27fa944d32094","datavalue":{"value":{"entity-type":"item","numeric-id":4095866,"id":"Q4095866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4005340$B361691C-7961-4560-B7DE-99A32BBC593C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d42877972cd851c0575110e288975ecfe9d3791","datavalue":{"value":{"entity-type":"item","numeric-id":1846330,"id":"Q1846330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4005340$F1560EAC-9CA5-4C8E-9354-FC3DEBFD97E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4005340$39B4CEF4-F2A0-42EC-AF70-9C0DB4F08FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae19a70a8616a64987bb08271f6f085e5255b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3908476,"id":"Q3908476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4005340$8B269E83-FE77-4471-9BAF-93503607D623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f74680b7893caf6d8d36f6689f73c5b166658e","datavalue":{"value":{"entity-type":"item","numeric-id":1245693,"id":"Q1245693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4005340$97D78BC7-6688-49A8-A022-292BC8B73266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9917381ccc0d41588746a3514898b9c3c48596","datavalue":{"value":{"entity-type":"item","numeric-id":3894948,"id":"Q3894948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4005340$5F59F03F-3CAF-42AC-84B6-745DB1BAEA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d13b2baaeba9578e51f0f16124df9d341fafb29","datavalue":{"value":{"entity-type":"item","numeric-id":4162449,"id":"Q4162449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4005340$1D52CDC0-4F51-427E-80CF-18E0CFC1A527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08aa6748361f4915c675426159fefbc9ba4b93bf","datavalue":{"value":{"entity-type":"item","numeric-id":5735181,"id":"Q5735181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4005340$CDA0383E-54CA-4229-A897-409B8C2A084D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iterative methods of program analysis","badges":[]}}}}}