{"entities":{"Q2418047":{"pageid":2428790,"ns":120,"title":"Item:Q2418047","lastrevid":57179439,"modified":"2026-03-27T09:35:00Z","type":"item","id":"Q2418047","labels":{"en":{"language":"en","value":"Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7061214"}},"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":"Q2418047$875EA301-48C0-486D-82E7-73B1012C5945","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"141c4c4382511167185bb48a6b53b03e2f7a6901","datavalue":{"value":{"text":"Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2418047$F0CEF695-1513-4D68-A7E6-1EA76D21EBFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7a99da154dcd4b514d58a79a559d07fe6e6280b","datavalue":{"value":"1425.68285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418047$70CB1A5E-0FA4-4C72-AF9A-6EA4B6B607F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"203078983d22de9e3d26d90afa910c7a3f494328","datavalue":{"value":{"entity-type":"item","numeric-id":2281623,"id":"Q2281623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$AB04FD58-0E3B-445D-A7FD-2AFD8856F7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9ee90f8cb14e30a2f979418d0943f6e0ecd4f3b","datavalue":{"value":{"entity-type":"item","numeric-id":510896,"id":"Q510896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$7195B7E2-C777-4472-B9BB-A757715BC841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80461d6d9d7339257b40c85e88b219a6425c5ace","datavalue":{"value":{"entity-type":"item","numeric-id":333321,"id":"Q333321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$617CCC15-A8AD-4638-9907-F0924FF0341C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$78A6076A-6078-43DD-8D5D-FCCBD7B70603","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9294cebbc147bfa1be1bf0fac1781c80c4b77b1f","datavalue":{"value":{"time":"+2019-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2418047$97DFFCCA-FFE2-41F7-9EFC-C858EEBCD76A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418047$50F8FBD7-E96E-41DC-919C-BF75C0B9DE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418047$BAADAB5A-5302-4292-B9E4-4C7458A5A82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418047$7F133BFB-715D-4B7B-A658-FFE51C9F4647","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f945a6f6f87dd745705e83cab9886a937d72a22f","datavalue":{"value":"7061214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418047$90B9C4C9-0727-48BE-9FBD-0D71FB3DA80F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb597d54844259ae218d04da17495eab4750f466","datavalue":{"value":"approximate reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2418047$B46B7EDF-143F-4E23-8842-C046B4904A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ba166a440eb8c8565a150c0cd74b4d029847fa","datavalue":{"value":"local analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2418047$A3076B1D-3DFC-4B74-930A-22B4FBC7E780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2418047$C3C1BA80-0316-48B6-98AC-CBF6CF9D3805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2418047$A0D59056-73D8-48C6-90D9-4837CB08946F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e83f52178ed96da8aa30580e5d93e51d8336ebe","datavalue":{"value":"deadlock freedom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2418047$E6EAC895-081D-4F0C-B2A4-75ACD198D582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2418047$4EA5E0A7-A80C-44C6-8EFC-9E0B7EC121F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"355e91d9373408e05400e36ae1a4bb5d4f21b27f","datavalue":{"value":"approximate verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2418047$AB729B68-58E4-49EB-8C59-2E3177FEC65F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b20bdd44ba5dda1408033b52815544ca46ca60dd","datavalue":{"value":{"entity-type":"item","numeric-id":26067,"id":"Q26067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$0EEC2A89-5C9B-44C5-856F-71FB919158F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4647ce6e40d68a241057ddbe91b89707f4f80f49","datavalue":{"value":{"entity-type":"item","numeric-id":12966,"id":"Q12966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$B7FEF9AA-5587-46B4-A5C4-39A9911ABC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97873e1476593719fe9ae012a9df7469c6caafee","datavalue":{"value":{"entity-type":"item","numeric-id":24316,"id":"Q24316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$A4F74F8E-19C2-4215-BE44-C5B2F6269016","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":"Q2418047$447CBB83-47F3-4374-ACD9-9DAEC19510D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1ec96e67b1549f31cb4e1686af8698cafcfc5b3","datavalue":{"value":"https://doi.org/10.1007/s00165-019-00483-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2418047$092CE13A-5692-4341-AB30-48543BB07F28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fc7a60f59f538eab4930c0f5d1e2421b0593124","datavalue":{"value":"W2945420580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418047$1FD0A0C0-4E48-42C9-9AF3-31A700A80D57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f13b8d2afaa8109e42b30c9885257af62a17ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5711509,"id":"Q5711509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$C69CC336-40C2-4A52-9F02-F23C645ED77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$87DBB844-CD76-4A70-897C-234DDF4D3422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9237de6033a3a4bfb15ea1df98f405c41605e0","datavalue":{"value":{"entity-type":"item","numeric-id":2281624,"id":"Q2281624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$3A9E98C1-0054-4E26-B052-EC9494D2B42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1584a4d76a40a020f3a0a08b87a2581b3bf65b9b","datavalue":{"value":{"entity-type":"item","numeric-id":3303932,"id":"Q3303932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$685F7A71-C8AF-406F-AB0D-470EDEE6ABF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dac1bf98d695a3c79b8b5274950fcabb4b6b8a5","datavalue":{"value":{"entity-type":"item","numeric-id":5045468,"id":"Q5045468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$BA28C5BD-27B8-4F37-B8E6-78217407774A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$87ABCE89-5C7E-4194-BCBC-73F073580C95","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":"Q2418047$5B1C7AA7-81C3-4A4C-AAE4-E4B5D3187160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"196a510fe101ef345d9d72b12b0565d86bb1915c","datavalue":{"value":{"entity-type":"item","numeric-id":2638755,"id":"Q2638755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$F3A91FEC-63D3-4652-AE52-DDFD4ED5D4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58967a2a128ef10bf3214a184a88589bba4aab1","datavalue":{"value":{"entity-type":"item","numeric-id":1346653,"id":"Q1346653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$8D120A13-25CF-43B1-B899-D037E80B8E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"696f369b4c0894259ebfe727f1a9326063f199f5","datavalue":{"value":{"entity-type":"item","numeric-id":2432214,"id":"Q2432214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$E3EDDA3B-0E4B-4113-B52F-8B146B0A215D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f58539d575c8d1875a2d20f5e305eb0c3f50180","datavalue":{"value":{"entity-type":"item","numeric-id":5633643,"id":"Q5633643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$5DAAD950-02E8-45D2-9487-8A472C0CF8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$5E9C4984-D239-4971-A4AB-98954CBA9D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cf1cedd6927db9ac791d4260e61eec660e0495","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$EDEFBED4-D6BA-4E8C-9D87-8F06D30F093B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$0B16C0CF-E7B7-49C4-9711-B4CE5329E087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$3E9A7DA7-6EA9-43AB-882B-6F65BD07DA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5be0979d1209d57d04996cc9833e9589bb1280","datavalue":{"value":{"entity-type":"item","numeric-id":4608669,"id":"Q4608669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$0BDD2A80-063B-4896-8563-69A7E9149AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$32293F9C-F5C6-4C0A-9F90-C7E37B872648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$FCEA8883-3BBC-4BD0-81AC-8C6500025B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051d44a76227677fa3c229268c0fb30b56526023","datavalue":{"value":{"entity-type":"item","numeric-id":2894552,"id":"Q2894552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$6D450DEA-51FA-4EAE-A05B-DB9A80561019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde8fd4c260ebd9c4c907462ba73d0705c217dca","datavalue":{"value":{"entity-type":"item","numeric-id":333322,"id":"Q333322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$29D4CE07-1639-472A-B881-2A92C986CC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f8eec3ccdb0a69093cea6519451367bd1027d4","datavalue":{"value":{"entity-type":"item","numeric-id":5045461,"id":"Q5045461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$7FBAD0EB-B88E-4E66-B698-2150B3A8007D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e61357611ed7d42984bce0bf3732427738b707","datavalue":{"value":{"entity-type":"item","numeric-id":2848369,"id":"Q2848369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$96AFB53D-F14E-4879-86D6-68EB4942C81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811e4fcd3f329e93683e661b9121d930f852aef0","datavalue":{"value":{"entity-type":"item","numeric-id":436423,"id":"Q436423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$7149FF02-45C9-4F5D-A34F-224404DCCB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bb261d04fba6b34bcf6ef093e8e25e1dde3475b","datavalue":{"value":{"entity-type":"item","numeric-id":580970,"id":"Q580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$28AEB773-B89A-4A9D-B3A6-C40175A26AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$33CA1B25-1249-4860-8331-FA64BA0B89EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$7C97AD95-EAE9-410A-BACA-A3349AEB94DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d368581606fa0b78f626e8ba11b24daf9524eab8","datavalue":{"value":{"entity-type":"item","numeric-id":4763060,"id":"Q4763060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$A7EA670B-8A32-421E-B166-A28A383E9233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5207ae5c6298f11f280f6db8b3425866d2939d59","datavalue":{"value":{"entity-type":"item","numeric-id":2093157,"id":"Q2093157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$F9B03419-07D3-4A64-B4BF-AFAF1A9AC186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$1F53FA27-CEB2-4235-BF74-C7A9D4F37DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fdb8e4a2fdf5458b7800cfcdabf92018c2fe43","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2418047$6F7B0CEF-B22B-4B6A-B8C4-149DDF8F2786","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5db99aed59b147952e37750bc2a6672db19c21a6","datavalue":{"value":"Q127871360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418047$F95B089A-145D-47AC-80C2-1C3126BC2F01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf391f56fb6c2d615097a836c0a00bcd5346a95f","datavalue":{"value":"10.1007/S00165-019-00483-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2418047$B8F2E8C0-90CE-4276-8B5F-B6FB55F42640","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f6a24f9e65045fa853b6710fc2d5a4a91e166d","datavalue":{"value":{"entity-type":"item","numeric-id":5175776,"id":"Q5175776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7f36f57dc458301cca6e5a8644a6c4463dc01e9","datavalue":{"value":{"amount":"+0.8977165","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":"Q2418047$BF2A7C6F-0733-4FE8-A63F-9844C1745BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddfcafce1dcfb3fb16e0edfc66d6647482b188ae","datavalue":{"value":{"entity-type":"item","numeric-id":3146300,"id":"Q3146300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04d48f0fa7f8fe06d2d490b488e66184915436ad","datavalue":{"value":{"amount":"+0.8965687","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":"Q2418047$BF862769-9FE6-4CA2-A3DB-369EEFCDD624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c1668a31979a1a0936fd22e00314fa73729bf4","datavalue":{"value":{"entity-type":"item","numeric-id":1854510,"id":"Q1854510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e0e1875bbe5b45fe70bf87148b2f44e39b0903","datavalue":{"value":{"amount":"+0.894751","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":"Q2418047$D3B778B7-8E21-44DD-9084-D45C3CED7DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba87aa1c14f407a649d6c34d4d1f8a88132942f","datavalue":{"value":{"entity-type":"item","numeric-id":6044122,"id":"Q6044122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e0e1875bbe5b45fe70bf87148b2f44e39b0903","datavalue":{"value":{"amount":"+0.894751","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":"Q2418047$5AD201C7-3D6F-443C-A460-A58C89075B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9f9c3da8d063c38ac733038a8365d3f67e6200","datavalue":{"value":{"entity-type":"item","numeric-id":4207567,"id":"Q4207567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b8ba84842aeef4fc7732af6f55adaf0d72ab7d","datavalue":{"value":{"amount":"+0.8929315","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":"Q2418047$C75BFFBD-0020-4541-AEA4-53CE14DC0EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f454718df21b9c18a24befb92e9d33f84708272b","datavalue":{"value":{"entity-type":"item","numeric-id":5285990,"id":"Q5285990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b8ba84842aeef4fc7732af6f55adaf0d72ab7d","datavalue":{"value":{"amount":"+0.8929315","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":"Q2418047$C28BBAA5-C868-43A4-B250-DA29C0110BF3","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":"Q2418047$DF8A173D-FC6E-4FAC-99C6-2EA1D6DA13D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2418047","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2418047"}}}}}