{"entities":{"Q3637280":{"pageid":5667186,"ns":120,"title":"Item:Q3637280","lastrevid":50705243,"modified":"2026-01-14T21:05:23Z","type":"item","id":"Q3637280","labels":{"en":{"language":"en","value":"Formal Proof: Reconciling Correctness and Understanding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576979"}},"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":"Q3637280$BC0E4C13-5A74-4FBA-8317-0B9A64A476B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"becba5cdcc32573804d911060809439aa5399024","datavalue":{"value":{"text":"Formal Proof: Reconciling Correctness and Understanding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637280$D9CB5102-7540-4C7E-9C2C-2ECFC0BA4CD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac6e8c45d1fafe4be62cc8ec2bfee6a7114fb649","datavalue":{"value":"1247.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637280$550E4C59-76D4-477F-B487-2DB80C2C25EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f4e3b5733a259656b92734ea3822eeec881e456","datavalue":{"value":"10.1007/978-3-642-02614-0_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637280$A88936A2-F05F-4835-BE7B-591DBF2CF3E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d0868e1f9240a95a67eed12072c82c9756fb89c","datavalue":{"value":{"entity-type":"item","numeric-id":3637279,"id":"Q3637279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$29C88CE9-BDC9-414C-90E6-5FC2F4FE3B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96e9fd827f0c306dc6fc60932527fbe8faec3e49","datavalue":{"value":{"entity-type":"item","numeric-id":235567,"id":"Q235567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$690476C6-A2CA-47C3-B1AB-F050C55AEB0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$706E66B7-0130-4F01-BB9A-AB205075CF07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e6dc41c09de35f18f848a8f3dd9ef2baecfc096","datavalue":{"value":{"time":"+2009-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637280$B34F841E-E374-4222-B926-E6DCAE2F6A95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637280$59A3398F-5941-4EAC-8F4B-5F2536CF350B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637280$780E590C-760D-44C3-9B08-8AB12A27374E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9746218630cab27646a366d72cbbb842e8685493","datavalue":{"value":"5576979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637280$C9558C96-13E7-49C8-80A2-966951DB73F0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"92a64032a8f68766500497cd04ed99d97614d2d3","datavalue":{"value":"Q57001574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637280$EDE0BFE0-4BA9-40D9-99F8-AEA2C80C30AF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$60E6DFDC-AD05-49F1-BB77-43A78DAE987E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322cfa9d250a6a53032394dc0d9f662b03cdb062","datavalue":{"value":{"entity-type":"item","numeric-id":19193,"id":"Q19193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$270E945E-E43F-4A2A-BD5B-26FA79B566FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aeef25d5839625565921d83cf1c652bf6f2fbf6","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$83147229-2B28-4418-8D58-4BD7F0DDE91F","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":"Q3637280$2AA0B413-B7AF-4D56-8561-0092BE64154B","rank":"normal"},{"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":"Q3637280$D83072AA-A346-4082-AEDB-2CFCEB691206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"96c0b79d4d2396c47fe12bdfae1f80fcba4d7b43","datavalue":{"value":{"entity-type":"item","numeric-id":19459,"id":"Q19459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$50AEBBC0-5144-47D3-9AA4-7F710BBC0769","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":"Q3637280$F3C2331A-7485-459B-8825-4A5E841364FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"842ec3fbb38e6932ff42d8b7c45c8e6d2b5a85b4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02614-0_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637280$977C9AC0-730D-4D10-93A3-552BF8D5790C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4234ea0bb2a1cede161a5b963bc36438430c96f","datavalue":{"value":"W1575371466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637280$A24C5AEB-5947-42AC-A04B-52E5DFCF66C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1196f5e17dff99bc1a9d16ec3c58ef966832597d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$CA19888A-D478-4F70-B26A-A484048A7A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7003dfe531f8d6d5ac84080a9dcfcc49beb56455","datavalue":{"value":{"entity-type":"item","numeric-id":5898516,"id":"Q5898516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$550AF718-17FC-4568-AFBD-75D69F6A79B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71ef0b3391d438bce757d3de351042952e96a476","datavalue":{"value":{"entity-type":"item","numeric-id":958360,"id":"Q958360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$F6C08CC8-850C-47C3-854E-34310CD11EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c13b63d45837868c444aae3c13e6c5ba30662314","datavalue":{"value":{"entity-type":"item","numeric-id":5428269,"id":"Q5428269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$5720CD9E-BCD7-4992-BBE3-314BA6AE50A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5fc90225e86f9f1eb512b902b1615c4db43d381","datavalue":{"value":{"entity-type":"item","numeric-id":841687,"id":"Q841687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$14A87B6A-587C-433F-A6B6-7A34096BF7D0","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":"Q3637280$FD7DDC14-336B-4899-BCB7-1A5484CD14E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee900a14eb345f1ec6416bc370340cd0e2c18c0","datavalue":{"value":{"entity-type":"item","numeric-id":5565097,"id":"Q5565097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$210B5DA9-AC27-4298-BAE1-92A80EA5688D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$FE8982F0-D25F-4703-A8E2-EAAD87C303C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33a76e72aae88eeeb39a9e16d533b6f909d27a31","datavalue":{"value":{"entity-type":"item","numeric-id":4806962,"id":"Q4806962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$2CA3F3CA-93B7-4A53-8AFE-C0EE8C9853D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6953216a0a01f85b17c4a390cd2a2b8c97f78d8d","datavalue":{"value":{"entity-type":"item","numeric-id":3396014,"id":"Q3396014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$668FD8E9-5CE9-4EE3-B6E9-545DA05C2065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a077ba131bbde1b0f26f554994c03a954b6cee46","datavalue":{"value":{"entity-type":"item","numeric-id":3510206,"id":"Q3510206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$AB66B67C-FD41-41F5-AA7E-CFBDF26A1DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60c49c6854b202ef99ab50d3043d9cb1abaa68fb","datavalue":{"value":{"entity-type":"item","numeric-id":5894879,"id":"Q5894879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$4AA4A6C1-3781-4680-90E4-257021EEC648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c21e237b74ff4b73386a7b92fc807e4249e2a62","datavalue":{"value":{"entity-type":"item","numeric-id":3391740,"id":"Q3391740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$4EDD7919-6637-4D88-B816-17E59BAEBE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"293a6e029d7ed8da48b9387dd266b6b6d0aedfe9","datavalue":{"value":{"entity-type":"item","numeric-id":4942040,"id":"Q4942040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$F27F4054-E9D4-4E11-B7AD-9FC0A9B680B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e9cd00bd888e0c2ec3144ef21f154ae7d49a0","datavalue":{"value":{"entity-type":"item","numeric-id":5573370,"id":"Q5573370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$DB158539-1BCC-4F98-878D-2704BFFD789B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9840d437537733033ac55143f6f9d18f14922ac3","datavalue":{"value":{"entity-type":"item","numeric-id":5662078,"id":"Q5662078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$AE01E315-D0C0-46EF-8453-7907B80F9226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$C8E62CE3-6EC9-4146-AD70-F681D26A1D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8f6ddcec8fcd36ef8deb59db6c94aca9d80d53","datavalue":{"value":{"entity-type":"item","numeric-id":4793817,"id":"Q4793817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$0DC846AC-5DB3-4C3F-AFCA-4067DD04CB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9393b42a89db709a1810e63354bd87bc393c7f4c","datavalue":{"value":{"entity-type":"item","numeric-id":4421936,"id":"Q4421936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$F66E59B6-C40B-4EB3-9CF2-7549C792C3FE","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":"Q3637280$697F4FE0-B234-4391-98E5-0BD3B79DA0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906baf24b37bdd520cca8517bf95cb9a9d93ebb6","datavalue":{"value":{"entity-type":"item","numeric-id":5302560,"id":"Q5302560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$5A3C382E-EA21-4B22-913A-EB41E4D4006D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5131805021da2900b6fb17a40a8f2b7cc7a8741e","datavalue":{"value":{"entity-type":"item","numeric-id":1297034,"id":"Q1297034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$36CAC009-941C-4D02-ABD2-3F62CBC06AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54b2a7ac8e86173d0f5e24de909e53d92b5c93a","datavalue":{"value":{"entity-type":"item","numeric-id":5430145,"id":"Q5430145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$32B71B92-2555-4519-819B-C4A8C2062823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a96c8b0d5b6202f8e4b277781822b4d40635552d","datavalue":{"value":{"entity-type":"item","numeric-id":1283199,"id":"Q1283199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$099BF7DB-4414-42F6-94E4-138B07C39EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b30f251a9bd5b05c898db8d902209f9dbbeacf5","datavalue":{"value":{"entity-type":"item","numeric-id":4664927,"id":"Q4664927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$4B6BEA59-A376-4C00-92CE-0C005CD59E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5762716a92ca21a3abf7cd096f35c5ef2b229a","datavalue":{"value":{"entity-type":"item","numeric-id":4428312,"id":"Q4428312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$5C93DCD0-237F-45C8-B363-6E737F6DB64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a1bdebe5330a0bc43b4aecc19c865b4befee5e","datavalue":{"value":{"entity-type":"item","numeric-id":2542987,"id":"Q2542987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$A4BD95CB-0DA6-4227-91A1-4C154A4EBB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0ed0735b2e2c269867f0029417e18cc23fa071e","datavalue":{"value":{"entity-type":"item","numeric-id":2848061,"id":"Q2848061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$12CB5F2B-764F-4F3D-8472-6FA3E659AC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5045e17431ae100adc29ee6860720ac72d87fa","datavalue":{"value":{"entity-type":"item","numeric-id":5302561,"id":"Q5302561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$5CE2A780-29B6-45BA-BB2F-8D68C7D8588A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d3782f6d0f6f518b85254bccbfba3b50e69f86","datavalue":{"value":{"entity-type":"item","numeric-id":5714104,"id":"Q5714104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$FC5D014A-8318-41D8-8B2F-0113E54D0382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46f1de554eb00cea9bed8612d7aefc592501ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4040100,"id":"Q4040100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637280$FAEC4FDA-17BF-49B6-B4FE-D5864CE24DFE","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"0fabe18019581c00c5ea2102f507a0cf6d6fa7d9","datavalue":{"value":"conf/mkm/CaludeM09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637280$4F1A031F-F975-4F84-A946-D6A734EB721D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2617bf707a212d1b8a48113b17ba4ab530c91e11","datavalue":{"value":{"entity-type":"item","numeric-id":4906843,"id":"Q4906843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7fa8a12df55d5c79b24be0d9890708d9df0bb9","datavalue":{"value":{"amount":"+0.768196702003479","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":"Q3637280$1513AEAC-85BC-492A-B249-78FC7E91A523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fee23f5b88cb89559fe4903fd149898b93eacf1","datavalue":{"value":{"entity-type":"item","numeric-id":2945576,"id":"Q2945576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b55f063d8b61c26d71eaa7ce90b7de118a0b4e3","datavalue":{"value":{"amount":"+0.7629995942115784","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":"Q3637280$8A08A5AD-3DD5-4FA9-A161-812EAE6AFCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cab81aa1dc604d25db31ae259e301880c5a07f2d","datavalue":{"value":{"entity-type":"item","numeric-id":5712318,"id":"Q5712318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"415b2a6a8463f2dcb4b677336c9215e02e95c539","datavalue":{"value":{"amount":"+0.7482945322990417","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":"Q3637280$6AB2EF94-ABE7-47D7-A29D-4A77C003197A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa89c6e70be16dca65fe5beeaabf1b30ad08153","datavalue":{"value":{"entity-type":"item","numeric-id":4247309,"id":"Q4247309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"531a1807f3745a63aa1e404c7d9e6793602bb0fa","datavalue":{"value":{"amount":"+0.7442025542259216","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":"Q3637280$EA0FEB1A-D2D9-4A76-AE3D-FEA92779E519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6ba7746db3411117fef3a34be889dfb4c4e69a","datavalue":{"value":{"entity-type":"item","numeric-id":5448310,"id":"Q5448310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"531a1807f3745a63aa1e404c7d9e6793602bb0fa","datavalue":{"value":{"amount":"+0.7442025542259216","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":"Q3637280$D49BAD73-83A6-4DAD-A935-C1C940259951","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637280"}}}}}