{"entities":{"Q286790":{"pageid":288557,"ns":120,"title":"Item:Q286790","lastrevid":52540268,"modified":"2026-01-22T22:16:37Z","type":"item","id":"Q286790","labels":{"en":{"language":"en","value":"The reflective Milawa theorem prover is sound (down to the machine code that runs it)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585237"}},"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":"Q286790$DD4BDD31-B051-4E3F-A478-400D54AB360D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d9c1b7bba267cc5104f7859fc2616ae235cc620","datavalue":{"value":{"text":"The reflective Milawa theorem prover is sound (down to the machine code that runs it)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q286790$72DE749C-1902-4F3E-A9F2-FA8BB3BB6D74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ddbfcd7167b78138851bd97546cd617cac41216","datavalue":{"value":"1356.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286790$D8E2A7A3-D4B2-416D-BADC-ACBD2FB5DBB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccf5d4548c5103107f736d99d04459a5f9188db5","datavalue":{"value":{"entity-type":"item","numeric-id":286788,"id":"Q286788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$3DBA64C1-A962-4AEE-816B-129DF88C8C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c330e55e5dc72ba4e46dcf35457734e0df28701e","datavalue":{"value":{"entity-type":"item","numeric-id":286789,"id":"Q286789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$C1D2973C-C143-494C-A10C-AC52692F0351","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":"Q286790$757BF58C-7567-4F27-9EA0-AB3983C4CA14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q286790$9D3C3737-2508-49D4-A5B7-365AAF919B5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286790$411E2C72-272C-4052-88D2-595988C3545A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8be79de7a0370d70e76df4fa07615fdf32b4126","datavalue":{"value":"6585237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286790$9FA7DD23-D44D-4576-8D00-A6B321C8AD9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q286790$50737237-0F08-4041-84B3-B4ED3F20F48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q286790$AF39FCAF-BFC6-4D2F-A17F-6E39F7739C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q286790$FC8238F4-9055-4121-AD4A-E1FBF1F6E2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4252af46c1f030cb0886d946180e6fbe7e4928fe","datavalue":{"value":"machine code","type":"string"},"datatype":"string"},"type":"statement","id":"Q286790$F2291AFE-68DD-4D8F-B8B3-07E6B531CB26","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$DD1D8EA1-8CF1-4F3E-8E09-EB57B725F33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$FF261B89-3B98-4B0F-9524-471DD72C2E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$B218D410-D849-4465-8767-CB56B359EF08","rank":"normal"},{"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":"Q286790$0A46B8B6-26F6-4DEC-9B4C-A1DC722E3269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"801a319db4682ef4442b12d14dec7cb54b5357be","datavalue":{"value":{"entity-type":"item","numeric-id":44336,"id":"Q44336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$2B944964-6A31-4680-BEB7-94E42E21C5C1","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":"Q286790$EE1103B5-2620-4150-B5E8-AE9113F039AE","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":"Q286790$F08FC66A-9FE3-4D92-AF05-311ACD2E86A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$0A576A35-FAD6-4C56-B219-BDFDF79BBDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$18E0C7B6-9A62-4B00-B361-C0E75FC4D057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$995D0F93-319C-40B9-8F4D-E028623DAFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"233bd03fc74bc4c01e6f828569e5eb13f94bb747","datavalue":{"value":{"entity-type":"item","numeric-id":22242,"id":"Q22242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$5B0E53F0-4186-4A52-B3C1-806EFF5C4E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"44e192ea0614ca90dcab29c306f09db708056c50","datavalue":{"value":{"entity-type":"item","numeric-id":24736,"id":"Q24736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$7A370D0D-364F-4E18-BC9F-4984D275EE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3f7f8548c5af1e2ae512d0bcfba5384da7ef3bf","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$5B46F850-567B-410C-8FC8-466D036A9BA0","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":"Q286790$8043BAFC-6F9E-450B-B1F3-C55192405765","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c369b06e9a67c32aa86c3e04045ed887efe16b2","datavalue":{"value":"https://doi.org/10.1007/s10817-015-9324-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q286790$FE4DEB49-97ED-4588-A625-D5570E5871AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17b0571dd611d80c303fd94fb509d2ac8d44ffaa","datavalue":{"value":"W1904308182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286790$AEAB9822-17A9-47D0-92E5-AB793950C1A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$F3EACFFA-3AA8-4E32-9421-307AF27E0FA0","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":"Q286790$B89988B4-AEB5-4C4D-B961-04F1AF69E6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$8A33223E-47B0-4254-8674-77E3416C4B8F","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":"Q286790$56629A34-C2E6-45D5-BF7B-54C4488E73FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$5F6D085B-E44D-4E73-92F9-25E7F1D1F5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a69741364102658aa60a87b94db8d7506ce725","datavalue":{"value":{"entity-type":"item","numeric-id":3183517,"id":"Q3183517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$C6EC042B-A959-4CC8-BD6F-2D51662F5163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9990a2e16f4d96fb2dc6e7fcff54427a1d73f706","datavalue":{"value":{"entity-type":"item","numeric-id":3088011,"id":"Q3088011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$F70A7EDB-03E0-4486-A8B1-4BF433D8CBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeedc506ee95714a79cfc16f82862182df8774bc","datavalue":{"value":{"entity-type":"item","numeric-id":3613408,"id":"Q3613408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$B4C1F9A2-C272-49C2-9CD2-5DA6BC9F2AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cdf64b2a914be509f334d011c8426b5f7796a0d","datavalue":{"value":{"entity-type":"item","numeric-id":4930578,"id":"Q4930578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$1DF96FC7-B3B2-4A93-94D2-7D92D5DD0DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87be12daaa9049d37eba12568fd639bb8a1c86c9","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$9B01A817-9CE5-4DDF-B6A5-2A12BB217D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c1110fd3be878ef3de03103ae27e7c28e603a5","datavalue":{"value":{"entity-type":"item","numeric-id":5301849,"id":"Q5301849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$706C8008-FB8A-4EC0-8581-4C3AF3C1AE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$98B11FF4-F28F-4D7E-8DF1-69A4D8C10136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024f5f642d34b86085d7b9145b61316e312fd268","datavalue":{"value":{"entity-type":"item","numeric-id":2441712,"id":"Q2441712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$516DED1D-569F-4694-8D53-0DF1AF160E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efeed698c61c9d4088905eab8917123fdb73bb41","datavalue":{"value":{"entity-type":"item","numeric-id":3100212,"id":"Q3100212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$03ABB634-D265-4F1D-B631-A00899D284BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271326b3f6ba4699b8b9534f6c64338c8ddd3a50","datavalue":{"value":{"entity-type":"item","numeric-id":1006729,"id":"Q1006729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$EE9464C3-C2EC-46D5-A384-139242117A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea7fb806cb84b37335d37b3efe1590f8bc64cb5d","datavalue":{"value":{"entity-type":"item","numeric-id":839035,"id":"Q839035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$5C5A97F6-D31F-40EB-BC79-465F7BEE5A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6926d9a2864657c63c8ba6d81f03198b036942","datavalue":{"value":{"entity-type":"item","numeric-id":1595929,"id":"Q1595929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$CB2470C1-F29A-4A60-A7F8-9AB29D9118BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3daecb86a2fd60a41fa58779f36708b18c89a923","datavalue":{"value":{"entity-type":"item","numeric-id":5897076,"id":"Q5897076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$A215D5B7-C101-48E9-93C1-51AA044988E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd7520de1b4bf1bc0bba49f7075996531473a953","datavalue":{"value":{"entity-type":"item","numeric-id":5477654,"id":"Q5477654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$EFABA8F6-3D9C-412F-B998-ECEB94D3F959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fef9697882082e6e930409ef288e750a5aff9e92","datavalue":{"value":{"entity-type":"item","numeric-id":928668,"id":"Q928668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$7F7A8663-6784-4E3E-8564-353AD147D195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5019b1606a46a3d06c91c12c8fdfd5e1609d2542","datavalue":{"value":{"entity-type":"item","numeric-id":1006728,"id":"Q1006728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$66F0B1A9-DDD6-4C32-853C-D674ED38E5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839fe9e80ad88458f41a8a24be5284fc203e2e80","datavalue":{"value":{"entity-type":"item","numeric-id":606999,"id":"Q606999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$D7453561-76E4-42C0-9D6D-042546A652EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2af2092b9c38b5f11bfd9331f5655e22bc0db44","datavalue":{"value":{"entity-type":"item","numeric-id":3283220,"id":"Q3283220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$3FE38EAD-08E0-44A9-8C74-753DAC751DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$6F8E9B0D-7D17-47ED-844D-E40201C3C7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f1a85252a4c0a5bb2b7a3eae3c76b6088496bd","datavalue":{"value":{"entity-type":"item","numeric-id":4296962,"id":"Q4296962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$2B1FF4E8-F020-4EA1-B596-7FAF550DC232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$EFC2487D-854E-4416-89F3-3EED31529D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0f0f4589d824ccb9f8708d788a10c06a165671","datavalue":{"value":{"entity-type":"item","numeric-id":3523183,"id":"Q3523183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$C4810E97-08D8-4DCF-8F54-D9FCC3576428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6d5bd4ec1b04ca09af94140053300276a52e01","datavalue":{"value":{"entity-type":"item","numeric-id":5255066,"id":"Q5255066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$20258FEF-3D31-4579-9656-5AF4EC462287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7396a7d7693b676318207b9fce821ae1fe747e9","datavalue":{"value":{"entity-type":"item","numeric-id":1425160,"id":"Q1425160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$9232F755-A32E-46A7-8B6D-88418CB3DCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999b14224255809098a606c16262602638de58e6","datavalue":{"value":{"entity-type":"item","numeric-id":2879260,"id":"Q2879260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$44C49792-F79D-4D44-B289-73A7CB6FB338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f4c3f6b3cb1159b66311b6728b700a3178bfb48","datavalue":{"value":{"entity-type":"item","numeric-id":5327372,"id":"Q5327372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$10F9CA48-E0C7-4226-8823-69DEF35834FB","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":"Q286790$C9911CC2-7B56-4700-879E-CFAE308DBEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ac496388b0c6d340dd05e0c517f893a440161a","datavalue":{"value":{"entity-type":"item","numeric-id":2723435,"id":"Q2723435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$103F77F8-E0CD-4E56-AC65-CC7DFEDFEF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b883d872eefbd5f8daf82a38b9e66e81e1a15c","datavalue":{"value":{"entity-type":"item","numeric-id":5477663,"id":"Q5477663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286790$C03BD6A2-8A42-4951-AF45-6436E449FBCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec78f9d9b6361e5af7dfa60cf8cda26e1879716a","datavalue":{"value":"10.1007/S10817-015-9324-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286790$4B718CEE-9E5F-4DBC-BED0-891BE524ECCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c40d0982bbec01ccc380b8b1378089d9dcb9795","datavalue":{"value":{"entity-type":"item","numeric-id":2879267,"id":"Q2879267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c46648ee0c20a499cdbf97631e443eb9de4e6a","datavalue":{"value":{"amount":"+0.9734092354774476","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":"Q286790$70F850BD-94E1-4B58-866E-C320C53800FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c708fef69a8eece560799e6bf7db9d9dbee7964","datavalue":{"value":{"entity-type":"item","numeric-id":3088011,"id":"Q3088011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c970bbc34d2980f5090a2859342cbb83a224dc3e","datavalue":{"value":{"amount":"+0.7885884642601013","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":"Q286790$3FE7ACC4-6534-4CD9-BEE8-F678BFB5B159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a9340227e03cb52d0a7ec16f7ac5a22cc95744b","datavalue":{"value":{"entity-type":"item","numeric-id":5327372,"id":"Q5327372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f47d9c9d1b51ce100355986eb456e34f45530bc","datavalue":{"value":{"amount":"+0.7331350445747375","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":"Q286790$67CCBE5B-4BF3-47B7-8225-3F19C2507E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1cab783396284eb004b42756f108087b79277b8","datavalue":{"value":{"entity-type":"item","numeric-id":3613408,"id":"Q3613408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4cdafb725c58ae1f5dd146d4cc00e553f5fb38f","datavalue":{"value":{"amount":"+0.7233468890190125","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":"Q286790$6474449B-DF96-4EA7-B49D-A634E4D01337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33d9d91864fd36c9cf69a0a0271de5d035ba5751","datavalue":{"value":{"entity-type":"item","numeric-id":2879260,"id":"Q2879260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10d3dc486d6978e3d8cac76ff31974fb2afeca28","datavalue":{"value":{"amount":"+0.7168520092964172","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":"Q286790$E91F4944-967A-4F1C-B38B-07E8C4EF717C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:286790","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:286790"}}}}}