{"entities":{"Q5940930":{"pageid":8117732,"ns":120,"title":"Item:Q5940930","lastrevid":41777213,"modified":"2025-05-08T04:59:39Z","type":"item","id":"Q5940930","labels":{"en":{"language":"en","value":"The limits of fixed-order computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635081"}},"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":"Q5940930$74505E35-19C7-498A-AAF9-8E2A144B509F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6d814e9941c4c55e9ec983178e3de757b05a594","datavalue":{"value":{"text":"The limits of fixed-order computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5940930$BE55BCC7-5333-43A8-9CDE-29ED1B2D4927","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec3e5c0fd004af1453484fdd2fae11ff8413ef7e","datavalue":{"value":"0974.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940930$08D0A86D-76EA-4F61-B9AE-0541B63A591E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f81d9554f4bab63e16082aa1dd30c6d0fed89a2","datavalue":{"value":"10.1016/S0304-3975(99)00341-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940930$3EF2A55F-B864-4D99-BC31-6AC5706823EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba6a5352415e5620331ed484966e52e3a16a0b01","datavalue":{"value":{"entity-type":"item","numeric-id":1683933,"id":"Q1683933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$E82505B7-6363-40A9-B0EE-6AE66D6EDC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1624b9369a037e0a16c71e7bf773e6fdc009f47f","datavalue":{"value":{"entity-type":"item","numeric-id":1603736,"id":"Q1603736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$4515B0A6-4F5D-46F6-BF30-77A5E639153D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"116d98730e2f36e09b578769ef51bae5ebd20956","datavalue":{"value":{"entity-type":"item","numeric-id":1096422,"id":"Q1096422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$D82FF7C2-9636-4031-B3AB-F12D16F427AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$0A93FCEF-EFD2-491E-B8A5-1CCD417C7985","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5940930$EA263D42-94E4-4FCF-9917-D65A33E66BEB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ba9583913675018767e37435dbcc9c5bd6d08f54","datavalue":{"value":"Fixed-order computation rules, used by Prolog and most deductive database systems, do not suffice to compute the well-founded semantics [\\textit{A. Van Gelder, K. A. Ross} and \\textit{J. S. Schlipf}, J. ACM 38, No. 3, 620-650 (1991; Zbl 0799.68045)] because they cannot properly resolve loops through negation. This inadequacy is reflected both in formulations of SLS-resolution [(*) \\textit{T. C. Przymusinski}, in: Proc. 8th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, ACM Press, Philadelphia, Pennsylvania, March 1989, pp. 11-21; \\textit{K. A. Ross}, J. Log. Program. 13, No 1, 1-22 (1992; Zbl 0773.68064)] which is an ideal search strategy, and in more practical strategies like SLG [\\textit{W. Chen} and \\textit{D. S. Warren}, J. ACM 43, No. 1, 20-74 (1996; Zbl 0882.68050)] or Well-Founded Ordered Search [\\textit{P. J. Stucky} and \\textit{S. Sudarshan}, J. Log. Program. 32, No. 3, 171-206 (1977)]. Typically, these practical strategies combine an inexpensive fixed-order search with a relatively expensive dynamic search, such as an alternating fixed point [\\textit{A. Van Gelder}, J. Comput. Syst. Sci. 47, No. 1, 185-221 (1993; Zbl 0793.68039)]. Restricting the search space of evaluation strategies by maximizing the use of fixed-order computation is of prime importance for efficient goal-directed evaluation of the well-founded semantics. Towards this end, the theory of modular stratification [\\textit{K. A. Ross}, J. ACM 41, No. 6, 1216-1266 (1994; Zbl 0830.68028)], formulates a subset of normal logic programs whose literals can be statically reordered so that the program can be evaluated using a fixed-order computation rule. The class of modularly stratified programs, however, is not closed under simple program transformations such as the HiLog transformation. We address the limits of fixed-order computation by adapting results of (*) to formulate the class of left-to-right dynamically stratified programs, and show that this class properly includes other classes of fixed-order stratified programs. We then introduce \\(SLG_{strat}\\), a variant of SLG resolution that uses a fixed-order computation rule, and prove that it correctly evaluates ground left-to-right dynamically stratified programs. Finally, we indicate how \\(SLG_{strat}\\) can be used as a basis for computing the well-founded semantics through a search strategy called \\(SLG_{RD},\\) for SLG with Reduced use of Delaying.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940930$ACCDDF10-93FD-4E11-AA99-DA294DE54301","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940930$1D3818B9-A6F7-4C97-B5F7-944A995D4786","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69ecdaab563459bbcdca5a8eff624aacb6ed92cc","datavalue":{"value":"1635081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940930$665949E6-71AD-4B80-8D34-1B3A18E5B4F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5802f2962b6f565aa6137fc5df678890a4d02c5","datavalue":{"value":"stratification theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940930$D2CB850B-9AEA-4856-9C07-66C861632E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940930$B7D1E3DD-5083-4A41-8F39-4A42394F6BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ad898fce43911ca55eb5ed942bac1dbc1b2a14","datavalue":{"value":"non-monotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940930$55A7D66F-E122-4964-AA0B-BD8DFE01D84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9346bb56bb3794b0907906326af1b37fa16fde55","datavalue":{"value":"tabling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940930$7FE3579C-E8E8-4519-A6D8-447BCDF7DA0A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1da121714b17d37c0202a580fc288d94b43d180","datavalue":{"value":{"entity-type":"item","numeric-id":25788,"id":"Q25788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$BA33CB8D-0696-4EF7-811A-16735869EB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$A8E7D0B6-A391-4861-AF8F-6CA2701A6632","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":"Q5940930$25DE2E6D-842A-4941-8636-FC86D8CC3456","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c795dc62aa806cd9fc7c4506185432f7f8b1a3","datavalue":{"value":{"entity-type":"item","numeric-id":1891266,"id":"Q1891266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$E5EC53AB-8D27-4A65-9719-C8CA5532CFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3cad1b8093ce464b6c645c179cea5dffe1adc7","datavalue":{"value":{"entity-type":"item","numeric-id":753501,"id":"Q753501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$A347CEFF-A96F-4017-89EB-B1BA47245DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6474ac56a102268b2f01ee8a7b45584b1e5bfaad","datavalue":{"value":{"entity-type":"item","numeric-id":3841100,"id":"Q3841100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$F2458705-03FC-4A42-97BE-764378F8F9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b498da1f57b359fe0412aa8066698c92774a43","datavalue":{"value":{"entity-type":"item","numeric-id":4036287,"id":"Q4036287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$E2E6FB5A-BD9D-400E-99FE-49EFD104F7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"353dab22332923e55a96f95488b7aeb1ef99091e","datavalue":{"value":{"entity-type":"item","numeric-id":4371515,"id":"Q4371515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$F36C3930-27B4-40B1-A6F1-BA63BCB1681B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59afb5c66f8b07963df39e74562274f3ef3ce558","datavalue":{"value":{"entity-type":"item","numeric-id":4259968,"id":"Q4259968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$F377A828-5A9D-4A03-B0F0-0E85D99C6F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$265BF71D-C5A8-4143-A8F4-67CC24BFB41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a323bdfb92799b8625e9b284c269fa203dee41","datavalue":{"value":{"entity-type":"item","numeric-id":1924385,"id":"Q1924385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$B9DC105F-511B-43E2-9BAA-4DDE9BFA6752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"313e1e9336adecf69bfa4150f4948df7afb24157","datavalue":{"value":{"entity-type":"item","numeric-id":3477997,"id":"Q3477997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$272B09D1-568D-4C6C-AFF7-E1A921F38F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$5D438541-ACEA-4B2D-8AE4-D906C6F9F090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8babfaec28a21c5a55bf9b6779b9f684b10de0db","datavalue":{"value":{"entity-type":"item","numeric-id":4223452,"id":"Q4223452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$5A724347-CBAD-4C3D-9E48-C24ED2491F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16220e9810c1bed07c3d6d93354d56350ef530d8","datavalue":{"value":{"entity-type":"item","numeric-id":3992225,"id":"Q3992225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$00F75DE3-8D82-4412-8CAC-E82C7397DA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7727791b011efe05898560876f04849bc9615d85","datavalue":{"value":{"entity-type":"item","numeric-id":4327632,"id":"Q4327632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$60DA8C04-C657-43B0-8113-3895A320FE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdc7342f7a9bf4ba59d2d48494ab14f93138695","datavalue":{"value":{"entity-type":"item","numeric-id":4365081,"id":"Q4365081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$A8A4E645-9C63-4170-BF89-4915F9FEBEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f7a9134e658e259af7b343ab5d0a31a19e0988","datavalue":{"value":{"entity-type":"item","numeric-id":686646,"id":"Q686646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$2A4418EB-B945-418D-A941-7529177B770B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940930$5741C164-E883-4E67-9041-D75F7884D4B9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b1e7733cbf7fa22019375b0825c957bc35d84b1d","datavalue":{"value":"Q58968403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940930$3A018ED7-8CB1-4503-B72B-1EF52A37CCED","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e96815dc004310f0c64f2c2ce923c62ed4f2b77f","datavalue":{"value":"journals/tcs/SagonasSW01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940930$A74C5777-AD80-4D90-85C8-CBCC60248856","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d6a7e07e9e3d88156b009c40ca9b97f88a89366","datavalue":{"value":{"entity-type":"item","numeric-id":963840,"id":"Q963840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd3fb1e1235505d30e44f45b7ae59ec5702744a","datavalue":{"value":{"amount":"+0.8795028","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":"Q5940930$A967ED96-B39C-45AE-BC41-D895DC0FB96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c95acb55d006a93bf9d2cf4255bfeb2b79542a","datavalue":{"value":{"entity-type":"item","numeric-id":5246016,"id":"Q5246016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe25230d4cdb5fbb7a0153f3387df48ae5d50393","datavalue":{"value":{"amount":"+0.87870234","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":"Q5940930$39CE6EB1-1727-4BCB-983A-2CD46BD3C1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7de088e0f8d838edd385a9598db69a8c6d3559","datavalue":{"value":{"entity-type":"item","numeric-id":518688,"id":"Q518688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76322ac92a9d21c653a9a0da417f43ff5f7093e9","datavalue":{"value":{"amount":"+0.8783035","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":"Q5940930$6E15A260-6083-437B-A3A7-D606F93B4F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"631f6519a0a6856f63c9d270f3b2e977c4c8b983","datavalue":{"value":{"entity-type":"item","numeric-id":4623274,"id":"Q4623274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3d5831b378d61c20799cc0d7d55eded8d1ea2b7","datavalue":{"value":{"amount":"+0.8732258","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":"Q5940930$EEB77495-26F0-4FE2-AC3D-5A1DD643521E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e9e07fdd4a1e338c66a0dc830107cc3647b759","datavalue":{"value":{"entity-type":"item","numeric-id":2431381,"id":"Q2431381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd7a79b3f573fd2a7bca637b8bf513d0bf218fbf","datavalue":{"value":{"amount":"+0.8677832","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":"Q5940930$D7C8D1F0-5D1B-4CE3-8D74-5534362722B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb9fe95ae2313d2d4fa1553573be070f106b348","datavalue":{"value":{"entity-type":"item","numeric-id":4736394,"id":"Q4736394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a9ec340c6a805b496ae838907dd61d5fa9f9e9","datavalue":{"value":{"amount":"+0.8621452","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":"Q5940930$5778804B-23A2-431C-846D-A47F78E99D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45cc8d980ae6d195fe11a3cd7ecdd759629e08e","datavalue":{"value":{"entity-type":"item","numeric-id":3083128,"id":"Q3083128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd82467e32f71d5a9ea510aeb1c47089796ad54","datavalue":{"value":{"amount":"+0.85664517","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":"Q5940930$2BC4BE60-3F9C-4658-B2BB-DC3E52DF0CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef3259ca59963533cf290f0efe39ceda29254554","datavalue":{"value":{"entity-type":"item","numeric-id":5441127,"id":"Q5441127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"356931c79e3b67b8501b6485aa3d8427bbe4a86d","datavalue":{"value":{"amount":"+0.85275435","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":"Q5940930$B1ED717B-405E-4E57-B149-71CC1BEEF5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887e6fdab9e089d6370bae9405de12b07e234619","datavalue":{"value":{"entity-type":"item","numeric-id":4266170,"id":"Q4266170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d79e18b322e0af8f4db6b0e5756cfd611eb81ffa","datavalue":{"value":{"amount":"+0.8505724","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":"Q5940930$58CEA370-D648-40F1-BB7A-70597C22B179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc6af4b78bc962e3ecd5ddb204d4e959414e0a68","datavalue":{"value":{"entity-type":"item","numeric-id":4843270,"id":"Q4843270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf2b239f14314aea945a64265609cb73d38c39d","datavalue":{"value":{"amount":"+0.85038304","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":"Q5940930$16706124-34DC-46F6-8DB9-BB1AD89E4DC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5940930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5940930"}}}}}