{"entities":{"Q4007457":{"pageid":6037269,"ns":120,"title":"Item:Q4007457","lastrevid":55168843,"modified":"2026-02-04T08:52:28Z","type":"item","id":"Q4007457","labels":{"en":{"language":"en","value":"Iterative methods of program analysis: Equalities and inequalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 59305"}},"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":"Q4007457$6ECB627C-4D84-483F-921E-20CC81CFDED7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2cffc772e0a4ce1cb9ddf5477d68b021a831a67","datavalue":{"value":{"text":"Iterative methods of program analysis: Equalities and inequalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4007457$C5AEB222-AF03-43F3-9103-6E5D1F44836C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35a0caf573449ca3ef25eccd9c419d73f65248b1","datavalue":{"value":"0800.68549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007457$39A7C56F-B3A0-4749-B655-A298B96A3AA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0da49d5286274ff4866231d41e3135e74bd42705","datavalue":{"value":"10.1007/BF01082683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007457$A998FE84-F64F-4DFD-9CDE-8357971C15E7","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":"Q4007457$1261A134-9AFC-4F8F-A264-4510B88B774D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4007457$39C8D4FE-E915-4EB4-A103-E1E7020E40E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007457$571E9968-4139-41F3-8855-734373A443BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007457$D5E7C32D-3992-43E4-9842-A960E347407B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007457$F3043C8D-D258-49B5-98A3-AFBC05536A57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01cc6dfae84711e93627f93237dca460d0022dde","datavalue":{"value":"59305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007457$2169E370-13FD-43B8-9626-8301D2E297C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007457$9AF3865F-4CED-4C4E-B527-F432B92F05B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a434f71eff49c935ec3dc4390f7da0a0a94521c9","datavalue":{"value":"program invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007457$6D6ED06A-61D7-4F25-B0D9-50A00633BEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e8f962e30f3a6c7b49d166b01cc1eec3034cdd1","datavalue":{"value":"algebras of data","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007457$B4F7A20A-E042-48DD-9891-7FDAB526C8FF","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":"Q4007457$19975F72-8924-4C98-B3F9-531C7BFC19B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13e8f1b5f1454f6b865214a30d9dcbfeb64f10b","datavalue":{"value":{"entity-type":"item","numeric-id":5828014,"id":"Q5828014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007457$B40998A3-8DE9-481D-B878-133B02F04EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3fdd1aae113614604b042ac9379cf8e612e174","datavalue":{"value":{"entity-type":"item","numeric-id":3919078,"id":"Q3919078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007457$CD2ED73D-6A79-4BFA-8598-B9C4392D16F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ec0346c7c69cefc06dbbc0c0175e3cadefef3b","datavalue":{"value":{"entity-type":"item","numeric-id":3289362,"id":"Q3289362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007457$211D7588-7015-43BA-A3CB-51D3B29B8A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007457$304877BD-4641-48B6-B922-84AA595064C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c53aa2b28d5ba41251083bdc2e7dd6055594de","datavalue":{"value":{"entity-type":"item","numeric-id":3777432,"id":"Q3777432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007457$D65A628C-D6B1-4293-967E-9286501F9BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007457$BE941FFE-DBAD-4787-A425-F76592C56E66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4007457","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4007457"}}}}}