{"entities":{"Q1663233":{"pageid":1673974,"ns":120,"title":"Item:Q1663233","lastrevid":43268969,"modified":"2025-07-23T07:49:48Z","type":"item","id":"Q1663233","labels":{"en":{"language":"en","value":"Mechanising a type-safe model of multithreaded Java with a verified compiler"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6921417"}},"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":"Q1663233$342090B8-F288-480C-A768-93DDBFAD8057","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5284a8dcebf156762652e009c22a4d5c14d13c0","datavalue":{"value":{"text":"Mechanising a type-safe model of multithreaded Java with a verified compiler","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1663233$816B61CD-C85D-49A0-8DC6-84B6C8E3C8BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07da15525fee6d3934d9add789070fe2f8194844","datavalue":{"value":"1451.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663233$1E995997-A81B-4E53-A123-4951B7992CB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b18da065d50ce37e447f1f6708524421ab8f031f","datavalue":{"value":{"entity-type":"item","numeric-id":1663232,"id":"Q1663232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$2AE1DAC0-3DA1-43DD-AC29-8897FF21BD14","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":"Q1663233$971598F9-E1E7-4D18-AB04-4B2D17CBB117","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dea8b353f71cbbb3b5cacc724847e34eb1031d7","datavalue":{"value":{"time":"+2018-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1663233$1757E92D-E0BB-40B6-8639-4FDC2D0E94B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663233$701021EF-297B-4E65-B461-D0BB99D11D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663233$A86F34AB-1284-40D9-9637-A57C37EE1A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663233$69A6E4A7-1AE3-4DEA-9775-78B1BF692665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663233$D2BB1302-2682-49D0-BB50-568D990CEEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663233$B903E6B6-03BD-4DD8-9336-036C118D064C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf5a4b3df08f8d4dcf153b470ff252e6abf4994e","datavalue":{"value":"6921417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663233$76977D35-1E2F-488D-8E96-E130B65283AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663233$2CC56188-D932-49D1-A4CA-DEA6906C5F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663233$FC75A7BA-99D0-4BCF-A14B-FE2E40E80BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efce79918eb6695c12a657d79586fd5eccf3b28f","datavalue":{"value":"type safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663233$ADE6F0CC-EE01-461B-AC5C-90B8839E85B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd9c52c59d07d5822d39f1d47e4205b4637b9d3","datavalue":{"value":"compiler verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663233$F49EAC95-0E3B-4E0A-95CA-5B623677F406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663233$80B6F6B8-9079-4A56-BADF-6E1D43F53F25","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"802e5da63ae57c786cefa6f43c12e50a934188c8","datavalue":{"value":"Q123135102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663233$6E033EC8-B7B9-460E-BED4-A0EC4557622D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"533959f24a509b955614f607e46b8aa4cec190ef","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$E7D7690E-842A-4201-9168-C8AA40FBBF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ad21f150c621099eebc7c2e673cd9cf43b81a4e","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$A10D99DD-95ED-449C-8007-C97E8049DE86","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":"Q1663233$67A5EBAD-1089-4B63-A62D-5CA9DBFCF65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa59c17593526f154af9ca65ff557f73aaa41e7c","datavalue":{"value":{"entity-type":"item","numeric-id":40590,"id":"Q40590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$5C9EDE69-97A0-417B-A5AC-229EC8072202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"52d0857d541def2c2892b3554b8972b8a5424b15","datavalue":{"value":{"entity-type":"item","numeric-id":41876,"id":"Q41876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$1F1A49D1-17B9-4C43-BF80-73605EC8ED23","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":"Q1663233$6384167F-29A0-4633-8942-3C5C329CBBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3edcee9066c8af5560373e04318011aa326faffb","datavalue":{"value":{"entity-type":"item","numeric-id":14483,"id":"Q14483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$192EABFF-3CB4-4EAF-BC6D-82A7A0FE1AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"35dea11f7340d96d415fe1f2b140031e290aa926","datavalue":{"value":{"entity-type":"item","numeric-id":21672,"id":"Q21672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$0359363B-2628-4848-B701-F3574EF041D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8c9ff4a9eac2a34ae6381abc2842acda7fc49e9","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$48EF9A13-A746-4C4E-8C2B-9FC5BD48C4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecb36fec89ff827cd73a8ca1a85f36a2e419c34e","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$D6F2D0A2-732D-4463-8DEF-8EF3E1C4FC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0902bb2ede5a2bfd50bf8c0f49f5ce31952757c0","datavalue":{"value":{"entity-type":"item","numeric-id":20240,"id":"Q20240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$63923D1E-0665-4759-B210-5D4ED40377C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6b3dc99177236f98a28268bc9de8552588fda1ec","datavalue":{"value":{"entity-type":"item","numeric-id":30822,"id":"Q30822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$024FCCF2-CCC8-4C08-B93B-642A4780E27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86d9d04762f0ea93e67dde51002faadad043987d","datavalue":{"value":{"entity-type":"item","numeric-id":40252,"id":"Q40252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$4BD64422-49B3-460C-905A-F0C914C66D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"576d547b8badbddab59552f9c4439132c6b4cabf","datavalue":{"value":{"entity-type":"item","numeric-id":40307,"id":"Q40307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$75CB6993-1397-43FC-9EC3-127407E9A864","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":"Q1663233$DAC26FC2-DE84-4C8C-9BA1-380A37A0B9DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00e96d25fd197a4c2eb8da8fcd9d595e891fc90c","datavalue":{"value":"https://doi.org/10.1007/s10817-018-9452-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1663233$C38F6F83-1DD1-4316-81E5-DBAD59AB3DFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ec011497a91876de0285afddb95b3788ba9b93f","datavalue":{"value":"W2790469097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663233$23ECE721-C73E-4DC9-B160-9C61F0CB2F10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd631a861a9695337cddb0b15d0ba386658e13d","datavalue":{"value":{"entity-type":"item","numeric-id":1923086,"id":"Q1923086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$EF5D4C9D-A98E-40C5-9C9C-4F47ABEEFF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$E19B20BC-F3C7-4551-B039-0EAEC0F0FF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4738798d9702e646d9743f53f948745583da971","datavalue":{"value":{"entity-type":"item","numeric-id":2352487,"id":"Q2352487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$5EB64666-9E6F-496A-999D-2C4D7CAD8DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$257FEB65-0879-4FCB-A1E2-563DB295FF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25e14081775351f6e9d8302e29cc683691607c4a","datavalue":{"value":{"entity-type":"item","numeric-id":5395719,"id":"Q5395719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$1957DD14-FFDF-4BB8-9316-A5C4F7B57869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b02b0da49b64177e47031faaa0120c9d5d8da7","datavalue":{"value":{"entity-type":"item","numeric-id":5312939,"id":"Q5312939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$9B2DE2A8-E2CB-45DD-8E86-18C21B8C034E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23623728af77877c2c658b5f16ea2ac66fec79f9","datavalue":{"value":{"entity-type":"item","numeric-id":987974,"id":"Q987974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$9F440FEC-7AF5-43AF-980B-2D341F1909AF","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":"Q1663233$08E7E21F-7A70-4447-B6AD-90850BCC457B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ec3f0c3e0eea7868adc28f67a38c3a8cf93bb37","datavalue":{"value":{"entity-type":"item","numeric-id":4329632,"id":"Q4329632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$7EDDBA54-8767-4E42-885E-4C7132B72144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc948dae68d5d16ee6435dd5d9bc6e69cbc973e","datavalue":{"value":{"entity-type":"item","numeric-id":1874284,"id":"Q1874284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$642C9DB0-194B-43FA-BC57-4463A702B56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3124769de8883955c80078ec5f91c8574cde96","datavalue":{"value":{"entity-type":"item","numeric-id":1881665,"id":"Q1881665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$75C04EAA-FAEB-4ED1-B649-2AB114D4A58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660a67c4650d1a162a5318839b1e107870bb53a8","datavalue":{"value":{"entity-type":"item","numeric-id":1405993,"id":"Q1405993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$83001ED3-BA00-4EE8-B7F4-07B6A21B58CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1e46bde366c9665559a7c22a84b5c9d3a328b4","datavalue":{"value":{"entity-type":"item","numeric-id":5408415,"id":"Q5408415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$D552DCB9-D92F-4270-9E48-C5D1859086C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$FC22A2C6-6643-4E47-8FFB-0E80F9BFBEA4","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":"Q1663233$2A20847B-69AE-4A71-8F3F-CFED97D5DE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$0E7E69D4-5920-49ED-AB6A-B4DA094AD37C","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":"Q1663233$13EAEB82-7A18-4849-A7E0-4AB010C5286A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6d7f1190f279c50b64f59e003fedc9f8646b8bd","datavalue":{"value":{"entity-type":"item","numeric-id":5464646,"id":"Q5464646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$5374CA9F-1D23-47E1-BD82-2B8616FF9716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596e06b5cd3615b9f11450729883462a288fa866","datavalue":{"value":{"entity-type":"item","numeric-id":3558240,"id":"Q3558240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$1E887670-7624-4DC7-8EF0-51CA15AB525E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3465854ebec2bf54cbf9f18bb6fced291b245abc","datavalue":{"value":{"entity-type":"item","numeric-id":2892748,"id":"Q2892748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$A2BB5F94-FE1A-4276-9BD6-BD286BC1AD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2395dd702f138e4eac8055f3110cfa61dc3ca56","datavalue":{"value":{"entity-type":"item","numeric-id":3088008,"id":"Q3088008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$121056DB-7E18-48FA-BEC8-3A924F278531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$B04F84A4-24CA-4B46-AD7D-542E926167BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$5EA8F01C-068F-444F-8010-BC9DC72B2A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4d3b60d147cb23c7c6afc467f003f6d2c00f84","datavalue":{"value":{"entity-type":"item","numeric-id":1640985,"id":"Q1640985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$A6E9019D-5A3B-4CF1-AC55-E863B806963D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d689c6ebe5f4ce66342ea706faf5cd9a7eae98","datavalue":{"value":{"entity-type":"item","numeric-id":2769440,"id":"Q2769440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$FCF5F129-E780-444C-9E2E-A0BF7E9B3870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e11351b325b025afb4cff06a5be0701786c5477","datavalue":{"value":{"entity-type":"item","numeric-id":2752051,"id":"Q2752051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$BF825850-0001-498B-A8A5-83B247A62CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb636a19f07738495cd7c2789db1b47cb8caa811","datavalue":{"value":{"entity-type":"item","numeric-id":4329634,"id":"Q4329634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$7352B210-CA2F-40F0-B2A9-0670D20AE01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab62ae941b4504ce193e952541d3a4c7ac7590cb","datavalue":{"value":{"entity-type":"item","numeric-id":4808824,"id":"Q4808824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$4748A978-0745-4693-B2E1-D1A7E2B97078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd2d1f959d38f53d233ad8132810f541a7108905","datavalue":{"value":{"entity-type":"item","numeric-id":5408532,"id":"Q5408532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$135496AD-4C24-4359-A7D9-4423A47DC7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec976db9fee9bededf233dd7d31c7e9ef2213c8","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$EB5A0309-822B-4501-ABC3-F3C898A9259A","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":"Q1663233$29F13406-4E86-4238-A3D1-77A0D94E1930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211eb911509defcf3cc735956cc564f8ce863a20","datavalue":{"value":{"entity-type":"item","numeric-id":4809043,"id":"Q4809043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$0B000AB0-E36D-439A-AE18-6666767715E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952767446f1251e309dce0a68e7989889c0b0aae","datavalue":{"value":{"entity-type":"item","numeric-id":4428314,"id":"Q4428314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663233$FF929B09-F322-44CE-A0DC-DD718A4AFE84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3edd2484f2867fdef43f39e97143bbddb50ca93e","datavalue":{"value":"10.1007/S10817-018-9452-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663233$260F9F35-9C9A-448B-B362-70A40A2AD8F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb9215e52f3915ac4a21cd6de68357f55b79d3c","datavalue":{"value":{"entity-type":"item","numeric-id":4472236,"id":"Q4472236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c39872adac4c97074fed4eebba547d14f730f7b","datavalue":{"value":{"amount":"+0.91752285","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":"Q1663233$6F7A94F0-2BC8-4FFF-9800-A26DADA10B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34c7cca977a6f65382d66bf40adb510cb63a15ec","datavalue":{"value":{"entity-type":"item","numeric-id":1770359,"id":"Q1770359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e8936361773558578193f08cb691ec1ecd8adb0","datavalue":{"value":{"amount":"+0.8913152","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":"Q1663233$59408601-9983-41CC-9EF4-49AC24CCD920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c36ffdb04228d59cad95c8e70edeefa3fecbfdd","datavalue":{"value":{"entity-type":"item","numeric-id":5447372,"id":"Q5447372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"249ad332b2d60af40617ee7b2b9a587b714cd7cc","datavalue":{"value":{"amount":"+0.8904502","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":"Q1663233$3B90884E-A2C7-4EDD-8E9E-6B33D05C6ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0e8b454bcc3386bd7a95515bf9b41b19deabf1","datavalue":{"value":{"entity-type":"item","numeric-id":3558240,"id":"Q3558240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd0f132650126749058b612573eb769e2a4485cd","datavalue":{"value":{"amount":"+0.8904369","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":"Q1663233$306F71DB-D9BF-4477-9016-8C79E14C65C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae57df94706e64c7dc987a9e4962fc92e4537ef3","datavalue":{"value":{"entity-type":"item","numeric-id":2753763,"id":"Q2753763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b9d5de1e456c645617faa2e8b72a485f5ca8c16","datavalue":{"value":{"amount":"+0.887443","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":"Q1663233$0CAAB319-09E9-44FB-845C-7A7AAD574AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2012ab69fcb2b12b7e639732dac8615eb9b5b26d","datavalue":{"value":{"entity-type":"item","numeric-id":2722012,"id":"Q2722012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3836652592a8a8fc0299ee846b1b4c8ec4f6cc","datavalue":{"value":{"amount":"+0.8856801","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":"Q1663233$DEC17657-E083-40ED-82D7-AB6DD2DCC4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92eae10ce6362351ae7e36a48dc5f4aecd87b257","datavalue":{"value":{"entity-type":"item","numeric-id":5897122,"id":"Q5897122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a790e7936b128d07b8829f68bc1eb150a586716","datavalue":{"value":{"amount":"+0.88263166","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":"Q1663233$E8AC03CA-5147-409F-99CE-C32CE6ED0294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05551d2afc67ce25732910138ae29ba87abe4275","datavalue":{"value":{"entity-type":"item","numeric-id":5457270,"id":"Q5457270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6afad6c77989676ccdc862b67b8d96767430d06c","datavalue":{"value":{"amount":"+0.8726437","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":"Q1663233$027B7819-D247-42C1-A5EE-5CFAD1D76D96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1663233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1663233"}}}}}