{"entities":{"Q982183":{"pageid":984031,"ns":120,"title":"Item:Q982183","lastrevid":65878680,"modified":"2026-04-12T05:59:36Z","type":"item","id":"Q982183","labels":{"en":{"language":"en","value":"On the form of witness terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5730940"}},"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":"Q982183$92A1F526-5FF8-4DA5-A3A4-75C75D090F5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddaea16e3c2585923c35cab5c0157cbd502eee14","datavalue":{"value":{"text":"On the form of witness terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q982183$3A284194-BF19-4250-AD87-586279EBE8F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9525fb320aa4c00db9295a3168f198dec1b9d667","datavalue":{"value":"1205.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982183$34A2287F-B8DC-4D0E-BDF1-FABC907F1234","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac16dcce5f3df8b1bf1087e5a90fdae80fa7a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":402112,"id":"Q402112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$583B55E5-7431-41EA-81C7-EF38A79AA4A1","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":"Q982183$76B7336D-7F82-4E00-9079-AEE90E59D8AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1c7ea6139a683d58d121d342349f793de1b1e11","datavalue":{"value":{"time":"+2010-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q982183$1D785F6E-40BD-45CD-BB08-A778E480F243","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9cb956655c47212171e8ccabc383caff7ecff948","datavalue":{"value":"The paper tries to characterize the set of cut-free proofs obtainable from proofs (possibly with cuts) through various methods of cut-elimination. The author restricts the attention to the term level of first-order proofs. For a valid existential formula \\(F=\\exists x_1\\dots\\exists x_n A(x_1,\\dots,x_n)\\), and an enumeration \\(\\overline{t_1},\\overline{t_2},\\dots\\) of all \\(n\\)-tuples of variable-free terms, the set \\({\\mathcal H}(F)=\\big\\{\\{ A(\\overline{t_i})\\mid i\\in I\\}\\mid I\\subseteq{\\mathbb N}, \\;\\bigvee_{i\\in I}A(\\overline{t_i}) \\text{\\;is \\;a \\;tautology}\\big\\}\\) is an upper semi-lattice. For each proof (possibly with cuts) \\(\\pi\\) of \\(F\\) one can associate a set of points in \\({\\mathcal H}(F)\\): the cut-free proofs reachable by cut-elimination from \\(\\pi\\). The characterization problem that the author is interested in is finding the least upper bound of the reachable proofs, as it represents, as the author claims, the content of \\(\\pi\\) on an elementary level (in the sense of the sub-formula property) but at the same time it considers \\(\\pi\\) in its full generality (as no particular proof has been pre-determined by the choice of a cut-elimination procedure). Another aspect to take into consideration is finding a characterization based on a pure term formalism not referring to proofs.  In the paper, the author gives a characterization for a non-trivial (but not necessarily the least) upper bound in terms of a regular tree grammar. Then, as an application, a certain class of proofs having only elementary cut-elimination is obtained. The results are also extended to Peano Arithmetic, and are demonstrated on the formalization of a short proof in number theory (of the theorem stating that for any \\(m\\geq 2\\) and \\(n\\geq 1\\) there exists a number between \\(n\\) and \\(m^2\\cdot n\\) which can be written as a sum of two squares). The author notes that this method provides a new way of computing witness terms that circumvents cut-elimination.","type":"string"},"datatype":"string"},"type":"statement","id":"Q982183$533643C3-E8B4-4DF4-9F94-5901FD5CDE69","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4bc285a01ee2fee3db93f6df1148b69669dc8b6e","datavalue":{"value":{"entity-type":"item","numeric-id":590045,"id":"Q590045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$D29E34B2-5A9B-4BE9-8051-A24390397BF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982183$217FE0E7-0EDC-4EEE-AF1C-365CDFC617E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982183$01C07436-E81E-4B49-BB22-52B0BB04E91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982183$BC9AF5AF-EDF4-42D2-A8AD-AB63D7E4C64E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8b497b5bcfc8c2d7c1eb36d22b7975aada6bd02","datavalue":{"value":"5730940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982183$C25CDC6C-EDFC-4FF2-928E-E0C6A2655E53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q982183$7E5E0198-C9B1-44AC-A65F-A07C45BD1B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q982183$60CB6DCD-B075-4244-99A6-D55C613540E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q982183$93FED6A3-C86B-4816-A573-B5342A8BD6A5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45702294177a39ee1ff9766c01d5d14dfb7896ef","datavalue":{"value":{"entity-type":"item","numeric-id":21425,"id":"Q21425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$3971EECF-E942-4864-BDA9-A3872E4C3232","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":"Q982183$FE1592A5-1AB6-444C-B720-F99454E4E5CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b746c4bf27e713cc83a7e84fba573faba85f7638","datavalue":{"value":"https://doi.org/10.1007/s00153-010-0186-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q982183$396BA19E-20C4-4884-AF08-21C38A3BCED7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64efa3eead568ea66fe907fd71be761167414b9e","datavalue":{"value":"W2105870119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982183$764CBE35-18A7-46EC-B80A-EBE4D6A1B797","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7036e2e52e329387c8e99d6ca2df1fc1f19b7e1","datavalue":{"value":{"entity-type":"item","numeric-id":3083141,"id":"Q3083141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$79A4BD08-A5D6-4D40-97F9-E9050DCD0534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9971824e365b87038a762d44dbf9be6146ef8271","datavalue":{"value":{"entity-type":"item","numeric-id":5705944,"id":"Q5705944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$0732F3E2-7516-4EE8-861B-BA1202298A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93bcd041174ccd48e10bcb2ce475e4ab10d2f70d","datavalue":{"value":{"entity-type":"item","numeric-id":944367,"id":"Q944367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$11711FB1-7961-4360-AC86-EF5AF27942AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b559e594edc07777117cb084e905ea94187a1df3","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$1E99CFB9-6B6B-40F4-BC96-BD4BBF43A3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1079b6d698a143d8d07f3dc7f4c3c2ed61bd0760","datavalue":{"value":{"entity-type":"item","numeric-id":5927981,"id":"Q5927981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$B1D686F9-4A34-4050-B106-20D0E5FE3F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$2B7FE8EF-9B73-4A5B-AF32-EAA11AD69306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4216843c802ffd174b4b4e35f24b71dab8dfbe","datavalue":{"value":{"entity-type":"item","numeric-id":1295442,"id":"Q1295442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$FE1952ED-CB78-4DE0-B2A7-8B16E7A5FA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c644124f17d3696f4f522138a5baa7f21ccedd","datavalue":{"value":{"entity-type":"item","numeric-id":4942870,"id":"Q4942870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$0314CE38-45A5-415F-80D3-A65093E1A3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$3559D986-A017-4BE7-82F1-B8BD85F0DB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e84ff42267477e949575e937efae295817dbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":4372906,"id":"Q4372906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$B6A36B12-A16C-4F9B-8325-04404461B976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f82cd6041a75b2f16623a0408f2af61b57b425e","datavalue":{"value":{"entity-type":"item","numeric-id":4126428,"id":"Q4126428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$3C208F79-7065-48E4-90CA-24BD58EF0D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54248dd0491e9d3643cd764e439a902559d8a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1208732,"id":"Q1208732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$83CA61B9-78E7-4D27-855F-D8D1C82A7385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20484ddb6260b6177951a1731b3fa6574e17981d","datavalue":{"value":{"entity-type":"item","numeric-id":1275067,"id":"Q1275067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$02F4C4C8-8376-4C77-8FD9-DAC993A806BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$8B430D7B-1C14-45AB-A809-B106CCCBED67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c5deeeb70a71d2e28c16c55abf45f3d584d140","datavalue":{"value":{"entity-type":"item","numeric-id":5292638,"id":"Q5292638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$E5FA87ED-6BDD-4E8D-9DFF-024A8D9A3BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f094dce430ae0e7ee30af87c2ef9bb77758df377","datavalue":{"value":{"entity-type":"item","numeric-id":2565988,"id":"Q2565988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$B76A763F-CC06-4F63-B10C-FDCDEA53E6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$39498B56-6E54-4B3A-9DCF-3BCBD187B49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$86772EA5-866B-4ADF-AF4E-EB837B480D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa08a5adf53700113499e1b71945ae8b6f49ff8c","datavalue":{"value":{"entity-type":"item","numeric-id":1023053,"id":"Q1023053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$7B08E2E0-B605-4718-A934-F921CB124301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$71E26C7C-90AE-4512-A4E5-6269B0AC6924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d71305c8d9d041668e564bf7f2f69f04f88a1b7","datavalue":{"value":{"entity-type":"item","numeric-id":3822154,"id":"Q3822154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$56BE08A6-53C9-401A-ABEB-8B10A12BACF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675ec5894a8c57acbe2bcc56434f5813617d031","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$66DBF2D8-B703-4AE1-8FCC-2B398D495C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5a52049791eff1e794bc7bab216824fc094503","datavalue":{"value":{"entity-type":"item","numeric-id":3866101,"id":"Q3866101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$17D6C313-5AE1-454D-A29C-540EEE9C0AB4","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":"Q982183$357D56A9-54C6-4BA2-AE7A-926E993AB474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e499c86ee0646fff12cf3f079c9131faaea7b20","datavalue":{"value":{"entity-type":"item","numeric-id":4215637,"id":"Q4215637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$B7C3E4EA-CB23-4238-9703-C3CE502C28EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85ec644d1895229fb9a0063bc11fc1d9a36f9be","datavalue":{"value":{"entity-type":"item","numeric-id":2882563,"id":"Q2882563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$C4D6672C-C88C-4D48-B0B1-760B18304820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1813c495b4019dbc5a0338bf865711982b775489","datavalue":{"value":{"entity-type":"item","numeric-id":4198750,"id":"Q4198750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$BED06CF7-1349-435D-B2AA-5DDA664092B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be85b3951fe2b4ee7f07bf10003c515b5749abc6","datavalue":{"value":{"entity-type":"item","numeric-id":5605873,"id":"Q5605873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$A5BEAE52-A761-4923-8DD3-865762F6225A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$0985B2DE-EE74-472F-AE72-68437CDC6BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79204b93c70135fd2326679c160b7bc12322e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2708321,"id":"Q2708321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$758E2681-0081-44DA-A842-6E152CBFFC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e8246186317a12728382bda44d4fa806440e38","datavalue":{"value":{"entity-type":"item","numeric-id":1183598,"id":"Q1183598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$742892F8-02EB-4AE9-806D-2FC0E7837A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26d00aab1326d4e92125bfdd3af6e80e218d54c4","datavalue":{"value":{"entity-type":"item","numeric-id":1329747,"id":"Q1329747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$956AB305-DA3C-43AE-8F73-1305C669BA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90b2e0ced1298041d18e0c665831758c400276e","datavalue":{"value":{"entity-type":"item","numeric-id":4052084,"id":"Q4052084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982183$A883F034-40D4-4E71-A192-AA9D40D4807B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7eb70d6f7c77b04d8f4e58266b88f2703a80652c","datavalue":{"value":"10.1007/S00153-010-0186-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982183$D03E5CA1-7B00-47ED-BD4C-8E825C26B31F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6316d4020e0fb67c0e9dd75f11b02cf7043dfe01","datavalue":{"value":{"entity-type":"item","numeric-id":3083141,"id":"Q3083141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd6bffc888db875fd87826fa3fcb5f8624ec3915","datavalue":{"value":{"amount":"+0.8098543286323547","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":"Q982183$39532C9A-7E35-4984-823B-C0036A80250A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe186cac75804def3c2fa703a831734e4da013d","datavalue":{"value":{"entity-type":"item","numeric-id":5361251,"id":"Q5361251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19317fd7b34c2c1558663bbd5ea8de10a3dde3be","datavalue":{"value":{"amount":"+0.756770133972168","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":"Q982183$02F6E859-3B90-4050-B94C-9357C5FCEEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060c11824453d7d11b7734e7def710dc27b17879","datavalue":{"value":{"entity-type":"item","numeric-id":3455184,"id":"Q3455184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a06e96b6f62e4f5a35a1b5649b6b2fcda486f72","datavalue":{"value":{"amount":"+0.752435028553009","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":"Q982183$9D756697-A081-420F-903D-4A127F6E8684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e05ea5b7d7260ca535be85672730a3681c9e77","datavalue":{"value":{"entity-type":"item","numeric-id":2871477,"id":"Q2871477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9be0cae513008faeaf17f12a093535e5987eb42","datavalue":{"value":{"amount":"+0.7518082857131958","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":"Q982183$ACE49D68-005F-44D0-864D-8A1170DCB229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e54c2e9629b55d20ea7038340a55adaa2a97aba","datavalue":{"value":{"entity-type":"item","numeric-id":5452195,"id":"Q5452195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413bcb1888fc727b0b2188eaeea77757b36b37e8","datavalue":{"value":{"amount":"+0.7502331733703613","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":"Q982183$0B9C2B33-E3B8-4BD7-AE6A-ADC79860575D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the form of witness terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_form_of_witness_terms"}}}}}