{"entities":{"Q3172879":{"pageid":3183589,"ns":120,"title":"Item:Q3172879","lastrevid":51341876,"modified":"2026-01-17T20:25:29Z","type":"item","id":"Q3172879","labels":{"en":{"language":"en","value":"Automatic proof and disproof in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954758"}},"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":"Q3172879$FC39A588-46B8-4309-B4C7-1AD230C992EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ae558a67d02175184bf4e53edbc30b79d7d3e8a","datavalue":{"value":{"text":"Automatic Proof and Disproof in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172879$2FE7A1A5-3B3F-4EDF-A8D9-555127D612A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"026c2a84cb853023a658871dd4e1963ef9e9aac3","datavalue":{"value":"1348.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172879$A58B0937-6AED-4A38-85FF-7D56CFF79075","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"701b818885376c1fd1ea79f814a26f182c65ad2a","datavalue":{"value":"10.1007/978-3-642-24364-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172879$78688A7E-3E5A-4B88-9A6B-3098B65D41EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c29c686dffd678d9f155b05a4a1aa93e85953c","datavalue":{"value":{"entity-type":"item","numeric-id":287335,"id":"Q287335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$A594CA68-6E48-458D-A80D-FBEBAFD15810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08f6a76b1a5751a176b642aca232b1b00d17f433","datavalue":{"value":{"entity-type":"item","numeric-id":2891446,"id":"Q2891446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$91D34526-253A-4E2B-AF0E-18CD516888A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$CA0EE6AE-1D0C-468E-8272-56019099A1D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$ED68DF6D-DD41-4B22-9320-E93D7231F928","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172879$A09CE667-BAAD-46AC-AA98-3446B064CD52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172879$0EC02251-C9B9-4E5A-8830-4B1759F6B1D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"779bff277a89028503af4359045aa26ddcb656ed","datavalue":{"value":"5954758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172879$DDCF4B1E-9E92-4EBA-BB8D-BD7DD2D66336","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$AEB6E5F0-9047-46D4-BBB9-73DB1EB43DD0","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":"Q3172879$AE1BB231-0C5F-4021-8296-F54342C045BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$71005A09-AEFD-4D55-967E-9B4FD6E161CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$6D3450E0-8C46-4D9F-81ED-C128EE5896C3","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":"Q3172879$03251C91-8D5D-40DD-A09D-E664A1711351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$4196BA70-3F88-46AF-99BB-2C5C69C9A299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$993E3FD4-2DD0-4B5A-BB38-DDF9C191CE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$46784D9E-C8E8-4DD6-B17B-39C76D7E2F54","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":"Q3172879$2E4D2C15-338D-470D-A53D-3F16906C8D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$BF85A0BB-65FD-4A25-A1C6-D53234B4426A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3dc49212bb1ac953b456b7ee6d37c17258b97b9","datavalue":{"value":{"entity-type":"item","numeric-id":18543,"id":"Q18543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$3D6DCE5E-435B-4F0B-A41B-B1DE780D29A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41fc9cdab07636dca04412ef0070f1d13ce58f4d","datavalue":{"value":{"entity-type":"item","numeric-id":19148,"id":"Q19148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$E75A1169-CD7D-42FA-8306-9B97F1E87AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"657c2b69172e91ce880ab1b5eeeaa41535edcd29","datavalue":{"value":{"entity-type":"item","numeric-id":21715,"id":"Q21715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$FE1D92A8-67DD-490A-95A2-830D7324C0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$F45CE024-0FEB-47B5-AF0E-04C5FB621603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcb8668d4342f1ce0eb71100202b248217523f94","datavalue":{"value":{"entity-type":"item","numeric-id":22367,"id":"Q22367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$BCBFAC6C-3311-4494-B67C-D017552C154C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"133e2e5701b3435e4a72bb2a6345ff9894f7c6da","datavalue":{"value":{"entity-type":"item","numeric-id":22369,"id":"Q22369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$A65BF0C1-223E-4792-99B3-EC91339BDC08","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":"Q3172879$F7B579E4-E536-4D20-97EC-75E88796ABBC","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":"Q3172879$BD663B8F-A8DE-47EA-A415-BFF85C301F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$DE70057C-8308-4D70-B2E2-8EBBEE7EF9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$62F5F8F3-AB27-46EA-BB55-0206BA28F80A","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":"Q3172879$A7C71947-77FF-4873-9CF9-5D6EA90BEDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a5699a860dd7dc9c732976be3ba437fb61ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$8C67FC21-5F8C-4753-ACFD-000955F413C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$BFF44314-DE74-4A7D-9434-9B8C414E3529","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":"Q3172879$663CC947-802B-4109-BE71-5E6A6E185342","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c63a7fca34a4181234092db4f443c50a0696e234","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24364-6_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172879$1AB42506-A692-4764-9B19-57F709B94D7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16028d1b6a5f361d468594ea705791b030f94573","datavalue":{"value":"W15103390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172879$D2EFC70F-5F2F-4CD6-8A4B-4293855E98E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fea6dff3d36407dad60fa8e8c9bcc1f06ec22da","datavalue":{"value":{"entity-type":"item","numeric-id":5200019,"id":"Q5200019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$52A60E64-D488-4372-A192-854FD29E68C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be5d82ecbcbf9223e0aa9ae73481bbd0db4c55e","datavalue":{"value":{"entity-type":"item","numeric-id":5747753,"id":"Q5747753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$05833457-051D-4D41-914F-90476F7DC911","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":"Q3172879$3EF34C64-9D86-4073-87BC-2CD7A394101F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c39b9040e3d2807bc13175b6074f0175a0a4a1c","datavalue":{"value":{"entity-type":"item","numeric-id":5747754,"id":"Q5747754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$9E01D0FF-5C19-4AA2-9E84-72AA13305636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494aa31720bff090f87eabeb86ce7380ba058cbf","datavalue":{"value":{"entity-type":"item","numeric-id":5747649,"id":"Q5747649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$8F95DAE1-4C74-4CAC-998D-724A4549B9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d51bd2e622bf01c9e782f2ffa512de0dbf71aa","datavalue":{"value":{"entity-type":"item","numeric-id":2909153,"id":"Q2909153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$828DA951-E7CF-4039-A4B9-97F2BC85431A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7aea7368304c81d99f05a85147c94cac452455e","datavalue":{"value":{"entity-type":"item","numeric-id":3523164,"id":"Q3523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$9BC9BB8A-6F86-43AB-9C02-1DC20580C609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1fe080668c047a45e96256ef3b2962fb036501b","datavalue":{"value":{"entity-type":"item","numeric-id":5200026,"id":"Q5200026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$33DA7443-D042-41AB-B598-F5E8FC509548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57087e4b1a35dca5b37f096617f1d3b6a57f4203","datavalue":{"value":{"entity-type":"item","numeric-id":2936798,"id":"Q2936798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$7883A169-FEC6-4603-B5C0-A8EEC410C655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$E509BAFF-0582-48EC-8D64-EFFC1C77C5EB","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":"Q3172879$3DF3EC91-A13A-4901-AA17-EC3E16D28D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$814B6306-7477-45FD-8D21-83480A6FE6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c50bf30b5dabdf4dda50dde9e43de872f1c8761","datavalue":{"value":{"entity-type":"item","numeric-id":5200032,"id":"Q5200032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$C3178ADE-7BB7-4894-9309-D7DD995E199A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d04d78834622ddb932410a922062b2ef6127b41","datavalue":{"value":{"entity-type":"item","numeric-id":2871873,"id":"Q2871873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$73DDC381-25B1-45E9-8039-A68630066DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f38c339bbd571c9f13a1b3052c0abde7b640b4a","datavalue":{"value":{"entity-type":"item","numeric-id":2471742,"id":"Q2471742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$FA30363E-077D-4FAB-90F9-3551C669BCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741b1c2a1697c669d1b3bbdff87dd79f9f007366","datavalue":{"value":{"entity-type":"item","numeric-id":1006731,"id":"Q1006731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$EA770EFA-8D1F-4426-A5CD-FA709FB7CF73","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":"Q3172879$074A23D5-C973-4E0B-819A-0BCCBA9EFC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0136d3bc330af377385e6266bfd9e4c2d4c7a96c","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$051A5CF6-048D-43C0-9570-7E06D77A9C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2097e358c778dbb154854453f32efc62a8e3614c","datavalue":{"value":{"entity-type":"item","numeric-id":1904402,"id":"Q1904402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$DA55A46A-48D4-4E37-813C-D78DE759C326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ba0d7a787c3ddf27f1ee78a59c4dec37184a75","datavalue":{"value":{"entity-type":"item","numeric-id":4520767,"id":"Q4520767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$C898FDDA-9D0A-4FDF-A1FE-A9A4B6C1BE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716d170b6d9b095492bf0c2b742ee0dbade5bbe0","datavalue":{"value":{"entity-type":"item","numeric-id":3523178,"id":"Q3523178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$F93D3162-1113-4AAF-821D-541530B8AE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb051a6b1eb9b88364c46513701492fc0e99189","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$546974F9-4C78-47D3-91EC-133652ABC501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88a75a39f5ac98bf032aaca1eb03b5cd9c31ac38","datavalue":{"value":{"entity-type":"item","numeric-id":5307061,"id":"Q5307061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$F5F04925-3C33-4419-BE70-452057717DD5","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":"Q3172879$E06DA609-BD57-4B3F-AF6C-921A8950C98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"830cc442175c3fbcc9e8040acd1051edc376d0e2","datavalue":{"value":{"entity-type":"item","numeric-id":2723436,"id":"Q2723436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$8019F737-CD5F-42A4-818F-8A162B4B2E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c1f913468a37326c66c673fc25f31ee299a96b","datavalue":{"value":{"entity-type":"item","numeric-id":3515519,"id":"Q3515519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$E8A405A1-2772-4008-90F9-0B4660D7FF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e2dbd1c024d492b6dfa954b304f9b8207b1591","datavalue":{"value":{"entity-type":"item","numeric-id":5758136,"id":"Q5758136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$CC7AC0E1-FE7D-456C-8981-C0E8BED8D4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$EFADC348-E5DE-4DC3-A0A9-14222C550C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed22a42a8ed35e56391b6c3d008af8d8059adf6a","datavalue":{"value":{"entity-type":"item","numeric-id":5170238,"id":"Q5170238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172879$94FC924C-AA1F-4F4B-A302-CAD084D32E36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c21c4cd5d4993c28f29a090d2fcc426973edfae","datavalue":{"value":{"entity-type":"item","numeric-id":2280211,"id":"Q2280211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dee4db376f5db9e9971f5c28480554c709ef1a7","datavalue":{"value":{"amount":"+0.817863404750824","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":"Q3172879$7F2BB6C0-F9AD-4F69-83A0-C4621ECB4FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e434c6f686246887cde238823958ad79571304c4","datavalue":{"value":{"entity-type":"item","numeric-id":2351158,"id":"Q2351158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a0425e29220492fa85aa06f88a4bc69baf4b6cb","datavalue":{"value":{"amount":"+0.8134949803352356","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":"Q3172879$888D043A-F96F-46B0-99AF-1867544A5E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f94645fe7f1525963701159b1c6851e22f8eef0","datavalue":{"value":{"entity-type":"item","numeric-id":287340,"id":"Q287340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b09d51853f362fb7d3924fdbfd888cc6a28e329","datavalue":{"value":{"amount":"+0.8123874664306641","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":"Q3172879$BBBDBD20-A974-43DB-857A-826818E43CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e42c0696ebfd3fb16c17afdd0eec4ae5147edf7","datavalue":{"value":{"entity-type":"item","numeric-id":5200019,"id":"Q5200019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9469c7c9f9500354886ccb37d4f71b8622aff617","datavalue":{"value":{"amount":"+0.8075160980224609","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":"Q3172879$459B9654-BB18-4564-B2F3-CAE30BB95916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8c676f8538b024eb2a80be0edde23296e2c1db","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"795d5030f91bc5b030e36ff320e1b8e38eb752e0","datavalue":{"value":{"amount":"+0.7964906096458435","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":"Q3172879$1B99A2C8-BC2D-49CA-925F-18B65AAAB935","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172879"}}}}}