{"entities":{"Q2031410":{"pageid":2042152,"ns":120,"title":"Item:Q2031410","lastrevid":55386466,"modified":"2026-02-17T15:16:16Z","type":"item","id":"Q2031410","labels":{"en":{"language":"en","value":"\\(\\mathrm{HO}\\pi\\) in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7356968"}},"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":"Q2031410$2AA28DE2-8689-42D3-9FEF-C43A8CEF0EE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90791eaee63b4b3b56dbd4bde87933ce7e3b8cfe","datavalue":{"value":{"text":"\\(\\mathrm{HO}\\pi\\) in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2031410$A6AA0BBB-0051-4B1A-BF0F-D588B35F5327","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c41bb7f13ef4b616059fb8459bc3aeaa08d9f73e","datavalue":{"value":{"entity-type":"item","numeric-id":2031409,"id":"Q2031409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$453BE822-1BBC-48DB-85B5-352517422A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34d559683f27157f77bd17779cb2a67ae4a95cea","datavalue":{"value":{"entity-type":"item","numeric-id":283738,"id":"Q283738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$21D97995-EE59-4CC5-A2EA-6B2DA01F6247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"804005712457a09ab2c0aa30bf1784b0df9b733c","datavalue":{"value":{"entity-type":"item","numeric-id":627132,"id":"Q627132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$A9F285F2-B5EC-4BBD-AB3D-DB6C6C7CF877","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":"Q2031410$EF612029-FB24-44FC-9ED2-0752D86F7946","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77b5c623a3a71eb9e2cd375aecfe8a36962b32c7","datavalue":{"value":{"time":"+2021-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2031410$4C3A8C45-853B-47EC-BD71-BFB3229CEEEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2031410$ECF29069-1655-461E-AC2E-EA5F813ED303","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dc9bd1b6962351aa160560cb7a2143111dce840","datavalue":{"value":"7356968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2031410$E0AA2842-C564-46BA-8874-5680405D4BD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f3fe7eda82f3af38227a2073c597c233f294989","datavalue":{"value":"higher-order process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2031410$F3F8A456-C306-43BB-BC42-ECA92A28C035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10b3697f30e2b72642f9629c1eed65dfa9c19e2a","datavalue":{"value":"Howe's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2031410$85AA8876-3073-4019-8CDB-56D0F722A6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2031410$8037428B-51D7-490A-B96A-013BAEEDD434","rank":"normal"}],"P1463":[{"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":"Q2031410$255DC321-49BA-4BF7-BA6F-4150658AE0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$F1114C58-ECF9-419F-A0C7-29270F3FE35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$5EE79338-CC5E-40C5-AD24-6E95A7B79B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f80e048a612726894b0077a4320360f80f3c043d","datavalue":{"value":{"entity-type":"item","numeric-id":22080,"id":"Q22080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$28B3FAF1-24E4-4234-B4F0-401011CA2975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$A3AD89F8-7B64-4541-A78B-84D80D9B22D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abe780437fb0b47e5e2dd7d1304326e3b633c72b","datavalue":{"value":{"entity-type":"item","numeric-id":1350259,"id":"Q1350259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$44068F4D-1782-4D45-84FA-4CB2CC593652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$F49C6FC0-B043-4A37-8DB0-1323F2641627","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":"Q2031410$ACFEDE5D-1556-4967-AD8D-BE8D3CA4DF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"be9a1fdbfd35f7a816de32e6d9d9a2a21796c942","datavalue":{"value":{"entity-type":"item","numeric-id":14061,"id":"Q14061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$E66639CE-3A11-4601-9261-8489F2AB0565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$3337C15E-079A-4C60-A7DA-996A222BAE17","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":"Q2031410$864FAEED-ED42-4780-8109-7A4B0CB4E053","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e565a552302bc759d4f35d4a8090086727bc51d0","datavalue":{"value":"https://doi.org/10.1007/s10817-020-09553-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2031410$FE7BFA40-7745-4491-B7E4-E8BEB11F8196","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab9fe2a8cc405d3fa5ec01bf5e27171ec09ab06d","datavalue":{"value":"W3086025821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2031410$79260D27-529E-4450-95C1-54883601789C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c436709544b9e020f8c895cf807de817d2fa7","datavalue":{"value":{"entity-type":"item","numeric-id":4945209,"id":"Q4945209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$025CFB16-29FD-4392-BA70-66357F027E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9864722e1120856743b1e5eb3761fb8bcb430e4","datavalue":{"value":{"entity-type":"item","numeric-id":2879241,"id":"Q2879241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$02833DBC-A7FE-42DB-870A-07CDB6D14886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$7B9F81AE-7376-49B7-AEFB-0B7B08627A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ef8bd5491561954e053fb17a1031115fe3ad2f","datavalue":{"value":{"entity-type":"item","numeric-id":5195258,"id":"Q5195258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$43D81392-24C0-4994-AD64-DE352A103077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1b7ba883393415c2d36d90450052b088071aaa","datavalue":{"value":{"entity-type":"item","numeric-id":3395094,"id":"Q3395094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$D8E07999-2C3C-468F-A922-B553861AC353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a797407b4949355fcd06204fe2bcb7b1218a925","datavalue":{"value":{"entity-type":"item","numeric-id":4256148,"id":"Q4256148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$05B311C5-56E4-455E-8425-B5624682A706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde1d18e0cc121abdf56d21d4adde9cb14eddfd2","datavalue":{"value":{"entity-type":"item","numeric-id":5472313,"id":"Q5472313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$87E31407-7D01-4392-BF87-5837A14AD7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354da199dbe1f7391127c09e8d66b9bd98941d08","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$DBB5E755-9798-4945-88A1-1A8DBBCAB162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa19d45127427927ec930c6ce8f8170b9db93184","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$0B09EEEB-54A8-46BE-A1F9-4279AE1D89DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac7c6d05f114a4ae2738237ef25b8c9ead77ff","datavalue":{"value":{"entity-type":"item","numeric-id":1945914,"id":"Q1945914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$9EB8C123-7AFD-47E5-8CC6-FEE697B02EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c981a17736cdc9c0dcf1c8608a97b33a9a0f161","datavalue":{"value":{"entity-type":"item","numeric-id":897934,"id":"Q897934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$358E2A73-A5D0-4B54-B9F7-09C4562CDB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e99794d57f1517bef46f825f8ad23767e7330f63","datavalue":{"value":{"entity-type":"item","numeric-id":4532085,"id":"Q4532085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$D46C815E-2CBE-4BB6-8EE1-A83E2A5490D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$8073AD09-5C45-4A58-95B5-40154F6BEEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78cf241232b9c9342d648ecb21b85fac04f06ee7","datavalue":{"value":{"entity-type":"item","numeric-id":4536440,"id":"Q4536440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$8B118BD4-8117-49F0-8062-0DEE4B07848E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e723c31e56f2487bba3b93f0d7637a4943535187","datavalue":{"value":{"entity-type":"item","numeric-id":3024831,"id":"Q3024831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$60C009BD-E8DF-49C0-8665-EDD5E2C29725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ad39926d69ce0460ebe804af4fda0bdd5e7220","datavalue":{"value":{"entity-type":"item","numeric-id":4790662,"id":"Q4790662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$ECDF32D8-B1EA-47C4-A476-39B150B66E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd75c7353be06e140b223225de0ecd826d5d1e7","datavalue":{"value":{"entity-type":"item","numeric-id":4222760,"id":"Q4222760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$436D4433-A315-4DF8-BFDF-8D6E312055D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4db8f7fa996304ee694716b3fc5e63d2e83c95b","datavalue":{"value":{"entity-type":"item","numeric-id":4365103,"id":"Q4365103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$0239E091-5F83-479F-9694-3B2DAEFBD0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a2164b722a9b2c7ceb7f76c2a1497fcc84920d","datavalue":{"value":{"entity-type":"item","numeric-id":5758047,"id":"Q5758047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$47102677-E4E9-4C90-9AE3-CE61B7162B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bce890db8f764308dc9d80705e866747b01fc19","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$9EB948F2-556D-42C3-9ED3-4FD90A161D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3a39d793f3df562dc271dde8d3946fa17ac291","datavalue":{"value":{"entity-type":"item","numeric-id":2841274,"id":"Q2841274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$D941D69A-E00A-4635-BD8F-49BCFA62AABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$3FD80696-3CF5-4B84-A911-F7F8E4CEC186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5b239a2f303b2c8313b2ef3a973a6390b54360","datavalue":{"value":{"entity-type":"item","numeric-id":4664925,"id":"Q4664925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$3F16C211-9A14-4ADE-9C3B-4273F690FEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f58501dc6f94e0fc006afda702ae3aeeae01e4c","datavalue":{"value":{"entity-type":"item","numeric-id":5357705,"id":"Q5357705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$E4E841E6-0E7C-489F-8797-9521CCC38E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ec24a306d6c11f2ab6b4b1d3ffd88c7bd3792f","datavalue":{"value":{"entity-type":"item","numeric-id":651309,"id":"Q651309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$ECF00779-B3FB-4B9F-810C-337B5B5A7F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b485181b6485fecf4313a7a59389b80e233a0ad4","datavalue":{"value":{"entity-type":"item","numeric-id":2945640,"id":"Q2945640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$D0DA53C5-69AB-45A9-8F88-06B2CCA8F3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347ff5e243a44fe280b61636b43f4d0e72b66679","datavalue":{"value":{"entity-type":"item","numeric-id":4281480,"id":"Q4281480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$EDC01FB3-2E0A-4134-979E-344A035A9A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$366CFA3B-40A9-4EA1-937A-844F68B8F01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$6B4C7872-5EC7-45DA-B15F-0255AC951B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08761b09ca44565849f2d4fcdca6afd4fda0ef0f","datavalue":{"value":{"entity-type":"item","numeric-id":3024855,"id":"Q3024855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$87EC333A-BA0C-4930-87F0-42A144D0E555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef704b25a56efa5b64e7d48076eb438fae5430f6","datavalue":{"value":{"entity-type":"item","numeric-id":5740353,"id":"Q5740353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$EFB648C8-0E9A-47B4-A605-CAA31FB30926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697d3e9cfef54eec9966ee2333e05b9b3e73a4cd","datavalue":{"value":{"entity-type":"item","numeric-id":4691184,"id":"Q4691184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$C2B23F4E-1EE9-46F9-973A-A3EC39DB95B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90a510f27550100d45a2ef21dd83bca5c9e1966","datavalue":{"value":{"entity-type":"item","numeric-id":5747747,"id":"Q5747747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$DEF196D8-CFB3-40E8-9AAF-CDC6178CE506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$0E2DF98E-F333-4D90-8011-9FCF4C6C113D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c7af661b882a6e6a9eb58cffe53583f5cb919fe","datavalue":{"value":{"entity-type":"item","numeric-id":2841231,"id":"Q2841231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$7F26CBC2-E3A9-40C0-9DDC-981A923E4792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85027313a201258674ff07e8ac17dcd6d794e399","datavalue":{"value":{"entity-type":"item","numeric-id":4457837,"id":"Q4457837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$350FAA24-9318-4ECB-905B-58EFCE545A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5382313fb3f5d333e9729621f69130c9633fcb2","datavalue":{"value":{"entity-type":"item","numeric-id":675066,"id":"Q675066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$0F2FD18C-41FE-4D4E-970A-E9CBC3A43F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$BD70FAD8-40A9-49F0-8B7B-3AF5DE956B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26d230258b918f625e763c45159f0527c390eb3f","datavalue":{"value":{"entity-type":"item","numeric-id":5236557,"id":"Q5236557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$4786E7E0-6C7E-427F-BB37-E9E7EBC9272C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2031410$D22E6EAB-4B8A-448F-8B57-D28889A915AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86d62fe5216bfc018cc674429a5d77360b7a168b","datavalue":{"value":"10.1007/S10817-020-09553-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2031410$94CF8720-C154-4EE2-B0C1-A9A7E4FAAE64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d137986f3dc22bc7b0d815cd3bc6f3b059425f28","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c668e7c7409d0cb6a15b53ae2bf446d022c989f6","datavalue":{"value":{"amount":"+0.8120169043540955","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":"Q2031410$A2EF0F75-9EA4-442E-AF94-1615AC7EDDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877e985b3380fe71465aa52cef28be711fc2e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":4365103,"id":"Q4365103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d33ddeb0fd5a34aa75af73a858d210787d10fbd","datavalue":{"value":{"amount":"+0.7972865700721741","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":"Q2031410$31D0A5AA-09EF-4F2A-9BAD-CB42F63EA7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87389d3b9ab98df74080fd5f4666700cf01a580f","datavalue":{"value":{"entity-type":"item","numeric-id":2945640,"id":"Q2945640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc88928c6fd1e47df6ecde3dcfdfffb7d62515d","datavalue":{"value":{"amount":"+0.7966450452804565","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":"Q2031410$340E0EA2-EB41-420D-959A-A24E180A185B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b99959876c66e570d48291a8898a4c58992bb2","datavalue":{"value":{"entity-type":"item","numeric-id":4536440,"id":"Q4536440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d548936e573c9134b6f0a2224b1de62b2450fc","datavalue":{"value":{"amount":"+0.7904108166694641","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":"Q2031410$D3F127FE-2035-41C8-8657-538EAFCFF7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"069fcb18821dd8754f975c2ec6800d7d423e9bff","datavalue":{"value":{"entity-type":"item","numeric-id":2769442,"id":"Q2769442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea6ffabdac2c446b266dc2a83ca2c667ab9bb88","datavalue":{"value":{"amount":"+0.7744090557098389","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":"Q2031410$414C56A2-B822-4476-A74F-3EDB4D8023AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2031410","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2031410"}}}}}