{"entities":{"Q2193976":{"pageid":2204719,"ns":120,"title":"Item:Q2193976","lastrevid":71519991,"modified":"2026-04-13T22:48:12Z","type":"item","id":"Q2193976","labels":{"en":{"language":"en","value":"Herzberger's limit rule with labelled sequent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7239285"}},"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":"Q2193976$24637902-5C91-4AE2-B85C-A3E7599211E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7de4c64cd591522459e29b468037ebd47e69bff8","datavalue":{"value":{"text":"Herzberger's limit rule with labelled sequent calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2193976$AA56AAC6-B238-49AD-B1AB-24CABD668320","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a4014a8abcac4005ecad22b9f6cac4b7c7117ba","datavalue":{"value":"1484.03119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193976$F2D568C4-7FDF-4774-878C-1ED5FAE664B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a6d7202a795b5638cab7f961b9f9135faccef26","datavalue":{"value":{"entity-type":"item","numeric-id":263085,"id":"Q263085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$88660B5B-4DA4-407A-A545-09B641A21F24","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":"Q2193976$D7546E3C-327B-49C5-8A9E-8F526639B76F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40d6298d979cc5fe8f26a1cea0e2ec254982529e","datavalue":{"value":{"time":"+2020-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2193976$662FBA64-EFCC-42F9-83D1-12C37DB4D5AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193976$4F9D3EA2-F8EB-4A03-8B2E-4408E692CC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193976$62047997-2BCD-4615-816C-75EBDF3295C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ee80efd8f82bbc8dbde3c907903f15bce062e1e","datavalue":{"value":"7239285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193976$F4DFB552-A349-44EC-902D-5E32E0CE2BCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a5df3c497c82d06309aad120a8dee7a2b43ba6","datavalue":{"value":"revision theory of truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193976$4F80872E-A6FB-47F4-8A65-028EA6C83B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"928e4e491c804e6a8058c3dc155f12ae92e7c788","datavalue":{"value":"labelled sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193976$76E8E4E9-63D9-4E16-B1C5-57FDE04B67FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb1b9f7cb1df32938921ab21e49f5e194a72fd6d","datavalue":{"value":"Herzberger","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193976$6AF9179D-6A83-4B97-81FF-1ED6D7FDE20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f1f60cf51a9bbaa8c7535bb288b74f59430855","datavalue":{"value":"possible world semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193976$0CA1242C-9918-4DCF-B15D-A3C607F92F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21a5dde64af0d3f5b8a485846a04cdaeba2b5169","datavalue":{"value":"neighbourhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193976$EE303373-8502-4522-A3EA-3686BD9EE1D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$E7193CA9-69D1-4445-9B6B-AC3659398989","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":"Q2193976$5D32D9EA-FB4B-4A92-A69D-C2760DCB2C9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c68feb5835c0e498366f082e29c3afb6bcda512","datavalue":{"value":"https://doi.org/10.1007/s11225-019-09878-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2193976$28EDAB5A-DFC5-404D-85B2-956E00AC1DBE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39de3695a1700f99728a5d0a5f3ca8c4ca3408e1","datavalue":{"value":"W2981369531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193976$19139A87-EE45-4D86-9D1D-4BC5388D45D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"811842a5d4171eb675db0b37a987e4ca72089c0b","datavalue":{"value":{"entity-type":"item","numeric-id":1580658,"id":"Q1580658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$1B16BEF1-7744-4BAA-8913-F3E3C2C1E2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bb70b3f5a566a642831449cc6cc703083edd17","datavalue":{"value":{"entity-type":"item","numeric-id":1096626,"id":"Q1096626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$385C2129-5BD6-44C6-83B2-76009BD54E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7976d39752cac70dd3dffb1ec4a543f41d17787","datavalue":{"value":{"entity-type":"item","numeric-id":4557167,"id":"Q4557167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$81D67916-46DC-4FE1-8888-B1A3F41B8E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d883907c1b9faaee90794cecd283314576399aa6","datavalue":{"value":{"entity-type":"item","numeric-id":1839240,"id":"Q1839240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$E9B53CB6-32F9-4F00-8303-1CBB43CAAE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b1e485e82c7dc84d069a763eb4a11a2b42b250b","datavalue":{"value":{"entity-type":"item","numeric-id":4845457,"id":"Q4845457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$662B0201-0776-4B42-B89C-3E9438C7552D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea5d5cc618b0409672a22a4ad1d322501dfd252","datavalue":{"value":{"entity-type":"item","numeric-id":1893134,"id":"Q1893134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$13331944-E82F-413D-A808-418B58ECB0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae27d7122ec1a8cf54a2bf44c67ebac4db36f11","datavalue":{"value":{"entity-type":"item","numeric-id":1050329,"id":"Q1050329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$AD57E54D-EC93-4A31-AA84-32A4E2B275CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d6add245c52afcf8c4c6f786168b3bf772b231","datavalue":{"value":{"entity-type":"item","numeric-id":4899963,"id":"Q4899963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$C5339C95-4721-4292-A56D-FD56343C9C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75ba07ddf96d4136edf426d5956a034b4e08b535","datavalue":{"value":{"entity-type":"item","numeric-id":1107507,"id":"Q1107507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$5DA3C712-3EB2-474F-A975-4978EDEE4D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db45327879a1058ae216083cbde538be9c3b18e","datavalue":{"value":{"entity-type":"item","numeric-id":1069920,"id":"Q1069920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$AC1BAB70-DC41-42DB-A133-6FC4372EF948","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":"Q2193976$F0A5E63C-0812-4E98-8654-7703C8FFE4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a7af6d5e88d3b4f4c511ab1265afa0b193744ff","datavalue":{"value":{"entity-type":"item","numeric-id":2804473,"id":"Q2804473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$04FD2F20-D06E-42C7-81F8-A340103688D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748541fc241d4158ed3d6e70e259512d4e8bf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$E9138499-6E7B-4C9A-9C0F-A9081A7EF4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$41EBBEB4-2781-4082-B1E5-31917E473B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8425e0dfadac6ffc495ddc05b72321e3f19c94","datavalue":{"value":{"entity-type":"item","numeric-id":3114184,"id":"Q3114184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$25AF9E1A-B735-4FFC-A960-C044B7B50F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8391b866deaf9568a477808b252e1f99de1f3de8","datavalue":{"value":{"entity-type":"item","numeric-id":2399881,"id":"Q2399881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$36A49D41-05E6-46EA-940F-B4D42C364434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"962e7de1b1e873dc27e11a4c7bdd05d3f3ddf8eb","datavalue":{"value":{"entity-type":"item","numeric-id":2890700,"id":"Q2890700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$387F92B7-42A3-4549-91D0-6BB6E42849C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98952f6128cef4b40adf90193d9dc7db0215b8fd","datavalue":{"value":{"entity-type":"item","numeric-id":3305560,"id":"Q3305560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$A3685B2C-88F6-43C6-BCCA-BB8E0975A041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193976$258A7A79-4EEF-488F-9657-385EA00186FB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fcc422876e9858b208be40369a6a70626fa433fe","datavalue":{"value":"Q126986611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193976$4F6A147D-47E5-40D3-B047-C418ED84D424","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42c540425b807dd1ca48f9863a74dd5457ed0c89","datavalue":{"value":"10.1007/S11225-019-09878-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193976$0B177BFA-6677-4C8E-8BDD-9B33432230AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"462915c0f662cae31214555b5d913ed7c4a53975","datavalue":{"value":{"entity-type":"item","numeric-id":2482845,"id":"Q2482845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"843ae7b1fcdf437c56868c2e6f93f3cfc38b8fef","datavalue":{"value":{"amount":"+0.86653554","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":"Q2193976$46883500-B400-4817-B0A1-9E07542348F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d2444be6a9bb8efd2eb6a804bd94bdc3260a86","datavalue":{"value":{"entity-type":"item","numeric-id":5742614,"id":"Q5742614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"491ffc336cb87b18846d675b6bb1d0973159fed7","datavalue":{"value":{"amount":"+0.8638418","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":"Q2193976$C042A3CB-915B-4A3D-8D15-1199F38D7119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3038cd9b5dd36f01c482c1639a0e35dcd39f977f","datavalue":{"value":{"entity-type":"item","numeric-id":5884968,"id":"Q5884968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c1a970ef0dd2646b015f8a039047440c99b01ca","datavalue":{"value":{"amount":"+0.8574279","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":"Q2193976$1D973912-CA9F-4F28-AED1-57DBE44213AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc6216207f2eb67389a854c1d29a5515242c051","datavalue":{"value":{"entity-type":"item","numeric-id":2851936,"id":"Q2851936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7402946ba6c08dbfc8ae7681ce5498d6fa131e2","datavalue":{"value":{"amount":"+0.8461063","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":"Q2193976$18978E31-39B4-4113-8CA2-CD7B6598D0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c0c710db4eaf5ba52fc5fdcdea032f1f85e2cef","datavalue":{"value":{"entity-type":"item","numeric-id":1679793,"id":"Q1679793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4847e18dea44c600eae1346a64a31e9faa58aec","datavalue":{"value":{"amount":"+0.8452423","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":"Q2193976$0850011A-5635-4F76-A92E-E720E4E82733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c19d7b2a89b2589ee2eae31d625dcafc88fb45","datavalue":{"value":{"entity-type":"item","numeric-id":4218925,"id":"Q4218925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e009d6f9640c0f3703697f78fd7bba1784654830","datavalue":{"value":{"amount":"+0.8433542","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":"Q2193976$8D3D8D68-F4D1-4F44-8C71-653A5F428EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117c7c43aaa79e674e899e9d9be0a400c5167983","datavalue":{"value":{"entity-type":"item","numeric-id":1580658,"id":"Q1580658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e74f83c860a872e21dd37d50648f05d36c7812","datavalue":{"value":{"amount":"+0.8361471","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":"Q2193976$C2F94463-4D21-4849-AD9E-5FF69E175DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111987797771664757c3f9431859571a63da9e17","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"225a06abcab51f34fd15be7e287f8b87d9b8bb36","datavalue":{"value":{"amount":"+0.8335595","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":"Q2193976$81FD88F3-8A0D-4E25-8030-45CE08E18C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcef6a4c4d89901afcee0772c8aa537a5f384c2a","datavalue":{"value":{"entity-type":"item","numeric-id":6162079,"id":"Q6162079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a2fc2b0bcd8061c8457b4741356efcbf3d0d43","datavalue":{"value":{"amount":"+0.833349","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":"Q2193976$C3D82A40-E89B-4F1A-ABC6-114A69FF21ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f16449b0dc5be21fb7eae3e0bd40e56c9184635","datavalue":{"value":{"entity-type":"item","numeric-id":3019972,"id":"Q3019972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f4cd78da3375112b96e9e1c725b09a9946b7ebd","datavalue":{"value":{"amount":"+0.8332535","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":"Q2193976$50F5DE50-F0CE-48A3-A53D-2B2401418B11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Herzberger's limit rule with labelled sequent calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Herzberger%27s_limit_rule_with_labelled_sequent_calculus"}}}}}