{"entities":{"Q604392":{"pageid":606168,"ns":120,"title":"Item:Q604392","lastrevid":42600288,"modified":"2025-07-04T12:42:08Z","type":"item","id":"Q604392","labels":{"en":{"language":"en","value":"Modular inference of subprogram contracts for safety checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5814771"}},"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":"Q604392$9E040106-F2AB-46CC-BD89-0BB363662E55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57e4f0c7932026e93f80f2405d411ca400f4883c","datavalue":{"value":{"text":"Modular inference of subprogram contracts for safety checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q604392$6AD7C9F7-2762-42AD-8E63-1C6137080890","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21d4655c9711c950d7933e3a8bea017e3a8a1964","datavalue":{"value":"1213.68385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604392$2EC130AE-33AC-4122-A4E4-7FCAEBDC2369","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"349ed4840df52c7a6733fc259f3e63d228d04410","datavalue":{"value":{"entity-type":"item","numeric-id":604390,"id":"Q604390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$ED483DB2-6A88-4B6E-9E11-9D441441524B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a94b145bad45cfe6e90ce99cf046bd3d7039d44f","datavalue":{"value":{"entity-type":"item","numeric-id":604391,"id":"Q604391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$352C7ADD-8A70-416C-BF1E-34D59A6667C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$0D953158-F8AA-4277-914B-F12CD45FA663","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9ea9622d88fa8ef1a3077c0b305abfad406e986","datavalue":{"value":{"time":"+2010-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q604392$05CEB1D3-E3B2-424D-99B2-FCA862336644","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604392$9E09C2EA-00B0-48B2-914F-3960F28180F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e98e3ff45c228723df6c971f37effee21d1890b","datavalue":{"value":"5814771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604392$7F0A3E9C-95CF-4F32-B04B-147E806A1D34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q604392$0AC8A5BA-9F07-47AC-99AE-5406CE2CCC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"368f6fa5b093de8756173b6abf97f54af64a06e9","datavalue":{"value":"functional behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q604392$86597AEF-543D-46CE-AF0A-DFABE3AFEE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6839e7a5bf845c5aa2d2c6fcdf96d0d9976a520","datavalue":{"value":"contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q604392$01F595AA-4A93-49E0-9CF4-110BE41795A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8376a09662b67ff600c57220464c9238631343bc","datavalue":{"value":"inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q604392$4A756096-045D-45EE-B3BA-67526EDCCB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q604392$AD1DF1FD-3243-4DF8-9AD6-7F4E2BCA7914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q604392$6E86A375-4081-419F-B4B0-8F4690EEC5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q604392$38601B88-717B-4D71-A290-ACDCD304FD5F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$8D279DE3-4CBA-43A1-B498-6BFEFE3FB2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14bcb78167ecbe13d976fd586e0b21100a3bf946","datavalue":{"value":{"entity-type":"item","numeric-id":31317,"id":"Q31317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$48436FEB-19EF-4E06-B208-BC67F0AC14D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$DD6E8A67-7E90-4B09-9403-A37C79E24AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dee6d695234cdfbc4a272f03f51845f9fcd03368","datavalue":{"value":{"entity-type":"item","numeric-id":16399,"id":"Q16399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$E7BA355C-5A6F-423A-8A2D-15BAA26A91D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$059E0C38-6C20-48EE-ADFC-41EDC5508D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$15553078-68B1-4E44-86F1-7B303444A7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"72973e2f3c2b37eaccccd6859e905abdf48d99e4","datavalue":{"value":{"entity-type":"item","numeric-id":17040,"id":"Q17040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$8185CA25-DA4A-428F-A094-0B64EDF4D505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$3B495453-56B4-44E1-BC5C-335E8EE65B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$869D8DE2-1EA8-479B-87B5-47A6A9CA2A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$EC125CB8-FC0A-496B-B391-105C085C814D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"35dea11f7340d96d415fe1f2b140031e290aa926","datavalue":{"value":{"entity-type":"item","numeric-id":21672,"id":"Q21672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$0CDBC4CE-56B8-48C6-B504-D3B3ECBEE31C","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":"Q604392$325895A6-54C4-4E5A-8399-B13CB7C27E6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60ab486af9aba497591efd5a8295ce2f4c5fdb00","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2010.06.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q604392$0DE396B4-8360-4BF1-8194-1E63A176E853","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d448a2c5a5fc8361142cf0834b81ff88c0f3aa64","datavalue":{"value":"W2013252208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604392$88F19CB8-C7E7-4A21-85D9-F792336FC6D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64edbd4b0368a46cc24983dcdc802e4982142495","datavalue":{"value":{"entity-type":"item","numeric-id":5310200,"id":"Q5310200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$FFD67350-961E-4CDF-8796-43AD8218C8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$8BF1CCB2-43CB-49C3-B89B-EAD08F9ADEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$F3882C84-D3BA-430C-9218-A1E2AB00A32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$E5DA6DC0-2918-44A1-88C0-011164994FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c24d98fe8151a7ee984475d5ecd61101306ad23e","datavalue":{"value":{"entity-type":"item","numeric-id":4461768,"id":"Q4461768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$AA7E2B85-67B0-4807-AF21-9798D9F7FC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9b88bb298728fba36d6cb290ee95ccae0a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763999,"id":"Q2763999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$FB2B433F-6F60-4E00-BD7B-3720CF680807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1774dfe4960a0840f2ba7e2e9f290bbde1f75301","datavalue":{"value":{"entity-type":"item","numeric-id":5452620,"id":"Q5452620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$6D241932-2EB4-4935-BD59-BCE81B8D5EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e044e9e3b21b228718f89e1b64de2c48e2e3f3d","datavalue":{"value":{"entity-type":"item","numeric-id":2875082,"id":"Q2875082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$4A7112F3-F69F-40DC-9833-553A192CAA8D","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":"Q604392$EB865B24-2B78-4132-B4E3-E1EA18D1E15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e5ccf0b70a10206d3060a0ecdfcb0df27797b2d","datavalue":{"value":{"entity-type":"item","numeric-id":5493379,"id":"Q5493379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$5375849D-3BEF-4837-9CE6-B42A6FF8B27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"590b9e19fdcff3d4abde9c6e165fcb9e8535c64f","datavalue":{"value":{"entity-type":"item","numeric-id":4779116,"id":"Q4779116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$BE16E6F8-CF7E-47DD-9BC8-2C080DA48FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$106341B1-CA08-4B89-B748-85BBB7C183A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf17d7e8ba4c1ec3bdb69ab7c554b7d69f4507f","datavalue":{"value":{"entity-type":"item","numeric-id":5505558,"id":"Q5505558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$3C6632D8-3208-451E-9A66-7C451732DF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cb41278eb147b9f2b9468c88b78b1104c0166e","datavalue":{"value":{"entity-type":"item","numeric-id":5897439,"id":"Q5897439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$F52C7186-3D23-43EF-92B9-8776BFFB971B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620a285a6d83cbe0fcb2ca22f0db8111fb4fb562","datavalue":{"value":{"entity-type":"item","numeric-id":4764612,"id":"Q4764612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$56E1CDF4-2BDE-4C6E-8C9D-E0E58C0AFF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7870a038e1502bdb263b4bf7c45a07f42ba546e4","datavalue":{"value":{"entity-type":"item","numeric-id":676777,"id":"Q676777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$3A5D7B8C-EC53-4F80-9E7E-6F07DCDFB4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef87c90b25e8091918151481848c197b18b9425","datavalue":{"value":{"entity-type":"item","numeric-id":4226937,"id":"Q4226937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604392$0C97D911-E82B-4F91-9D27-223C869274F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e179f9f08f8cff7f64cc1435eebe6ac396d6a41b","datavalue":{"value":"10.1016/J.JSC.2010.06.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604392$7F7CAE0C-9F9B-48C6-BB18-966631C700A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d3b88102ff6fd0d3278a120b3ff35f5822c8ee5","datavalue":{"value":{"entity-type":"item","numeric-id":3612005,"id":"Q3612005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bc9e11c7ebf7a37805860d4b9a1d2a837d2fc13","datavalue":{"value":{"amount":"+0.89061135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q604392$679C6B7E-F731-46DD-89FF-DF3BDBF2710E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ceb98e9f1f7b87ac262b76da86297b305c0477b","datavalue":{"value":{"entity-type":"item","numeric-id":5387906,"id":"Q5387906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1c844b5965167c7fa978ce7f154a469ea2b0cbc","datavalue":{"value":{"amount":"+0.8713288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q604392$76EFA10A-BC5B-4433-8393-376763EEFFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd61de02ab022b2df42d3efe71626fe9c443d90a","datavalue":{"value":{"entity-type":"item","numeric-id":3630170,"id":"Q3630170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d100f9444292295dd2e7c36b78855aece4dbbfa6","datavalue":{"value":{"amount":"+0.865584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q604392$98B75F66-BD43-4671-B6C6-59D7C2AFEDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f83df204fba48b96d25944b421a5b581e31a5c93","datavalue":{"value":{"entity-type":"item","numeric-id":1391101,"id":"Q1391101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a7e8218bb40d6ed98cde90ae9ffdba857a969e","datavalue":{"value":{"amount":"+0.86041933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q604392$8B4A89B5-F23C-46F2-BA51-12FEE59C7DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fab7cccee66bb09cb113fdb52faeb00c44355ec","datavalue":{"value":{"entity-type":"item","numeric-id":2147702,"id":"Q2147702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0a6648da5d589027b768bd26458ad74e755bda9","datavalue":{"value":{"amount":"+0.8544651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q604392$2D1A3B15-FB43-475D-B330-6B1CF2CDD998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ed160aff66129e16b7e91ba763dfed55697a16","datavalue":{"value":{"entity-type":"item","numeric-id":3550617,"id":"Q3550617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c74a146c4a73658ff37ccd0b103652b091f0325c","datavalue":{"value":{"amount":"+0.8507383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q604392$9A7C01E4-D9BF-49B2-A2F6-8FFD9E26924A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd21f140224c0c0d4665f28b9e9fefb23afa9cab","datavalue":{"value":{"entity-type":"item","numeric-id":1996433,"id":"Q1996433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04b1bb8e60e9d80b44aeeddfe22ffb5b4528e055","datavalue":{"value":{"amount":"+0.84935254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q604392$F16046AF-FC76-4DDF-A434-8188E8A44077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8a386429ad2b4f3e81c443c6d8da4c1385eb5f3","datavalue":{"value":{"entity-type":"item","numeric-id":2988670,"id":"Q2988670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c1e31dfe7d9aad74e507399e0c587a0425d81e","datavalue":{"value":{"amount":"+0.84927267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q604392$10586F6B-7953-4AC8-B295-7A4F5CA71343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ff330da66855980d1d48fbe00981574ec91c56","datavalue":{"value":{"entity-type":"item","numeric-id":4036556,"id":"Q4036556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"233c1d1da098aa97ac7b9e5205d52945d8265302","datavalue":{"value":{"amount":"+0.84855795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q604392$E77A4806-D96C-44E6-AFC6-736B582F30F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:604392","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:604392"}}}}}