{"entities":{"Q5039527":{"pageid":7069104,"ns":120,"title":"Item:Q5039527","lastrevid":56666007,"modified":"2026-03-18T13:55:39Z","type":"item","id":"Q5039527","labels":{"en":{"language":"en","value":"Integrating topological proofs with model checking to instrument iterative design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7600842"}},"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":"Q5039527$E52B430A-18F3-4641-A34C-F28A56638FE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4352a8d450c49fba57058a7b372601b25f8241d","datavalue":{"value":{"text":"Integrating Topological Proofs with Model Checking to Instrument Iterative Design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5039527$A3B90CBE-8252-4DCF-BF87-C7968C3EEF9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05d17d90c243bb79c164677bab496a3d20dea273","datavalue":{"value":"10.1007/978-3-030-45234-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039527$E82F728D-03BF-45FC-BE62-065CDC50B27E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e065b35cd5058b161b7b4e1eeb5773fdf319ee2","datavalue":{"value":{"entity-type":"item","numeric-id":2024358,"id":"Q2024358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$A1EEA4B0-8C66-45D4-98B8-D84B54138CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"993fba41741ef70b815d59c5bd82f19c66a367b9","datavalue":{"value":{"entity-type":"item","numeric-id":2065546,"id":"Q2065546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$F4F0B5E5-E87D-4D58-AFB1-F107E7D0EEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c1b6f71a3245bd469acd98dd468c2d25f029a49","datavalue":{"value":{"entity-type":"item","numeric-id":385499,"id":"Q385499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$7C8245D3-3258-4A35-B65A-C54165DA9D6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc4882ceaa76eafa569df2ac7494f37debc41e25","datavalue":{"value":{"entity-type":"item","numeric-id":2801760,"id":"Q2801760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$F5DCB744-D347-4116-B4F2-5B14BA3EF28D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f63eb77a6cdb61f75205564f776cc43c0ac4bb43","datavalue":{"value":{"time":"+2022-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5039527$40B7E1D0-8BCD-44C6-918F-A0B133CE23CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3332b8d8228a15ed21f72a62944c822ac1c78718","datavalue":{"value":"https://arxiv.org/abs/1811.11123","type":"string"},"datatype":"url"},"type":"statement","id":"Q5039527$EB971F22-2AFE-480A-82D4-D7F5A40A41E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039527$12D57A02-5B28-4E9D-BAAD-FEDA8349117E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53f2379704eedcb121801557c23d0ce8cedef054","datavalue":{"value":"7600842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039527$05D1B62D-4D2F-435F-983D-291E3E505C6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637ba8359128db12c013644b8aec3a5503ad4af6","datavalue":{"value":"topological proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039527$EF004744-4D67-41E3-BB2C-223DB99F92C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8ef06eb3ac733361b187e57c3899b7addc6fa02","datavalue":{"value":"iterative design","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039527$32C89D2B-1264-423B-871C-65DF778ABC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039527$55787F08-DBF8-4F9D-9D6C-9B75CE0DAF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039527$4D9FDB6B-1CB9-4A50-A942-ADC590BB5F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05047965044a20a4c4df5251ad5c0b1c33f20f06","datavalue":{"value":"unsatisfiable core","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039527$7BF8BD25-50C2-444C-9C80-ED21BF949953","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5df36330c16e906d59c70c6bc06da4124d9eacd4","datavalue":{"value":{"entity-type":"item","numeric-id":22544,"id":"Q22544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$8518951A-F7F0-4734-931D-E5882E358246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$CE81D63D-9A48-46DF-BB53-F6905A36A425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4f636583a26240d6177ac1ea0a1a2046a522c7b","datavalue":{"value":{"entity-type":"item","numeric-id":21551,"id":"Q21551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$1EA57F6C-6CE7-4DE8-90B5-A27E19E4EAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$B5F8388A-030A-4E8D-A021-64F1C4BDDDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$67CF6A70-C2A0-4D05-8C5C-BD8E234A0E6B","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":"Q5039527$A73961A5-A832-42B0-9D97-B5A1537F7BEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30c69c717b549aeb635646447b4d0f83c1670f1d","datavalue":{"value":"W3020741357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039527$B3ED300F-9C80-475E-BB9D-4B50AF22B77D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c84bacb2156f6dee41dbae90f188191d14ff028","datavalue":{"value":{"entity-type":"item","numeric-id":2894271,"id":"Q2894271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$75101464-A392-4058-958A-472977ECA5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$EA491E57-81BB-43DD-9EEE-6F8D21037C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"851183068ff086bf3e19c0da3edca7655485f38d","datavalue":{"value":{"entity-type":"item","numeric-id":5194652,"id":"Q5194652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$D6C2E312-8E13-4948-A4D1-4F395AB68464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb46b665c4d01cdd72f034cac6c7dac8481fe1b","datavalue":{"value":{"entity-type":"item","numeric-id":4818796,"id":"Q4818796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$56CA6DA6-F1EF-4EF7-84FC-54FB85FDA4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cf57a3273310e951bb2d109df68c35d5a2d77b","datavalue":{"value":{"entity-type":"item","numeric-id":4536601,"id":"Q4536601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$5C07E99C-05BE-498F-9BE0-174C09408630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06f6d90e3236a929532aa1862e383e0fb9e24ea6","datavalue":{"value":{"entity-type":"item","numeric-id":5466469,"id":"Q5466469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$E5E7A951-DC0C-443A-BFAD-664E4384F0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5a4ef9c2d07db759cae7360b9f45883aa9ce65","datavalue":{"value":{"entity-type":"item","numeric-id":862857,"id":"Q862857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$85659505-DB10-457A-B513-9A540386C6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$3CC29D15-4649-44C8-B119-DE006EE11910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d22e5be1cd0086b4ca5f0b22a7cc8d2ad226c0","datavalue":{"value":{"entity-type":"item","numeric-id":5756585,"id":"Q5756585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$6DE31898-1201-47A5-860E-E227021A57E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b022fe950928f92806f5b429d4f5a3164495555","datavalue":{"value":{"entity-type":"item","numeric-id":4791848,"id":"Q4791848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$C3F6C820-4D2D-49A3-8FD5-003530C74031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c87d244bb47b7033a2215bba62f2b5aef99a339c","datavalue":{"value":{"entity-type":"item","numeric-id":4414390,"id":"Q4414390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$63AB90AA-841C-4122-9883-20A450053833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd9f66bdd374799001a5d11537af1ccb23124a6","datavalue":{"value":{"entity-type":"item","numeric-id":3600466,"id":"Q3600466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$1AEBDA43-DDEA-4A68-BFF6-0A17AC8720EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5254fb6cb68e95e9b114ff1452e0ee53f207bf78","datavalue":{"value":{"entity-type":"item","numeric-id":2058379,"id":"Q2058379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$AAD2F7FB-60E2-46DE-A698-23A38459365D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36da588071d067059823d7e571d291ad38c486d","datavalue":{"value":{"entity-type":"item","numeric-id":5900571,"id":"Q5900571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$B84AA60F-9B26-4044-935A-8A91399F4F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dffd59d692ed5d1657a973da291e337f11dbc99","datavalue":{"value":{"entity-type":"item","numeric-id":4417920,"id":"Q4417920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$4E72CD50-74A8-4D05-9D9B-A5CE4DE82279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66c6da71e8a94cd04a28d10050c62390af74a66c","datavalue":{"value":{"entity-type":"item","numeric-id":5305649,"id":"Q5305649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$6E5BBC80-CF27-4E74-9260-B59DFD496F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f36c54329eece6c81e4341e8f4350487d789a74","datavalue":{"value":{"entity-type":"item","numeric-id":4472251,"id":"Q4472251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$30309337-9C6B-47F3-BEAC-C0D5DB7C2A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$C9A269BD-7275-49F5-A6D2-B060C3922175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286c93413832179aec95e747781915100a4e0c4e","datavalue":{"value":{"entity-type":"item","numeric-id":2575735,"id":"Q2575735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$608C76DA-CF3B-4B85-8E2B-81F22AAB1ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c625dcf0809403f5b84f6d7cdfc8c33766e0658","datavalue":{"value":{"entity-type":"item","numeric-id":2471741,"id":"Q2471741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$0AF21181-8F49-4F24-82BE-B87E1E380752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57abe1db916cc1c5dccf8f25f667400c388da842","datavalue":{"value":{"entity-type":"item","numeric-id":2024360,"id":"Q2024360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$4DFA3F56-17A6-464F-B5DF-C2EA7328FA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca04b3b2b08d4620f8d874911488dd17f649d17","datavalue":{"value":{"entity-type":"item","numeric-id":2324188,"id":"Q2324188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$4C026EE6-A985-4A77-90C8-76CCF698F718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4171c6c3b93c31e07f0c38ba51aa151b189090","datavalue":{"value":{"entity-type":"item","numeric-id":2335947,"id":"Q2335947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$5946EE9C-ADB3-4174-A1B2-CB8445002726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b24a24f2f1b127423de94d0e3649cd420daa0ee","datavalue":{"value":{"entity-type":"item","numeric-id":2281650,"id":"Q2281650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$C9AFB6CF-74BE-4891-82D6-845B071D5821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7f5135c5ce9e5fab4f02c906a9b2b56f6abaf1","datavalue":{"value":{"entity-type":"item","numeric-id":4553254,"id":"Q4553254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$1237BDE1-B014-484E-B9EB-F2DF94D6AF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d5db2ff3a98847229e37022afd68316e61b698","datavalue":{"value":{"entity-type":"item","numeric-id":4474227,"id":"Q4474227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$A2DB2656-91CC-402B-811A-BE1625AF3728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a85ece4eef828c29e8a93a2528c83f7a199628","datavalue":{"value":{"entity-type":"item","numeric-id":4531749,"id":"Q4531749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$E85270BE-4525-434E-AD9C-C06AA94442EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c16348d2365fe5ff2367aad1fcee0c6c204b10","datavalue":{"value":{"entity-type":"item","numeric-id":507378,"id":"Q507378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$DD75AE33-3ED9-4F1D-9EBA-29694FB9F5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481547f60ed568130e5c759ceeacc52cf0d1c02c","datavalue":{"value":{"entity-type":"item","numeric-id":5900684,"id":"Q5900684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$4578A29A-17FF-4D28-87D6-6C8F8618B62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b19be55adb23a119d2fd1429e8dd41b15c571f","datavalue":{"value":{"entity-type":"item","numeric-id":4804916,"id":"Q4804916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$F92B8D79-EFB6-45F8-9A4F-6668E9938204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"773a84ca7be1e8644d055e95758e1919a3ccd9a3","datavalue":{"value":{"entity-type":"item","numeric-id":5056073,"id":"Q5056073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$0F94CF36-2816-4422-9510-6495939452A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a018764f0b9350fc40ac73cf6c173817a8d205","datavalue":{"value":{"entity-type":"item","numeric-id":5902012,"id":"Q5902012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$39F86935-801F-4F01-8296-66C75B79578C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3a94b85d27296263c4f8b627bd0e0f30eb84dd1","datavalue":{"value":{"entity-type":"item","numeric-id":2065548,"id":"Q2065548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f067ca29be71213d1313e43dff730d6560ee5be","datavalue":{"value":{"amount":"+0.8186362385749817","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":"Q5039527$F05FC092-000E-47B0-B860-6B89AA0ECE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d69b7e9dfd277e6b654ff7071d7375079737ba","datavalue":{"value":{"entity-type":"item","numeric-id":4531749,"id":"Q4531749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48882ba2bf78dde956cd1ee48f72c3f14d93d963","datavalue":{"value":{"amount":"+0.6866418719291687","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":"Q5039527$59E0A34A-E358-4F3C-8BF8-C5F675488CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efdcb1fc73c7450cb655bae3fd71f870414c09a0","datavalue":{"value":{"entity-type":"item","numeric-id":4934536,"id":"Q4934536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c533a863ca885fa89bf19899dfddc3fe887f7033","datavalue":{"value":{"amount":"+0.6812050342559814","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":"Q5039527$2EF55D83-8D70-4C0A-A72C-B2556307D85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0548999ea3819cfce247dbfee40327015b772f00","datavalue":{"value":{"entity-type":"item","numeric-id":4474227,"id":"Q4474227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf38849837814c0cdfac53cfb6c98e52336e6773","datavalue":{"value":{"amount":"+0.6769116520881653","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":"Q5039527$9CC0AB89-09EB-4923-AC8F-D0B1A36E13FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84081cb33ff811a9c276dbad38f192e96febc17a","datavalue":{"value":{"entity-type":"item","numeric-id":2848430,"id":"Q2848430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b1f913762dd6ce21ee72b172d4e283619bcef5","datavalue":{"value":{"amount":"+0.6653681993484497","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":"Q5039527$B49D8EFD-AC91-426C-9FD8-3190A40A7693","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039527$EF247E9A-FF32-40CE-AEEA-4334A5756221","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5039527","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5039527"}}}}}