{"entities":{"Q5919011":{"pageid":8050209,"ns":120,"title":"Item:Q5919011","lastrevid":53860541,"modified":"2026-01-25T20:25:20Z","type":"item","id":"Q5919011","labels":{"en":{"language":"en","value":"Formalizing Bachmair and Ganzinger's ordered resolution prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7268898"}},"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":"Q5919011$6E414E21-5247-443B-8996-E30C8A700234","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbcf2c8ae39c653dcaf1e1fc1c5c1c84bd7b6dae","datavalue":{"value":{"text":"Formalizing Bachmair and Ganzinger's ordered resolution prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5919011$8730EDD5-4641-4119-A654-CF12B5BEACC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"503e641c86e3b535a176c0b1b6237df18ee58e54","datavalue":{"value":"1468.68307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919011$A9AFE96E-42E3-4D33-AFD3-DB44DF36784F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e62085f18fee17b0db8da8d8ee5d2427f90091","datavalue":{"value":{"entity-type":"item","numeric-id":1663241,"id":"Q1663241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$4EFD2770-CE14-46B7-86D8-3C23CF81B85E","rank":"normal"},{"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":"Q5919011$E80A469F-E283-45BB-9DB0-71B4530362C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"157dc0abe360dacc915db0769a2ed352a42201ad","datavalue":{"value":{"entity-type":"item","numeric-id":1687534,"id":"Q1687534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$A520D7FE-EA9C-4113-99F7-ADD664D8E080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecde3ddf4f96a8da457aeb906b2979614b354694","datavalue":{"value":{"entity-type":"item","numeric-id":293310,"id":"Q293310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$6272A0E2-666B-4159-8597-AA022D7CDD7E","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":"Q5919011$9F640BB0-0F51-41EF-9D41-E1101AC865E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4011c0437b0c50916bbdc1f2b0514a4c041c71e0","datavalue":{"value":{"time":"+2020-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5919011$E2D678D1-4C2F-4C00-9A3F-08A65C7967E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33281806f99e368fb9bda0b3b4779861ee6b8cb5","datavalue":{"value":"https://research.vu.nl/ws/files/121745959/Schlichtkrull2020_Formalizing_Bachmair_and_Ganzingers_Ordered_Resolution_Prover.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5919011$DE86E3AC-CE8D-429E-B350-B016F2CDB1D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919011$B584E8B1-FDB3-4395-86A6-9AF5491E276F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919011$7AE4371E-F1F0-4C75-8EB1-5C6135137914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919011$6348EDF2-12C4-4C46-80ED-9EBFC4E41943","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d8c63023baefca980509d80cd00b53268f5ca60","datavalue":{"value":"7268898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919011$162FEFD0-E4ED-465B-9BA5-86FDA6C71AC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a0cf77ac822c82f34614cd0b3bf097336e98b1","datavalue":{"value":"resolution calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919011$F95EB90A-12E2-431A-ABF7-6035F2DFCCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1735a133d49ec9a3b5c084ee424340f472bf4d74","datavalue":{"value":"automatic theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919011$DB198E3A-0017-4A67-AF09-F52AE1FC179A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919011$69F65E29-4F17-4F5B-BABF-A291D0EFC61F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cec89dfbdece73dcb725470554ab89c08ddf9db2","datavalue":{"value":{"entity-type":"item","numeric-id":53729,"id":"Q53729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$6F864D4F-8A16-4DEC-BB83-D2AAE6D870FE","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":"Q5919011$64788511-9460-4519-9BA1-FD992657A48B","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":"Q5919011$EBE9EA0D-A495-4791-A30A-B200F88B9B06","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":"Q5919011$4F426076-BA9D-43CE-ACB0-07981264AE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ae8e244d27f4e93f1981ec80f87d04dfe89da","datavalue":{"value":{"entity-type":"item","numeric-id":31438,"id":"Q31438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$43C497D0-3E17-44EC-BFA9-36DE91D5F9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4a9f47cfb1039b607df8414b949b308b844e18d","datavalue":{"value":{"entity-type":"item","numeric-id":40285,"id":"Q40285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$9FC28ECB-3FB1-4B05-9838-76FF557E7BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ac3552052ea8c39ef85b13e222b5b4f46238f107","datavalue":{"value":{"entity-type":"item","numeric-id":5972508,"id":"Q5972508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$C7EB8750-B39E-4065-88CB-5186FCA5CE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90c7c18880caa813a6bdace0f373d3dec3147690","datavalue":{"value":{"entity-type":"item","numeric-id":40350,"id":"Q40350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$5AD74117-2B3C-4A17-9093-87165701FDD9","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":"Q5919011$12A02B5B-51D0-4544-AC7D-B5D3F0B57474","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":"Q5919011$95A2AA92-880F-4125-AEEF-81A323C1555F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$C6396866-593E-4C99-B07B-2446C141C760","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":"Q5919011$837D4558-43BE-4064-A6D1-32071F9B1FC2","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":"Q5919011$24370C16-A3C1-4614-8B30-1AB0D7128930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8e7deacad56e3bf59f522de6c1fa96858f2fd494","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$FD5749E2-30B4-43A7-A583-1554BA457269","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":"Q5919011$E3089476-B994-4DCE-9C9C-3B0AC5DC002B","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":"Q5919011$944C8D70-2E13-4DD9-B3F9-BA9E5E8E5C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1cf431acf94a219782873a4ece8089be737690cf","datavalue":{"value":{"entity-type":"item","numeric-id":40349,"id":"Q40349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$B8BA1057-292F-4650-823A-BB0B4AABD27F","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":"Q5919011$64970FE6-64C7-46AB-B38E-69F84819B670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a257d240b480b5ece933d2c2bd233446d01dde3","datavalue":{"value":{"entity-type":"item","numeric-id":40624,"id":"Q40624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$A5D84C8E-2163-4CF8-91F2-90C42977A25D","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":"Q5919011$860E4264-E85E-4EAC-AEF9-C93A1CF5073D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcbf154e77d00912ca46a3e869e29530cdc144f8","datavalue":{"value":"W3036925096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919011$E42508B5-8812-4B09-9335-597BF57BEC08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a09b43ab717e0d119a28b84937155a570091bc3","datavalue":{"value":{"entity-type":"item","numeric-id":3427354,"id":"Q3427354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$DF1ED756-6F9B-4B4C-ACC7-A544A0F53E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$2AF8D32C-709B-4AAD-991B-0519CD4EA7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d2cf835bd77f96d03dced45b87a25996d25db85","datavalue":{"value":{"entity-type":"item","numeric-id":3158528,"id":"Q3158528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$A61924A5-3E5D-4091-8983-2DDCD4A1AAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$B8046C46-0CA3-41F5-91D8-3CBB4431BC3F","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":"Q5919011$8E388895-A907-4BA1-8154-03B0A8B84F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b865cd62cbd78d165825353014794ad3e405d59","datavalue":{"value":{"entity-type":"item","numeric-id":2185457,"id":"Q2185457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$AEDE8F74-9A25-44F1-A2AE-7801CC8E89EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7e9017e9f92808788a0b971125d9368ce41250","datavalue":{"value":{"entity-type":"item","numeric-id":5919500,"id":"Q5919500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$E46CCA42-789F-45AF-928A-A373734DB021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db61eae6405ea4040df4fc3178f4852033f053c3","datavalue":{"value":{"entity-type":"item","numeric-id":1687535,"id":"Q1687535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$DF2DB099-5FD3-48F5-94DE-C685A1380444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c2d672d21d4d5af646f31d9599e67b8b6b153b","datavalue":{"value":{"entity-type":"item","numeric-id":1663234,"id":"Q1663234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$72616B39-DE16-47CA-A560-0D44FCF0D39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7136ee77e846bd1e62c3a741479c634347951f46","datavalue":{"value":{"entity-type":"item","numeric-id":5111307,"id":"Q5111307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$3EB31403-2FC8-4E98-87DC-1FC0CD0A1634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee178f7541c5d2ed1d6ee17e1e99ce6d2d8a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5195271,"id":"Q5195271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$2CA3EBF7-7D7D-4FC9-8E58-403EFDFFA836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac39b9a75827004294f51289a3c3e79253c87a2","datavalue":{"value":{"entity-type":"item","numeric-id":2362498,"id":"Q2362498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$3975657F-3887-49D8-9564-0AE41AEEE19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fb53dc30cdc46111c93a6e7de143f2e9b39160","datavalue":{"value":{"entity-type":"item","numeric-id":4099229,"id":"Q4099229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$F2D2D9F9-381F-46DA-90D1-77DF9A770406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$A8796178-B25A-4CFF-84EE-0958DCE902EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1758c7f4dd95efb315246fbdd7fe9431760dc9a3","datavalue":{"value":{"entity-type":"item","numeric-id":1432887,"id":"Q1432887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$621BB2E6-B1EA-4B89-B234-F02782C7556B","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":"Q5919011$FC004261-F72A-420D-AC07-3E4D4F158797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e261a63254d35d4f5e7bcf96488142a993ed37","datavalue":{"value":{"entity-type":"item","numeric-id":5111315,"id":"Q5111315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$B152B16C-ECB8-4890-8E63-0B9FAB9D9732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"935e96858077565d4f78764b795519c8fe29e5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3613436,"id":"Q3613436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$61DB06DC-BC8D-495E-AF5F-D97D8E94B2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a8fb7c1504b4023b489475633410efba01eda3","datavalue":{"value":{"entity-type":"item","numeric-id":1897557,"id":"Q1897557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$30A15905-3FC5-41EC-92F2-0E8F6370C46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$F1C1A790-3F37-4CC6-98D7-D63BA9FEBB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd99a3fff630fa124f6ec734bbd66ab2c0e7f85","datavalue":{"value":{"entity-type":"item","numeric-id":2891399,"id":"Q2891399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$C4D35427-4469-4080-838B-AF8387441667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$8C2B6146-E6C8-4FB9-9EB3-2EE557FA3268","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":"Q5919011$1687ECF5-E51D-4884-AC12-036434B259FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4ddddb5840ee99760e1c2afc56ab700e598c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5477659,"id":"Q5477659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$5674167C-336D-4EBF-9BB9-B925CCCF2201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c05aa45210aebb87236e38d8954563df144e4d","datavalue":{"value":{"entity-type":"item","numeric-id":2940885,"id":"Q2940885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$F5CAF232-0C86-41E7-AC2B-CE26EB059DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d5d760852b694b74735eed422ff0987947ff940","datavalue":{"value":{"entity-type":"item","numeric-id":2305432,"id":"Q2305432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$A56896CA-49BB-485C-ABD1-06A3AEA95C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38602d2b7fd482d2c85a2b53c450a23a2740fb43","datavalue":{"value":{"entity-type":"item","numeric-id":1663242,"id":"Q1663242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$4C00A9F6-9D15-43BF-9723-3F5BB1DA034E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6247542da97c1bd60e1293202198b0e15650e479","datavalue":{"value":{"entity-type":"item","numeric-id":5916290,"id":"Q5916290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$163D2C16-DE3F-440E-9DF3-CADE187FF5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caff94044d7e9e5c06d98ab72e868da5cf4fc6d1","datavalue":{"value":{"entity-type":"item","numeric-id":1821563,"id":"Q1821563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$BC94DB55-D76A-48A1-811E-DA42A9496094","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":"Q5919011$6A6DB0ED-8195-4915-AB87-2CB4DE788184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3291604ce22a8258f8e59a2281ca904d1657af7","datavalue":{"value":{"entity-type":"item","numeric-id":4672985,"id":"Q4672985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$057B42A6-C866-42BE-A2FB-21FA3EDF8DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$A1F83DDB-402F-4B0A-8EF3-A3448B9C1612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa6750f3149d248c4e232f6fdbdc36d7bc86e39","datavalue":{"value":{"entity-type":"item","numeric-id":2920991,"id":"Q2920991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$BA057859-530E-41C8-9D99-BD8C271333BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40e4405ca2e810f3efb132cadf13beb7627b919","datavalue":{"value":{"entity-type":"item","numeric-id":1864898,"id":"Q1864898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$668CEC31-03ED-4DBA-99F7-E768A4BD06DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61546e6fd6be76472da0ab32feef7093fd5ac18","datavalue":{"value":{"entity-type":"item","numeric-id":5918558,"id":"Q5918558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$A60C75E0-B1DE-4F45-8DE6-D44E873D33DD","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":"Q5919011$0561255B-5E09-407A-A5F2-2E9457FE2E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d763717b639e10adfdb52f6d0aed821444ad5f","datavalue":{"value":{"entity-type":"item","numeric-id":2907353,"id":"Q2907353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$C7E822BB-47F1-4D41-A4F5-0D0F80B159A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a00d494a72da53d5edc71ee57582c397b68b035","datavalue":{"value":{"entity-type":"item","numeric-id":3789100,"id":"Q3789100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$D6988207-48DE-4386-96FD-1D6AEF69644F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c8a00cceb8775f7b63d56fa6e1a8b46f80e32d","datavalue":{"value":{"entity-type":"item","numeric-id":6488580,"id":"Q6488580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919011$C13BEFDB-632C-49EA-8DA2-787EA5E304C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85b030186fa7742b1d60772f610f0b53e42cc750","datavalue":{"value":"10.1007/S10817-020-09561-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919011$0C695D95-78EB-4ED5-ABCD-24317145E6B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b4fd2fa9453eba67d4fadd50397ade3d52a01c","datavalue":{"value":{"entity-type":"item","numeric-id":5916290,"id":"Q5916290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4c262b7ffe5c1e7b23c7cd7df23fcf3e93e8f12","datavalue":{"value":{"amount":"+0.9963600039482116","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":"Q5919011$9C869A71-ABBF-4FBE-8139-F9DFCCD42142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1703b32a2b77d0843308ad39e4abb09b5e4bc888","datavalue":{"value":{"entity-type":"item","numeric-id":2829269,"id":"Q2829269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f93ab472c0a8d687a65ebf21e889c9d00846a61","datavalue":{"value":{"amount":"+0.8552857041358948","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":"Q5919011$86EAE8A1-9419-407F-A99A-8D79728794B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbaec2746b1bccca32932fae8a20b45338558eab","datavalue":{"value":{"entity-type":"item","numeric-id":1663242,"id":"Q1663242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8004007de34f1de758dce34bb96aeebc6e54a451","datavalue":{"value":{"amount":"+0.8352407217025757","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":"Q5919011$22B96E19-10CA-4DDD-945D-8688E5BFD5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a3d434253ed919faa661b14e883ac27b635cfa","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b36f5401cb644a27e622e592da9bd30fd1c1c1","datavalue":{"value":{"amount":"+0.7841257452964783","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":"Q5919011$F36BE690-8AAE-4CF3-9DFB-73FE63DB2095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3653fa7595156c9eb48a6d6cfbdf97df9729312d","datavalue":{"value":{"entity-type":"item","numeric-id":2849493,"id":"Q2849493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"410203c20f34d3ea6b0a691b2d02936c04795163","datavalue":{"value":{"amount":"+0.7836763262748718","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":"Q5919011$AE1EAE5D-2342-4729-9A3E-3652310CC6D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5919011","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5919011"}}}}}