{"entities":{"Q435232":{"pageid":436999,"ns":120,"title":"Item:Q435232","lastrevid":56899116,"modified":"2026-03-24T12:45:22Z","type":"item","id":"Q435232","labels":{"en":{"language":"en","value":"Provability and interpretability logics with restricted realizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6054421"}},"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":"Q435232$2013EF98-5E16-4DF9-B1C4-D32E7841A9C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2a9e32fe0fcdab0e067b6d9b704e1382aab306a","datavalue":{"value":{"text":"Provability and interpretability logics with restricted realizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q435232$47E2EF83-CB83-4D2E-AC16-27A7222EA0E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"368aab194f01e77ebbc74700dceec188e2315a92","datavalue":{"value":"1255.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435232$4B9EFBB9-2CE6-4441-824C-EEFCBDFFA7E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2a353e617a9d18717327aba19a7521022fb912a","datavalue":{"value":"10.1215/00294527-1715653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435232$CFDD1F91-1A4B-4AF5-9723-AC0038AC2DDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2188a88b6674acb5d2901ff8f3d0f4e479b75adb","datavalue":{"value":{"entity-type":"item","numeric-id":385072,"id":"Q385072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$EE68E070-6910-4664-A592-2F31AB9AD872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c811c801fabbc949e717c1e4e1743267f57ac82","datavalue":{"value":{"entity-type":"item","numeric-id":256787,"id":"Q256787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$50954E62-719D-4D9B-8BF1-D0EB6A6884D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$5E745ED8-3B98-49C3-9B96-919E489FCCB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bd45fc3d52e63dd9b568441f08440ab7d091981","datavalue":{"value":{"time":"+2012-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q435232$E5B1AFD4-2A71-4D30-9781-763C0A6A7617","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db47c334d7fd21b32d5789ec09358a62acf05856","datavalue":{"value":"https://arxiv.org/abs/2006.10539","type":"string"},"datatype":"url"},"type":"statement","id":"Q435232$4B28FD95-2C98-45FA-A28F-DE6F57F863FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d74ca35544db8b097720cf194916089168e20d11","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1336588246","type":"string"},"datatype":"url"},"type":"statement","id":"Q435232$3576D7A2-8EB9-4443-8395-2A511E8FC35D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4f8e4d6d96d31b6da2906ce2893c15ec96871a66","datavalue":{"value":{"entity-type":"item","numeric-id":190353,"id":"Q190353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$FA7E0F20-FDA8-4F03-956B-EFFFD8B3341C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435232$F954AAEF-4F6A-452A-A2C6-5DD1561238AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39d8134b591fb23b6d16f60627e4c7e40ecc5e23","datavalue":{"value":"6054421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435232$93541199-F4BA-4FB4-9A93-CDDAD568240E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q435232$A227E0C0-DF50-4861-AEDA-B7BFC5782CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q435232$9DF5F814-EEBE-49AA-8A9C-168388DED01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba0028f4c5c3ad231b9b94bc3f59b45387755c61","datavalue":{"value":"GLP","type":"string"},"datatype":"string"},"type":"statement","id":"Q435232$D3ABD0FF-9A5C-4858-80F5-A831CE6D22EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16d94a848d6d9a19127369bb06d6ecdfa9f98906","datavalue":{"value":"PRA","type":"string"},"datatype":"string"},"type":"statement","id":"Q435232$E9824C52-0933-4CFF-A4C6-55D0F9D8E6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"783182bac9e358effc8b7dd64c16dfde37fdd04e","datavalue":{"value":"restricted substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q435232$A340C68A-1800-4CE6-B7DB-2AD1D263644D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c10816f5db383ae2579de0522799a738efc0fe7","datavalue":{"value":"linear frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q435232$72950C29-3139-46C2-9716-43BCF31AC739","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"33bab13c353b71f48932fdc43558ab8d410d3d32","datavalue":{"value":"Q119883088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435232$BB2295FC-BE51-4430-B19A-0407E9755C81","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":"Q435232$B882F4EB-27EA-4E8B-867F-D48B0613D3EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2eac7d398bf9ec835efba329a073c35eb52e5be2","datavalue":{"value":"W2086071144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435232$041A41E1-A065-4751-B30C-E05A164986E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b807e573c90c1a55e76c5f70d24384d226604c","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$C450E7DD-D84C-415E-AFFC-B132297543D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad89eded79eaefe2a5979325e496937b6731eac","datavalue":{"value":{"entity-type":"item","numeric-id":990367,"id":"Q990367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$F4398804-3947-4DBE-8ADA-DB92C34F73CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4177bacc0fc5a22885ad529353af6d40b7fdc3","datavalue":{"value":{"entity-type":"item","numeric-id":4879903,"id":"Q4879903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$DB6D8293-26B1-4E45-B51D-0BBB7C2A8766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa2a4e644bff5b8b5231520e7ca8c97f8fb8f19b","datavalue":{"value":{"entity-type":"item","numeric-id":636316,"id":"Q636316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$CF1FAA1F-1316-4F7E-97B0-FA4FDC397684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"801beb7884418a584076f6a52825d7965f5f8934","datavalue":{"value":{"entity-type":"item","numeric-id":5696302,"id":"Q5696302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$69C5F8CE-5608-4324-8E53-1943F00CCA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acd53877802138e1f68e602e783385eaa725cff0","datavalue":{"value":{"entity-type":"item","numeric-id":2566065,"id":"Q2566065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$7F874A16-DC98-45B8-8822-056CB75DA603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7419cbab6bb0858860ce24b32d867eee0ef731ec","datavalue":{"value":{"entity-type":"item","numeric-id":5202653,"id":"Q5202653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$3FFB38FA-209D-49BB-A8B6-A587605B3BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1540adaa2892b49b62abc6e74327970633e8f1c","datavalue":{"value":{"entity-type":"item","numeric-id":685071,"id":"Q685071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$1AEC4E4A-7D41-42C5-A0F3-A1552BBC1A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add4bc278cb5e96147dc966e7c550696cf29f4d8","datavalue":{"value":{"entity-type":"item","numeric-id":1035648,"id":"Q1035648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$A9A5850C-FDFC-4148-89E1-35A2D30B04F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$520BEDC7-10E6-4A3D-BA34-A0D9E5FECD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$4129A392-7DEE-41CB-AFB9-586FCD4FA5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$92CBEB2C-D07B-4534-8855-2FBD88CB1A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2eabd3062c1ff3ceaead59b8eeae3c8424d7c42","datavalue":{"value":{"entity-type":"item","numeric-id":1176096,"id":"Q1176096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$C7BC751D-031D-47A5-A767-3C9231271793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"585d065988c6214e0f76055e2b290cf6fba65e5d","datavalue":{"value":{"entity-type":"item","numeric-id":3081234,"id":"Q3081234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$568E5F87-AF2F-411A-8BA9-7B6AD5555FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55af95d1a259dd7d81908c4ff6cd4aa7411c2937","datavalue":{"value":{"entity-type":"item","numeric-id":749519,"id":"Q749519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$009DF2DD-D935-48EF-8E0F-E3CCA3185B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3436e4ae09258d8c2c850248fb4a5f0935df9296","datavalue":{"value":{"entity-type":"item","numeric-id":1311428,"id":"Q1311428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$68622567-F678-4965-BC03-E460007BAD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3604aa0654b5df7c1378c83e268923b726cbd513","datavalue":{"value":{"entity-type":"item","numeric-id":804561,"id":"Q804561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$0E472ED5-A396-4495-8F33-55B9F40AD346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9548c19a8d51e89141447b12675f2874b1f915ec","datavalue":{"value":{"entity-type":"item","numeric-id":3094148,"id":"Q3094148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$B7E9A52F-0BBE-42F8-98B9-73501CE18A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1eafc0ead9e3cdb6744350a20df7cc24c881f0","datavalue":{"value":{"entity-type":"item","numeric-id":5287692,"id":"Q5287692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$5CFEC4E1-CDF1-4E58-9363-613752B6E614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e75044d316131685e93b46f9e6809c0127a85f8","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$54DBE340-97E0-402E-B18A-C67959DE2AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a08bbbef085ee185455e51b372e5226003ddca7e","datavalue":{"value":{"entity-type":"item","numeric-id":2565986,"id":"Q2565986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$AD2B00D6-E9F8-4801-B321-A9533D5AC267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f63e7c1bb274eb5fc4dbf75d421f9b5de542e6","datavalue":{"value":{"entity-type":"item","numeric-id":1840999,"id":"Q1840999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$BDCFD874-831E-4859-B322-EEBDC733B0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1103109f5e36aeeaaf4d39c1229005c3254b87","datavalue":{"value":{"entity-type":"item","numeric-id":3227564,"id":"Q3227564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$E707054C-29DF-4E1A-AC66-8D66886E7360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada8141710e37d701eb1c63e79787de4181ce04e","datavalue":{"value":{"entity-type":"item","numeric-id":5626610,"id":"Q5626610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$E87AB7B2-D077-4AC1-B067-40734C272DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cc241747ec6fa1130277e3fe9cbb65e8f8d05e","datavalue":{"value":{"entity-type":"item","numeric-id":5680103,"id":"Q5680103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$9B8D20FA-0006-4B9A-901A-5D5482EAE3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91e1750d7854eef47d809170adcf0210bb99f72","datavalue":{"value":{"entity-type":"item","numeric-id":1237723,"id":"Q1237723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$98404CCA-0413-4819-BC76-46632CD4D879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c85febe1401651e99f9ca046c579ba888952f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4347425,"id":"Q4347425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$9369F64C-0DEB-4627-8C40-44C71DDFC26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$6C2C4A4E-EFF0-46BA-AEC0-D45FBE842245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0389db7be2e276e760be3fbee1d815a588a76f42","datavalue":{"value":{"entity-type":"item","numeric-id":1156789,"id":"Q1156789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$236B4CD1-477A-430E-AF6E-0DC51900CF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74f3143ec42dbc01efa55df145132481cb2709d","datavalue":{"value":{"entity-type":"item","numeric-id":4694229,"id":"Q4694229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$34686977-9531-4AB8-B88B-69E9CE31FD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d038bf41156aa868bc2302d61cb72b5d8b5783b9","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435232$FD2B6224-31B5-4EA6-9848-89DA5CE765E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ba896680d619c76f5e0350a2c973615e375538f3","datavalue":{"value":"The provability logic GL (G\u00f6del-L\u00f6b) is a simple modal description of provability. The axioms of GL are all tautologies, \\(\\square (A\\rightarrow B)\\rightarrow (\\square A\\rightarrow \\square B),\\) \\(\\square (\\square A\\rightarrow A)\\rightarrow \\square A.\\) The inference rules of GL are modus ponens and necessitation \\(A/ \\square A.\\) Modal provability logic usually studies the operator `provability in PA' as the modal connective necessary, \\(\\square.\\) The propositional provability logic GL was axiomatized by \\textit{R. M. Solovay} [Isr. J. Math. 25, 287--304 (1976; Zbl 0352.02019)].NEWLINENEWLINENEWLINE The paper under review deals with restricted cases of Solovay's theorem where an alternative proof method is available. The authors study provability logics of some theory with restricted arithmetical realizations. The result is a logic of linear frames. After that, the interpretability logics are considered. An interpretability logic is a modal description of the notion of relativized interpretability between two theories. For detailed definitions see e.g. [\\textit{A. Visser}, CSLI Lect. Notes 87, 307--359 (1998; Zbl 0915.03020); \\textit{G. Japaridze} and \\textit{D. de Jongh}, in: Handbook of proof theory. Amsterdam: Elsevier, 475--546 (1998; Zbl 0915.03019)]. An interpretability logic can be viewed as an extension of provability logic. The authors give upper bounds for the logic IL(PRA). The characterization of IL(PRA) remains a major open question in interpretability logics (see e.g. [\\textit{M. B\u00edlkova} et al., Ann. Pure Appl. Logic 16, No. 2, 128--138 (2009; Zbl 1184.03011)]). It is necessary to mention that upper bounds are connected with linear frames, too. The new method is used to obtain the nontrivial result \\(\\mathrm{IL(PRA)}\\subset \\mathrm{ILM}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q435232$20D406AC-4088-4C81-85B5-680AF8E5854D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e92920ad3f1a1b96c3109026638e30b2c59e19d","datavalue":{"value":{"entity-type":"item","numeric-id":1035648,"id":"Q1035648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e034d6d9bd474f99921d6625728245c8839d73b","datavalue":{"value":{"amount":"+0.8287628293037415","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":"Q435232$5784EE50-7257-4DC1-9810-0479ABD71510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2802e7646d5c354f6ce43832fcb7fb5c76187381","datavalue":{"value":{"entity-type":"item","numeric-id":2565986,"id":"Q2565986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c01ec6a5d7ee7f9c4967a57b11e824513c44699e","datavalue":{"value":{"amount":"+0.8248360753059387","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":"Q435232$5925A80E-79BA-46BD-BE6F-BC2D4C43247C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1153cffa77a87c2c356f92b735d08623c02648c","datavalue":{"value":{"entity-type":"item","numeric-id":5107215,"id":"Q5107215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2492bdaf9906c697d9febf0869a79863f65290d7","datavalue":{"value":{"amount":"+0.8164812922477722","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":"Q435232$D8465878-9350-4A05-B238-A9DB25EFC434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3737b46562c23b92952b7d95708796778ac5a047","datavalue":{"value":{"entity-type":"item","numeric-id":4694209,"id":"Q4694209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b94b31a28be7ac644fa35cf75ab77d02280ddce","datavalue":{"value":{"amount":"+0.805127739906311","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":"Q435232$E1B175EC-D619-4EC9-98EA-4FFB8CAF9A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f5a10a238b894f2cc5fff9fbc6dc145cee901e","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"752329108ebc5d50a8452edabbf48ecfa0a2d089","datavalue":{"value":{"amount":"+0.7987620234489441","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":"Q435232$CB7ECCE5-9CA5-41E9-9F1A-2C46907B6FAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:435232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:435232"}}}}}