{"entities":{"Q2503404":{"pageid":2514147,"ns":120,"title":"Item:Q2503404","lastrevid":44228103,"modified":"2025-11-21T01:38:28Z","type":"item","id":"Q2503404","labels":{"en":{"language":"en","value":"The Skolemization of existential quantifiers in intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5054386"}},"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":"Q2503404$AFF2074F-DBAA-4E8C-9272-B9D8824B5959","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cb0fcca1c987e1e82c310a785f5db80e520f51f","datavalue":{"value":{"text":"The Skolemization of existential quantifiers in intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2503404$FE89BA53-7B41-4518-B000-7847C73DF5A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55d744401e84a37dddd19704b1b1cb5da580183f","datavalue":{"value":"1106.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503404$4FD3EF09-9499-427D-A3E5-383A206E9E08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$EC4B43CC-3BEA-44B5-809C-DDE6FB88CF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e326b781d7ea9722bb167cc0ed9408436c2cad0b","datavalue":{"value":{"entity-type":"item","numeric-id":234719,"id":"Q234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$306DDC78-8869-48B8-8840-5EAB7B132AD6","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":"Q2503404$F1F15E6F-C47A-4DCA-83F7-093476F9F981","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f4ffc608ada8e4a14c4a7ac75bb9921c404be25","datavalue":{"value":{"time":"+2006-09-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":"Q2503404$6D916366-5650-4343-A562-41F70DEB6164","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62f9f7c2273b11842d1b2f83a8891aca44f8e8ef","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/353953","type":"string"},"datatype":"url"},"type":"statement","id":"Q2503404$4BB0C28D-050D-4684-A723-62CCD322463D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a4de45cefc593ed8fbef5ceab32e729e0fae2435","datavalue":{"value":"Skolemization, together with Herbrand's theorem, is one of the fundamental methods to connect a predicate logic with its propositional base, and is applied in several problems such as decidability, automated theorem proving, and so on. In classical logic, as is well-known, any formula can be Skolemized preserving provability. As for intuitionistic logic, however, the method does not work for all formulas but only for those which are characterized by G. E. Mints.   In this paper, an alternative method of Skolemization, called eSkolemization, is proposed. Roughly speaking, it restricts the Skolem function employed for a strong quantification so as to range over ``existing'' terms to be defined thus by means of the existence predicate introduced by D. S. Scott. The method covers much more formulas than the standard one; for example, all formulas in which all strong quantifiers are existential.   The authors first provide a Gentzen system, called LJE, for the logic, extended from the in\\-tui\\-tio\\-nistic one by adding the existence predicate where the quantifiers are relativized to existing terms by making use of the predicate, and then prove the soundness and completeness of LJE with respect to a Kripke semantics designed naturally. The main result on eSkolemization is proved in LJE according to the Kripke semantics, and applied to Gentzen's original LJ as well via certain conservativeness of LJE with respect to LJ. The paper includes also some observations on the properties of LJE; cut-elimination, interpolation, etc., for instance.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503404$A0ACF1CF-1425-4FD8-B2CD-43308BE84780","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$03C3FB3F-5103-47A0-AFA0-752EAD67C531","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503404$E5D0C4F8-E9B4-4D1C-9006-9C1B9EDE3817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503404$9940D8B3-B760-4A26-A1C3-247B27968064","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2b804129640b09b63bee59e948802b03ea827f8","datavalue":{"value":"5054386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503404$FE416E7A-4D85-45C7-9660-E07F3D9E7B0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b34e81c9be74c25aae2603a8dfa343c349c2721","datavalue":{"value":"Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503404$F9BEB718-9FC7-41FF-B0A5-A0A7C01A94CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92c2b2dc68887a93b5dfe054cb049d6e510daaba","datavalue":{"value":"eSkolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503404$E1217661-FB15-4208-8E2D-C1E2B135F030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503404$01CDE6D6-B8A3-487B-94E6-6B6F8EE8034C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503404$0DF04230-B808-4E22-8CCD-B0A8B0DD2BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503404$1EB4B6E2-A737-4B8B-BF3F-24DE697ABBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1dd2829add34e6c0adb199f2ad50cb663cd9070","datavalue":{"value":"existence predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503404$A2C3FAB5-C90E-43AB-A86F-F6F6D6AA79B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503404$71966F33-4876-43D8-8204-766B9B737CD6","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":"Q2503404$8FD4150E-9CF2-4F8C-90D3-6C2F273F8D8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97a9303da7bc58bde43549850b423cef4979cb3f","datavalue":{"value":"W2080694187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503404$FE07099D-ECB5-4361-AB50-5C6C95484F2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4349a4945383fab5f883bdef5abc9122ae1b876","datavalue":{"value":{"entity-type":"item","numeric-id":817698,"id":"Q817698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$DE53B449-083C-4786-9B0C-BFE10680454D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61234dae26d5b83ced560641237efc65fbe6905c","datavalue":{"value":{"entity-type":"item","numeric-id":5387875,"id":"Q5387875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$8DF6F517-98F7-4102-950E-8DA15CCE1EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b559e594edc07777117cb084e905ea94187a1df3","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$D702C720-2270-4E0E-B9B1-41BCB8ED4FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1edcb888e96f446a1331c09f2a0c09105dbc83","datavalue":{"value":{"entity-type":"item","numeric-id":3426561,"id":"Q3426561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$4767774F-8EBF-4830-9E4F-BC86A6B5E767","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":"Q2503404$50D8981D-D6BB-4834-BAA7-79DC2C26C87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e89d8d03393c956719e9f366cc5f7a6ed4752f6","datavalue":{"value":{"entity-type":"item","numeric-id":4206723,"id":"Q4206723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$E45F0CE6-6AC9-46FD-831F-0CF1186CD87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2f9e2ad93b06ab1b713950faadf42f86b42e23","datavalue":{"value":{"entity-type":"item","numeric-id":1264135,"id":"Q1264135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$3B92B40E-E8A3-48EC-9FA7-303C8E5080EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dca0ae1025642432ff78eab317d494163fb9e74","datavalue":{"value":{"entity-type":"item","numeric-id":1207344,"id":"Q1207344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$90181A08-4440-4D67-B4B8-F6EFE60D4504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"386a2942540989818d0e3d4524533a98b453bc14","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$675C4FE9-35B9-4238-8534-036E87EF8F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f383440d27b874e71a77641c718884b60c520d1","datavalue":{"value":{"entity-type":"item","numeric-id":4942001,"id":"Q4942001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$B16A8054-B1D2-4A14-9107-E0EAFDF69F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb99ef2dd029a6a71f5c13723c87366677baf080","datavalue":{"value":{"entity-type":"item","numeric-id":5696304,"id":"Q5696304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$E0947920-E091-4ECD-B451-05C065801546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60eb4a53edc68a67761782ffef6d056b5783137b","datavalue":{"value":{"entity-type":"item","numeric-id":5596800,"id":"Q5596800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$A19C428A-694E-4A0D-8FEC-3D2938ECAA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e96724ecdaf3b10ad794bdc9c339c51e07df37","datavalue":{"value":{"entity-type":"item","numeric-id":5579476,"id":"Q5579476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$C2628A1A-C88A-425F-92FE-6FF3E2F88F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee8fe1191b9d814a579183f943d97319419e687","datavalue":{"value":{"entity-type":"item","numeric-id":1845874,"id":"Q1845874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$E74D5671-0A1D-435B-8508-5FD10C90B5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d01dd8e36e9966af97d4756acd8b84652d5f596","datavalue":{"value":{"entity-type":"item","numeric-id":4312461,"id":"Q4312461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$D91514EF-D0B9-4815-A1E1-C2EA90C3B440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"982a2048dbca32b998faaf02f17ebd6cf97a7911","datavalue":{"value":{"entity-type":"item","numeric-id":2702564,"id":"Q2702564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$ABDFB3D0-F6ED-4AEF-82CD-0946772C3CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b47e427b41b4173e50108f0857c520d19a8b62","datavalue":{"value":{"entity-type":"item","numeric-id":3208629,"id":"Q3208629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$844677A3-EA2B-4F32-B94C-B5BA0AB0CA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cf7a10bff66d836e836dc6763a8738e552c50f","datavalue":{"value":{"entity-type":"item","numeric-id":4264720,"id":"Q4264720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$A52A7886-5560-4D4D-9878-CF0E47DA68A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2bb4bade9154b298dec9eeff5f3980507a06710","datavalue":{"value":{"entity-type":"item","numeric-id":5676209,"id":"Q5676209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$461CF9BB-A214-4D59-B063-FF63122A1D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"415415f5c831abad19dc1108e67f5f5d02896597","datavalue":{"value":{"entity-type":"item","numeric-id":4159057,"id":"Q4159057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$07E637B1-C689-4999-8CE6-A42F074B043A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7895067d93807ed12c82cf34a5a83b73c813d58","datavalue":{"value":{"entity-type":"item","numeric-id":1099155,"id":"Q1099155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$13172F31-D738-4BDD-BC3E-6A28D80FDE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$797F1C2A-E5A5-4DB4-96B2-D08903182D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bab06c6efc101c2c178c21ed15568782da3276","datavalue":{"value":{"entity-type":"item","numeric-id":3693510,"id":"Q3693510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$9BD0DFE8-389B-4EC7-8349-EFF67C5E205B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$27932E02-CB62-4CD9-84EE-D7E3767E6637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$290E4512-D41F-4CF2-9033-B3B1A20FCA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94601d8d25d56e483bc8718d1c4429028f0983e","datavalue":{"value":{"entity-type":"item","numeric-id":3720600,"id":"Q3720600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503404$D80F9FE4-3F88-479C-B0A7-E93D9EB19DD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a5986892be515619d191f9fce0453140e919dbf","datavalue":{"value":"10.1016/J.APAL.2006.02.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503404$AEA2FE28-75D5-4B97-B5F6-98575952180C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"957b0082b4552dc28eccfb022df1d8e8d75b0496","datavalue":{"value":{"entity-type":"item","numeric-id":3511466,"id":"Q3511466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25746822cdff220dc9a212d307a740eb455c548d","datavalue":{"value":{"amount":"+0.9168799","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2503404$E8F186C2-EEF0-4B45-AF0C-E35441328F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2535b1517c541c95e14c717ef417610842c24782","datavalue":{"value":{"entity-type":"item","numeric-id":3094144,"id":"Q3094144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9db24579d454bcdcc9d69b8450fa8eaeb11a385","datavalue":{"value":{"amount":"+0.9122735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2503404$7ED700DB-4A72-4DC5-9BB1-FB74BB10B854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cadeb0cbdbcea2206210b92406402fcf304fa5a","datavalue":{"value":{"entity-type":"item","numeric-id":2702564,"id":"Q2702564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6aa3dbe0276994f46c3dc15863205dd654f67b0","datavalue":{"value":{"amount":"+0.9056008","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2503404$FFD37773-1354-473A-9F8F-C388083B0B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0a0ed4675ffa4d7d5b41b3419efa25f310b62d","datavalue":{"value":{"entity-type":"item","numeric-id":4644539,"id":"Q4644539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9985312806a04dc39aa380fc1184fc7b552b0bb","datavalue":{"value":{"amount":"+0.89916193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2503404$A5093872-D5DF-4050-B688-44A761F31862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3625139a48b1b52c210c022004deeddfe4a39cfb","datavalue":{"value":{"entity-type":"item","numeric-id":3122078,"id":"Q3122078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154798cc22ae43fe75b83790d04b0239acb845f8","datavalue":{"value":{"amount":"+0.8953318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2503404$06CD282A-555F-489D-B04A-1595E4DDB654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1259bbedb4c55fd60919f65ad0722d7401d41ca8","datavalue":{"value":{"entity-type":"item","numeric-id":1380406,"id":"Q1380406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"265faa18ebc211e9e0b9a59156e0025b14f11598","datavalue":{"value":{"amount":"+0.89531755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2503404$E8067448-0B50-4D17-980B-67B663003606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412df037011f4adba356fedd08fedbd9939fa313","datavalue":{"value":{"entity-type":"item","numeric-id":638487,"id":"Q638487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a3648db9d88f5662121c61bc65d8efc990c85e8","datavalue":{"value":{"amount":"+0.89471346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2503404$5C3EAFB5-5742-4BA7-9AB2-5219BC6C19C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1fdd13d476600af771b25bcab3f90caf335ff8f","datavalue":{"value":{"entity-type":"item","numeric-id":1740611,"id":"Q1740611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1040b50b7b697b0e369ea624d5bee17518d4ac2","datavalue":{"value":{"amount":"+0.892739","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2503404$3DD9D3A9-DFC1-45AD-B24C-39E35C76585E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d886e0e830c068e08ac3ab53f48522901c12c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4364519,"id":"Q4364519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9fbdae39ff9a8b227f1ce4c4fb1f67a7e107ccc","datavalue":{"value":{"amount":"+0.8918964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2503404$999FEC78-EC61-4ECD-B654-DBAD239FF660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb136b35ea81971486ae3a6b66f030aa5b8c08d","datavalue":{"value":{"entity-type":"item","numeric-id":3726115,"id":"Q3726115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f571f83cc1a8986cafe9cd86220015c86263f74","datavalue":{"value":{"amount":"+0.88946474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2503404$711BA281-1F34-40A6-A0E7-213D042BA123","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2503404","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2503404"}}}}}