{"entities":{"Q2655327":{"pageid":2666070,"ns":120,"title":"Item:Q2655327","lastrevid":57976023,"modified":"2026-04-03T07:40:24Z","type":"item","id":"Q2655327","labels":{"en":{"language":"en","value":"A formally verified compiler back-end"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5662158"}},"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":"Q2655327$CBB312BB-E8F7-4ABD-8462-E7D471B46A63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2b59c476f7dc3bb7d4cde9af4dbc95c3099cee7","datavalue":{"value":{"text":"A formally verified compiler back-end","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2655327$200FDC4B-18E1-4FC3-8A15-BC97D31B06A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed943f3403a3b14755cb0bb6504b14d7236aef28","datavalue":{"value":"1185.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655327$B8294D9A-DE32-409A-AA6F-4B0D2C60D4DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4b1e35c1c4bff0a8e8e775e8600e2e952b118ae","datavalue":{"value":{"entity-type":"item","numeric-id":848738,"id":"Q848738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$4AA018B1-B012-4A11-A1F7-04AD46C0CAC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$1E0B2B87-C683-4959-B85A-A09624F58A22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eeda675146eaac960e312504b1b7dd784f800a08","datavalue":{"value":{"time":"+2010-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2655327$D04E8007-A2E3-4EC3-900A-2D262A9232F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4804d3df010aebb72de0439576920a8285212c72","datavalue":{"value":"https://arxiv.org/abs/0902.2137","type":"string"},"datatype":"url"},"type":"statement","id":"Q2655327$C5FCEFC6-A93A-47F3-A354-9AF22516B10F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655327$91AA754C-C3F4-406A-9C70-2BCFD6291532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655327$C41046B5-1FC2-42AA-A0E8-65B79F783B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655327$32CD3D68-41ED-47BF-B7D1-E435956D4C61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab003448e93d472d40565d6a0b1f8487510c0566","datavalue":{"value":"5662158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655327$5FF4B056-4827-4514-992C-9B4723C1EE46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd9c52c59d07d5822d39f1d47e4205b4637b9d3","datavalue":{"value":"compiler verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655327$D6C7DF36-8B64-4B97-8F9C-B4DD22F53D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b8f4be07b1af31d0bd7b2bd81f763ab7fb740d1","datavalue":{"value":"semantic preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655327$E627332A-EA8B-45B5-BFCA-4F515B0B5E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df198e9539af8ee1221a27fc303d184b5cc81a2c","datavalue":{"value":"program proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655327$D27E8397-7F69-4F27-95A9-685BCCE01D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655327$95591F1A-B7B6-4BED-82D8-5C0F7BC717FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d5c35f73c96965022827062825bd931b615cca5","datavalue":{"value":"compiler transformations and optimizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655327$669FB379-BE53-4FDB-B58F-15B1666ECFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c8e7d3eee5cbe8be82cd8b23d1c20b5c14fc79","datavalue":{"value":"the Coq theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655327$2745C1C3-1917-4535-926E-F9373A547B98","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86ef5b0d92ed5cd124bea16e149650596f7682b7","datavalue":{"value":{"entity-type":"item","numeric-id":15211,"id":"Q15211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$A6E475C1-3E12-49FD-8F40-2F629187CDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad03d9c4dbcdaaddb400f75c486b1d8804afb4e0","datavalue":{"value":{"entity-type":"item","numeric-id":38420,"id":"Q38420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$8CBBB118-1070-4EE8-BBA6-72ECD1DEB229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"06784b521f7335b906c8b43dc84006cfbf66f9d2","datavalue":{"value":{"entity-type":"item","numeric-id":40435,"id":"Q40435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$9FA60A98-D298-4B33-95D5-20DB7945F88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"328a4887d5a745918f682c9b5cd832468b1041c7","datavalue":{"value":{"entity-type":"item","numeric-id":21718,"id":"Q21718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$B235FEC5-E7F8-4963-9504-786BF550C1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8400ab86b306a4378eebf43133a98098c8e98ab","datavalue":{"value":{"entity-type":"item","numeric-id":46220,"id":"Q46220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$06657969-2CB0-4713-855C-CDE64795A0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$417417DF-49DA-484D-82B0-CBC22C3D8DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$713F73AD-B2CD-498F-BD0C-A82A897FB94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce63d9106f2c1c934cab3902cda6a895f70e9488","datavalue":{"value":{"entity-type":"item","numeric-id":15060,"id":"Q15060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$225EF803-7894-406C-8ECE-57A18259F22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$F7A8E429-C00B-4245-BB7C-AB4309934C82","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":"Q2655327$1C0F6D2B-026D-4F07-9DA3-429AD94234B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b102368080fb5d04946988690c496c4a2d46796","datavalue":{"value":"W2148662736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655327$9C2F99BD-961A-4963-8BB8-0B3D9F13D1AC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"90fce2a50dca20e26d9e4e87979d40ed195b66a9","datavalue":{"value":"Q123335679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655327$E637C0BE-FF2A-485B-8456-C4953A0173AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fe15d256521bfe7b5698910eb5cd0c1cb7c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4343027,"id":"Q4343027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$9A95E5DD-28C1-4730-B6E5-B82F05AAF493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed5124fab1d64feb8b4feb25646b660a09eb4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3523161,"id":"Q3523161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$6F1B5626-B1D5-405E-8174-B0DE8F934B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b3a3f4b3f44b312014bf38e16d46d1bd8aea8c","datavalue":{"value":{"entity-type":"item","numeric-id":5716568,"id":"Q5716568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$3B3B55DC-5B70-4127-8BF8-C50B4F6C6AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad38e0ef5109c872fd15da36ed5bb76b94d70ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3434629,"id":"Q3434629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$ED95B406-7F3A-46DB-B8AA-CEE46D0646D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afe89874af971b4afe3bfbf81c3a46d174d9beb","datavalue":{"value":{"entity-type":"item","numeric-id":3613391,"id":"Q3613391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$47713170-AEF0-4979-9ABC-6D1B64CB41C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"547c836be3ce124d486806c652c781a695aff350","datavalue":{"value":{"entity-type":"item","numeric-id":5458410,"id":"Q5458410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$EF91E200-C5C9-465E-9C21-B602FA64400E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05417919433e4d5ed4f85fc6474f5b255b9fe668","datavalue":{"value":{"entity-type":"item","numeric-id":2936808,"id":"Q2936808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$8BF30FC8-4B4A-4518-869A-3184A3F67201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$EE2AAB1C-C67F-499C-94DE-38CFB5E9CBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48954ed389c940d6f18707b42187ed03f7c9e725","datavalue":{"value":{"entity-type":"item","numeric-id":5898173,"id":"Q5898173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$A36F9CC7-B796-4393-9155-AE44F636D8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f90f9000203b5cc02cd5a95785f3228e4b1b7c0","datavalue":{"value":{"entity-type":"item","numeric-id":2655325,"id":"Q2655325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$D83DDEBF-2B08-4AF0-B766-7C916F67865F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af41ad322a54fae973e4a41c958cfd4757c02f2d","datavalue":{"value":{"entity-type":"item","numeric-id":2566027,"id":"Q2566027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$772D8FCB-6F48-46B1-A9DB-01767BA57CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86c98eed1b3f988574959154e75e5603900ffeb","datavalue":{"value":{"entity-type":"item","numeric-id":3719796,"id":"Q3719796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$872390F2-BA08-4B78-8932-D706E8BB3377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f3ed76b936297e1c211b1bdcc9d15801cd785b","datavalue":{"value":{"entity-type":"item","numeric-id":5898176,"id":"Q5898176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$0EAADC4D-16A8-459E-BD94-10DCDB0BCC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8d6f01521509adfa14d61b8434e644fd6c99b1","datavalue":{"value":{"entity-type":"item","numeric-id":4474214,"id":"Q4474214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$6D0AC6C0-1743-4CE9-A680-2C4BA2894BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f850bf881ec3b4f39fc18ccf4c1fdc396e05d1f","datavalue":{"value":{"entity-type":"item","numeric-id":5466562,"id":"Q5466562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$A8BB5539-2CC1-414A-9954-53A08EA643A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a5c491e27bbeea4d7b95894d477a28fdcc0015","datavalue":{"value":{"entity-type":"item","numeric-id":5302558,"id":"Q5302558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$E608E48C-4D43-40E5-B083-206C46CFA14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de173836c028013896cd8bf3b02fa6e12262641a","datavalue":{"value":{"entity-type":"item","numeric-id":5458409,"id":"Q5458409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$99027D4A-134A-4AEB-9041-53C2E954489A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4133cc3f6d012e4eb1d1464f6a6670f5d96aa8a","datavalue":{"value":{"entity-type":"item","numeric-id":4376491,"id":"Q4376491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$6CA032E3-29EB-47D6-9291-4A98402C1E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c67c1af8188e320ba0299a6df2df39f5b6e776e","datavalue":{"value":{"entity-type":"item","numeric-id":4068060,"id":"Q4068060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$1D7D2017-BA13-4DEB-93C1-40C9739C0401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcb3fe4e73828994024ff72066856596621c4514","datavalue":{"value":{"entity-type":"item","numeric-id":5178913,"id":"Q5178913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$FF25250F-C0F3-48C3-91E8-AAF8882F7868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c43d3a758c32c9727b6e7c98ee661a7017fcc647","datavalue":{"value":{"entity-type":"item","numeric-id":5276160,"id":"Q5276160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$FCF50635-37EA-42FA-AB5B-2F555234F23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d17992b371850be6b5e2985000a37a1fdccdda0","datavalue":{"value":{"entity-type":"item","numeric-id":1405988,"id":"Q1405988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$DCF76B5D-0B68-4890-AE43-CFD94A4297AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$A35E2A77-3C70-429B-8E4A-873EB5160E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1588eee2e3fe5979cfd18e3e09df49f3b382d9","datavalue":{"value":{"entity-type":"item","numeric-id":945054,"id":"Q945054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$B5B5F748-EEBC-4B34-979B-891593CC5069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca3c893ec274449af409e1d364b4d648dd50b27","datavalue":{"value":{"entity-type":"item","numeric-id":1012129,"id":"Q1012129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$D108AC3B-A810-4420-9B24-61B21D5D4FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb1812a83c3a4aee25d6a67b2527c143aea9ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4435471,"id":"Q4435471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$CD4B39C6-2CC1-46AB-B77F-00EDE412B5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a8d1807727f460772d228e59e0090da8175877","datavalue":{"value":{"entity-type":"item","numeric-id":3507450,"id":"Q3507450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$01580E83-BBE3-476A-9968-FD705182F9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"543694d282fe4fd45336482f4d957abe7b57644d","datavalue":{"value":{"entity-type":"item","numeric-id":5756497,"id":"Q5756497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$E78A27D7-D38F-420C-8F18-D038289D65A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d4bcef8b279cb9ea7fd5f367387553b97c3c26b","datavalue":{"value":{"entity-type":"item","numeric-id":3608760,"id":"Q3608760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$CFE84C1D-21BA-4CD8-A16E-E1A06D39DCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1428c9a5a31636248fc81852945e32ffa3323d8","datavalue":{"value":{"entity-type":"item","numeric-id":5574395,"id":"Q5574395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$CC685895-79FE-4634-A64F-6831874EE11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842f71e6b1ce86df9c77df6a6bc0e68b033a0f97","datavalue":{"value":{"entity-type":"item","numeric-id":5674962,"id":"Q5674962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$DA19563B-E735-4663-AB5A-DE8A3B27A2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82001c7a4bb3a0f283dadd75fd427de8028ca3b4","datavalue":{"value":{"entity-type":"item","numeric-id":2784166,"id":"Q2784166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$68D07599-CA1D-47DA-BDFC-E018C03C3BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df66c3373ee20520c5ed216e62e84be7c2aa7441","datavalue":{"value":{"entity-type":"item","numeric-id":4460723,"id":"Q4460723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$64975447-7690-4944-999C-512C2D9D0A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25282e1f0c1e0eccc5ae4ce78bc688548d8c67f5","datavalue":{"value":{"entity-type":"item","numeric-id":396975,"id":"Q396975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$5E91B24D-EEA4-42BF-8296-A12F2E7866B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e1d7ac7f349d5b86be2d03d5e871137657e28d","datavalue":{"value":{"entity-type":"item","numeric-id":4738390,"id":"Q4738390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$6F39B403-259B-494A-8D99-E0AB790D054E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fe8cac8585e29aabc7a821fa20c965a2d68e7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5178881,"id":"Q5178881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$940DCE91-AB8B-48C3-9F80-BB7FB7E7827B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$BD492E11-0C26-4E2A-B40C-11CB3DE2546F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"780f864483f5665dce072db69309b4785201c352","datavalue":{"value":{"entity-type":"item","numeric-id":928671,"id":"Q928671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$DFDE1DED-4A89-4901-B964-034D3D995970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9bebdc0893594f6211d098d55b6c8d27d04635d","datavalue":{"value":{"entity-type":"item","numeric-id":3452245,"id":"Q3452245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$261144A8-357D-4814-BC13-7FEBE9D0BB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b47c85558b5faaed5c516671e61165169563b","datavalue":{"value":{"entity-type":"item","numeric-id":2742791,"id":"Q2742791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$BD7D2762-674A-4480-B3DE-76FD0B12710C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9822837c9dfb5206af8783e5f5e6ec645b248c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3189822,"id":"Q3189822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655327$4054A619-7489-4087-AD76-E6FFF84E971A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d075a9528d4c180ba36ee9a464454642d2de716a","datavalue":{"value":"10.1007/S10817-009-9155-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655327$FA366FEF-4E32-41AF-B42B-69B426245895","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a3e30771a9e8a838cdf720e9f6bf4fb48fc788","datavalue":{"value":{"entity-type":"item","numeric-id":2729960,"id":"Q2729960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"835dd25f2dee52d8b586048d65f2f6c6741a0af2","datavalue":{"value":{"amount":"+0.93639815","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":"Q2655327$FC9D7D22-0D4A-4C51-A72B-313899DC0F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f29474da1eb824221d8a9a3b9e4e3876194dc88","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b449b94920edf15dade2a8b84bad4e9d6acd2919","datavalue":{"value":{"amount":"+0.9255948","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":"Q2655327$36350259-A0C3-4BFB-8605-2D1209F07841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63995462221b457d05d0bc6ed844400dfe44f812","datavalue":{"value":{"entity-type":"item","numeric-id":2729963,"id":"Q2729963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"763de79fecafc9551210f7a462ecf2183498a8cb","datavalue":{"value":{"amount":"+0.9230407","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":"Q2655327$37ECA39B-8CE5-44F4-8A8C-36C2B34C4809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942ceaa5eda66717426d7a216e16362634e072a3","datavalue":{"value":{"entity-type":"item","numeric-id":5747662,"id":"Q5747662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48a0b86f926b737bd318da685cd28a7a9e10dc4a","datavalue":{"value":{"amount":"+0.89226544","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":"Q2655327$4E431E09-6566-42C6-9F18-1CC039BAEED1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2655327","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2655327"}}}}}