{"entities":{"Q2373697":{"pageid":2384440,"ns":120,"title":"Item:Q2373697","lastrevid":57889215,"modified":"2026-04-02T23:24:12Z","type":"item","id":"Q2373697","labels":{"en":{"language":"en","value":"The intuitionistic fragment of computability logic at the propositional level"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5171324"}},"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":"Q2373697$5E03E109-632F-4E2C-9566-692DBFE75620","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"927b878acdc6e73700f409a0a8ee2f920cc3941c","datavalue":{"value":{"text":"The intuitionistic fragment of computability logic at the propositional level","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2373697$2D508228-1DCE-4FDD-B665-5B657BA8E764","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3cd7525ca7b3efc5993103e6ee9d3957434e6d8","datavalue":{"value":"1143.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373697$B56A0EDE-3258-404A-9E42-17A0F2976B47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b92b6dd4dc950e5b503f8f6d4e78c532d91da339","datavalue":{"value":{"entity-type":"item","numeric-id":259083,"id":"Q259083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$8B1A1B6E-51A0-4CE2-A3EC-58B66FE16AA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$41EE0B2B-A5C2-4C67-BCE5-192EDF74237C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e3acd577c56b212087d574010dc1f6e1c3c3b90","datavalue":{"value":{"time":"+2007-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2373697$1DCFCDB3-D690-4C73-8297-85283364AB20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c825e791a73d22ddd4cdaf7109938c80adb6da8b","datavalue":{"value":"https://arxiv.org/abs/cs/0602011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2373697$1BC7EAF3-2301-4535-B6EC-D10521C9150D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e07eb7aeb2f2acbb81ffa284cc7dcd917665d63e","datavalue":{"value":"Propositional axiomatic intuitionistic calculus (INT), Kripke semantics, and computability-logic semantics are considered. Intuitionistic formulas are built from propositional variables, the sign \\(\\natural\\) for the false, and logical operations in the standard way. INT is described in the form of intuitionistic Gentzen-style natural inference for intuitionistic sequents. The expression Int \\(\\vdash{F}\\) means formula \\(F\\) is provable in Int. A Kripke model is a triple \\(K= (W,R,\\mid\\!\\equiv)\\), where 1) \\(W\\) is the set \\(\\{1,\\dots,n\\}\\) of the first \\(n\\geq 1\\) natural numbers (the worlds of \\(K\\)); 2) \\(R\\) is a binary (transitive, reflexive, antisymmetric) accessibility relation between worlds; 3) \\(\\mid\\!\\equiv\\) is the forcing relation of \\(K\\) between worlds and formulas. If \\(p\\) is in \\(W\\) and \\(F\\) is a formula, then \\(p\\mid\\!\\equiv F\\) means \\(p\\) forces \\(F\\). The expression \\(K\\parallel\\!\\equiv F\\) means \\(1\\mid\\!\\equiv F\\). The expression \\(\\parallel\\!\\equiv F\\) means \\(K\\parallel\\!\\equiv F\\) for every Kripke model \\(K\\).   Theorem (Kripke). \\(\\text{Int}\\vdash F\\) if (completeness) and only if (soundness) \\(\\parallel\\!\\equiv F\\).   Let 1) a \\(\\Sigma_1\\)-predicate be a predicate of the form \\(\\exists{zA}\\) for some decidable finitary predicate (elementary game) \\(A\\); 2) a Boolean combination of \\(\\Sigma_1\\)-predicates be a \\(\\neg\\), \\(\\wedge\\), \\(\\vee\\)-combination of such games; 3) \\(\\Sigma_1^B\\) be the set of all Boolean combinations of \\(\\Sigma_1\\) predicates; 4) \\(\\bigsqcup\\Sigma_{1}^{B}\\) be the set of all games of the form \\(\\bigsqcup\\, xA\\), where \\(A \\in\\Sigma_1^B\\); 5) \\(^*\\) be an interpretation and \\(C\\) a set of static games, such as \\(\\Sigma_1^B\\) or \\(\\bigsqcup\\Sigma_1^B\\). Interpretation \\(^*\\) is of complexity \\(C\\) iff 1) for every nonlogical atom \\(P\\), \\(P^*\\) is in \\(C\\); 2) the base \\(\\natural^*\\) is also in \\(C\\). A formula \\(K\\) in computability logic is an interactive computational problem, formalized as a game between a machine and its environment. Let the expressions \\(\\parallel\\!\\!\\!-K\\) and \\(\\mid\\mid\\mid\\!\\!\\!-K\\) mean formula \\(K\\) is valid and \\(K\\) is uniformly valid, respectively.   Main theorem (Japaridze). 1. For any formula \\(K\\), \\(\\text{Int}\\vdash K\\) iff \\(\\parallel\\!\\!\\!-K\\) iff \\(\\mid\\mid\\mid\\!\\!\\!-K\\). 2. (Soundness). There is an effective procedure that takes an arbitrary INT-proof of an arbitrary formula \\(K\\) and construct a uniform solution for \\(K\\). 3. (Completeness). If an INT-formula \\(K\\) is not provable in INT, then \\(K^*\\) is not computable for some interpretation \\(^*\\) of complexity \\(\\bigsqcup\\Sigma_1^B\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373697$B9E2426C-4763-4A62-9817-BEA5A1FE8A38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373697$3CAB732C-7346-485D-A6EC-22B5AADDC1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373697$C48D43D2-2E1E-4CEE-8292-E7FAB750B1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373697$8C51D3A1-59E2-4EA7-9E9C-F636F3D966D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"befa58b2c9432ddb7924a5ab73f96f7188cab57b","datavalue":{"value":"5171324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373697$813DB114-1C0E-45E6-AD2D-6AE11125E55C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373697$148D1D2A-7865-49FF-804D-AF33A3F0F08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373697$271CFE57-7D32-4A7B-9452-E8F5B457004C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373697$20B9BB69-C104-4384-866E-E18F7F5C0E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2230c91cdf64c16a27a5d2b9a7dc5a5864e0831a","datavalue":{"value":"interactive computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373697$1FFC2CC6-38CA-4048-8E56-C8F5001C41AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373697$09CA4486-F060-401D-AF9F-F7222CE600DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373697$81DAE186-3C65-48A4-96BA-22F2359085AB","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":"Q2373697$DC739CF0-C05E-430E-9429-98FFA9F54465","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46fb0a5ce0c028cdeb21c81f951d534e0b4e1620","datavalue":{"value":"W1980921829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373697$BAB26678-31DE-4CF4-80BB-9FE8A961A4BE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cb3f6938aed124e3650966d41d782785ef8a76e8","datavalue":{"value":"Q56765868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373697$19A935D2-5A6A-45BD-8545-531D25FD5D91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$BFC4FA1F-BDEB-4899-991F-EFEF26C11E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6d8760610b24af897d36abe23e626dbd7c5d38","datavalue":{"value":{"entity-type":"item","numeric-id":5643819,"id":"Q5643819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$1872BF6D-F407-4D4D-9189-077C42A9D3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e1d2fad2b3369089cffb0934f8fbe434f4fba5","datavalue":{"value":{"entity-type":"item","numeric-id":1192350,"id":"Q1192350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$8F306235-141F-4A37-BF99-AAF63BF8D5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$50A94700-D268-4BC4-9064-BA9137A7D3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$59E81982-631E-40A6-A287-999742E4FEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53f81191d3b7c0b8a719c1d8f281eb0d61979e8","datavalue":{"value":{"entity-type":"item","numeric-id":1408853,"id":"Q1408853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$262A3790-B719-4DDE-AFF3-6D35968E5D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25696d83ad9c586704de353e765cf249d8dc23b","datavalue":{"value":{"entity-type":"item","numeric-id":5277750,"id":"Q5277750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$AD9624D8-D610-413F-804D-B5C526158324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad54e0569338faa758490d5d2574d6f44d69ce51","datavalue":{"value":{"entity-type":"item","numeric-id":5277751,"id":"Q5277751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$D392CE2D-2075-4763-91D7-63F7241E4C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"032fe58f0d0e793cee7e3ac30ee9defb2d6b636c","datavalue":{"value":{"entity-type":"item","numeric-id":3412001,"id":"Q3412001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$72C88DA0-2382-4012-BBBA-1FF4068E808A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09765f946ad7b1edd8e4c2f3a7a059a83c308a33","datavalue":{"value":{"entity-type":"item","numeric-id":4928705,"id":"Q4928705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$0B48BD51-7D74-4567-813C-51157EE6C3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad1ec29f8ad9206b300381c2a763a935316a75c","datavalue":{"value":{"entity-type":"item","numeric-id":2500484,"id":"Q2500484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$4CAD8B01-64AD-4F3D-8D26-F62DA0B39D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96836528b25b6ab1aa5711f1b2eb98249a8075a0","datavalue":{"value":{"entity-type":"item","numeric-id":2373705,"id":"Q2373705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$73F4F258-C8B9-490D-BAD2-868B62E283BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1e0ca244183345f021f0a50fd7ac4b3b1a4db2","datavalue":{"value":{"entity-type":"item","numeric-id":3426573,"id":"Q3426573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$79030313-1834-40DA-ACDC-DE62CB06EFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d08ba3bafb42c8fb86c0120e4597fef1cfd0878","datavalue":{"value":{"entity-type":"item","numeric-id":5422557,"id":"Q5422557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$D9B688B3-2646-4503-BD70-B05B3F8049FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$6A812A8F-CB3F-4F23-AE65-D6F175CF0DA2","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":"Q2373697$5F337452-1AC1-4513-A853-E1A588AF5657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7d3938191910b4560c168a326b0febb423bf4d","datavalue":{"value":{"entity-type":"item","numeric-id":1565791,"id":"Q1565791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$F639EC64-F789-482A-A096-F3FF633E5468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c376af624bcb2d3496d6c0f64f786c7cafb401","datavalue":{"value":{"entity-type":"item","numeric-id":5726697,"id":"Q5726697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$8BE02407-12E5-46FE-87DB-E893E2119480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d21c7e7fa66c832077171c15c2f540e3c37685","datavalue":{"value":{"entity-type":"item","numeric-id":5622184,"id":"Q5622184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373697$963FADA7-D5AA-4547-8F1A-D4A44D3706B2","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"bd8c6b9a55fdba74cd4f12b8dcacc5bf856c4182","datavalue":{"value":"journals/apal/Japaridze07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373697$298C1DEA-2A46-4BF0-AF4A-C3A59E2BBD46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94c6965959e9da9a06628c93b375e71b2c9d0815","datavalue":{"value":"10.1016/J.APAL.2007.05.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373697$78D28FF6-6C3D-43DC-A0FB-540CA033F011","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be32e5189528300d9df370552fde8bfab872da6","datavalue":{"value":{"entity-type":"item","numeric-id":5422557,"id":"Q5422557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f80eb13b3dfd352bc622d0469d6244cc08cf0502","datavalue":{"value":{"amount":"+0.870935320854187","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":"Q2373697$C93FEAA2-9F35-4269-B5EC-849AB0E13302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"766becdd83afbdbc94822321d063993a57432878","datavalue":{"value":{"entity-type":"item","numeric-id":5277750,"id":"Q5277750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58b5a64cf6213360e3c59c26cd9fcea14a6e2a9","datavalue":{"value":{"amount":"+0.8643278479576111","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":"Q2373697$FC2B3CA1-32A5-40E2-9E81-57112DECB502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8d416a3eeeb34cb56cd2090fcfc240e555ce91","datavalue":{"value":{"entity-type":"item","numeric-id":2500484,"id":"Q2500484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6252bebdb45d38e0fe44e9d0e3b22687d05dc9ae","datavalue":{"value":{"amount":"+0.8422462940216064","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":"Q2373697$6CC73A56-EE62-475E-93D0-F6840B405186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e51fb5c0cc5af6cb67bea5e3f8944959622748","datavalue":{"value":{"entity-type":"item","numeric-id":1408853,"id":"Q1408853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5a592405cc6aabf4e37b09b58fa99c0364734a","datavalue":{"value":{"amount":"+0.839449405670166","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":"Q2373697$D30366C0-9B89-41C9-9081-6B10BBF661C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db3b2db89c709471041cb103e328d46ae78485c","datavalue":{"value":{"entity-type":"item","numeric-id":3426573,"id":"Q3426573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dda7ddaadd9ca02df27ed39440b72098793c0f5","datavalue":{"value":{"amount":"+0.8262413144111633","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":"Q2373697$5F2961F9-E459-4833-BEE4-0B0BFD3DB023","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2373697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2373697"}}}}}