{"entities":{"Q911585":{"pageid":913433,"ns":120,"title":"Item:Q911585","lastrevid":49367635,"modified":"2026-01-07T01:14:24Z","type":"item","id":"Q911585","labels":{"en":{"language":"en","value":"Proof-theoretical analysis: Weak systems of functions and classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4142028"}},"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":"Q911585$0B5C667C-3EA1-4602-8900-BD3A5F886EFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae49f8bc24ddb41bc99136cddb4388aec75e8b5a","datavalue":{"value":{"text":"Proof-theoretical analysis: Weak systems of functions and classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q911585$AEAD75CD-9949-445C-B4EF-B3F0B64EA0D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56e1db503509a0119229c91ea5afeea656a93a72","datavalue":{"value":"0697.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911585$8C0FF316-98D0-42D0-B03E-5C1C43AF30D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f35a0bd716027893f42085506eeab12e8b70219","datavalue":{"value":"10.1016/0168-0072(88)90055-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911585$D75F5CD7-547C-4F51-9D0B-D20CA6B3BAD1","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":"Q911585$2E72BFEC-F43B-494F-B7C1-5AA784CDC933","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q911585$EA354FCB-1335-4A45-8909-52764263059F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5960d1c47672fe8628e0ecda9f7ab65ef4c5209f","datavalue":{"value":"For several systems of Myhill-Friedman style set theory and Feferman style theory of functions and classes, analogs of recursive realizability provide conservation results for negative arithmetic formulas over more standard theories based on intuitionistic logic, viz. Heyting arithmetic HA, \\(ID^-({\\mathcal O})\\), \\((\\Sigma^ 1_ 1-AC)^-\\), where superscript minus means restricted induction. The author proves conservation for all arithmetic sentences. He uses cut elimination, modifications of realizability and known conservation results for theories obtained by adding to HA the schema of transfinite induction up to certain ordinals. The theory \\(T_ 1\\) is a set-theory with an axiom for exponentiation \\(a^ b\\), \\(\\Delta_ 0\\)-comprehension, strong collection and restricted induction. \\(T_ 2\\) has the full induction schema, and \\(T_ 3\\) has also \\(\\epsilon\\)-induction. The systems proved to be conservative over HA are \\(T_ 1\\), Feferman's \\(EM_ 0\\upharpoonright +J\\) and Martin-L\u00f6f style \\(ET_ 0\\) (extensional type theory without universes). \\(T_ 2\\) and \\(EM_ 0+J\\) are conservative over \\((\\Sigma^ 1_ 1-AC)^-\\), and \\(T_ 3\\) is conservative over \\(ID^-({\\mathcal O})\\). Extensional type theory \\(\\cup_{n}ET_ n\\) with \\(\\omega\\) universes is conservative over \\(HA+TI(\\Gamma_ 0)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q911585$EFC539B2-1A9F-43BE-9200-C6BCC8BFCF7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911585$02C19899-1B1D-4FF8-9D2E-69C1E9ED2A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911585$B3103736-82B7-47D2-A774-9830516D035A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911585$CB82A1D5-CD0F-4F84-A8AC-7BB99A624215","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18c3e5a00df537e069c739d02a47c4a3275d8425","datavalue":{"value":"4142028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911585$34CBDBEE-C914-4CA9-A64E-76B4A01A2AEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1234f049de58769d0269a5fcfc36bdbdda0e4b2f","datavalue":{"value":"conservation for arithmetic sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q911585$386FF6D8-5BE0-4E54-B727-FA6708AAD754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5925973b91912f6bf0bcb1d8d8800dae9e81935","datavalue":{"value":"Myhill-Friedman style set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q911585$C2847229-C1FE-4594-9DA8-85041C40171A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb2b85c06c5a62a432ed8792c013744db66327f9","datavalue":{"value":"Feferman style theory of functions and classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q911585$EFDEC6CF-6BCE-4317-9DD9-F7CF0E8306D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q911585$9E7E6564-5CB6-4A2C-BC40-B8FB9D75381F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q911585$04AA3E0A-55FF-43AE-B259-4CCA11D3501D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ddbcba9d323b796e4e011c0fed3de8cf78c0535","datavalue":{"value":"restricted induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q911585$E988A9FE-C18B-4354-A062-AC4BBB469C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q911585$A5E47F56-6AAA-46F3-AB86-81D9F1A35CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q911585$AE2CD100-C4FC-48EB-828C-007E026A87C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a46f6675d3d8f7982fadb43cfe2169ad57aa075c","datavalue":{"value":"extensional type theory without universes","type":"string"},"datatype":"string"},"type":"statement","id":"Q911585$4C811100-9EC1-4F4B-8381-705C2A9C514A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da91d821e6afd5fc2acad321f0aa06b2e18cae96","datavalue":{"value":{"entity-type":"item","numeric-id":1147136,"id":"Q1147136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$3008CB78-55FA-4D05-B6DD-318022086434","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$73E56A2C-513E-4F40-801B-98ECF82FDA7D","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":"Q911585$C84061DD-3313-4CD4-AAD3-27782A3FF51C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6850872409b363c7dbb476714ec21af310095c53","datavalue":{"value":"https://doi.org/10.1016/0168-0072(88)90055-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q911585$0B741BAB-902B-4E86-9C8E-FCD450EC9616","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cd9b4e817ae7e13deebf318d55877fe7574d6cf","datavalue":{"value":"W2074338252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911585$D086BE6D-5AA7-434A-B6DF-BF0D4DF6AB87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9779d2f20504dba38f482f942c0abc04f8e04e14","datavalue":{"value":{"entity-type":"item","numeric-id":3310616,"id":"Q3310616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$D816D741-4E47-4E80-A1CE-6E2D250BFD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32d6cbd01dd0ea8ea26131a68d909048005c899","datavalue":{"value":{"entity-type":"item","numeric-id":5800868,"id":"Q5800868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$5A45022C-F568-4BF4-AF04-CD35D7EF44ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afbc97af483bf775df1cf70009b2d3845e270b88","datavalue":{"value":{"entity-type":"item","numeric-id":4175530,"id":"Q4175530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$7E3C72C3-DB31-4940-AFD7-0FBF12EF4FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed62f77086cc482760f4f0947cecfd1cf3885b1","datavalue":{"value":{"entity-type":"item","numeric-id":1139042,"id":"Q1139042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$CD614F1C-AAD7-4E26-9EDA-471FDDC3A51E","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":"Q911585$E800CEE2-096A-4B5E-8847-71D69D4F9409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e065643d50abd5b84483003e456d4556e6495178","datavalue":{"value":{"entity-type":"item","numeric-id":4067070,"id":"Q4067070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$7AA23187-A043-4D60-B226-D431FD70E70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$289DD624-03E8-46FD-91D4-1186461FE1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d231028a06b9247fe4eceef543855a118cf2b5f1","datavalue":{"value":{"entity-type":"item","numeric-id":4109654,"id":"Q4109654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$86753437-70E8-48E9-AC55-A2C324FD62C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231698d7227e366d9fe674d764042c9f593bc35c","datavalue":{"value":{"entity-type":"item","numeric-id":792319,"id":"Q792319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$AEAB724C-DE75-46D0-B6E6-2FF9F1AA86C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$3E9D45D2-52AD-4228-B908-21114180FEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$EC2EADDB-CA3F-4B56-8665-4BFFD2DDA9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"993bffc544b04077fe2e3fc10963180ccc7177ec","datavalue":{"value":{"entity-type":"item","numeric-id":5625130,"id":"Q5625130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$50A122FE-D9D9-49F3-8652-65CA77AFF3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff45213e7705dbf9044ed2762732fabe6973416","datavalue":{"value":{"entity-type":"item","numeric-id":1236108,"id":"Q1236108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$B7DAD2AF-F087-4CF5-9AE5-CB3CD7CC9392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20078d69304e2df97ca3f40332c8d92086a6b541","datavalue":{"value":{"entity-type":"item","numeric-id":4179016,"id":"Q4179016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$D94DA98A-7093-404B-84C4-BB20BF2A60F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$1B6B655C-A2E6-4F68-9427-559ECFD898BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97dc288c0e9f823be86d021de4ec9cff71dce18","datavalue":{"value":{"entity-type":"item","numeric-id":2647392,"id":"Q2647392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$54EB5D1B-7945-4860-81B8-49CB2D32C47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ffae7793cb2f017658a44896cb5888b517a415","datavalue":{"value":{"entity-type":"item","numeric-id":4770943,"id":"Q4770943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$32452885-3CCC-4A07-AA9B-E4128D6A6B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d11ad722a58de019ca546cb797582b6f9c7fc3f","datavalue":{"value":{"entity-type":"item","numeric-id":4177565,"id":"Q4177565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$EDBD52E8-4F96-4EA1-A856-F9A2F20229E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69763d5a7a1cd8cd9d8366822e24d18906743046","datavalue":{"value":{"entity-type":"item","numeric-id":4135477,"id":"Q4135477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$30232575-0F3B-4EAE-B69E-4D33CAA8A8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a64f6a74ae5520416ea05fb9bbe94c690ff314a","datavalue":{"value":{"entity-type":"item","numeric-id":1147137,"id":"Q1147137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$0ECBEB21-7891-40AF-90EB-5E56C92859F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282584f9e0f9d68189c625ede4cf85b7f8a5b2cc","datavalue":{"value":{"entity-type":"item","numeric-id":3037432,"id":"Q3037432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$1379C1A0-D0F8-4CE0-85CD-782F9D5811F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$24C653E2-2D43-40D2-9166-A2DBE6188E93","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":"Q911585$4A3D6002-3849-49D4-B398-08EB3490DE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a0f5ab3a82f792e215192b74a3f7485b0840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5809142,"id":"Q5809142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$92D8745B-FE46-4841-8CDB-61D7992A3916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd563c8e7e782ee36eec340808cf341dbeeb62bd","datavalue":{"value":{"entity-type":"item","numeric-id":5569099,"id":"Q5569099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$BA0DAA09-77A1-4C72-904A-3191627C4257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821ba052327064437d4dc5b12ef56d677e2220c5","datavalue":{"value":{"entity-type":"item","numeric-id":5633976,"id":"Q5633976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$EF8C3036-7818-47B9-B3A1-19184F13E3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c5990025a0adb5810416749c7fb8516a653a84","datavalue":{"value":{"entity-type":"item","numeric-id":3338243,"id":"Q3338243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$E9941D12-9CAC-4232-9694-9B5E6E1BB9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ebd7942fbea6bf826132a8e150c856bfffc2127","datavalue":{"value":{"entity-type":"item","numeric-id":5810541,"id":"Q5810541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$17189125-3984-451F-8C69-608DEFD4ED80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$6444D203-A724-4F48-809B-0CF30C3E55CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69e4e3c6e6db6273645f322c23116e1ad1c80","datavalue":{"value":{"entity-type":"item","numeric-id":3343983,"id":"Q3343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$82812D97-9891-4675-864C-BD936696AC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f21ae813780ffb1b14b622d2c99e2bf7de1d2","datavalue":{"value":{"entity-type":"item","numeric-id":1254248,"id":"Q1254248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$C898E66F-3F2F-4C41-921C-8153212FF54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$98F09B6A-9C93-44A3-855C-2A09FC33B1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$3A57FF9C-78CA-49CF-B102-409473B2F8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$D27CE052-818D-423E-9096-86611B6AD92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78c92785f6f96aa3e25a89d1502d7ab78c51ce7","datavalue":{"value":{"entity-type":"item","numeric-id":4053622,"id":"Q4053622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$5546BCE7-E5B3-47C9-A31B-21370F93A7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b34a3bbe6833c1249dbe3ebbfcdb81d97201d76","datavalue":{"value":{"entity-type":"item","numeric-id":2649136,"id":"Q2649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$594DF78D-551C-4D7D-9475-0D1712EDA392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7d4a19af4bbf3ac62e2ac95cd380778365f5d50","datavalue":{"value":{"entity-type":"item","numeric-id":2649746,"id":"Q2649746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$EB2A9080-C3F3-46F6-A278-782D68104296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21aa2c8417444bb3098b83ec743e607734c3bfb","datavalue":{"value":{"entity-type":"item","numeric-id":3285631,"id":"Q3285631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$1BB4EC5F-7503-44BB-99DB-6CAB611D299B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$C4463693-3B1C-403E-878F-6400BC09269C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35b4d42cd9800c18a607f9bb8c03bfe75c1fbe8","datavalue":{"value":{"entity-type":"item","numeric-id":5633977,"id":"Q5633977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911585$E59DDAE3-9E30-4418-B139-ABD6779C8440","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe0d34b6b41f86704ba74a39eccb5da6b0970ce2","datavalue":{"value":{"entity-type":"item","numeric-id":964451,"id":"Q964451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a030c68f6971f926bc419a021bb46990de12c83","datavalue":{"value":{"amount":"+0.8031994700431824","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":"Q911585$5FBA4AB0-F36D-4BB7-B8D6-52D26667C841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e98bbb3dad928742dd57875b572b75acfc21d4a","datavalue":{"value":{"entity-type":"item","numeric-id":1386672,"id":"Q1386672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78c9c6892c42d3aee17f7077b933c55062d10c10","datavalue":{"value":{"amount":"+0.7845671772956848","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":"Q911585$BE6B1889-F5A7-4976-92BD-76294DACD602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69cff9d2b285c577d74e20a36b00749fdaa88c18","datavalue":{"value":{"entity-type":"item","numeric-id":490665,"id":"Q490665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b394c300ea86536f7ed1bd3cf01af827cc1b5718","datavalue":{"value":{"amount":"+0.7813006043434143","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":"Q911585$FD831D5E-F726-43AB-8306-B0AECF068754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"863a6de8d24b1c2e795f32c30073bca5671a860e","datavalue":{"value":{"entity-type":"item","numeric-id":4876321,"id":"Q4876321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8fa1cc1fa7aa01a9b76e160fced4c0059838b9e","datavalue":{"value":{"amount":"+0.7802639603614807","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":"Q911585$2CDD9994-AD4E-4B73-920D-D038CD60478E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"668bcb1c1a942ce16e0bd7468ad79496ad2fa844","datavalue":{"value":{"entity-type":"item","numeric-id":1919537,"id":"Q1919537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9296797647bb00c099468b5fa66023aeca3be8a5","datavalue":{"value":{"amount":"+0.7771693468093872","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":"Q911585$FD8ED0C0-6B54-4514-BA5D-CA82857365F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:911585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:911585"}}}}}