{"entities":{"Q438561":{"pageid":440328,"ns":120,"title":"Item:Q438561","lastrevid":51520334,"modified":"2026-01-18T15:00:46Z","type":"item","id":"Q438561","labels":{"en":{"language":"en","value":"Analytic tableaux for higher-order logic with choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6062057"}},"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":"Q438561$09680D28-DCB6-497F-905C-CCC51DA9D705","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d808cf7f12e5167ead72d29aa2b9de4fcfbda1d","datavalue":{"value":{"text":"Analytic tableaux for higher-order logic with choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q438561$B9E4FFF2-97A5-476D-93AB-ED14B40A6BBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8256ad13f102782156075c17a5e2b14dc49859aa","datavalue":{"value":"1258.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438561$6C96B1A3-9001-45E2-B9D5-DEE932B9DDDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7b56ac64afac15c9b1f8a1f299aa12f317d8d77","datavalue":{"value":{"entity-type":"item","numeric-id":438559,"id":"Q438559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$1C4073A2-B691-47BF-A716-4F1A46B25AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12a1f3f19dead339cd86bffa0b34dbb56772c8d8","datavalue":{"value":{"entity-type":"item","numeric-id":438560,"id":"Q438560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$DCEFE970-1293-4707-9938-5C4A9D46CAA6","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":"Q438561$08A8C455-733D-4A05-829B-51EE6333E6BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c7ad691786690cf86127845d28cf47311748286","datavalue":{"value":{"time":"+2012-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q438561$66AC5557-854D-4956-97F3-AF1672C2F8E7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"48bb10784940c206f5e3acdc48781b4e48321103","datavalue":{"value":"The author presents a cut-free ground tableau calculus for Church's simple type theory with choice. The inference rules only operate on the top level structure of formulas. Additionally, they restrict the instantiation terms for quantifiers to a universe that depends on the current branch. Only accessible terms on the branch need to be considered in order to apply a rule. Furthermore, instantiation terms are restricted according to the type and the formulas on the branch. This means only finitely many instantiation terms need to be considered at each stage of the search. These restrictions permit to minimize the number of rules a corresponding search procedure is obligated to consider.   The authors give an extension of the calculus to include if-then-else operators. Completeness of the tableau calculus relative to Henkin models is proved. The ground calculus presented in this paper was implemented in the higher-order automated theorem-prover \\texttt{Satallax}.","type":"string"},"datatype":"string"},"type":"statement","id":"Q438561$C1D94E97-8D0C-44AE-AADA-ECDD765AA75F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438561$839E4EBE-89D0-4717-96B0-BB209F1D2C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438561$A5BEA0BE-D620-475C-8F49-0C75993306E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438561$1DACC87F-78AF-403C-8EB0-0B3C60B59441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438561$E3DACA5E-9709-44CB-AD9A-ABCA084B32EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9a28b90dadc7805e5c27061efd5cb89d905a860","datavalue":{"value":"6062057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438561$5A2F9D06-DD73-4180-BCD5-E2F6B9B9EF61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q438561$DCD55CE9-6751-4E8C-8591-CF6B2A0A7214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q438561$4D2C2B68-1514-49D1-9392-E7CEA688F6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81d34d3d5cac7242e08646daa555e291b86e23b9","datavalue":{"value":"simple type theory with choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q438561$8B22ACB4-5B16-4735-9789-654F29314E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q438561$ECE45A3B-029F-4789-B453-C28F79C337E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q438561$1181BA2D-2689-4FE1-975C-9F00ACC591E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20def677a86877038a2e7ecdbba60bebe81f9bdc","datavalue":{"value":"Henkin models","type":"string"},"datatype":"string"},"type":"statement","id":"Q438561$F6D053C5-58BA-4DBE-A5BF-7989145F00DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1be90485cb333322c16678c1a81f8f0c4e91121","datavalue":{"value":"higher-order automated theorem-prover \\texttt{Satallax}","type":"string"},"datatype":"string"},"type":"statement","id":"Q438561$6C5529EF-740D-48CE-A021-E76422B45D31","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$CDBEF39B-813D-4252-86D9-D587E30AC9C4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$6FDA30D4-5B6A-4878-92A5-2A17A309BC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$A72139CD-D278-4F16-A3E4-78F6BB4578D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$0C465394-CB3F-46F8-B46A-8AABDFFC76AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$AA6941F2-50A8-473A-ACA6-94C465B6193A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$583B6A51-5C9F-407D-B16D-C1B9CD6A45BB","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":"Q438561$E1277FCA-8686-402B-9437-7C233DE15BBA","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":"Q438561$12D659E2-6F4E-4E94-B6C7-25049F535594","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a057eb3dcc06f104c16eaf68f9e14627a6a584d4","datavalue":{"value":"https://doi.org/10.1007/s10817-011-9233-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q438561$04FDA896-4EFD-44D7-B7A8-A7B04FD905BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e448758d36a223458d1ccacff5b809ad368b77c","datavalue":{"value":"W2081512679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438561$C91F6DBA-9691-4E1F-AF69-BAF35D3B5642","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a8ea47b244e0665058313d59af5ab63a196409","datavalue":{"value":{"entity-type":"item","numeric-id":5308026,"id":"Q5308026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$CAC32424-919D-40B5-BF6F-98D81137C5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$009F7A84-7991-4E09-A5CB-2736DB93C3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b31eb60d26c4661feb10212d462496d10d3f508","datavalue":{"value":{"entity-type":"item","numeric-id":5680123,"id":"Q5680123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$A5BE7946-65E4-40E7-90B7-B769CE7DA2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ba4c761d0afd2b68b331890cbe715eaa366ee6","datavalue":{"value":{"entity-type":"item","numeric-id":865629,"id":"Q865629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$73831AB1-F92D-437F-931A-8FE8D1A016FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768895073112d4837fb82e113f959ecdf2c6fc03","datavalue":{"value":{"entity-type":"item","numeric-id":5747752,"id":"Q5747752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$6E556A67-832E-4BAD-8234-88ACD4CF29F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f642486373a0fa74b22c32d26998cf6c9062b1a5","datavalue":{"value":{"entity-type":"item","numeric-id":4249894,"id":"Q4249894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$89FD49EA-EC69-4117-9ED1-DBCFF2680308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abb395247f033fef2d5dccf3b9e631ac3727ad5c","datavalue":{"value":{"entity-type":"item","numeric-id":3623018,"id":"Q3623018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$21BAB17D-D2A9-4220-A8CC-687DE3C7B052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d49380a5a0cffda5d1e1b4a498a844a9c2c454f3","datavalue":{"value":{"entity-type":"item","numeric-id":5311767,"id":"Q5311767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$6DEAFBD6-00AF-4F4E-BE29-769E58658E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4adc22ed174f33297ffa675f67b5ee27a98ff71c","datavalue":{"value":{"entity-type":"item","numeric-id":3541699,"id":"Q3541699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$1351628A-0408-4B0E-9D25-55909D8057A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1be11546637b463456ebcd2648ab10de0d55ca","datavalue":{"value":{"entity-type":"item","numeric-id":3586992,"id":"Q3586992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$DD03C261-BDBC-43EB-903D-4B5BA38F41F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efaa49a64c71401977196b9deb3c2a19874088f0","datavalue":{"value":{"entity-type":"item","numeric-id":3183527,"id":"Q3183527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$33B56143-88CD-411D-B8EE-7590FE901F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358a0dce7176bf4fe5881c864637cb96e7a5e349","datavalue":{"value":{"entity-type":"item","numeric-id":3648727,"id":"Q3648727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$D9B105FC-B4A6-44FA-9CF7-F3804E1436A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fdfc0c3c0e9cfc6e7c95d80498c21e9933322c3","datavalue":{"value":{"entity-type":"item","numeric-id":3575302,"id":"Q3575302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$46984EB8-F107-4D92-B344-A70A26664ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$90881F99-4687-4E8E-A392-408FDC967BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$686364C1-8010-4AD4-9ECC-D1E25650DA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$E14F95FF-774B-45AB-A123-F0DC7D9396B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$29D1BDC5-830F-43F8-A900-5DA8BFE47326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e7a0a32f4dee9a175e4a0351a5d10c3870fe53","datavalue":{"value":{"entity-type":"item","numeric-id":5663463,"id":"Q5663463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$413AB72F-6CDF-4FC8-94BE-957C988F2543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675ec5894a8c57acbe2bcc56434f5813617d031","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$E4E6372C-2FAD-44DB-B840-42D76D5A7545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"649acc6a12397180fa1e9dcfe575ddfe054b5ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4262565,"id":"Q4262565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$19040E04-1245-48A4-8639-860C2E2BE7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b80347fecc1538e6f48ea7baaf54fa1296ed45f8","datavalue":{"value":{"entity-type":"item","numeric-id":2704326,"id":"Q2704326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$02E70768-3C31-42BA-852A-EE352AB0A89E","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":"Q438561$A22D1F7A-55EB-49C0-B76D-1F98409D1064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"341cf25e1331e9c3d9b625066b41f81f88fc1449","datavalue":{"value":{"entity-type":"item","numeric-id":5549033,"id":"Q5549033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$408073ED-4635-4D04-BBAC-AA42473A540D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$F8B55F6E-B70F-4046-B166-8871EAC468AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"033624a7007e7f19014ffd926803b277854e28c1","datavalue":{"value":{"entity-type":"item","numeric-id":5729293,"id":"Q5729293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$4CE0416B-CA45-420B-8CE2-0BE5EB42EF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$78250A5B-1E2D-4B62-9871-5093E180D799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c7280b4339f363f27a2dae63a60ca540c2ac3ca","datavalue":{"value":{"entity-type":"item","numeric-id":5191100,"id":"Q5191100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$636B3135-8F5C-4292-A475-9A024FFB1DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6aa69685210300766d73d320197c1338e123ce","datavalue":{"value":{"entity-type":"item","numeric-id":5628098,"id":"Q5628098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438561$2D47DD5E-BDB5-4CE4-8065-F5C5F1D74D54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ec6a7c44e6b71ec0a87196a0a8fc71cc58be721","datavalue":{"value":"10.1007/S10817-011-9233-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438561$205044FC-976B-4088-BA5D-27934BB714A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e4e6bf81b9c2b3e3f05a78c7d57a17d4c5fbf3e","datavalue":{"value":{"entity-type":"item","numeric-id":5747752,"id":"Q5747752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d4450ba61b8a3bd4dcabd5cfcf44937d0d6312","datavalue":{"value":{"amount":"+0.9984118342399596","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":"Q438561$46C2B19F-87A1-4589-931A-EF036BD578C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ec97b8481b3a0b1d3747ab1cfe1014f767440b","datavalue":{"value":{"entity-type":"item","numeric-id":4524794,"id":"Q4524794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15feed66372ece155dbc7af825927b17a580908","datavalue":{"value":{"amount":"+0.7902478575706482","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":"Q438561$27994B71-7671-432F-B716-9DDF821A0D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a004e3014da5cbce4c25c72adfb581e09b33b591","datavalue":{"value":{"entity-type":"item","numeric-id":3575302,"id":"Q3575302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15feed66372ece155dbc7af825927b17a580908","datavalue":{"value":{"amount":"+0.7902478575706482","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":"Q438561$7EFE769B-EEF4-47FC-92B2-CAC120498EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae176a4f781fe1ef52948212c35c9d78c26d1dea","datavalue":{"value":{"entity-type":"item","numeric-id":4247078,"id":"Q4247078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc43ab508feb50a3dc3193f4fd2b5fd8c0a5b1b","datavalue":{"value":{"amount":"+0.7497799396514893","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":"Q438561$720D095A-3662-4319-B3B3-7C4519EDB59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd196f3fe05b6c1fd9b8a66b7dd3402a0b1dbc3","datavalue":{"value":{"entity-type":"item","numeric-id":3192181,"id":"Q3192181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32592f2deb5a9ed97a598051be21e49a3163777b","datavalue":{"value":{"amount":"+0.7451248168945312","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":"Q438561$09D75502-9013-427D-B198-1E9B3BDF220E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:438561","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:438561"}}}}}