{"entities":{"Q6156634":{"pageid":13291183,"ns":120,"title":"Item:Q6156634","lastrevid":39733492,"modified":"2024-12-30T17:59:12Z","type":"item","id":"Q6156634","labels":{"en":{"language":"en","value":"Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7695709"}},"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":"Q6156634$2D6AD4D6-08F0-43C8-BF58-61F62A59A1EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"025272f02b160d96cca9f7450b1a3948e05795d7","datavalue":{"value":{"text":"Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6156634$6ED59DB2-F13C-4970-83F2-B3F11D81A9F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b455290f5b835c3773a6eb2262897ac70e7a163b","datavalue":{"value":{"entity-type":"item","numeric-id":287273,"id":"Q287273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$20C857CB-652F-4591-A32D-DB8027C79E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a36231e793206f5b2292f77be31d0f8ab1f6965","datavalue":{"value":{"entity-type":"item","numeric-id":352953,"id":"Q352953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$FAF666DC-442A-47C6-B2D9-1871E04C4655","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":"Q6156634$6F6B79BB-4627-4201-985B-DEC9F2CD4B81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e078913baaf6e58e465be4601d94b7e1928c7c65","datavalue":{"value":{"time":"+2023-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6156634$48D590B4-06A5-47FE-8FCB-06A5E0F0FAE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156634$DEBEA1D7-E6F0-4ACE-913F-1DDE88953F3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4a9290a07187d9ff81360a6a3d329311cb86a17","datavalue":{"value":"7695709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156634$19725C55-3B1F-4A17-AE3E-7F025C2D8F88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c641b015e27a13372fd7f53521fc9e0bedb27f07","datavalue":{"value":"SGGS","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156634$439EA4A5-A6EE-46D8-A1B9-EBA9FB84379C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5033d3ae012d6c81208806815167a477d503a7c9","datavalue":{"value":"decidable fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156634$DC5E212F-C22F-4837-A63F-5F3D46E9598E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156634$509FCB34-1902-40D0-9F67-61B7C7124B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a14647a021d250427faa255f602975f365544ae7","datavalue":{"value":"hyperresolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156634$8D5886C7-EF9C-4664-ABC0-D7E407FB3EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e3cf9bca78e19102e6a3c7dfa3a53aed9896da","datavalue":{"value":"ordered resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156634$939E7BA4-BEC7-404D-BFD3-BF9A955DDD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156634$457D76CF-B136-470E-BB8B-E81649984756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf5c99d7365d590e29268311341a47b4c35e72bf","datavalue":{"value":"termination tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156634$B39AF268-2150-4AB5-A722-F323758E77B7","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":"Q6156634$EBEA90A9-F3C4-4753-8F78-1572D538C046","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbfad4083341c1e6eba95e989289644b5346de3d","datavalue":{"value":"https://doi.org/10.1007/s10817-022-09656-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q6156634$E687F43F-45F0-4EDF-8991-5311630E1C42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6756ca965cc352b51c5eba3acf44ad219e2291fc","datavalue":{"value":"W4315498480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156634$EDF90F32-94D2-4480-83A4-19EF5B117A45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"280010c88ea3654588239b55152e0eb25171e531","datavalue":{"value":{"entity-type":"item","numeric-id":1041587,"id":"Q1041587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$23413324-40CC-4C5E-9F89-673A6CD03988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b2673bf036beb0708e9a25319f486f5c7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2651970,"id":"Q2651970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$CE6A49BF-E414-4986-9286-4CE35B79AABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"151234b3a8c514de725beb8281dddac3a274ecf1","datavalue":{"value":{"entity-type":"item","numeric-id":2964454,"id":"Q2964454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$C34AC0E8-4252-4B10-ACC7-7B1028F1D4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$9A33C3A2-7655-4E51-B48E-F2699D22A9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f2eefad08f445d5828ca880db484eaddd20fc85","datavalue":{"value":{"entity-type":"item","numeric-id":1425161,"id":"Q1425161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$775867D5-AE5D-493B-97D5-1B07759DC628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bd97e9dec390545916db4e89e737371beca26b","datavalue":{"value":{"entity-type":"item","numeric-id":5387916,"id":"Q5387916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$BC0C5529-D220-4024-936E-4FCDED364D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57f7fa6caa55b91028ff32d7dc4d210dfa455de8","datavalue":{"value":{"entity-type":"item","numeric-id":3838803,"id":"Q3838803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$8980E0B3-37A7-426F-A1C1-D83DD6D4144E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770ff92da7a58bd4dfcbfbfe619080622a30dbc6","datavalue":{"value":{"entity-type":"item","numeric-id":2303239,"id":"Q2303239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$4F68DE43-8250-4A1A-8D60-92E078F61C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1293c449a4ec199dbf2381bd6d081ce1eb4f43","datavalue":{"value":{"entity-type":"item","numeric-id":2389629,"id":"Q2389629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$C699DB24-2DBF-4B08-9B9B-FD7457C1FE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4b2cc45597c6adb320160f2d26e8212e854497","datavalue":{"value":{"entity-type":"item","numeric-id":5235250,"id":"Q5235250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$3B6DA69C-1975-460B-A264-9B11C2F15D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b850b043885273916728e7ea46c854030ea9cd","datavalue":{"value":{"entity-type":"item","numeric-id":5387921,"id":"Q5387921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$6B376ECC-8F29-4EB7-A2E3-1F9E3BE62430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6136b5248615ae61fb9d0012bf5ccd3da228d8d","datavalue":{"value":{"entity-type":"item","numeric-id":3406685,"id":"Q3406685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$D6ACA17F-5A89-403C-A971-73659E993F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5bf7b380940890b19717c2861f861d9cf52fc6","datavalue":{"value":{"entity-type":"item","numeric-id":4916071,"id":"Q4916071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$457F143C-DA40-4781-B58A-3C3028B46907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f690c3e30bb2d1bc37d6f00dd250ea1680631c","datavalue":{"value":{"entity-type":"item","numeric-id":2096457,"id":"Q2096457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$86C50F02-E112-49B8-8341-C3062A886C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64546dea5edcb439503d41ef37e4c3a53136602","datavalue":{"value":{"entity-type":"item","numeric-id":1281504,"id":"Q1281504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$16CF4618-2712-427E-A10A-F0FF0CF8384E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71bb4372ac220a7ec1437bb213ad649a7c9548d1","datavalue":{"value":{"entity-type":"item","numeric-id":287333,"id":"Q287333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$8A4CFF85-AC96-42A4-95B4-1707DF06BE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccddffba771795151957f5712724106bbb0cab2","datavalue":{"value":{"entity-type":"item","numeric-id":1707598,"id":"Q1707598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$101E8F05-3099-4A94-B283-1C6514424629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f85fd02f887f9e6cdc6efa73686f469882f2acf7","datavalue":{"value":{"entity-type":"item","numeric-id":438533,"id":"Q438533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$1D9793DE-F40D-47DD-BEE8-00C286B6D684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a195bd13c9b0db9f02362bc5a78cc685b293b80","datavalue":{"value":{"entity-type":"item","numeric-id":2945706,"id":"Q2945706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$A5D2F804-AA6E-4EA1-BE0B-499225424B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d645e2b876ab109a4fadcb1ed7f0c554bc73185c","datavalue":{"value":{"entity-type":"item","numeric-id":2303254,"id":"Q2303254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$2D3D1BB7-35B9-4DA6-888F-E0835DEEB699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3abb1020d45fa27ad50fa120d6a14f8aaf93020e","datavalue":{"value":{"entity-type":"item","numeric-id":832719,"id":"Q832719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$D3A28CCA-B8EB-451C-B0A2-6DCD0E1FCD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0b555d657cb1f5a17dad4f6c65786062114626","datavalue":{"value":{"entity-type":"item","numeric-id":2487870,"id":"Q2487870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$46B4D70D-C79A-4DBA-A647-85C300B23730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$D2E3ED55-AA60-49F1-B6F7-D0A1A6C9C1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddeddf292e13fd796c5c20e153357856b636f89","datavalue":{"value":{"entity-type":"item","numeric-id":2926635,"id":"Q2926635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$431D58CA-6343-4503-8FDE-BCF604F7339A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548bd119dd6030266c21e0dde274e652b5fc221b","datavalue":{"value":{"entity-type":"item","numeric-id":1867216,"id":"Q1867216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$0EDC28AF-6498-4169-A4E7-8C6F46E2301E","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":"Q6156634$F67500EA-E9B1-4F8E-AC11-B534A4E17257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db15afe119e4d8924199889dafaa491710809a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2751361,"id":"Q2751361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$EE4EA138-D447-4A63-AAFB-431392AAF753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae19a70a8616a64987bb08271f6f085e5255b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3908476,"id":"Q3908476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$1FB42513-E70B-4316-8719-F4C86DB50CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b945f2840d1c2d5e46ba120dbb78eb02edc11ef","datavalue":{"value":{"entity-type":"item","numeric-id":5049017,"id":"Q5049017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$8FC7C657-2A35-49BC-B3AA-6183FA27608D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c0583b3ae4e5ead4fabde676f44a42e64e7587","datavalue":{"value":{"entity-type":"item","numeric-id":4283235,"id":"Q4283235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$58A62575-7AA7-42F5-B556-B28FEB56AAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d21b07163d35bde11668858fdb21aecd3be265d","datavalue":{"value":{"entity-type":"item","numeric-id":4282510,"id":"Q4282510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$5D2E5492-7FC2-4E2C-8F39-8E153F9F7E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebba25ec6e30e98195fd89fc28af9b9ec829611","datavalue":{"value":{"entity-type":"item","numeric-id":2751377,"id":"Q2751377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$F8EB037D-AEE9-4E3D-BAF5-F417119C5E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1db31f69f14e867729757963150857470e58a6","datavalue":{"value":{"entity-type":"item","numeric-id":2305416,"id":"Q2305416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$83E45EFE-C7FF-4DE8-8D08-A47AFF4B80F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c3c1d2d8bd223898d76726cee233eaf79c3109","datavalue":{"value":{"entity-type":"item","numeric-id":3655205,"id":"Q3655205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$4FB7D4F7-B59B-4265-84EA-AEBB8D002FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596e81531801f4667663ea94c8d1d2f7c96d808c","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$ADCD2B19-A108-4AAD-B9D8-D700AA512B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$4D5B3782-0E00-4E72-945E-0E88C3AC5FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc614fe187bd0295ec729cf32cb3675e34b7b37","datavalue":{"value":{"entity-type":"item","numeric-id":4302847,"id":"Q4302847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$B149CF61-2D12-46A0-8110-7B6159ED2D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6579ba18a64bfb68d3585281c63df9817611aced","datavalue":{"value":{"entity-type":"item","numeric-id":4916086,"id":"Q4916086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$6A33FEFC-D028-45E9-A378-C4F941EEFCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda6d4bc4ff06358c5dfe216b9a7a58bec1514be","datavalue":{"value":{"entity-type":"item","numeric-id":4102765,"id":"Q4102765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$F9A12B72-A94D-4C3C-BFD5-87A9796AE66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$AD37A3DB-892B-4256-AB91-B1782D9AA27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abd7c21ad90e0dd8485a1544cb35dfb6ee469ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4916080,"id":"Q4916080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$8CFDDC03-29DA-4A78-9ECA-B41C7E6AB23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb79914689caabf010261282c9f40800b3da98d3","datavalue":{"value":{"entity-type":"item","numeric-id":2849491,"id":"Q2849491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$BD773101-6ED5-4760-8DF4-A8DD67C731D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b624435100aa332b4ed9a77a30a3c9fc845318a6","datavalue":{"value":{"entity-type":"item","numeric-id":3818295,"id":"Q3818295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$7765BCA0-2C08-4C6A-80CA-6CA4ED00A0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"985955d42b923cfa0515d9e4152c08273fc9f86a","datavalue":{"value":{"entity-type":"item","numeric-id":757095,"id":"Q757095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$DAC5867F-7DF7-4306-A900-B95B1DFD9FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbe6757abaf5ebaddf03a1c9f6e4cc71f9d1f16","datavalue":{"value":{"entity-type":"item","numeric-id":2987061,"id":"Q2987061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$0C70AACD-6DC2-41FD-ADF9-0A5F4CE3657C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fba5a1fdfac74b8e0dcefe0e56f5b10792486d","datavalue":{"value":{"entity-type":"item","numeric-id":688547,"id":"Q688547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$1C2C6F54-61CD-47DF-BDF0-8262E57ADA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe753357a6d82c52967f1976a05f5e36a3cab5a","datavalue":{"value":{"entity-type":"item","numeric-id":3498479,"id":"Q3498479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$4DCB4317-9F73-4DCF-B942-32FC1386B3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16bedf88d37c78219926e82b3d7a7a9dee66a31","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$9479F521-989E-4E25-A0C7-A5581CBD58D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$EBDB8C4C-0AF5-4423-8240-22755CE7A65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49162db0a9f16ba8ff1d16d655987623c3c4c4d5","datavalue":{"value":{"entity-type":"item","numeric-id":3541721,"id":"Q3541721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$0F61BF5A-4C09-4CFE-AF0C-BD2F10C89F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$F9DA8386-58CB-4CA2-A5BB-9B9C1FA9369D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c141352fba382a59943f19a2b1648b3ea929da","datavalue":{"value":{"entity-type":"item","numeric-id":1161312,"id":"Q1161312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$31F2E4E5-221B-43A8-9648-022888C75D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09716697edb234ce77c2288fe827cd22e3a8915","datavalue":{"value":{"entity-type":"item","numeric-id":876046,"id":"Q876046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$FFCFDAE2-1A91-4896-BDC6-BF446CFCEAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$DA929381-5393-4894-AAF5-C675800B51BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d71c3b92ca55baa877bab542d89fc889c93f6f","datavalue":{"value":{"entity-type":"item","numeric-id":972432,"id":"Q972432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$3DC6394D-C405-4354-A852-087967B19EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc3878f9df5b6107a28c21f85873329086200c14","datavalue":{"value":{"entity-type":"item","numeric-id":4345253,"id":"Q4345253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$1DA96C35-EC89-437D-A06C-FDCFAE202DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00589542fdb6ec4fc401e47318165d5bad4f817","datavalue":{"value":{"entity-type":"item","numeric-id":1581853,"id":"Q1581853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$D154655C-E522-4A10-AEBE-0C485F6A2772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dbaa87b33a581d385fe9d0627c2d3afda0f932a","datavalue":{"value":{"entity-type":"item","numeric-id":3454110,"id":"Q3454110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$F535BBE2-88D3-4DD8-B604-7DB1D9B9C50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1af0fa3ab79d3aca7d0c2eb038f3a2d86af567","datavalue":{"value":{"entity-type":"item","numeric-id":5541351,"id":"Q5541351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$AE950B67-8C31-4C92-B4C6-0708B843DB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$D3CDC7E6-7655-404A-8A30-A1355EE3963B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1399d85040ecbfbd989e12fc58a50c94b5c35675","datavalue":{"value":{"entity-type":"item","numeric-id":1400715,"id":"Q1400715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$49BA9274-B4E4-487B-948C-2172417C204F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9297b6a91a7c29eb2b70ce4159ebd40915c17240","datavalue":{"value":{"entity-type":"item","numeric-id":2305435,"id":"Q2305435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$54F99BD4-654A-4697-B7AC-80F18B7B05C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f771f551f48b2f2d21f6f2011008cb21eb26e492","datavalue":{"value":{"entity-type":"item","numeric-id":5538933,"id":"Q5538933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$FEFD0450-65F9-4636-AF76-310081105AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$DA2F0152-B9AF-4F9F-A4A6-337927DEBE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b556daa46d372d3d13308ee1a82ad862dd3152e","datavalue":{"value":{"entity-type":"item","numeric-id":3455760,"id":"Q3455760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$6DFE1802-AC7E-4709-9B50-FC51559A9F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156634$8536218F-949C-42FB-994E-B005FB10DABF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0dd35b64ae0bc8f3fc68b229703dd3ca5587f86","datavalue":{"value":"10.1007/S10817-022-09656-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156634$3D0B8B4B-B677-44AF-A2E7-438FAE47B741","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6156634","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6156634"}}}}}