{"entities":{"Q1663246":{"pageid":1673987,"ns":120,"title":"Item:Q1663246","lastrevid":53176862,"modified":"2026-01-24T09:45:16Z","type":"item","id":"Q1663246","labels":{"en":{"language":"en","value":"Regular language representations in the constructive type theory of Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6921423"}},"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":"Q1663246$EE20526F-2323-4D0B-B013-F2E1EE3C61BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50c3b16a30afc7d649aeabf2ec2df2d071081bd9","datavalue":{"value":{"text":"Regular language representations in the constructive type theory of Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1663246$40E1153F-6130-4CE5-89B3-97E049ABA680","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb228baa9a1a1bbc8df113ef82bbb64c9e4f0aa6","datavalue":{"value":"1451.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663246$EDD25B71-F939-4B45-9BF6-682C4AF04676","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"861b952ab0155c1e552595c0e2d4d9f7c90a7747","datavalue":{"value":{"entity-type":"item","numeric-id":287373,"id":"Q287373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$A57B6CC9-4DD7-46FB-9A79-B44CC9D8CF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$44CA7F80-A1C3-4732-8AB8-A9DEC16B5BD1","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":"Q1663246$575C8664-1E9F-4433-9B79-6B9F5EA03762","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dea8b353f71cbbb3b5cacc724847e34eb1031d7","datavalue":{"value":{"time":"+2018-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1663246$657A89C2-A88F-406D-B811-5A61511A339D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663246$45117469-17C1-48E2-81BE-80506DF2C265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663246$EC17BA50-D2EB-425A-BFB6-BBAF72A6EF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663246$16A20CD5-3413-4823-A22D-4D6928D56A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663246$929FE9B7-253A-40D1-AC8E-4C332E1F7CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663246$85D5B110-4776-4B61-AF60-45BFE541E6A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04c421f1b9fc26ee2859e0c77991ac068324c022","datavalue":{"value":"6921423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663246$457CE5B4-4A2B-42AD-9DE9-49D98C9F5FC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663246$A69EC943-FF27-4CD8-9587-CE6067EDB4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30b76c413e003a911fe85e63ea43fc46735e7524","datavalue":{"value":"two-way automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663246$A614A359-7475-46DF-9669-5E0061159C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ace292ae55bbbf18c8de88bb954232e36d923e26","datavalue":{"value":"WS1S","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663246$71C61236-C9C9-42D5-BE68-09E453C47626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663246$C7648000-33CE-4289-BA78-BAE1750AEE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663246$340ABF2D-F877-484D-81D3-6A5A8C4F46C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663246$C4ACA1F6-C179-424C-923D-3CD21C701941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc8ab3d14e29d837605a9096594ed45030120a23","datavalue":{"value":"SSReflect","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663246$DDAA6433-D394-47B0-9EBE-6DC36CC60BEC","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":"Q1663246$60696E85-6B96-4263-93BA-5AA2E5B9CC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70d6c87de7f06f38dd8313c768ce279ff8c87d13","datavalue":{"value":{"entity-type":"item","numeric-id":43941,"id":"Q43941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$CF599A7A-0B84-4219-BDE1-7114A27773FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$ECBBE084-FC3D-458A-B5D1-E57A94D172FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd1392891407fd9f11bfc5ced5f71a7f7a0fb2a6","datavalue":{"value":{"entity-type":"item","numeric-id":40261,"id":"Q40261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$9BF3D7A3-C587-4587-A3A9-C75FCF60FC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"98fa4eae74c00b37595e0b95ae97e84b58f1b880","datavalue":{"value":{"entity-type":"item","numeric-id":40317,"id":"Q40317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$2A9C443C-F9EA-42B6-AEB2-587474130469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa29bf2151fbe16d38e398c515ac9a9dd0ab16c","datavalue":{"value":{"entity-type":"item","numeric-id":40507,"id":"Q40507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$7AE4E0A1-9A5D-4039-8FA2-CE09651D8587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14b12f9eed27b20b4d0c60a11537d0587a1c9d03","datavalue":{"value":{"entity-type":"item","numeric-id":40964,"id":"Q40964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$7F60614D-BF5C-4DAE-8C1A-C1F6E5EDF1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7c500c34aae7ad0764902a8c33926ea860d29006","datavalue":{"value":{"entity-type":"item","numeric-id":40963,"id":"Q40963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$78A5DD4B-501F-400C-9FA5-42B17842E678","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":"Q1663246$CD52F3E4-D004-46E4-B02B-996D91FEA8C2","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":"Q1663246$1E02CD3A-8CC5-4131-990F-6997DDB5ECF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02af9b33a2ce7b63d2226981e0a2342cdc8352f6","datavalue":{"value":"https://doi.org/10.1007/s10817-018-9460-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1663246$D851AC24-7BB5-414E-8E03-9E47308D5D35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"001f0547afe7129d062dfe2a835b8447be0b2f5c","datavalue":{"value":"W2791390006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663246$7FEA1E9D-3493-439E-BD55-479EBDED5DE9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$B5823C2B-42C4-4719-BC4C-60C9BACC5F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403738ebc449032b2c0b132c2ef1a436783bf929","datavalue":{"value":{"entity-type":"item","numeric-id":3183526,"id":"Q3183526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$B5B1A517-B719-4058-9589-27AAE97BD693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf446b5419b8e3a70a44aff75bbc12fa8bd693c8","datavalue":{"value":{"entity-type":"item","numeric-id":2391534,"id":"Q2391534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$0755A0FB-3CC7-478B-9FAD-853A4049EB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f49fa1f49f14748f70e9226f387711ddcf8fdc3","datavalue":{"value":{"entity-type":"item","numeric-id":2881083,"id":"Q2881083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$D76CC05D-9072-4BB1-AF47-61F26371F427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$89BDD6C6-1B8A-4D78-8C4B-B6D9E07B9E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$B758EA06-DBC9-43E2-A0B0-FB36FA873A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e10fa1752d092d6c6c5a3de919f27cff0565dc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5327346,"id":"Q5327346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$C806A27F-35DD-4418-A7A7-1ECB4038013E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8ab7ec9757a93c7f286e3990e34bbe241032a6","datavalue":{"value":{"entity-type":"item","numeric-id":3100207,"id":"Q3100207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$48805552-95FB-4D23-8342-0D1FE423288E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af38a80a15165de9447c68a451d21e2f1f1a1e4","datavalue":{"value":{"entity-type":"item","numeric-id":2938041,"id":"Q2938041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$5BD10046-2BC6-4350-83B4-41E75D489302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ae526ccbe07beac7775aa3d885f0dd844f838f7","datavalue":{"value":{"entity-type":"item","numeric-id":2829256,"id":"Q2829256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$2D1E20A5-A658-4C37-8268-0A6DBB39B3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$D63A4CD7-D090-4885-9F80-E5976C50C7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc702350a57e33c22ee8ce3abc1d9026d4316b3d","datavalue":{"value":{"entity-type":"item","numeric-id":5747095,"id":"Q5747095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$67A7DB0A-2729-4268-AA02-6CAD8484C91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c161911368e95aeec4ffa7e9e9102373a69c553b","datavalue":{"value":{"entity-type":"item","numeric-id":2946652,"id":"Q2946652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$5A81A7E0-05D0-4408-A33F-E690A91A0F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14afb593e146a0b4848eb62178807bc4e55d4ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523168,"id":"Q3523168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$E42E8898-761B-49A7-BC24-C0485D107875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8010f305b18415b898c117dbb1a51b4ca1a03a17","datavalue":{"value":{"entity-type":"item","numeric-id":2347910,"id":"Q2347910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$5DD3EC2E-0DBB-4881-9C03-2D331D3290CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c5d4cff434102bed227e3e021e251aecd1efd2","datavalue":{"value":{"entity-type":"item","numeric-id":4236885,"id":"Q4236885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$DE20304F-F833-4E7C-8235-7D99F4F2083C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8360b1805e475272621a37647ac6d6d54bcc324b","datavalue":{"value":{"entity-type":"item","numeric-id":3083622,"id":"Q3083622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$680F892F-40BB-43C5-A45A-77103588A26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$393A65C0-3E2C-4343-9712-B89428A85697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4864c48578bc17fdc12bcc55684bf742669ee818","datavalue":{"value":{"entity-type":"item","numeric-id":5936849,"id":"Q5936849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$B8D2CAC6-5825-42C0-83D5-672473D27025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb53b69a005134b7aae07b4949b21bc26d9d6bca","datavalue":{"value":{"entity-type":"item","numeric-id":4344149,"id":"Q4344149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$B9689CBE-48EC-45DC-86F8-0B2CA2D9918A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dd7302ae5c6ff14c7d7d4f9e7c2537339e8f91","datavalue":{"value":{"entity-type":"item","numeric-id":2392416,"id":"Q2392416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$334F09BA-1824-42F5-B362-0AAA26CA0700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"babd23140874eb5fae71cd5313ccbf026dbcbf25","datavalue":{"value":{"entity-type":"item","numeric-id":3454094,"id":"Q3454094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$088B8A0A-6E25-47DA-87C3-5244B237C834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30913205e97beb5c571c720f15fb23e67f5add3f","datavalue":{"value":{"entity-type":"item","numeric-id":5327344,"id":"Q5327344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$F2756820-6B1E-45FF-BD6A-2E3180AA19C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107b480decc678c92b78dee11f4a9915c90692b","datavalue":{"value":{"entity-type":"item","numeric-id":5541339,"id":"Q5541339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$036320A3-F048-47A0-9EED-B0293A3321D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706f7e0fb86d4e2bb6409c9522f078637b0f483d","datavalue":{"value":{"entity-type":"item","numeric-id":4412836,"id":"Q4412836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$5B91A398-1E85-488C-A951-9AA3B47C3AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2895d38e84959fa044f17e857d94d9610315ab03","datavalue":{"value":{"entity-type":"item","numeric-id":5541340,"id":"Q5541340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$2F853C38-4BA3-4CDE-A50F-E383D73C56EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10630f5160097667960414f663a902e7cb3018df","datavalue":{"value":{"entity-type":"item","numeric-id":3087995,"id":"Q3087995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$FDD42249-494A-4805-97B4-DAF7BFF5B6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"081c35200afdd09897a3e2492f439529562e1182","datavalue":{"value":{"entity-type":"item","numeric-id":5371957,"id":"Q5371957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$9D95F054-03CC-49C3-AFB9-6CAC4C9B98F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f01ecffaf428bb07aef10232d62d5e6a8590be","datavalue":{"value":{"entity-type":"item","numeric-id":1116341,"id":"Q1116341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$250093C8-E5E1-4800-AC9D-9246CC9AFCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca59b2d5a40ed71c84698c3c584adc9bbdbb838","datavalue":{"value":{"entity-type":"item","numeric-id":911789,"id":"Q911789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$BA085829-5A83-4BB3-8254-0D1C93851FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dce670ec1d34ee6c61f1437c968abe3b27423157","datavalue":{"value":{"entity-type":"item","numeric-id":3088018,"id":"Q3088018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$65FB54D0-2E96-4AA5-932E-0E966DB20AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae619157034cd1b5b5d2d2ffdf596718f766a9dd","datavalue":{"value":{"entity-type":"item","numeric-id":2351151,"id":"Q2351151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663246$C45D38FB-D0E8-4B53-B7DB-0445D7688EDE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ff9c2c80eda6cae551d1fb984713459233b29943","datavalue":{"value":"Q130137861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663246$49F8C855-847B-4550-959C-221EA39807F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2572f2ec292b52a23a9f19d97b1791204bb6e13","datavalue":{"value":"10.1007/S10817-018-9460-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663246$215ACA94-A8FA-4DA3-ACEC-AF7C63BC376A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"038d284f7f513b61d7fcad54728bad5301d4393a","datavalue":{"value":{"entity-type":"item","numeric-id":2938041,"id":"Q2938041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da2ac904ad3cae275b7af81346579184f457a96","datavalue":{"value":{"amount":"+0.9119545817375184","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":"Q1663246$E69D0805-C89D-4B0C-B5E1-605055F603BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd00c573d3eb8fd5e8967e824fc8a2cf82a49879","datavalue":{"value":{"entity-type":"item","numeric-id":3100207,"id":"Q3100207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"304e16140b30de5531a1537074e7eaa4b849b8d3","datavalue":{"value":{"amount":"+0.7818096280097961","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":"Q1663246$C159F1C8-022C-499B-9470-992CF8314971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6349d66e021a1e6726afbeeee476c8cdbc49c62","datavalue":{"value":{"entity-type":"item","numeric-id":2915138,"id":"Q2915138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3d235d59935b5069241f77857bfaa3a0aefd93a","datavalue":{"value":{"amount":"+0.7785417437553406","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":"Q1663246$69A74FE9-186A-4A58-BBB9-651FA8DF535C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5eef8b48d283545bb773ea2f0d3ccc1e01255c","datavalue":{"value":{"entity-type":"item","numeric-id":3073622,"id":"Q3073622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb2f2e86e4092a00e9163df9d52312dd236cf15b","datavalue":{"value":{"amount":"+0.7756535410881042","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":"Q1663246$6982B361-4319-457C-BC79-5859DB528848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d323b87c4a34754cf359a89f946debf316a528","datavalue":{"value":{"entity-type":"item","numeric-id":2829256,"id":"Q2829256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d0bdff4283275aea614591c8c0ac3e55631874","datavalue":{"value":{"amount":"+0.7690466642379761","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":"Q1663246$4DA99617-9282-4950-BDFE-BE5B07298862","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1663246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1663246"}}}}}