{"entities":{"Q2259011":{"pageid":2269754,"ns":120,"title":"Item:Q2259011","lastrevid":71698902,"modified":"2026-04-13T23:58:04Z","type":"item","id":"Q2259011","labels":{"en":{"language":"en","value":"The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6409344"}},"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":"Q2259011$00D9C28C-C837-434A-9A89-E735932149A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1799e7148699718be936fdec3e4eb3eb3ff70444","datavalue":{"value":{"text":"The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2259011$40D3DAD3-02BF-428E-B39C-013921EFC54F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ce797d9242d284b13c62920d36452de277a1a70","datavalue":{"value":"1344.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259011$BD9093F2-E4E2-4CAE-B314-98005C6EDB94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79a110f1ed4fa3764142d6f2e9807097c2edae37","datavalue":{"value":{"entity-type":"item","numeric-id":383069,"id":"Q383069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$1FBEB418-E630-41AF-B49B-3F04130EC0B7","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":"Q2259011$5351CCD7-56A4-4F96-8DE7-5003E9492B8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b04cbc0bd9d6002d18ef325b8d307775df0871bf","datavalue":{"value":{"time":"+2015-02-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":"Q2259011$F8168BD5-32EB-478C-8D8D-A64052707E9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259011$DB772F11-1ABE-4DD2-AB53-101182703882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259011$C8FB9448-0E81-4002-9871-AA3DE33CA9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259011$1DA55BC6-A37C-4DC5-96DD-1AC2DCE4549F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259011$07011796-620E-4322-B885-B535BFF0F22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259011$7BA4E91E-899E-46EF-95DE-E28228E6D7A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c40e2b2cebe6a7f78984afb8ee97a4be35f8fab","datavalue":{"value":"6409344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259011$C086DEB5-911B-439B-B559-E1DAC12E5BE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259011$CE417821-B110-4389-9F33-09CF845AD3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74abfbbd23469340e5eb75a7447e00d065d43a69","datavalue":{"value":"assumptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259011$7CB307DD-D3D0-4FBA-9098-A353DA5F59FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f4ad426cd8acfe766c6e134e39842b5b04f3a73","datavalue":{"value":"higher-level rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259011$5F382A97-74C3-4C08-876F-E8D933CA0957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a52030254e1f705e4786bef10a559c6dd41afacf","datavalue":{"value":"propositional quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259011$AE85059C-EBB8-4FFC-B718-4DF7D52B5FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c886b14cce0b4a3a9cc0aaf92655d5621a8003d2","datavalue":{"value":"harmony","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259011$1188B681-FC5D-48B2-8116-6A6C90A9987E","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":"Q2259011$9940ACFE-33B5-4397-8B89-63CEC14ECB50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00480d466e4922a792aeb04ffd0e8a129d857983","datavalue":{"value":"https://doi.org/10.1007/s11225-014-9562-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2259011$DECDC87D-AF2B-49BE-9F38-7DB6A5717B51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8025ad0b9e8d74c622808a14d8898dd6fdcfdddd","datavalue":{"value":"W2089716623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259011$81B273DE-3391-447D-972F-31ED6EFEB94A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b4df3fe267bb92873752d9c73f3ca347cb03094","datavalue":{"value":{"entity-type":"item","numeric-id":1073779,"id":"Q1073779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$2191E9FA-6A58-4098-9D97-96172B42A928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1f7b46411c388883506d370dc2aab419bfb347c","datavalue":{"value":{"entity-type":"item","numeric-id":3795662,"id":"Q3795662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$4997402A-8336-4F19-8E16-AB059DE7191D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9da6db278a0b4e7baad52787cf34ee8dcacfbb","datavalue":{"value":{"entity-type":"item","numeric-id":452347,"id":"Q452347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$978E47B5-1CE0-48C6-A4CC-C5043FF7E57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4758f6104bdfc380bb367a36f934bca663ff8924","datavalue":{"value":{"entity-type":"item","numeric-id":5864198,"id":"Q5864198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$32DCA23E-4207-4B1D-A056-FEE6E0A858E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32bc6a217ec59b7ef117ee3f6ed2e2d3dfecc7e5","datavalue":{"value":{"entity-type":"item","numeric-id":1177153,"id":"Q1177153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$914C8004-65D9-4D53-8286-9D8095122EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108c8e52f31fd7648d08e55bc61a212b865d7210","datavalue":{"value":{"entity-type":"item","numeric-id":3210889,"id":"Q3210889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$53D607A1-1CEE-47CB-851B-F25F0B096C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ed7574dea8508891356f13dbf822e65d9c4732","datavalue":{"value":{"entity-type":"item","numeric-id":2259008,"id":"Q2259008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$61276D69-2711-42A7-843C-746D22615941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"201e66c3e52fe3d4f25e04e06da8b648820a7078","datavalue":{"value":{"entity-type":"item","numeric-id":4249036,"id":"Q4249036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$4D480ED6-3FD3-49F4-A4F8-3C14E7217D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bffed4a7db9147940301de84b906b986de91e3e3","datavalue":{"value":{"entity-type":"item","numeric-id":3226736,"id":"Q3226736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$C0EFC03C-4E98-4FAE-A353-810AF610C671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e67ed05b39cba0cfa7865b67900d7cd5e608fc3","datavalue":{"value":{"entity-type":"item","numeric-id":2940866,"id":"Q2940866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$263D3F46-6472-49CB-A705-8400B4B3F6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b7b74c4c3a97d27a6a25a7f9662f779b8b7fa8","datavalue":{"value":{"entity-type":"item","numeric-id":2516584,"id":"Q2516584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$C058D264-7A3A-414C-86CA-C63AA51388C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b4ae7f1eae9c5b1b3598231bbf9c4eac7731b","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$D3B876F3-71F3-48FA-AA5D-61F425BA55B3","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":"Q2259011$45838CFA-7417-4CEA-A9BF-2D334D98C978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c249069543662db3275f47726248b0dfee75158d","datavalue":{"value":{"entity-type":"item","numeric-id":3147433,"id":"Q3147433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$9847B3C7-59B5-4DBF-9243-AEE7CE486DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86573b15240d5803ac646abc1b4964ec65f2787e","datavalue":{"value":{"entity-type":"item","numeric-id":1222646,"id":"Q1222646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$FA90F4B0-FB81-46A4-8DBD-9C8B1F1E4AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b94865d70c88e8cde35b6fc0fbb30412d8d2c3","datavalue":{"value":{"entity-type":"item","numeric-id":600850,"id":"Q600850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$9E3F476C-19B4-4932-9ADE-2AF53F2BC098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd5db7035b224b65ed85a9916f74a00f2e7a69e","datavalue":{"value":{"entity-type":"item","numeric-id":5213616,"id":"Q5213616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$775E82CA-9FBB-4AAA-AD34-FCC03A97439B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4661468a127bf992bd354e4286421faab253fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3661478,"id":"Q3661478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$A1F94515-3101-4C4B-9137-1EC0B60E5072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eb01be856bbca6fe8a76df11d296752ae0a70af","datavalue":{"value":{"entity-type":"item","numeric-id":5187275,"id":"Q5187275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$639DCCE5-7903-4D81-BD5A-995879300420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$257186FC-41D3-4CA7-96D8-912C924F25D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8822dc62f02ea9c36897bbc35c138ec9ca4c7b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$88F9937B-5958-4AB5-A140-B7F8A2061642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f352dea4d4187c279b4bf9352eedddfbaa47a6","datavalue":{"value":{"entity-type":"item","numeric-id":1942043,"id":"Q1942043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$BA8176A8-A08A-49C1-9E61-68829F4B90EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ba8a3d330a6c8f1ccbbecd7a0083b7bd6e1dfe","datavalue":{"value":{"entity-type":"item","numeric-id":5251184,"id":"Q5251184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$0FBFD634-372F-4216-9224-D679DF87C380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0875aa1a95c9b83c4f38fc2058fc836f0c3de42","datavalue":{"value":{"entity-type":"item","numeric-id":2259011,"id":"Q2259011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$2E923A32-0D39-4C90-87BE-AFB71D46E646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e74b4234b7589a854f4c9cae8fb28ca52c5393","datavalue":{"value":{"entity-type":"item","numeric-id":1258298,"id":"Q1258298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259011$95755056-9C0B-4B8F-9062-8CFF4DBE25FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"075b8f41f9949d72f35d1492738a0368f26cc3e2","datavalue":{"value":"10.1007/S11225-014-9562-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259011$DF4A92BB-1BF5-45D1-8F6E-AD9730C9617F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81eec2a089b306c823bf8c70833a50f2adf24ad","datavalue":{"value":{"entity-type":"item","numeric-id":2695033,"id":"Q2695033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a871e1082791e66d308d61eadd55ee2d9c34e16","datavalue":{"value":{"amount":"+0.8917025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259011$2B2CEC55-A095-43FC-B804-B4A989BEDF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a67b4c3e440300542cb7ced957af3803d863fe","datavalue":{"value":{"entity-type":"item","numeric-id":5213618,"id":"Q5213618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d78b3eb49ed6f4eb8d2632090f023da6c44dd79f","datavalue":{"value":{"amount":"+0.8876344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259011$FF8A5335-27EC-41E3-B3C7-6E7FF11591E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6146ecfabc55084f8cca7e191a79b5b24449a78f","datavalue":{"value":{"entity-type":"item","numeric-id":3743301,"id":"Q3743301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd8073a3f20fbdb798a5fbf7f62fd5fff805682b","datavalue":{"value":{"amount":"+0.8819754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259011$F3111F42-4E40-4CF4-BA35-158B3DDC898A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31cf489e60eadfa2b0a29993c47d7489a07bca08","datavalue":{"value":{"entity-type":"item","numeric-id":5216971,"id":"Q5216971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc955b5f9038e92ea987cacb18cbc4caa30e2614","datavalue":{"value":{"amount":"+0.87624204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259011$BC48A6C3-A153-4666-97B7-681D7B4BB707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cff3df00c7f165081310916438d70b857cff5d5","datavalue":{"value":{"entity-type":"item","numeric-id":3708775,"id":"Q3708775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cda33190eaed825c1c8391060d115638758748b","datavalue":{"value":{"amount":"+0.87520313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259011$A0EDE5A9-8F54-41D1-9FB9-27973D3F74A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0a198dbcd0f5e762a31f07682b48e6da4c9748","datavalue":{"value":{"entity-type":"item","numeric-id":5957922,"id":"Q5957922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae100d950e6d01e6b48cfee1e79b8f5cc3643aa","datavalue":{"value":{"amount":"+0.8750485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259011$280881A7-D249-4F7D-9B14-DA223A1EE19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c59bcf35a7fc4f583bf1977f2ec458b9c65102","datavalue":{"value":{"entity-type":"item","numeric-id":5419872,"id":"Q5419872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f65fddd17cec7ef75486f0886741eee283ffc1a","datavalue":{"value":{"amount":"+0.8726146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259011$3DA7598B-4CDE-4A49-B03E-9B25F02CBD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee2faa735fddeaf6e8fdcbb0a47d4bf0f0d6107c","datavalue":{"value":{"entity-type":"item","numeric-id":2330501,"id":"Q2330501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92994e39638bdc18857a3e2b98593e33821b6b4d","datavalue":{"value":{"amount":"+0.8713236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259011$57A7764A-F180-47B9-8F5E-A0F4096DA308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e476e8b83f9585570206cefe1255d6663a8fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3745826,"id":"Q3745826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"385abe36fcc44a4ae7ceb8c1bf7dbdbf01f383d2","datavalue":{"value":{"amount":"+0.87117463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259011$AD38C67B-5922-4120-B2EA-A296C811D7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36c6ad665f452a4ee53651f2e8f9f7fc569a7af","datavalue":{"value":{"entity-type":"item","numeric-id":1317986,"id":"Q1317986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"277266bc59c75ab98886aa86fe6f6e29168a5feb","datavalue":{"value":{"amount":"+0.8692921","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259011$C170C9F8-64B1-4210-AAB4-18AE935A6F7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_calculus_of_higher-level_rules,_propositional_quantification,_and_the_foundational_approach_to_proof-theoretic_harmony"}}}}}