{"entities":{"Q2312092":{"pageid":2322835,"ns":120,"title":"Item:Q2312092","lastrevid":57837006,"modified":"2026-04-02T18:06:22Z","type":"item","id":"Q2312092","labels":{"en":{"language":"en","value":"A Kuroda-style \\(j\\)-translation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7077053"}},"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":"Q2312092$C2EFC4DF-6E1D-43FC-9710-E4C1F6162CE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76aa5fb4734fd6c3b5ec144c37a6de965694b5ce","datavalue":{"value":{"text":"A Kuroda-style \\(j\\)-translation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2312092$038EFE16-7EB9-473E-8D21-44F13DEB3405","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a8b6e8bb10e196c1ff3499190c496c15407e6ea","datavalue":{"value":"1450.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312092$DCCFE220-A65D-4EFA-9C77-B660E3BAFDEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d5b6d9c706120e3546cda282e0bf75898c459f","datavalue":{"value":{"entity-type":"item","numeric-id":448332,"id":"Q448332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312092$41E658FA-1050-4B89-A061-3A0978D94066","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312092$3CC46C2D-1822-4F03-A0FE-FC0E43A8E263","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311afef0a4b95245df7f6c2908ad6e9d40f3f2be","datavalue":{"value":{"time":"+2019-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2312092$37A1DD3F-0E27-46DF-AB40-031E788A8245","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ec736af30c001b2b2dd0f76e9d6a9512456f744","datavalue":{"value":"https://arxiv.org/abs/1708.08791","type":"string"},"datatype":"url"},"type":"statement","id":"Q2312092$DB38442E-1DBD-448F-854F-3FD7B07D3B10","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"331e3fcd3c1a49281b5cea105c1225b0741182c0","datavalue":{"value":"Let \\(\\mathsf L\\) be one of: \\begin{itemize} \\item classical predicate logic \\(\\mathsf{CQC}\\); \\item intuitionistic predicate logic \\(\\mathsf{IQC}\\); \\item minimal predicate logic \\(\\mathsf{MQC}\\). \\end{itemize} A nucleous is a mapping \\(j\\) of formulas that is \\begin{itemize} \\item monotone (that is \\(\\vdash_\\mathsf L (\\varphi \\rightarrow \\psi) \\rightarrow (j\\varphi \\rightarrow j\\psi)\\)); \\item inflationary (that is \\(\\vdash_\\mathsf L \\varphi \\rightarrow j\\varphi\\)); \\item idempotent (that is \\(\\vdash_\\mathsf L j\\varphi \\leftrightarrow jj\\varphi\\)); \\item commutes with conjunction (that is \\(\\vdash_\\mathsf L j(\\varphi \\wedge \\psi) \\leftrightarrow (j\\varphi \\wedge j\\psi)\\)); \\item commutes with substitution (that is \\(\\vdash_\\mathsf L (j\\varphi)[t/x] \\leftrightarrow j(\\varphi[t/x])\\)); \\item does not add free variables (that is \\(\\mathrm{FV}(j\\varphi) \\subseteq \\mathrm{FV}(\\varphi)\\)). \\end{itemize} Let \\(A\\) be a fixed sentence; some examples of nuclei are \\begin{itemize} \\item \\(j\\varphi \\, = \\, \\neg\\neg\\varphi\\); \\item \\(j\\varphi \\, = \\, (\\varphi \\rightarrow A) \\rightarrow A\\); \\item \\(j\\varphi \\, = \\, \\varphi \\vee A\\); \\item \\(j\\varphi \\, = \\, A \\rightarrow \\varphi\\); \\item \\(j\\varphi \\, = \\, (\\varphi \\rightarrow A) \\rightarrow \\varphi\\). \\end{itemize} If \\(\\Phi\\) is a list of formulas \\(\\varphi_1,\\ldots,\\varphi_n\\), then let \\(\\Phi^j\\) be \\(\\varphi_1^j,\\ldots,\\varphi_n^j\\); by applying a nucleous~\\(j\\) to \\begin{itemize} \\item atomic formulas (that is \\(\\varphi_\\mathrm{at} \\ \\leadsto \\ j\\varphi_\\mathrm{at}\\)); \\item disjunctions (that is \\(\\varphi \\vee \\psi \\ \\leadsto \\ j(\\varphi \\vee \\psi)\\)); \\item existential quantifiers (that is \\(\\exists x \\, \\varphi \\ \\leadsto \\ j\\exists x \\, \\varphi\\)); \\end{itemize} we get a translation~\\(\\cdot^j\\) from \\(\\mathsf L\\) to itself (that is \\(\\Phi \\vdash_\\mathsf L \\psi \\ \\Rightarrow \\ \\Phi^j \\vdash_\\mathsf L \\psi^j\\)). For certain choices of nuclei, \\(\\cdot^j\\) is a translation from \\(\\mathsf{CQC}\\) to \\(\\mathsf{IQC}\\) (that is \\(\\Phi \\vdash_\\mathsf{CQC} \\psi \\ \\Rightarrow \\ \\Phi^j \\vdash_\\mathsf{IQC} \\psi^j\\)) or even to \\(\\mathsf{MQC}\\) (that is \\(\\Phi \\vdash_\\mathsf{CQC} \\psi \\ \\Rightarrow \\ \\Phi^j \\vdash_\\mathsf{MQC} \\psi^j\\)); translations of this type are know as negative translations. The translation~\\(\\cdot^j\\) resembles the G\u00f6del-Gentzen negative translation. The author proposes to apply the nucleous~\\(j\\) to \\begin{itemize} \\item the consequent of implications (that is \\((\\varphi \\rightarrow \\psi) \\ \\leadsto \\ (\\varphi \\rightarrow j\\psi)\\)); \\item universal quantifiers (that is \\(\\forall x \\, \\varphi \\ \\leadsto \\ \\forall x \\, j\\varphi\\)); \\end{itemize} getting a new \\(j\\)-translation~\\(\\cdot_j\\) from \\(\\mathsf L\\) to itself (that is \\(\\Phi \\vdash_\\mathsf L \\psi \\ \\Rightarrow \\ \\Phi_j \\vdash_\\mathsf L j\\psi_j\\)). The author proves that for certain choices of nuclei, \\(\\cdot_j\\) is a translation from \\(\\mathsf{CQC}\\) to \\(\\mathsf{IQC}\\) (that is \\(\\Phi \\vdash_\\mathsf{CQC} \\psi \\ \\Rightarrow \\ \\Phi_j \\vdash_\\mathsf{IQC} j\\psi_j\\)) or even to \\(\\mathsf{MQC}\\) (that is \\(\\Phi \\vdash_\\mathsf{CQC} \\psi \\ \\Rightarrow \\ \\Phi_j \\vdash_\\mathsf{MQC} j\\psi_j\\)). The translation~\\(\\cdot_j\\) resembles the Kuroda negative translation. As applications, the author recovers as corollaries to his translation~\\(\\cdot_j\\) two results: \\begin{itemize} \\item if \\(\\varphi\\) and \\(\\psi\\) are formulas without \\(\\forall\\) and \\(\\rightarrow\\), then \\(\\varphi \\vdash_\\mathsf{CQC} \\psi \\ \\Rightarrow \\ \\varphi \\vdash_\\mathsf{IQC} \\psi\\); \\item if \\(\\psi\\) is obtained from \\(\\varphi\\) by replacing implications~\\(\\alpha \\rightarrow \\beta\\) by \\(\\alpha \\rightarrow (\\beta \\vee \\bot)\\) and universal quantifications~\\(\\forall x \\, \\alpha\\) by \\(\\forall x \\, (\\alpha \\vee \\bot)\\), then \\(\\vdash_\\mathsf{IQC} \\varphi \\ \\Rightarrow \\ \\; \\vdash_\\mathsf{MQC} \\psi\\). \\end{itemize} Finally, he relates his translation~\\(\\cdot_j\\) to \\textit{M. J. Beeson}'s presentation of forcing [Foundations of constructive mathematics. Metamathematical studies. Berlin etc.: Springer-Verlag (1985; Zbl 0565.03028)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2312092$F45D51DA-8801-4C20-9A37-4E97D3F0AA50","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"16113f92b223c2e138979b54dd132faf2cbea555","datavalue":{"value":{"entity-type":"item","numeric-id":361871,"id":"Q361871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312092$5E949CDB-1AB6-4251-B0F9-67F19F51B48C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312092$F31B14DF-4CBD-4569-B8E1-CC676A75470D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312092$281491F1-EACC-4BC2-B87D-8BD809D779B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312092$731428BC-0DFF-43FC-8FD2-2F250DB732DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c42e53e7450f8a7a72bd8266f1b341969414217","datavalue":{"value":"7077053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312092$7C6828A5-F50E-4B64-A7CE-B2A0DDBF0DC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c59b31dc8c1dcdfa1e04a5d477c04cf7524715","datavalue":{"value":"j-translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2312092$18359169-FE52-4659-930E-7760C15857D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d70acc4487c94a262d59dce688e5372fa6a0eb0a","datavalue":{"value":"nucleus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2312092$28DA9035-06B7-4F61-ADB0-FDD9F6183E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf7a16970906ea298ae5fc08e919cf7a255a92aa","datavalue":{"value":"negative translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2312092$D84F48D8-0E7A-42C8-A522-1C3A949A6058","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":"Q2312092$7CB26C96-B083-4536-87FA-EA2EF137BF81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88f89da9c6b62c6e160fc07a299298d9835f71dd","datavalue":{"value":"W2963599042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312092$290CA2B5-8D9E-4E48-A7B2-EFDF23C9B6AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b26b59dd2739c700cc12e6cc1ef45859878ecccc","datavalue":{"value":{"entity-type":"item","numeric-id":2746758,"id":"Q2746758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312092$A78CBF45-1684-4084-8A96-0D7D7F7A609B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca3374f38546cd0b5f3c54b80aae548e59ad030","datavalue":{"value":{"entity-type":"item","numeric-id":4678943,"id":"Q4678943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312092$3B72327F-A891-4AE8-9C77-D558BA68A63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312092$161904D2-A59E-45BB-BA94-BCB9A15618B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d924809cd7dde4fee01261ee91e6338b092ffe","datavalue":{"value":{"entity-type":"item","numeric-id":4236755,"id":"Q4236755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312092$F7A9B26F-95AC-4F94-8C8A-CD9615FC23A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e9cd00bd888e0c2ec3144ef21f154ae7d49a0","datavalue":{"value":{"entity-type":"item","numeric-id":5573370,"id":"Q5573370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312092$8D665A4A-7799-4917-847A-22B9CF8DEAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0389ecf4fd560ef72fd0217b09ee04765d70bace","datavalue":{"value":{"entity-type":"item","numeric-id":1699743,"id":"Q1699743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312092$D7F5E758-A9A0-4911-9FB3-2A79EB677078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aea45f7cabe4b4b043c5c49d7e85cd4318a69a9","datavalue":{"value":{"entity-type":"item","numeric-id":408162,"id":"Q408162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312092$40F0E68A-6824-42A4-B166-33C0A149261A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bb526784b7bc0517d99805eff98b4a5f58f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312092$5529A407-AE7B-4BC7-9821-00CAB69705DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0ad0ff33b97fe3fcdb65aef119b0afb35bccbf","datavalue":{"value":{"entity-type":"item","numeric-id":4981448,"id":"Q4981448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312092$E17EB2E1-C144-4853-8277-86BA2967B45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312092$F6ACFCE0-FBDD-47C9-9228-36DED35B998B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312092$BE86C655-3278-4CBE-8438-2A700320AEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5f4acd56522c4d0768c024603aed4365179f67","datavalue":{"value":{"entity-type":"item","numeric-id":5803251,"id":"Q5803251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312092$0BE7773A-35E5-410A-9817-30E8E9EB9A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45b3b52ebf5668f4e60d02f1db5e8adf1a3fecc1","datavalue":{"value":{"entity-type":"item","numeric-id":5676377,"id":"Q5676377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312092$4E8963D1-A728-4A24-A3E1-571C91F02D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccea3085d1a99452f4b762c746959e4d143edfdd","datavalue":{"value":{"entity-type":"item","numeric-id":387125,"id":"Q387125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312092$91CBC625-ED74-4E5C-8DCE-48DA8FC13CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312092$9EBA27B6-9F9B-4A1E-86DD-A4961DAC8432","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8cf3daeb95fcc24687554d0cc107171de2edc98b","datavalue":{"value":"Q128746089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312092$55B8CBF0-B7D8-432C-B8AD-AC6B38FD194F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a771ff97e227000f9d5d6452610bb93415bf2d6f","datavalue":{"value":"10.1007/S00153-018-0656-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312092$CD04307E-8684-489E-837E-BE58F488E9CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d609ddf49c41619ddcf44ff99a7d4d7685b9b50e","datavalue":{"value":{"entity-type":"item","numeric-id":361872,"id":"Q361872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"588ca4bee9863e32f5c25c892aa51a373d631173","datavalue":{"value":{"amount":"+0.7952668070793152","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":"Q2312092$5C9262B7-D418-4186-8C01-A32ACC969631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d5cd98e0a10d85bbe4e6263f5862cd277cf22c","datavalue":{"value":{"entity-type":"item","numeric-id":4981448,"id":"Q4981448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d1de6f1327a6523f3f196ffb74fd6a0df0269a","datavalue":{"value":{"amount":"+0.7844677567481995","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":"Q2312092$D14A430E-0D43-47B4-A77C-E0C324E256D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db4b79dec7ac775e490e66bd71a0c55c15e63c5","datavalue":{"value":{"entity-type":"item","numeric-id":4964696,"id":"Q4964696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df1642387c2d67e9d4a9b4c867b029f6fdbedf5","datavalue":{"value":{"amount":"+0.778987467288971","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":"Q2312092$547C3092-BC39-43B9-8D24-4AEB5E3D6C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4663357b8fc5fd7c6d37f5792c4f5d07487ddc","datavalue":{"value":{"entity-type":"item","numeric-id":5111325,"id":"Q5111325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42149f3affeed4912775ad5064424af0e006465f","datavalue":{"value":{"amount":"+0.7614625692367554","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":"Q2312092$7361D32F-B910-44D8-94DF-61A5720DD5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f416b3b6d24e182d9b7abbd32e5c153e24efa7","datavalue":{"value":{"entity-type":"item","numeric-id":1577359,"id":"Q1577359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"547280d873890016db59f0c1931481866596b1e3","datavalue":{"value":{"amount":"+0.7475370764732361","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":"Q2312092$35F5D18D-0E30-49B3-83ED-3C12934EEECD","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":"Q2312092$925CB0B7-1DEB-456E-A0A6-608BED8C5EEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2312092","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2312092"}}}}}