{"entities":{"Q5178966":{"pageid":7208538,"ns":120,"title":"Item:Q5178966","lastrevid":56892867,"modified":"2026-03-24T12:22:21Z","type":"item","id":"Q5178966","labels":{"en":{"language":"en","value":"Formal SOS-Proofs for the Lambda-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416478"}},"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":"Q5178966$53BACFBC-1E0D-4462-9312-3AECD5D46AD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f64f6387c4f2ba87d67d794a35a42e2a415418a","datavalue":{"value":{"text":"Formal SOS-Proofs for the Lambda-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178966$D2A0C374-EAE6-40DD-AACD-4E07B40049EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb7c9f1a3885e61f4ea993e318f3d79c2cc5e513","datavalue":{"value":"1310.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178966$1510A19B-A3E9-4294-9E9C-EFB6FB13E611","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8be13823e57b532010d417bfefa3b5133f759f9a","datavalue":{"value":{"entity-type":"item","numeric-id":860832,"id":"Q860832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$9A224608-4E09-4B32-AE7D-A93CE95AFCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7154e8ca53ace223b8c5be019b7f4f775aab0292","datavalue":{"value":{"entity-type":"item","numeric-id":294376,"id":"Q294376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$E2C721B9-63A2-443C-AD8C-701272CB322F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$70139521-A867-473A-B3C7-7363EDC10032","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178966$C28A00D0-1510-4937-94B0-C6299CBE4D8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178966$8C60BEB1-E554-4BC4-915E-D320DA6CCB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178966$34163252-ED46-41FB-BED5-8B3D4C8B4365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178966$8DC023C6-BCE4-432D-856A-8440892BA937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178966$C78B019A-81A7-4D84-B868-04D78859AD06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89ec152853d141db0a43a010a88223dc56f09d9b","datavalue":{"value":"6416478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178966$32347227-FB8F-46BA-B59B-96C8C9D076F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178966$E9D98AED-BC66-40DD-8898-F60A345EF412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178966$80B3E57A-BA6A-4499-8554-49CCA437106A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178966$F8715241-54D0-4A1B-8D2B-1E48AB7F443A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adecc22a9431064afad3f30ff1f0511d45170a4c","datavalue":{"value":"Nominal Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178966$DA0C368B-86B5-48FE-A3AA-8C117A3F9A85","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$EE95694E-4BF4-4D79-8E67-2B85329DEA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$82FC5212-474E-4D8E-90B9-1038E3F48F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$A2D3819D-F7F3-4154-8CEC-EDB8AF810B52","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":"Q5178966$4254D30D-915F-4EA3-BBE2-739A58465E67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb08c730fab166815c23ce605a6f181e26e0fac6","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.053","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178966$DA0F187E-0D4B-49D3-A3B7-30DC11C5C1BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6b282fe11b9b069dcc1009ce5014e4537d8736b","datavalue":{"value":"W2018100734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178966$640DB57C-C9F6-4CB2-A3FF-1D3AA116AEA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$23210E56-8A6D-417F-80EB-682E12626D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$3FAD345C-A5A3-4A26-9D3D-B70BC18599AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ddc2d25595b2039aee78c8f5e062ccf7f85d04","datavalue":{"value":{"entity-type":"item","numeric-id":3543650,"id":"Q3543650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$8017AA99-CA1A-4855-A06C-2FB71792975E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01ca5b15c47313f7b671862581171333a66b86d","datavalue":{"value":{"entity-type":"item","numeric-id":5713333,"id":"Q5713333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$3FD21123-F012-413B-8D82-466DE8DFCCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$F417F734-0E0F-4C4A-B48F-2EEF9428AD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$6B57CDFF-68F3-44BA-A17F-636551024E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78f9e51b63c4e692cfd1c2dfcec05b263377e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5477669,"id":"Q5477669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$FD93B1CE-E87D-4C2C-BC95-91101CAD2670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$E0EDA19E-DA9B-461F-AA90-76BF47798C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$43831749-22F8-471A-BF37-B2304AB8B4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1851616a00610aaeabd4291b4d22573878184fd4","datavalue":{"value":{"entity-type":"item","numeric-id":3546313,"id":"Q3546313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$764A6E48-C38E-4759-9631-A7E95BC2CA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$CB916133-61BE-42FB-84F8-387707C16381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$AD34026B-D323-4B00-9861-CEFA6A3B053F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939be0771ea627d569d52a0b8c1f463c5ec167f7","datavalue":{"value":{"entity-type":"item","numeric-id":3613430,"id":"Q3613430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$B3217439-F58A-4A96-80A5-15D9F902EFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1837aae353ce3d28a1359a1a3eef34d561d959a6","datavalue":{"value":{"entity-type":"item","numeric-id":2946633,"id":"Q2946633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$A08A714F-5859-4DB7-86E9-4780ED2498E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f8f6dff394ac274489a2a8165abb84f760b4be","datavalue":{"value":{"entity-type":"item","numeric-id":5394605,"id":"Q5394605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$DCAB9C7B-30D2-4F03-B1C6-C82A59DBB626","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b178ef70caa2f183c44ebbdf3b3179bdec88decb","datavalue":{"value":"10.1016/J.ENTCS.2009.07.053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178966$59F904D3-B7E0-445C-848C-F9796300E2BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad894f0e4fcd4cc03c848bf583b58ab56e3b8f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2753786,"id":"Q2753786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a25a0cf205f84077d354d8f7586a1b9e9aec46","datavalue":{"value":{"amount":"+0.9095111","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":"Q5178966$791AE5CB-8FD4-47A1-A495-1F0D6FD5729E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e457941d3e82eb3cfb92ea5d5846f31931ff0b4a","datavalue":{"value":{"entity-type":"item","numeric-id":733755,"id":"Q733755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d5973e25789154279e5f7febb462d39a01c608","datavalue":{"value":{"amount":"+0.8978152","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":"Q5178966$293D045C-AA5A-478A-AE7F-1B8A4D198025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e81071e64ccc7c1d94893876ab0d13eb357773a","datavalue":{"value":{"entity-type":"item","numeric-id":4650577,"id":"Q4650577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"431fc979f45ff1a36faa7d461e251c7d413c3887","datavalue":{"value":{"amount":"+0.896396","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":"Q5178966$D1C1B021-1E07-4063-9A1A-92FEB4716250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5596095dd99dd684b60d6ccd6f7910efb1630ff4","datavalue":{"value":{"entity-type":"item","numeric-id":3980023,"id":"Q3980023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2038a4fda4a6b4556c3b93c8c056f0ea85a44e98","datavalue":{"value":{"amount":"+0.8937201","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":"Q5178966$7EEEF874-90E7-4C4E-9770-5616DB282164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27da39c224984c42dd01ffb42f69f521aac50eac","datavalue":{"value":{"entity-type":"item","numeric-id":1891931,"id":"Q1891931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd9a08352ec764f369b46ab1dea1793f9e74737","datavalue":{"value":{"amount":"+0.8893725","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":"Q5178966$9856018F-426F-448A-8E42-B380F30103A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d48502666b5a445a0d014ddbd94b0a459ed4fc4","datavalue":{"value":{"entity-type":"item","numeric-id":1208735,"id":"Q1208735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d91a449c3dcb8cb61d25a21adcf2749ab328b25","datavalue":{"value":{"amount":"+0.8865217","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":"Q5178966$FB757DE4-3B83-4BF2-A9F8-EE92A7BE7D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0af841dbaac1c030960b977a72d80d9d1f04996","datavalue":{"value":{"entity-type":"item","numeric-id":2708310,"id":"Q2708310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2862e49fbcd9567046ab8295edae6f119f8d02b","datavalue":{"value":{"amount":"+0.88317543","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":"Q5178966$3EE31DB3-30B1-4FC3-A8AB-0613B163F5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab8523f9fbdd0cb5d75658db58f361aefd862698","datavalue":{"value":{"entity-type":"item","numeric-id":4903716,"id":"Q4903716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f6b890c54896cfffea4de8779cfed2c98f5a2d7","datavalue":{"value":{"amount":"+0.88197947","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":"Q5178966$DB657D14-839B-41F6-ABEA-CE8F7AA2A2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452b25f8262b4dc37f73326ee7da67099a47a43d","datavalue":{"value":{"entity-type":"item","numeric-id":4012884,"id":"Q4012884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9321d2e3d8677acd8e32a2771c007880f5a791d","datavalue":{"value":{"amount":"+0.88151586","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":"Q5178966$9E529909-1EDA-41EE-942F-D466A81FC39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3f3700b0889a5df262e2fb0c29d495d333731b","datavalue":{"value":{"entity-type":"item","numeric-id":5704003,"id":"Q5704003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4411dc72a176e91a664c4358ecb2b8a8b97a58b4","datavalue":{"value":{"amount":"+0.8760875","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":"Q5178966$E86F9EFE-86CB-4270-89B2-D9B05C205645","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178966$8D627455-1A88-4CDE-ACD2-AE02FC89D19B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178966","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178966"}}}}}