{"entities":{"Q2642520":{"pageid":2653263,"ns":120,"title":"Item:Q2642520","lastrevid":44551029,"modified":"2025-11-23T20:40:11Z","type":"item","id":"Q2642520","labels":{"en":{"language":"en","value":"A deep inference system for the modal logic S5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5179922"}},"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":"Q2642520$D3251CF1-0119-4783-B3A2-FC1AF1A7F65B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"586ca48a754ec4ddd3a385b74fbe2b14fcae0768","datavalue":{"value":{"text":"A deep inference system for the modal logic S5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2642520$C62970F6-791C-4673-B390-46A51FFB5CEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4aaff0aa7dfababa6ca848581e2d8406dd14b839","datavalue":{"value":"1162.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642520$192204B9-B194-46C4-98C2-55044C57DF9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"245a199fe931d6098a4d97df3fdd54ae15d6623f","datavalue":{"value":{"entity-type":"item","numeric-id":2642519,"id":"Q2642519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$5AFCA379-A42C-47C3-9746-C6B708D9E086","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$914CA955-80B4-4E38-A87A-56C3145C66D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83e4c4eb0c7bbbd668895e6c0cbc0b4f249cfbea","datavalue":{"value":{"time":"+2007-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2642520$EB9738D4-9D6C-4746-9175-68D8300558F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2410e1152a5061823545db01b5723abb74e34a64","datavalue":{"value":"https://boris.unibe.ch/26455/1/sto07.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2642520$D6DE0C9A-6FE3-4F13-9B94-B8E868447EF3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2e3e449b93c4fe1481943885e419b8cbcf73ce3f","datavalue":{"value":"In this paper a cut-admissibility system for modal logic S5 in the calculus of structures is presented. This system makes an explicit and intensive use of deep inference and it satisfies important properties with respect to their modal rules such as \\textit{systemacity} (a technique for formulating the modal rules out of the modal axioms) and \\textit{modularity} (every axiom corresponds to a finite number of rules).  The system for S5 offered in the paper is a conservative extension for S4 presented by \\textit{C. Stewart} and \\textit{P. Stouppa} [``A systematic proof theory for several modal logics'', in: R. Schmidt et al. (eds.), Advances in modal logic. Vol. 5. Selected papers from the 5th conference (AiML 2004), Manchester, UK, September 9--11, 2004. London: King's College Publications. 309--333 (2005; Zbl 1107.03016)] with rules corresponding to axiom 5. Another remarkable feature of the system is that it has few rules and enjoys a direct way of formalizing the modal rules out their axioms. Moreover, the applications of these rules can be restricted so that they affect only a bounded portion of the data structures and, as a consequence, there is a bounded computational cost for rule applications.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642520$0440DF28-92B7-432F-A237-BF82B95EDC1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642520$F4C7FFF5-AF85-4982-A16C-C0D50EAE892B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642520$473A3C37-F5CD-403D-9118-751ED78325DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc3593eda20e03e3587ecf10f3118a8623b128cf","datavalue":{"value":"5179922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642520$BA7B8175-1DBD-49E9-99CB-C485FF085A45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b4fc300135272819ca8d44a23bff86b0f2235a9","datavalue":{"value":"modal logic S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642520$11FE5D15-95DC-4844-A60E-E6389AD2A589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642520$90627F58-276E-4C12-9601-3F984A0EFF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642520$BAD1589C-8FF7-42C4-89D5-DBC7D0D8CC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6bfc6cb4e944c3dea94e46f9c5f8b0ec2fcd1e5","datavalue":{"value":"calculus of structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642520$CA615FBD-456C-41E0-BF00-61BAFF39601C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b01143ed29785f07f8b15716fa83fdff452868e3","datavalue":{"value":"cut-admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642520$3196FEAA-9B71-4783-836F-5B7DDEC931C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$4755F83B-1276-45AB-8541-4F6085D32362","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":"Q2642520$115FBFC5-EF19-44C0-9E5A-2442B6C1455C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71bf3402c70caffdf05cb8cd72dc605f6f92c500","datavalue":{"value":"W1994532891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642520$E7ED3FEB-4FD9-4B04-994A-507C12269F76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$EE5F645D-C48E-4889-8CFC-1E5244FF92D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811458264a650a109340a5030fad038d17897be7","datavalue":{"value":{"entity-type":"item","numeric-id":4511541,"id":"Q4511541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$7FD74F87-33D4-438D-B882-EE30CC69AD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0bde877211bd17f9bad61f28279e238d06b66e","datavalue":{"value":{"entity-type":"item","numeric-id":5465434,"id":"Q5465434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$E4A0DB04-EDA0-4F5A-B4B4-588E4CA378DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e50ae572a2880148ef669dedbef2bbc11df3066","datavalue":{"value":{"entity-type":"item","numeric-id":3375282,"id":"Q3375282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$E51957A7-7728-4CCE-9513-FA8FD95FDEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb21afd36ce282508c2606e7ec78f126cae9c7f","datavalue":{"value":{"entity-type":"item","numeric-id":1295438,"id":"Q1295438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$E1839BC9-4282-4962-ACC8-23AC255DECDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$8F34ED43-286B-44C2-91C1-5F6D4FDC349D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ff84a380859792f98a71b73007569735b0f24f","datavalue":{"value":{"entity-type":"item","numeric-id":5277766,"id":"Q5277766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$C9828B17-A149-42AA-A2CF-718277B1916E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe802cd8809baf377abe6a55d7cfe19465c65ab","datavalue":{"value":{"entity-type":"item","numeric-id":4783301,"id":"Q4783301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$E3002D3E-7243-48C7-8CE2-B2ACD666A14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$98E8C855-F624-4D76-8282-EBE7FCBD6A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3a62373005957a00a867150e668ac7939bf9ae","datavalue":{"value":{"entity-type":"item","numeric-id":4392661,"id":"Q4392661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$7EABE911-3519-477A-8466-E9490E926F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7007d983f7272b825303e660ef4da93ca5ccee","datavalue":{"value":{"entity-type":"item","numeric-id":4229377,"id":"Q4229377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$1B49C522-B388-4391-B44E-5C886850186B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53604aebe7eea3e521fe2684073eec97cfdbce2d","datavalue":{"value":{"entity-type":"item","numeric-id":5387898,"id":"Q5387898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$5CDDB01D-7CD5-4CDE-9FDD-E836D16D9AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d1c043035191d540c37555c23f0303b7675915","datavalue":{"value":{"entity-type":"item","numeric-id":3241192,"id":"Q3241192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$B3144A38-ADA4-4BB4-A77C-966D0AB7D3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf080a55f0b8964651acaeb861c03614c58bf33","datavalue":{"value":{"entity-type":"item","numeric-id":4168590,"id":"Q4168590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$33F219EE-E8CA-4284-A440-2957D255D800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28711599010bca9ffbebf4fe0012f8e3f98c05ed","datavalue":{"value":{"entity-type":"item","numeric-id":3999386,"id":"Q3999386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$38CC7982-3D3A-4F50-A407-7605A8F9518A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$58033A7D-F0A1-4E02-B2F5-B49B22AE2585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b193fe960fc7f19e24d6d068b46e526b1b801aa","datavalue":{"value":{"entity-type":"item","numeric-id":3247119,"id":"Q3247119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$A882DC9C-5E3D-45C4-8F6E-A7EBD3D4B28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70901f0d8ad6fea18ef93963dff3fd5dc55331cc","datavalue":{"value":{"entity-type":"item","numeric-id":5688805,"id":"Q5688805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$3F8EB0A9-1A08-4032-A731-E6B0DE970995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820c6afdbb37196b0c0fdcd6ca2560dbb527ef42","datavalue":{"value":{"entity-type":"item","numeric-id":1257012,"id":"Q1257012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$48486463-9A31-4AC5-95AE-40D1C40C559A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bda7bf2b683d32fb9bd0a60fb1ebf165437c69","datavalue":{"value":{"entity-type":"item","numeric-id":3832540,"id":"Q3832540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$81CCD326-5093-486C-A69F-048BCE1BD4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd156e93f1e8a800af5e3f23078f66edcdefe75","datavalue":{"value":{"entity-type":"item","numeric-id":5483015,"id":"Q5483015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$49D66023-0E57-441B-9179-CBE26F4F7A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2025927b302bd1fdebc67d3bae9be2f6bcc63526","datavalue":{"value":{"entity-type":"item","numeric-id":4428313,"id":"Q4428313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$A92399DA-BD6B-4265-9F8A-FED04ECC2663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5d9f817fddb6c6e790685c8ac875537be8458e","datavalue":{"value":{"entity-type":"item","numeric-id":1817696,"id":"Q1817696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$0ED4B21A-3A6B-4FE6-B05B-21000B3C463E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72560921e1167f8b884879f66f3345fd90dae342","datavalue":{"value":{"entity-type":"item","numeric-id":4221771,"id":"Q4221771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642520$ED14D3DD-F6CB-4171-9B63-221F860BD0E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6302a1649814405a1e17a3388d034eea8b52de1e","datavalue":{"value":"10.1007/S11225-007-9028-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642520$BB766096-115D-4515-BF8F-E16C4D722734","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e5e3802bd5dfe947195afba9933da926c295cb","datavalue":{"value":{"entity-type":"item","numeric-id":5483015,"id":"Q5483015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1fb2e06276b82edb8deb8180a7cb1d089e8fc2c","datavalue":{"value":{"amount":"+0.8602602","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642520$4649A7CF-71EC-4CD8-8319-BAB16CE2E56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c2e281e4e1225975bcacbaa1aa8b0d4a8380550","datavalue":{"value":{"entity-type":"item","numeric-id":5427256,"id":"Q5427256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d403e5ce6627146dcaac65024c453a46b4544d4f","datavalue":{"value":{"amount":"+0.8380344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642520$13AF240C-560A-4BBE-91DB-620D8CEC1ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde24f2dc05d718c17873e27325a3ec9b3ed0755","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"264889b3fcf0c45f9ddfc4619b01f116829cf24c","datavalue":{"value":{"amount":"+0.833382","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642520$1B4E2C01-1983-462A-B80E-BC3B51E66396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c26b0bafd973c29839586c72c8bf08f8df0a161","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c740112c484355afd0d8ab21256b0b2bf2e624f","datavalue":{"value":{"amount":"+0.82004815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642520$CDF6DCD9-CF3F-4CF0-AE05-3C1DEB7EF451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14fcd4eabf80fbe08a403e5882bd3fe1348fdfb","datavalue":{"value":{"entity-type":"item","numeric-id":4591503,"id":"Q4591503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b2d16bf77de3b8d5a67121057e31b911e22141","datavalue":{"value":{"amount":"+0.81347924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642520$E16AC5BE-2C57-48C9-9299-FD857CB5C430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dfeddcfbdbcd3982afd1ae6ed4f5cbd95d0d83f","datavalue":{"value":{"entity-type":"item","numeric-id":5457387,"id":"Q5457387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68163cb69e5e0af29bc597c0116ceb82c8089864","datavalue":{"value":{"amount":"+0.8094339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642520$44D7600C-936B-4AE3-9AE7-B2EB0A560E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e374fa52a7582aa3c783099b1d6d36fcb72eb000","datavalue":{"value":{"entity-type":"item","numeric-id":4511541,"id":"Q4511541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25719f351ffb12ad580fd9d33379c0e192dd330","datavalue":{"value":{"amount":"+0.80324733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642520$A16BB25D-38A1-48C3-9766-72A890906485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315ff1cc6081629cb3b1cad991daa370b59f0964","datavalue":{"value":{"entity-type":"item","numeric-id":4860654,"id":"Q4860654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e41eb07f8e1108cbd7fabfec65c88ff7af50c8","datavalue":{"value":{"amount":"+0.80062294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642520$A73E3306-9B7A-4717-9175-04469038DF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99e23115295051719ad82b571f72c0fa008b465","datavalue":{"value":{"entity-type":"item","numeric-id":3509048,"id":"Q3509048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc30bc8ef7effb705d681b243561ffae18c7823b","datavalue":{"value":{"amount":"+0.79763997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642520$BF4AFF81-0D4B-45FE-8F82-74C9C094B34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a17e2113edd3ffb36b287c46bc8a9f046154f6d4","datavalue":{"value":{"entity-type":"item","numeric-id":3607560,"id":"Q3607560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42d44a952ef05b4c8ef8c16e5b57f28bb6a6381","datavalue":{"value":{"amount":"+0.7972465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642520$6A0C3B92-B873-4EC0-84A4-71341498F9B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2642520","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2642520"}}}}}