{"entities":{"Q736461":{"pageid":738310,"ns":120,"title":"Item:Q736461","lastrevid":52586402,"modified":"2026-01-23T01:18:24Z","type":"item","id":"Q736461","labels":{"en":{"language":"en","value":"Building program construction and verification tools from algebraic principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6609071"}},"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":"Q736461$7F2BE5FB-4441-472F-B05D-AFB9F7AFEF7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d07c12a7e06b0a1b397e38bf67df5896a475b59","datavalue":{"value":{"text":"Building program construction and verification tools from algebraic principles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q736461$8C8E60BC-F924-4D2F-8E5C-FF38F9F3D6B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4a0d48453a5d4f091b6a60066c3c08b8453d68e","datavalue":{"value":"1342.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736461$5EF2E060-E98F-4F66-8CA1-9B794004BE7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"661058c43babba56430a6ee50eb96105dced91de","datavalue":{"value":{"entity-type":"item","numeric-id":406432,"id":"Q406432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$0D76010A-675C-4B22-98BA-D4713E915BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07e74b055b7dcafad92abeddbcafba2bc598685c","datavalue":{"value":{"entity-type":"item","numeric-id":736460,"id":"Q736460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$5AE56D10-DC69-4365-896D-1B492280EA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$291B9BA3-25D9-494E-B0F0-AED9DADD56FA","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":"Q736461$EDF690CC-8403-483E-A9F1-B53D4B146E0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"232725aa107c4269ab2284724848a38212e521dc","datavalue":{"value":{"time":"+2016-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q736461$EEB47D9A-DFF9-471B-9AAA-9C23AE51CB2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736461$2D6DD1DF-F897-49C2-AAB8-B313FC767C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736461$9A3DC394-F8AC-427E-992F-C61692B1CC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736461$5A2C2190-D958-4E79-A395-2C0F47FA2E77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2dfcde4804570ea8a6714b640e4ab0f51993ce46","datavalue":{"value":"6609071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736461$2E61106F-2722-40C0-83B9-6989AA0A808F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f802f3e8569c8814279d27422c34b41eaa5f1e34","datavalue":{"value":"program construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q736461$EE903D8D-CC24-4C26-AE59-5DE22C6EE6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q736461$E66DBCD0-7217-46CA-97AD-0195075D7BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4dfe8d8e976efe7d3aaab5ea29fcde3472e8976","datavalue":{"value":"semantics of imperative programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q736461$1771ECC6-44CB-4C98-A160-A2A6AA4D49F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9f5c344c1b5fc0accc0e45363ac9485b01af9ee","datavalue":{"value":"algebras of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q736461$BDE1193A-D01A-4F9E-BAD0-862DC2036B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c908e3891683d83ddbcdf71fc30e31eab2e1172f","datavalue":{"value":"formalised mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q736461$9D797FA3-5DD3-40A6-B1B7-AD618392A2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q736461$AFFCFB34-2F16-484D-BB52-881D982F823F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q736461$F8A872DA-6BB2-474B-8EE4-F04A1E77E0D5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$1E6AFA76-9889-4AB3-AACD-84CD22C07240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$0C902F24-292A-4475-BBFE-2C63AAD693C4","rank":"normal"},{"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":"Q736461$19158840-0FA7-4DFE-902E-D07A6CAC0ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d77edb88bffa6e7eabe415e4eafc711e26c687d0","datavalue":{"value":{"entity-type":"item","numeric-id":43945,"id":"Q43945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$4848E879-034D-42C5-B222-9099C266DDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f60be08d608d0f944d8eadd79e0cf7ce19f7318a","datavalue":{"value":{"entity-type":"item","numeric-id":43914,"id":"Q43914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$3E0DF43F-6253-45C1-976F-7B67533ACB92","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":"Q736461$04B74559-4158-46EE-983E-97BCBD7E6B49","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":"Q736461$2B52C084-1069-4E1F-8E38-5EAA7677F7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31f1ce98b178abd797205654762ca461950434bc","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$2B4C37E4-A7C9-4537-BA7B-8D352221D6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9189048b3936abda7e80b02cf829681849623735","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$CF244A98-1291-4D0F-AA65-9D3579DBDC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa29bf2151fbe16d38e398c515ac9a9dd0ab16c","datavalue":{"value":{"entity-type":"item","numeric-id":40507,"id":"Q40507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$638150C8-0EDD-419F-A7AA-B3A3F4518644","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":"Q736461$DD8E03A0-AE42-46F4-B77C-634A61EA5D72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de2314eaf9578dd97a3a94dae6b00f58835081a5","datavalue":{"value":"https://doi.org/10.1007/s00165-015-0343-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q736461$DE5F3F2F-B8C0-4987-8393-31C8FDEC1C4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04f17bbd8477bbd5c764ee6fa551bf7a2f5ec4b3","datavalue":{"value":"W2234482668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736461$028E92F1-D2A7-4169-8DF7-E691D009A41D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dd7302ae5c6ff14c7d7d4f9e7c2537339e8f91","datavalue":{"value":{"entity-type":"item","numeric-id":2392416,"id":"Q2392416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$0C86E928-2225-495E-8094-E4F2366FCE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$D5142C32-C707-4B8A-91E4-DA59748468F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5703d8b9ac3f2ec42c5cea3cb6310bb02f051a","datavalue":{"value":{"entity-type":"item","numeric-id":627202,"id":"Q627202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$6A2A1B3D-33F5-4048-9942-02F46AEF5B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2998162356bcb00ff290fb3ad8035006d4a28d","datavalue":{"value":{"entity-type":"item","numeric-id":5410477,"id":"Q5410477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$0F9F8D20-4F21-4BF1-9AB6-5132E8CCE0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2179d8546d5ce60e354479db662e7bc4b3f5aef8","datavalue":{"value":{"entity-type":"item","numeric-id":706512,"id":"Q706512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$0A8F29D9-4F6E-40F2-99BD-D9D06E52655C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13d4d25d9b41b80813e9e3772d78e6f24c19a44","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$EC2D5CDA-EC99-4E12-97B3-F70993ABA7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c21563ebfe4989a0c68d86523017377bbcfc1cb","datavalue":{"value":{"entity-type":"item","numeric-id":406433,"id":"Q406433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$3DD240B8-0DF2-4903-850C-F50C262FD390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b2e611a60bbb1cbb1ab23d8301e40dbbe2b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":2915136,"id":"Q2915136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$CE59213B-5CEF-4FB7-9D0C-50CA544247F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6449fa32317f64e0e88162e1e76272b77ced27","datavalue":{"value":{"entity-type":"item","numeric-id":1272764,"id":"Q1272764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$3FD6096D-6597-4CAE-A57D-F64ACDC879E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad5dbbae1e8a09daaaad27474e686d1687d9ae4","datavalue":{"value":{"entity-type":"item","numeric-id":5327345,"id":"Q5327345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$D3F1157F-4226-4D78-B2FB-CA2396D781F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a1ce762817aa67ba84d34579fd3b9060a2c653","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$558EC051-39C7-40FC-9209-50353D4B8AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decc60dfbdecb52e4624e62a3849ec2745afa0d5","datavalue":{"value":{"entity-type":"item","numeric-id":5747648,"id":"Q5747648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$F6C6DA37-D769-4F6F-92D9-BED4AED97986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42767904ec698e77bf5ad5a5ca09192ebfa305eb","datavalue":{"value":{"entity-type":"item","numeric-id":2941173,"id":"Q2941173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$376CEA4A-2CC6-476C-9D7F-6A4133F35160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$5115607B-CE37-4C80-B899-76B62FE71C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0d795517e293a55fbffeee6d84c637293c8bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5327339,"id":"Q5327339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$EB47213E-21F2-471B-873E-B9529EB6DB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b14497ac6a047a973edd9c6aee99e8150ceabe1","datavalue":{"value":{"entity-type":"item","numeric-id":3608779,"id":"Q3608779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$DF040A4C-5F16-4A28-BB20-FC04BC23A6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a690a2cf3538761a016ee7f2e7f9e1e7cdbf71aa","datavalue":{"value":{"entity-type":"item","numeric-id":1977126,"id":"Q1977126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$E5DB6998-3AA3-422F-9A51-4F41C7D710F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$7D5BBF63-87FC-4A3B-9D2A-21EF21EEB23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50820dcc1af6c5a368ac6f3fdc4a1d7adb9ffb30","datavalue":{"value":{"entity-type":"item","numeric-id":2767087,"id":"Q2767087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$05D0880C-F390-43E3-9D95-6CAA0B2A85F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$8D8DD7A5-0ECA-4421-8702-467B7B10B70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$958F2029-7E8F-4999-81CF-0DA80FFCCF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62386516d9e4edfd13150a63c443c59cb377920e","datavalue":{"value":{"entity-type":"item","numeric-id":820135,"id":"Q820135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$5F129E91-ACB0-4F6B-81B0-A746CCAA199A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ea0082ae7ac89566b7399bcedf0af22b226ce4","datavalue":{"value":{"entity-type":"item","numeric-id":5899318,"id":"Q5899318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$4B3114DB-5771-4F5D-8815-907635D1E08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135af0129bd5600ceebf0463cd399deed754d959","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$D6F4EDC0-1142-43DF-9B98-63ED9CD922FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa5b39ffa40b318449c3af5a336d8c38885f30","datavalue":{"value":{"entity-type":"item","numeric-id":3546051,"id":"Q3546051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$1CDF627D-4DB6-44C6-AA80-AA810A4C872D","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":"Q736461$B944E2E8-68F5-4D3E-BF95-0BBE7ABAA6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30913205e97beb5c571c720f15fb23e67f5add3f","datavalue":{"value":{"entity-type":"item","numeric-id":5327344,"id":"Q5327344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$462D6ED7-640C-425A-9DF6-FCC06B4F0A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2328a6775c39868a0bb33938a2d9bec71b157a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2914748,"id":"Q2914748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$3160A140-7521-488E-A89F-A22999FE5041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736461$C3BC8515-33F6-466F-AA75-BDF504ADFA00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70b371c6d620a52feb5ba90cbcc79c9f19d56fd8","datavalue":{"value":"10.1007/S00165-015-0343-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736461$5C8E51D6-9B47-4117-841C-3657B64F56E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6e58fb03a2423540659ac96248731fcdd04e32","datavalue":{"value":{"entity-type":"item","numeric-id":2941173,"id":"Q2941173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368f9f24ea0179c34ec8fd771f0bb27bf1ae7f14","datavalue":{"value":{"amount":"+0.8300896883010864","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":"Q736461$29E99B6E-0277-486A-BB2B-380163B6383B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e185cb3788129a86496b6b33cbf65d270bfb21f","datavalue":{"value":{"entity-type":"item","numeric-id":5327344,"id":"Q5327344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"769c1faf498cb7fd0e540c096f14347826d1928e","datavalue":{"value":{"amount":"+0.80268394947052","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":"Q736461$967A04D7-6A7B-488C-B8F1-F13D318AA35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309c1645d9418ad0e47ec780e6b4f4b7e5af74a1","datavalue":{"value":{"entity-type":"item","numeric-id":5327345,"id":"Q5327345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f6edfa32636439f10d2e5fe7eb0d95e5bdef88","datavalue":{"value":{"amount":"+0.8012828826904297","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":"Q736461$21760098-CDF3-4348-B1D8-4F2DEE7E9F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b448852c958cdb0ecc2c93f211b0e5409cc6066e","datavalue":{"value":{"entity-type":"item","numeric-id":5410477,"id":"Q5410477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d763cd376a8a2f447473fcb133592172c20e8b4","datavalue":{"value":{"amount":"+0.7970803380012512","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":"Q736461$E013B361-9FCE-4ACF-BCE7-7E3B7D9431FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2618efea89b8ac42f420f233d84c1b7796adac0c","datavalue":{"value":{"entity-type":"item","numeric-id":2281640,"id":"Q2281640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a4b8a81f53ae08d80ab1eab09168287b01bdc6f","datavalue":{"value":{"amount":"+0.7871001362800598","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":"Q736461$51BE81B3-408F-43EE-9983-EBF3DE937DC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:736461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:736461"}}}}}