{"entities":{"Q1734264":{"pageid":1745005,"ns":120,"title":"Item:Q1734264","lastrevid":68928669,"modified":"2026-04-13T03:10:18Z","type":"item","id":"Q1734264","labels":{"en":{"language":"en","value":"Maehara-style modal nested calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7043052"}},"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":"Q1734264$B6D15B28-EE04-4CB8-829A-EA46FC9CEE6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ced8bc1a7a3253dd08b7087fee9627ede1d9b456","datavalue":{"value":{"text":"Maehara-style modal nested calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1734264$882CE550-68C6-4F33-B2C4-06A51E2A66E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fca49c6f053ff105963eb39e8109dc6ca64178a4","datavalue":{"value":"1477.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734264$1F070E32-139B-46C4-A7E7-21D9EBDE2AA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"196dbdb570f68291e9833b5fdffc455b470e5721","datavalue":{"value":{"entity-type":"item","numeric-id":392270,"id":"Q392270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$76FDA706-6883-4024-9D23-B73C27ED550E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$4E7D9477-9629-4824-8BA7-EAD8DC273121","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$DA63CFCB-23B6-486B-AE38-882DCC689E2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d06bbe883443d922d03e742956c1e568349f86c8","datavalue":{"value":{"time":"+2019-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1734264$07D2FD71-3779-46B0-B4FB-3A3A66B7B3A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734264$E95DA3C3-A2E9-474A-A67E-5D67BEE50B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734264$D493730C-6735-4E26-9C44-560529A57FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734264$8D15829D-5D40-47F6-9193-784D5A40CC3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d79c7ba1cf3f177713495a503cf9e0f4a0a4931d","datavalue":{"value":"7043052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734264$4AAC2E2C-C80C-4125-863E-32E9D683C23D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734264$DF29DDAC-D19C-448E-8C70-2B3AFFFD3618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734264$88C3F90D-4E0A-4F96-923A-BEE2AE4B3AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7703d39a27a27281175ecfee2e3e3ef8e18d9ab1","datavalue":{"value":"nested sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734264$6E344DC2-CFB5-4AD6-A9D7-AFD9A10F2115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734264$5BF1AE75-45EB-4629-BAB2-CF7305866EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734264$898F2E79-186E-493B-AF52-F68DD89872CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734264$BF21431F-AA26-48EB-9D86-A0F0C8AF1128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f3a04631da032660587a668667e0d9da6c4cc89","datavalue":{"value":"multiple conclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734264$7D9D88DD-BD37-498B-BEB4-02D352F077E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1734264$A7E25A32-8A01-4D41-BBE9-D7C62A67A077","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":"Q1734264$2B1913D3-C46E-4362-85FD-9570A89A999B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fef8f68308f9f0b3387913cc67219bbb852754d4","datavalue":{"value":"https://doi.org/10.1007/s00153-018-0636-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1734264$97C23D7A-0491-4FF0-8034-5155C749749B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"349555afe3ddcc78d8c75d3047687bdf5686bab3","datavalue":{"value":"W2772042761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734264$AD9A4022-C7FA-4015-BF29-50115F0EE6A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d736c0732078a9d7eac3c1589404b797c3bb93f","datavalue":{"value":{"entity-type":"item","numeric-id":530609,"id":"Q530609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$FF7A8B69-2E12-4A4C-998D-A0F647BC5E8C","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":"Q1734264$21B3370C-4C8E-4AEE-A133-6289DC2274BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d869703fee80be20b6627dc739b2c1ebfaa39938","datavalue":{"value":{"entity-type":"item","numeric-id":5829018,"id":"Q5829018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$91464D2E-DE00-439C-9706-8DB1FAD09B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c516f98c49f15cd730d0f3998c7793610ec5f807","datavalue":{"value":{"entity-type":"item","numeric-id":3305556,"id":"Q3305556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$C2EC71EF-2858-41E0-8AE0-202D69B7F147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$D844B1FF-48A0-4D3A-B3CE-D07883847DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fd06da9348f1d52e2cbff62e89d8a526dbbeb2","datavalue":{"value":{"entity-type":"item","numeric-id":770676,"id":"Q770676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$4E8CB9C3-8652-4C07-ACF2-BAF59390BDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$087B5142-97F1-4E78-AE91-BFF19E81E76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cc25e584da3d3e0b6d4f769436e22b57e6750b","datavalue":{"value":{"entity-type":"item","numeric-id":4934141,"id":"Q4934141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$BEF67E2A-FA0C-439F-896A-4948F47DC745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c29138920afdd872cf6e3791feb17594655142","datavalue":{"value":{"entity-type":"item","numeric-id":3509048,"id":"Q3509048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$9E7F4F18-0EA5-4D77-8F25-7413ABE1EF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4182b5f6383fc33340dcc861083264d459bc405","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$89AF7728-AC7E-4A2C-B805-4F622086F95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e937235437828fd90111b19ee3ad3ae6f098959c","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$6A6D3D5F-01A7-4E95-BA6F-0071014C2CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1bf82999819cf4b96ab775b70078b417517dbf","datavalue":{"value":{"entity-type":"item","numeric-id":4910421,"id":"Q4910421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$9EE7543B-BB31-480E-8CFD-B18C90F52D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa97ceef96b310a53cd4a2f55a5b0957549af1b1","datavalue":{"value":{"entity-type":"item","numeric-id":409323,"id":"Q409323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$1D1EF9CB-CB0E-4BAB-A5C3-0268C1B8853E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f6bff68c8ebf66dfda0b239fbc2871c6c95c89","datavalue":{"value":{"entity-type":"item","numeric-id":4636304,"id":"Q4636304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$5BD925F9-E6D3-4AFC-8990-5C4A6AF4E581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688427db8857ccd2460578f0423fd5c5a570e88d","datavalue":{"value":{"entity-type":"item","numeric-id":5369481,"id":"Q5369481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$17C951D1-4D34-4799-8A7D-F39767E03D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94aee6c724e89e9c64a972b4533afcd66e8b9d24","datavalue":{"value":{"entity-type":"item","numeric-id":2901201,"id":"Q2901201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$0A7ED69F-DEB6-46E4-A09C-3F7AEE6C13A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff6da9e2156b566dbe810f749f305e5238ecfa5f","datavalue":{"value":{"entity-type":"item","numeric-id":764259,"id":"Q764259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$10CE049E-C0BD-4350-8C29-941DDA73A49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"386e23574a4682fa7026c31962957b2b0b276a3e","datavalue":{"value":{"entity-type":"item","numeric-id":3728880,"id":"Q3728880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$3251AA28-4C61-482B-844D-F173D0776A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f26c266337bcf2c390b14823438c16947fe37a","datavalue":{"value":{"entity-type":"item","numeric-id":3720564,"id":"Q3720564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$AAE753E9-EE08-486F-BD5B-8431A340BA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ccd04a729ca30586f885eaa3b38c5d2e609441","datavalue":{"value":{"entity-type":"item","numeric-id":5791647,"id":"Q5791647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$5BD7865E-A2B1-4965-990F-55EFDD815288","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":"Q1734264$3D30EE84-7266-4845-B6DF-E071DCBDE851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f321a0fc908382b7af5ccbc5e8641c69656fbac1","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$4EA14873-260E-49E0-9307-01D05028732C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$45142575-EBBE-4601-90AB-0A42DC29CEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8e7ec345413e104735faa57122d0400eae37de","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$CE1534EE-FC2F-4D5E-A3AA-F23201CC7D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a88a851a9bafb5a87194b06345f61c65943de5","datavalue":{"value":{"entity-type":"item","numeric-id":3196338,"id":"Q3196338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$795021E4-8439-4813-B32C-E8579299094B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34b77e9616af68856c2fef9e864836767c008fc","datavalue":{"value":{"entity-type":"item","numeric-id":3414345,"id":"Q3414345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$7F831B42-5E5F-4623-9D09-3A2119D7F27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178097464b46161ef715af2d3f5fe3978ea3aabf","datavalue":{"value":{"entity-type":"item","numeric-id":3754596,"id":"Q3754596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$EEF3DB81-8E65-4CE8-84E0-893DEF7BA01F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"11c0accb9cb312ac271cc935e34a4d94c4d56614","datavalue":{"value":"Q129490027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734264$1F200FFA-6A31-4EE5-8775-48EBE701EBD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6248ce7480f02d94d7bd488c7fe4f91d5eaea4cb","datavalue":{"value":"10.1007/S00153-018-0636-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1734264$B089503C-67E7-4857-9C2F-734D8353C4D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c9696d466114212941c86d3ceec7394aac4b5e","datavalue":{"value":{"entity-type":"item","numeric-id":4910421,"id":"Q4910421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e2a8256da1873b9ec8a63402a2b5d8727852d7","datavalue":{"value":{"amount":"+0.7901472449302673","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":"Q1734264$52931E0C-483D-4BA8-BA2E-28B83347AAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca80663566cfbef6d55160b2b09040f6d4b91045","datavalue":{"value":{"entity-type":"item","numeric-id":3648728,"id":"Q3648728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6463401bf56760d2ba684ecead7b4d65be3b3f31","datavalue":{"value":{"amount":"+0.7616091966629028","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":"Q1734264$6D487D3F-8DA1-41E5-902C-E952136402A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d628ac21af2fdee5f653b7ffaf20ed68d5c754","datavalue":{"value":{"entity-type":"item","numeric-id":2443118,"id":"Q2443118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1accc63799e653cce588182fdaba8ef5f83cbc14","datavalue":{"value":{"amount":"+0.7604647874832153","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":"Q1734264$50E1819F-9BD7-41EA-86E8-539E924C70C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1e5c6acb9e6c6c701600252dc2d0e75a1d201a","datavalue":{"value":{"entity-type":"item","numeric-id":3460084,"id":"Q3460084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a613fbf0fed6dcafa196913f325e5af531406d","datavalue":{"value":{"amount":"+0.7602303624153137","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":"Q1734264$A8147C66-2038-4203-9A47-24371D4D3A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f898127b0c13eea1e50d7c1753fd84736fe82118","datavalue":{"value":{"entity-type":"item","numeric-id":3196338,"id":"Q3196338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a48134dc59747a366f812c7aaf792550f95cda0","datavalue":{"value":{"amount":"+0.7552447319030762","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":"Q1734264$73FDF89A-FD51-4DDA-9AC3-153C6E1E9431","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1734264$A51298DC-1718-4769-BBCA-09DFA98AD00A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Maehara-style modal nested calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Maehara-style_modal_nested_calculi"}}}}}