{"entities":{"Q5371944":{"pageid":7401518,"ns":120,"title":"Item:Q5371944","lastrevid":52938962,"modified":"2026-01-23T20:49:34Z","type":"item","id":"Q5371944","labels":{"en":{"language":"en","value":"Mtac: a monad for typed tactic programming in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6796887"}},"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":"Q5371944$470761F6-95FB-45AA-AFDB-2E5D51AB80DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0aed07379e2a4eb008aabce57153ec4915fc1e78","datavalue":{"value":{"text":"Mtac: A monad for typed tactic programming in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5371944$0D63B840-E335-413C-99BA-7480D5CE1E6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b74c82ae6a87dee0b9180e16d946e4ccf36d805a","datavalue":{"value":"1420.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371944$C3A933C2-D798-44B5-BE54-DA489DC15BB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e24e2731607a7ae43d3510bbe2211fe2ad344d87","datavalue":{"value":"10.1017/S0956796815000118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371944$F4E5EAA6-60FA-47E5-A1F0-AB9396AD8F01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03755d4aabc7831f3051426847269a4a588f5547","datavalue":{"value":{"entity-type":"item","numeric-id":777872,"id":"Q777872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$6E636FAC-CFFE-4D1A-A812-A8C0101DD5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"714a2f9cc11bbae3e9bb5cca0a961971143e413d","datavalue":{"value":{"entity-type":"item","numeric-id":1265186,"id":"Q1265186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$D369F2D7-52D8-4346-8098-8927BC2C3AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c80825289a5e0e61699d027c0caa56c8052edcd8","datavalue":{"value":{"entity-type":"item","numeric-id":2819784,"id":"Q2819784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$1FA54594-E071-4D6F-87A7-1EB6D6D12E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b248d705e0b51ec4722970eaa46ae5f39664514d","datavalue":{"value":{"entity-type":"item","numeric-id":1426867,"id":"Q1426867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$EE97B3FB-8799-4D74-8276-C36DA3337E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d1948b4a2322fe9397f00e40ae794a937c1ccc","datavalue":{"value":{"entity-type":"item","numeric-id":1664149,"id":"Q1664149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$B5E9BDC7-BC43-4882-AFC4-9506163F9DCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$46E9B9D2-1E65-433E-90EF-83967DD887D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f19e547da68d1ccc9d6e22045cc7b4068d9919c0","datavalue":{"value":{"time":"+2017-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5371944$E1E131BC-9595-4531-A178-FC2E104F3525","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371944$B79379FB-5608-4487-BFFD-0CD836E8827F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371944$79D240C0-4128-43EE-AED2-2C6DDE66E7FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3824a0446ff74565b331f7c1767aa6dbe69667a","datavalue":{"value":"6796887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371944$959E3697-0D56-408C-BB38-375C17E7BC88","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0902bb2ede5a2bfd50bf8c0f49f5ce31952757c0","datavalue":{"value":{"entity-type":"item","numeric-id":20240,"id":"Q20240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$DC33F13C-EAC0-433E-909D-8230300F267B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4dfe52116eea178df8e98fcb66fd7e4802fcbfc","datavalue":{"value":{"entity-type":"item","numeric-id":24263,"id":"Q24263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$0CF2E4D5-6DCC-42A2-81E6-EE6E5BF8E61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$1AD0CCF6-CC7C-4954-92FF-2A69574EBA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86fd017762a2cc84520acf70ff19531594c257aa","datavalue":{"value":{"entity-type":"item","numeric-id":33173,"id":"Q33173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$50C7F533-AF30-4462-92EB-300891CE0714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f20857e79be9881c5d7a06583454f1cf2611e9","datavalue":{"value":{"entity-type":"item","numeric-id":24994,"id":"Q24994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$5C92F71F-9FFE-4939-A67E-7CF1799C04CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666ca433b978cd21076cb708460a59a7ecf1d315","datavalue":{"value":{"entity-type":"item","numeric-id":25041,"id":"Q25041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$30524505-39C4-467F-9807-4DDCE06868F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e72a4f8fb4d36497257be31382da278bd928d2e","datavalue":{"value":{"entity-type":"item","numeric-id":25436,"id":"Q25436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$E05D961B-B9D9-4651-9F36-6353502F057B","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":"Q5371944$00317385-ADD3-44BD-8F0A-568038F40E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8fb5f6da2df561a79b128a652d1df41678f66c85","datavalue":{"value":{"entity-type":"item","numeric-id":22838,"id":"Q22838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$38CE05E5-4FDC-475E-A8B0-F635E529A705","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":"Q5371944$A813A090-91DC-4B5F-895C-E36FAA398631","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f788536331bb87ba4e75963340b885a6c5e47c5c","datavalue":{"value":{"entity-type":"item","numeric-id":5747643,"id":"Q5747643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$C5FE8FE5-F5BB-4F71-B46C-42F7A722FD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b263388db3c0202cadcdd32983389a2e8826f99b","datavalue":{"value":{"entity-type":"item","numeric-id":4263166,"id":"Q4263166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$CC18EE55-16F0-48D5-9A3A-97CB90DAAF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1ae7aebac7ea3716330aa8760535123903599e","datavalue":{"value":{"entity-type":"item","numeric-id":1040007,"id":"Q1040007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$54551C63-260D-42EA-8AA2-01378807E5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076a838bd0092606d2a19431691467a449edab0b","datavalue":{"value":{"entity-type":"item","numeric-id":2751370,"id":"Q2751370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$1CEDC445-39B7-4748-AC61-7D69D41B022C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$0B128145-D11E-4845-AEF4-C51435804CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228e40236d38aec5a149d907ee03718626a60ccb","datavalue":{"value":{"entity-type":"item","numeric-id":2942890,"id":"Q2942890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$71049DD1-8C82-4FE4-928C-6CF4DDFF7C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02cebc44c2831878b18e904086383fc947d3037","datavalue":{"value":{"entity-type":"item","numeric-id":5417200,"id":"Q5417200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$C521D3E7-7BAE-4BAF-A11E-F9FA5AA92AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f56b47a456995ceaf7ae3f33f4c2e7fd5a86bc7e","datavalue":{"value":{"entity-type":"item","numeric-id":5327337,"id":"Q5327337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$13A35897-51EE-44E1-901C-D6E5270B1D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"185f5c727aea927d4f7d850dde1765db842f1e60","datavalue":{"value":{"entity-type":"item","numeric-id":5244790,"id":"Q5244790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$625F7EFB-C97A-49A9-88CF-0CC1E8AEE75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$82E00377-6F21-4446-BEC4-3CBEB10D840A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$7E7C1E4E-5181-45FC-9BB0-26FA0ACB3EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adaff45a41d0a6bdbe56b77312c8af13a691189a","datavalue":{"value":{"entity-type":"item","numeric-id":5398327,"id":"Q5398327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$09AF890C-AB63-4703-A251-B9916763D86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901ba45472e1a0a3be8b2e40215973355027ef09","datavalue":{"value":{"entity-type":"item","numeric-id":2949209,"id":"Q2949209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$0561D386-3C8D-40A6-8121-130384C094A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$7A42A57F-8FD6-4A62-BC95-45CFD6FA7160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ff2c56493bc73260aa24ab8da7ef8171115e19","datavalue":{"value":{"entity-type":"item","numeric-id":3138833,"id":"Q3138833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$A12F15B0-0A60-4625-BED3-8F2AF0EC0E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2583f34f3ba476ef3ed853ba8693dbe27f9970f7","datavalue":{"value":{"entity-type":"item","numeric-id":2931796,"id":"Q2931796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$CFE50EF1-45B3-4ACE-AFE9-1E285DF046BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ef52d19f5b6d0d04ff93be96fe3c6d519e1794","datavalue":{"value":{"entity-type":"item","numeric-id":2879264,"id":"Q2879264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$EAE925C6-E5A8-4653-8A35-B59BB4C1B3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f1cf971569108cacdad2f6af4c416617bcf4ff","datavalue":{"value":{"entity-type":"item","numeric-id":2639842,"id":"Q2639842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$38602E80-AEC1-4E76-9704-A1B5FED37B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3d171ca70741fe643df9bcf5b530771f5ead0b9","datavalue":{"value":{"entity-type":"item","numeric-id":2914742,"id":"Q2914742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$5CA1C0DC-6792-404F-83E0-A9A8771BFAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"683c5ed727db0256e2ae25195a376dc52f7dbdd6","datavalue":{"value":{"entity-type":"item","numeric-id":2949207,"id":"Q2949207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$F29C5D82-5084-439E-89C8-B208AA382C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa5b39ffa40b318449c3af5a336d8c38885f30","datavalue":{"value":{"entity-type":"item","numeric-id":3546051,"id":"Q3546051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$E51E3EF1-D68E-4F33-B242-BA0F2FC8ED09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96080269f1ac57df102d277e6fe30615563ee72","datavalue":{"value":{"entity-type":"item","numeric-id":5178765,"id":"Q5178765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$DC0E8AC7-CDEE-4056-8D55-A146886D500A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$5FF8236C-D3DC-4129-B06A-45C00877BEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e469422ed01408c31348e84487db269e23f39f8","datavalue":{"value":{"entity-type":"item","numeric-id":5255079,"id":"Q5255079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$701AA84F-7560-4E8E-A443-E93626E48235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dd97334618a8abcb30d6b953aa7791488fcf62","datavalue":{"value":{"entity-type":"item","numeric-id":3189856,"id":"Q3189856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$D5F968B6-C64B-4042-8DC9-264948FEBB4B","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":"Q5371944$CEEFBEF4-BD86-43ED-90A2-A9AD8DDFFB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f10d994e8a97bbbe2becee90fad178192db2e602","datavalue":{"value":{"entity-type":"item","numeric-id":5313072,"id":"Q5313072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$9CA3EB36-7A9C-4E13-B214-5C135BDB523B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8555a6bafcb34b8174bf396d396dfe3981f39355","datavalue":{"value":{"entity-type":"item","numeric-id":5704020,"id":"Q5704020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$98D89F77-9BCE-4907-B507-854CB0261D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25e14081775351f6e9d8302e29cc683691607c4a","datavalue":{"value":{"entity-type":"item","numeric-id":5395719,"id":"Q5395719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$73D235CF-6CB2-4B32-AB46-808DAAA4D275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ba8bd57f8794d317056b114a38bf751913f81c7","datavalue":{"value":{"entity-type":"item","numeric-id":3612448,"id":"Q3612448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$10A04238-2F77-4126-BF57-361C1B9D056B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff7181965704e473c064c7d95f9f7f0b397f93f","datavalue":{"value":{"entity-type":"item","numeric-id":3543665,"id":"Q3543665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$C53F7C23-7AA0-4EC3-9803-8158C6749810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f361a4164fce3060765f526c66becf8221bf05db","datavalue":{"value":{"entity-type":"item","numeric-id":5176952,"id":"Q5176952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$184E1816-4E60-4756-89F7-221EBA777F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"642599c58e56d8cbf0de37dbdbb45695cbad030f","datavalue":{"value":{"entity-type":"item","numeric-id":2942880,"id":"Q2942880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$1BD5B8C6-1037-41EF-B983-D2BC98B9B54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cbcb6d94b90df29b5a17d03a1e0c6e3c85e75f5","datavalue":{"value":{"entity-type":"item","numeric-id":5327353,"id":"Q5327353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$3633CF55-CFD1-441F-98CB-DB14FEE651B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b42dd317bf0bbf239e78b0f994d050b3a8511fe5","datavalue":{"value":{"entity-type":"item","numeric-id":5244791,"id":"Q5244791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5371944$6F4F21DD-9572-4941-834D-1D77C358E49C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e64662649052766bccd1a7faf88eb7b7cfa8c1c3","datavalue":{"value":"https://doi.org/10.1017/s0956796815000118","type":"string"},"datatype":"url"},"type":"statement","id":"Q5371944$2D7BB403-D716-4820-9D25-9BE662E0B081","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0cc571dccdc8e60b38602220c983d4a57af7027","datavalue":{"value":"W2277214925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5371944$856A2FBA-5D6A-4053-A6A9-984E5EDEAB46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e572badf5bee00e7427a40b4cef297ea325698","datavalue":{"value":{"entity-type":"item","numeric-id":5244791,"id":"Q5244791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fe7aa25e47cf8c14df7c7b71b4173ac6d7255d6","datavalue":{"value":{"amount":"+0.99709814786911","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":"Q5371944$D85E152F-EF18-4EDF-B687-37EC4B8BF7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7ac36ed718b6e97928eb57ef2af05bff63f6d3","datavalue":{"value":{"entity-type":"item","numeric-id":5398327,"id":"Q5398327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b3e1bdac91e6622886e12428838d039a22848b","datavalue":{"value":{"amount":"+0.8250156044960022","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":"Q5371944$7125EE14-1AB8-4D87-AE17-4C13269413A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e991eb6ce62deb5bb2a8abdd6157fc56a8e6e1f","datavalue":{"value":{"entity-type":"item","numeric-id":5176973,"id":"Q5176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"707db7fe06e0d33f015985ec1f2f1071a88c0bb0","datavalue":{"value":{"amount":"+0.8250150680541992","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":"Q5371944$FECCB693-0A76-4299-A947-EBF646D875D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca320f3d91c0d7a8bb4f611412474fdb2e1c5024","datavalue":{"value":{"entity-type":"item","numeric-id":2767010,"id":"Q2767010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f1b0865672538ffe14a9dc733404be68a6f8f32","datavalue":{"value":{"amount":"+0.8112385869026184","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":"Q5371944$9D60E137-5A2C-457F-B243-FADA956D38A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435c230f2e936567467c911556c7b07e730f6c8f","datavalue":{"value":{"entity-type":"item","numeric-id":2802496,"id":"Q2802496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d27d00f0543ac2de26c6f9d3ec444dc93034eda9","datavalue":{"value":{"amount":"+0.804438054561615","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":"Q5371944$DFBF6E04-7302-4ADC-BF3C-FEF776370465","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5371944","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5371944"}}}}}