{"entities":{"Q6050769":{"pageid":13184925,"ns":120,"title":"Item:Q6050769","lastrevid":57126819,"modified":"2026-03-26T17:25:19Z","type":"item","id":"Q6050769","labels":{"en":{"language":"en","value":"Mechanising G\u00f6del-L\u00f6b provability logic in HOL light"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7739779"}},"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":"Q6050769$84C7629D-E8E0-43A0-A655-0D53D7978549","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e37dddf20339b8c9a40e0dbe727f11f6859881a6","datavalue":{"value":{"text":"Mechanising G\u00f6del-L\u00f6b provability logic in HOL light","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6050769$69065034-0F5C-4474-A108-47AA5B4B0306","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea229d5c7d566db264a7e69175c2b14cf582fccb","datavalue":{"value":{"entity-type":"item","numeric-id":438545,"id":"Q438545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$3B7306B4-31A6-4D62-8614-36E25FC3BFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e7d692191b67bbb24ac678c3610c7474581e82c","datavalue":{"value":{"entity-type":"item","numeric-id":2062202,"id":"Q2062202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$0E834C23-A330-44F2-8CC4-81BA02D3547C","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":"Q6050769$A0DB8AAE-153F-4F68-B8EF-F53004CAF018","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8511310b812d9d4a7e586ca3d9e1dbbb6532cd6","datavalue":{"value":{"time":"+2023-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6050769$BABB2586-280E-477D-B035-49743EB4C3A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050769$869D25F3-0A8A-4F7E-A984-D1BA8D44E7EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f82a4052be8291293ed371891ad339bd3081b62","datavalue":{"value":"7739779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050769$FABD7708-2341-4429-85FF-B15F223C0C20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6050769$0B3A919F-12B9-4397-81A5-97455269FEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6050769$23614DF8-260E-4FFE-98E4-9825792A86E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a85bfa2dcaa2cafc04e14929a1f72f4772c24cd","datavalue":{"value":"mechanised mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6050769$5B9FA168-1050-4EBE-9478-B49277354E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb58aa312422cfac7af547a60b039bf8707e831b","datavalue":{"value":"HOL light theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q6050769$FD1E3174-0996-49A0-9CE2-9A55F53A8016","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":"Q6050769$585768BA-A104-403D-80B6-31BC0417524F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f89b99efd7d3c99e4b1a997bea3490783eae6e","datavalue":{"value":{"entity-type":"item","numeric-id":3185758,"id":"Q3185758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$56DEF986-015F-46B1-96D6-47A68305A105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$19D085F0-53BA-426C-B277-EAE71DFC8C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7672984695ebd8205b2327d3a9eb3180fc9209","datavalue":{"value":{"entity-type":"item","numeric-id":1977575,"id":"Q1977575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$71C2E015-D6BA-41BD-B76D-74D9A2828772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f8c138eb2e529a393fcd06fbbfa7b3ee5e29f37","datavalue":{"value":{"entity-type":"item","numeric-id":5477944,"id":"Q5477944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$F929054A-476B-42DB-9B54-CE7A3048D82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1ab5e305c192824b2ceed56bbd138b7f971611","datavalue":{"value":{"entity-type":"item","numeric-id":2695534,"id":"Q2695534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$1F943920-3A38-47FC-A882-21A2FD8E9FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$3E93FBD2-5E15-4AB5-A32B-13DC3264B344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4182b5f6383fc33340dcc861083264d459bc405","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$EC4F81A9-9DDE-4C26-B473-B10103D5C8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"647e67b17338f60be70b5ba9215500c4f016de10","datavalue":{"value":{"entity-type":"item","numeric-id":1610613,"id":"Q1610613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$5E80329A-18D3-4321-89DD-B82B8D6C6232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c07a76844e8745515e3f3bbe69fb5f2e7efff1de","datavalue":{"value":{"entity-type":"item","numeric-id":5224565,"id":"Q5224565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$0C1904E5-C6E4-4EED-A0F2-6A4C16E0B2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71688348ef3d505492f7ec952bb60a7d9cfe4837","datavalue":{"value":{"entity-type":"item","numeric-id":5049016,"id":"Q5049016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$1AB8000E-C150-4865-9381-062C1F165781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4726bf851623fb67c3d5e7fb7efb2df578a920e","datavalue":{"value":{"entity-type":"item","numeric-id":287375,"id":"Q287375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$1FC7ECF2-BD8E-49C2-B443-5EA7B052C519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a08243fd980f5701ca2fc53c5c48bfcfef4aa6d","datavalue":{"value":{"entity-type":"item","numeric-id":2795295,"id":"Q2795295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$53AF2031-4174-43DA-9614-4A1D1DED98DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$15DF29A2-8208-442F-97CF-150AF65EF033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$988075F2-8FB2-414B-9C33-2C91B10BF3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$273CE01F-F6C2-4614-9922-20767F5B4C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80853db170e525c88c244265a91e8196739997ae","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$68996CCC-34A8-45A3-BBFC-4622D3E162CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c9df65c33cd4f43f9f611e4e81da4b3519e079","datavalue":{"value":{"entity-type":"item","numeric-id":2986808,"id":"Q2986808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$75AF40F5-4C9F-4091-8C73-1553C060D79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$95AEEE2B-B799-4DF8-A348-B6AF88E74283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$4FAC04EA-7DA0-4173-BA84-0FDB0ECF8ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b980e2a0e7cbb530141fc43860f35b9353a720ec","datavalue":{"value":{"entity-type":"item","numeric-id":5387873,"id":"Q5387873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$3F7A9BC7-9A99-4092-867B-CBCE8DA646DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ffd6a7c47935a55e8fb64a6ec0120f67ad52073","datavalue":{"value":{"entity-type":"item","numeric-id":5434493,"id":"Q5434493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$D2648E21-2362-4696-95B3-BA7FD3EAB915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6dbad8c4f3f108bb7a1a2923e60f8b7aea6407","datavalue":{"value":{"entity-type":"item","numeric-id":5049018,"id":"Q5049018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$5835AEB4-3767-4250-9C5D-A4DC1EBBD3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b972c5dd68c7dc976657c0c5a7577337de7d91","datavalue":{"value":{"entity-type":"item","numeric-id":5862470,"id":"Q5862470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$7C88A532-DDCF-4913-84F4-1E43CC19C182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa034d5f0cdac0fcb43890753eae375e96fc1a9","datavalue":{"value":{"entity-type":"item","numeric-id":2142066,"id":"Q2142066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$77A952A8-CDDF-471D-B763-7E344B564014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba80adbf95d04708975cd3c7111b174ce214fe6c","datavalue":{"value":{"entity-type":"item","numeric-id":2142084,"id":"Q2142084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$64413BA2-A7BD-480E-BF3F-CA35A79D6A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf8ba65b22cb108cd3fff432281939108477768","datavalue":{"value":{"entity-type":"item","numeric-id":383061,"id":"Q383061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$BE72E23E-33C8-42E9-B40E-35CAD9318F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"014df434e19c98aa84979531cf42f2d47588711c","datavalue":{"value":{"entity-type":"item","numeric-id":4647531,"id":"Q4647531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$FF3BC933-F9AB-4BF4-9FD2-4CFD2FEE35B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cab77cfdf602d1aab7b2856b4482a0f4f22e59","datavalue":{"value":{"entity-type":"item","numeric-id":3247123,"id":"Q3247123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$7CC68A7F-9A2E-4982-B1F8-6EC1C1EE7E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec2568f4fb49cd31d8af7174cf456f4fdeb8249","datavalue":{"value":{"entity-type":"item","numeric-id":3010369,"id":"Q3010369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$77562942-6002-43F7-905F-05353C324056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d1c043035191d540c37555c23f0303b7675915","datavalue":{"value":{"entity-type":"item","numeric-id":3241192,"id":"Q3241192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$2FE1A059-1501-4553-9FBC-5CF6BC3A2E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840cdf0fd2fc7639009b50125648d2c88152a633","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$6B383534-22C5-4C43-8765-7E28ABC5391C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f103fa401cdca02160ebee26851f7a4dbd4e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5813181,"id":"Q5813181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$1805DB3F-0F11-4C27-8CE1-819A97AE4008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12ce99e75f00697efa1f5f9afd862b773370cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1147690,"id":"Q1147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$96BD04A8-49FA-4578-ADA8-7B465307BB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$AB7364FC-BB3B-4BA8-A705-AE6E7D7C6BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$8075FF3C-715E-477C-B287-7FF51056B3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654b9da35bb1975c7b6e87c0586a0aa8bf916f88","datavalue":{"value":{"entity-type":"item","numeric-id":4040149,"id":"Q4040149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$C28BD688-C80B-481C-9610-8254B34EA478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d60ddac7626244c2024817cad3ad1a80408a303","datavalue":{"value":{"entity-type":"item","numeric-id":6099618,"id":"Q6099618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$3CE8B43A-F7F8-44D5-A274-9A8D4EE584F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f6bff68c8ebf66dfda0b239fbc2871c6c95c89","datavalue":{"value":{"entity-type":"item","numeric-id":4636304,"id":"Q4636304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$4996884D-7C4C-49B1-BCFA-1CC62F015E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b659b1f6009ab3df1cf8432adfeb1aaf4fe4f69d","datavalue":{"value":{"entity-type":"item","numeric-id":6060676,"id":"Q6060676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$794B85F1-9B4D-4EDF-819A-177DE5D65BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0080581af6b898632de30fb1a2719f14a7086b1","datavalue":{"value":{"entity-type":"item","numeric-id":4495850,"id":"Q4495850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$FE9D0FC0-371E-422D-8A41-EE8BF62F1BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$61824171-11FF-4055-B69F-6533EEB80F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05b88e8939da5afe0e37d672faef2e7bfef9975","datavalue":{"value":{"entity-type":"item","numeric-id":2254557,"id":"Q2254557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$6982FFD6-3C2B-4DDA-A3FB-B4EB5DF21053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350abf2f277a8a2c0d09ae927afba317efbb4dc8","datavalue":{"value":{"entity-type":"item","numeric-id":2046875,"id":"Q2046875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$00C8F2F1-5327-47DB-8E39-2B9CEC216357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$60079414-E526-45D7-AF51-8D9BA4450E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8425e0dfadac6ffc495ddc05b72321e3f19c94","datavalue":{"value":{"entity-type":"item","numeric-id":3114184,"id":"Q3114184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$C5489E5F-8C8A-49A8-B0E2-A5023AFADC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a66793a779bdb77ad812ba39694810ebdcc5574c","datavalue":{"value":{"entity-type":"item","numeric-id":5187875,"id":"Q5187875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$1A1BB691-E27B-44B2-A38C-C13D94FCD602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"529cb6eb4dce71e5672a5e362308b87ecd15084f","datavalue":{"value":{"entity-type":"item","numeric-id":5479291,"id":"Q5479291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$54237ED2-55D3-44E4-A0AC-2D4926CB5BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f1a7fc6435ae741cad8143944e6e3ccdfc1299","datavalue":{"value":{"entity-type":"item","numeric-id":3643366,"id":"Q3643366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$1197DE6A-222A-49F8-8672-5392FE0DAB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b929845b5516522e181e8920ae553d8a37f5016","datavalue":{"value":{"entity-type":"item","numeric-id":3192215,"id":"Q3192215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$E8EDE381-C2D4-47E5-AF9D-F2F6F12AAC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9adbcdb9adf8c49da48cabafac0ca31c3d12bdb6","datavalue":{"value":{"entity-type":"item","numeric-id":3455776,"id":"Q3455776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$E5F7EEA3-FE8B-4441-BABC-323A1355DA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e937235437828fd90111b19ee3ad3ae6f098959c","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$58367A98-6E4B-464D-8EF8-F99210189D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5396675c233e52b8c02a15330c24f234a93204a","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$1FBDB9A6-599F-4747-ABDF-8373163901E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d8a381bd9b5034d8784161cae5a707df079817","datavalue":{"value":{"entity-type":"item","numeric-id":332082,"id":"Q332082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$149628BA-F61A-4833-B09B-55708FA881DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c303769c93de867084cf6f828db3ca78e852da7","datavalue":{"value":{"entity-type":"item","numeric-id":4325547,"id":"Q4325547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$2D94076E-EDB6-4DEB-A7DE-D9E9B279E7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d33dca22b26d8ad3a16d3e39a17e8d044720515","datavalue":{"value":{"entity-type":"item","numeric-id":5457387,"id":"Q5457387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$5054D197-5CF1-4708-A38C-9D191D122FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caff94044d7e9e5c06d98ab72e868da5cf4fc6d1","datavalue":{"value":{"entity-type":"item","numeric-id":1821563,"id":"Q1821563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$57FB5476-F286-43DE-AAE3-EAE90205AB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$5BE95E41-E3B5-4F45-B31C-83FA4B420E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$342B4745-7C52-4CBA-9F47-11E2B51581A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$E06EBFC1-53A1-4D2A-BE49-20F524440F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3c7ee4937526b68ae97df624f4d0303db2287b2","datavalue":{"value":{"entity-type":"item","numeric-id":2096473,"id":"Q2096473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$BB68DFF5-6B4D-4D72-90A4-688DE9FD16A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75d0c3963b6360682f2b8d195d2747f89c37ffc5","datavalue":{"value":"10.1007/S10817-023-09677-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050769$575D2B18-245E-44B1-BFB6-8BA924BEA0D9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050769$281DE87A-51AA-417A-9B2E-F8872A816539","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6050769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6050769"}}}}}