{"entities":{"Q507366":{"pageid":509133,"ns":120,"title":"Item:Q507366","lastrevid":52735688,"modified":"2026-01-23T09:39:18Z","type":"item","id":"Q507366","labels":{"en":{"language":"en","value":"Mechanically certifying formula-based Noetherian induction reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680829"}},"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":"Q507366$C33ABF5A-052C-44CE-BD4D-1EB3FF6A4EDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea5ecb866deb401c2d4809bf2544adc34a86745a","datavalue":{"value":{"text":"Mechanically certifying formula-based Noetherian induction reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507366$6AEBECFB-3B3F-4FCF-A75E-F3AE6E37C4A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb498b63296c9293812e872e56b9bc1d712c3612","datavalue":{"value":"1356.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507366$39985D46-8377-420F-BA83-04FA0DE215E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"391f7c9359d3fa0424cd103cf1db41eeb4749b7c","datavalue":{"value":{"entity-type":"item","numeric-id":219448,"id":"Q219448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$5BDBAFF8-52B8-476E-8A11-95AE5FB56EC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$3958AE73-DBF5-4E51-94F3-F3C833C710DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69224595960101be6ec21574e4c403135d7942f5","datavalue":{"value":{"time":"+2017-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q507366$9EF695FE-6EA3-4914-A1DB-21FB2A8BAD94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507366$9E198AE4-EF74-4C4D-BF01-3220AC09015A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507366$9ABB75FA-6E7B-45A9-9ADB-1BD50017DB8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"872474b2e3c55b032532a22c008b83d9a503e514","datavalue":{"value":"6680829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507366$2687A96F-BFA2-4655-A173-C31C5A5A410D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faf1c61e8846e43eb80314c61cfe7f235eec280b","datavalue":{"value":"Noetherian induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q507366$6B146773-0FD8-4CD1-AE9C-FD3FD7100784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaf0018c8a745cf7942e87427bfd83c40424d83f","datavalue":{"value":"cyclic induction proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q507366$A1D4D873-3A93-467F-8BB4-451E69FFAD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca5b099f632ed356b8df7cea235df0fa5427129","datavalue":{"value":"implicit induction proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q507366$02E99E72-585F-4920-ACED-48431166F758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7d9ae6af1171f89a4761ca0bb9fe01f64f1cba5","datavalue":{"value":"proof certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q507366$1A62D38E-D119-4974-A437-6EB86EAB31D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q507366$2755D9D1-80DE-4F68-8FED-6C0E51AEBCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22f8e4af180c022713eb158767111d0c4bbd6b75","datavalue":{"value":"SPIKE","type":"string"},"datatype":"string"},"type":"statement","id":"Q507366$45938368-7D7F-492D-B9F0-1DF1902D1154","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$480510B7-C83F-4AF0-B52F-9CB80BA8B8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79d3a37a50735a68c7cf2956fbec6af0c52aa6db","datavalue":{"value":{"entity-type":"item","numeric-id":26958,"id":"Q26958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$66D37F74-849F-4A2E-95F3-D7F3996864CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"481dffd61eb894e10ccc10733ac19f0d30b8b01f","datavalue":{"value":{"entity-type":"item","numeric-id":33392,"id":"Q33392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$E31114D3-A422-45D7-B4D8-17B593A7FBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c4881d57ad5273b3f7a681642315fbc7494ff4e6","datavalue":{"value":{"entity-type":"item","numeric-id":40328,"id":"Q40328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$D7CDBF47-788E-4F11-A8DC-E2F308CC7EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ebf2accc5d6c6b3c7a81ee7493fd53a6bf250","datavalue":{"value":{"entity-type":"item","numeric-id":40618,"id":"Q40618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$BA41EE0F-6FE3-421A-8D84-A08294686833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5819cf8e5cbfbec405ce11f2ecd984d197419dda","datavalue":{"value":{"entity-type":"item","numeric-id":15319,"id":"Q15319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$4B0F2AA4-3C96-4017-AEEC-8FD570D0CF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cdc09159c3d9e35e53ef549059a47b095580c647","datavalue":{"value":{"entity-type":"item","numeric-id":40621,"id":"Q40621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$FE2B7F83-8EB0-4AF6-B364-D337F5A9E6AF","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":"Q507366$FAFCA065-1063-45FD-BF71-A1CC00A7B0C3","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":"Q507366$BFA15237-CD73-4D65-8059-F946B3C74C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e916eb1dc395e3830d6317d3e8aefcb052d11440","datavalue":{"value":{"entity-type":"item","numeric-id":21785,"id":"Q21785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$D4C579C1-BB38-4CDF-8BE7-AAD2DC2A71D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b1f4655c4093a6763ca4d938d08d8f6020262f1","datavalue":{"value":{"entity-type":"item","numeric-id":22153,"id":"Q22153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$05CAD735-7A4E-422F-BEA6-C38FB614CCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$B576C354-4E7F-407D-9DD5-C30079DECD5D","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":"Q507366$1EEA2370-01F5-4BD9-A977-4A63AABA9C38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9b53d063f8c9a6318d685a7049d0d57b51337be","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2016.07.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q507366$DA0216A5-456B-4470-B6A5-B73AC76515FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd162ee52a6d38466081da2f6cb3c4e8cad420cc","datavalue":{"value":"W2480458138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507366$83820FD2-E2F8-424B-81A3-F31C3B09ED25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e127ccb7c16456a4a40a8f84d93c649218d4fa","datavalue":{"value":{"entity-type":"item","numeric-id":3527298,"id":"Q3527298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$1AEFD86C-2D52-4B74-9082-D373700793D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"798e10033e3dd1a139712364d2e339f513e371d6","datavalue":{"value":{"entity-type":"item","numeric-id":1404422,"id":"Q1404422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$EF343D5C-26D0-4CC2-B2E5-6F45E7FB3F07","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":"Q507366$7E36A6F9-B3D8-445C-8EA9-FF787FC36103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"522a4e7310cc1c6039596283d9903c87524a94ff","datavalue":{"value":{"entity-type":"item","numeric-id":2754027,"id":"Q2754027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$98A6CB76-9C1E-4169-80CC-AD55432BE8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339c967f1da0c61f0e43584c53f54f57e979d609","datavalue":{"value":{"entity-type":"item","numeric-id":4484330,"id":"Q4484330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$BD55EA9C-0206-43C4-B936-007B9F063438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad38e0ef5109c872fd15da36ed5bb76b94d70ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3434629,"id":"Q3434629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$83E4E41C-4CAF-47E7-89D3-A6D858AB159F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25667f2a6078416ec1d446a9aa809aa2c346bf3c","datavalue":{"value":{"entity-type":"item","numeric-id":4447243,"id":"Q4447243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$36733A28-43B8-41AC-8146-9F0ADFF02BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c708f9a64c92fd4de4427f3b37941fff68141d","datavalue":{"value":{"entity-type":"item","numeric-id":3094178,"id":"Q3094178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$7BF9D27C-1F83-46DB-89B9-5E5C2B313E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b9ee499c2e20ed5be41697ecf31e0d97ac1fb9","datavalue":{"value":{"entity-type":"item","numeric-id":672051,"id":"Q672051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$182E5FEA-FB7B-47DF-AA19-9AAC0E19F959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383b9c89bb68b7c7fd8e835522bbe25b1cb914e3","datavalue":{"value":{"entity-type":"item","numeric-id":2946578,"id":"Q2946578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$50A3B4AB-8CDC-4218-B9FE-51706C3E7647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee8e869687239ba7356faf4f307148f6207fe3f6","datavalue":{"value":{"entity-type":"item","numeric-id":1854445,"id":"Q1854445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$3A51ED70-9D4B-413C-8D34-E3F11A1C8938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"032e011dae6771ddc94bd3b2d7b810721cac8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4849648,"id":"Q4849648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$8E98B49F-3AE7-42B0-B99E-8FE4FC8F1CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207a3a86eff30f0709ace65a9572873e620c40c1","datavalue":{"value":{"entity-type":"item","numeric-id":1607227,"id":"Q1607227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$C034CF3B-FD31-4A88-A2CC-7B51E4FDF641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf6ee029e21be32823040fe8df9bd58f4b2a006","datavalue":{"value":{"entity-type":"item","numeric-id":2767092,"id":"Q2767092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$4CEE0BB2-8495-4D0E-B19D-A2AA4169A3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb3e97929024d2ee37616602a13d3244533bbb2","datavalue":{"value":{"entity-type":"item","numeric-id":3835049,"id":"Q3835049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$A3C54CE8-AE68-4E0F-902C-9CDF4FAD5A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa6a4aca3189d4fa1f54c4e8d9a90d2257266e51","datavalue":{"value":{"entity-type":"item","numeric-id":5881263,"id":"Q5881263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$34DDCC19-4630-4D68-9FB3-AE22B75530BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5141c24977120ee7370275e767db96ff26e4bd86","datavalue":{"value":{"entity-type":"item","numeric-id":5210765,"id":"Q5210765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$7C305950-EDFC-497E-A37E-F9E6663DE56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$F98A6933-B0B6-429D-9934-AA4D56BD49ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe32806edf287e44f6855c200795e18b751477f","datavalue":{"value":{"entity-type":"item","numeric-id":2751366,"id":"Q2751366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$EFE69B8A-EC17-436B-B2FB-FEED80F7BBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec28ba6d820be907a77fb84eda09cc97c627df63","datavalue":{"value":{"entity-type":"item","numeric-id":3525007,"id":"Q3525007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$2ED77D1D-9D3A-441A-A373-38CB7A9249C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d087cbdfe7611f0fb92af9e5ed9ae255ff23dbb6","datavalue":{"value":{"entity-type":"item","numeric-id":5900725,"id":"Q5900725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$81DB437E-ABAC-4473-81AF-75BDE3E76BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$1261791A-F244-4B29-B78E-F0442F853D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63122194b3ddae51c07012542f84f5383e4f333","datavalue":{"value":{"entity-type":"item","numeric-id":1322836,"id":"Q1322836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$5EF6B1EB-E685-46C5-B825-A60C8714BE28","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":"Q507366$8E953C4F-FF6D-46CC-AE59-8EF8A864C464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989303c3f01780ec3752ac791fe5233d16a37b4","datavalue":{"value":{"entity-type":"item","numeric-id":1094888,"id":"Q1094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$2F247DD8-7581-4CF0-9C09-C1D744375667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cfe00f727b087a386cc5c62c253e81e5e8c7c0","datavalue":{"value":{"entity-type":"item","numeric-id":3783519,"id":"Q3783519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$1CC2B415-BDC2-4125-BF6E-E4CE6937DC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7409adbeea4f06044f7b07a21aeeb141df7f0f2","datavalue":{"value":{"entity-type":"item","numeric-id":4712663,"id":"Q4712663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$1355BA7C-B4FC-4591-946B-5F30E9AF9FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c72e6b1dfd20f198418bde19a4145001e513ddd6","datavalue":{"value":{"entity-type":"item","numeric-id":1188886,"id":"Q1188886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$0B29E53A-4F12-4180-BF1A-440ED8EEE7B8","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":"Q507366$3363F562-2688-4C16-8933-D0AF29672F12","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":"Q507366$09FA007B-6B57-4061-BD5B-B9226839EA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb9457f1233433ddb3ac70457c8fc889d94bae0","datavalue":{"value":{"entity-type":"item","numeric-id":5210761,"id":"Q5210761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$2D1C38B7-B136-45E6-9AC8-CE7BC5466315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcde2500da8d963a50be7cdace3d5f52e7d06884","datavalue":{"value":{"entity-type":"item","numeric-id":1810852,"id":"Q1810852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$FEA13050-405C-4387-8A2F-B75EFAFC2EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd712557cb33f4408f7f319583701e72d7ca321","datavalue":{"value":{"entity-type":"item","numeric-id":5168921,"id":"Q5168921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$145C6014-5958-41FC-9A62-C8456ECEC3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea19df45b380e856eb67512942460b3fe49455","datavalue":{"value":{"entity-type":"item","numeric-id":5747666,"id":"Q5747666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$6EAA885E-F2AA-4B85-9867-AED2E3514B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7800cb26ebd8bd73eb3371458d6f9dbbf37e26b7","datavalue":{"value":{"entity-type":"item","numeric-id":5950934,"id":"Q5950934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$4C53CCD5-8190-4672-BB50-BBDDD6A27FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d6e9b64c321ac526dcf1588829c0491200e5d6c","datavalue":{"value":{"entity-type":"item","numeric-id":3522029,"id":"Q3522029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$15FAEFB8-AD65-4011-A14C-92D29741FCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7a03164bcb8459e0e99968e72a485a1d6e3cb4","datavalue":{"value":{"entity-type":"item","numeric-id":3100200,"id":"Q3100200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$B0DF70B1-5A69-4074-A0F3-0B70674EE60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e4e2410286144971b97051d7d004c86e1a2c3d","datavalue":{"value":{"entity-type":"item","numeric-id":4809499,"id":"Q4809499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$05ED459B-EA6F-40E4-BE18-928A876D07E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4098701b77640969d6c5a6c2843a41c1bc5c5110","datavalue":{"value":{"entity-type":"item","numeric-id":6488529,"id":"Q6488529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507366$B34335DD-69CA-4A61-B665-7454440E1C97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b92d85237ce52899fc526852da045926fb070a6","datavalue":{"value":"10.1016/J.JSC.2016.07.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507366$3B1D512B-F8E7-46F9-A02C-0B8FDB69193F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d819c452cde1ae2c4742fa98a3c6834973fc7eec","datavalue":{"value":{"entity-type":"item","numeric-id":3100200,"id":"Q3100200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bda656c85a8e92c238a50a568cec52fa11bd66a","datavalue":{"value":{"amount":"+0.7570691704750061","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":"Q507366$A73F6CBB-2C26-4BAD-8284-2883201DD8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1719abdf64fbafcee49ac77342ac5d943f9d200e","datavalue":{"value":{"entity-type":"item","numeric-id":1854350,"id":"Q1854350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b9cf41a2bc149b5b2e22b2bd7a89d84681da90","datavalue":{"value":{"amount":"+0.7208998799324036","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":"Q507366$34CA70D3-525D-4332-BD27-F8045AA64236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d128260b87b295382749fd50b945afceb867e4","datavalue":{"value":{"entity-type":"item","numeric-id":5210766,"id":"Q5210766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb3d0a6d5bc7d7e3cbfbcc375d6a7082535894a9","datavalue":{"value":{"amount":"+0.7182161211967468","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":"Q507366$2937E1AA-FAC4-49FE-A248-F4EF395D7710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7d1c79c5d9622e1eeadc1aaf2b3855954e4971","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00c9cf1bed8cbbaabb04c3e63a2f71e003eb348a","datavalue":{"value":{"amount":"+0.7135737538337708","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":"Q507366$129C194B-1BD4-46F1-B668-8D18C94CAC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d9f8da4a106ff417918bbfd4075e78b72b63b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3522029,"id":"Q3522029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a13563ebe9be3383f3f7eb54f5d8b81aebc767","datavalue":{"value":{"amount":"+0.7097998857498169","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":"Q507366$74682F44-4EE5-4893-BA61-AF88CD3AB01C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:507366","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:507366"}}}}}