{"entities":{"Q1199916":{"pageid":1210665,"ns":120,"title":"Item:Q1199916","lastrevid":77944310,"modified":"2026-05-06T10:25:09Z","type":"item","id":"Q1199916","labels":{"en":{"language":"en","value":"Linear resolution for consequence finding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 96250"}},"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":"Q1199916$E5104313-5D35-4D74-8D30-210A1F996A51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"baa0f822bf2e503e7710f320512ee1efa49d918a","datavalue":{"value":{"text":"Linear resolution for consequence finding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199916$79D8452A-A0DF-4F8C-80D3-ADAB1BD07C12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"daddf43c1561b37a33054ff730b0f6770ca55f45","datavalue":{"value":"0805.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199916$F420FA7C-7F88-4789-8C45-440D203D1C6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36ba2a5eadc68f545ca09134c374b8426d96050e","datavalue":{"value":"10.1016/0004-3702(92)90030-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199916$689F85A1-303F-43A0-BAA9-4DA008A02BC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e804c1f7efed58c4ab3563ef841d7e67b0819c","datavalue":{"value":{"entity-type":"item","numeric-id":374190,"id":"Q374190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$45035BEC-E61A-439C-B5C5-B03B503ACB1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$9323C97D-9636-4308-8CF7-E0B5D6E95A16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1199916$0501AC9D-D053-410E-8D18-D240B8B15558","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cc88ca785d6c7425b21c0d5a05bcfc4859dde677","datavalue":{"value":"Resolution is mostly used as refutational method. However, it is an old result of \\textit{R. C. T. Lee} [``A completeness theorem and computer program for finding theorems derivable from given axioms'', Ph. D. Thesis, Univ. California, Berkeley, CA (1967)] that resolution is also complete for consequence finding (if \\(C\\) is a non-tautological clause implied by a set of clauses \\(\\mathcal C\\) then there exist a clause \\(D\\) such that \\(D\\) is derivable from \\(\\mathcal C\\) and \\(D\\) subsumes \\(C\\)).   The author of this paper uses SOL-resolution, an adapted version of model elimination, as a consequence-finding method. For the description of the problem of consequence-finding, the author develops an abstract framework around the central concept of production field. In a production field a specific subset of literals is specified of which the consequence clauses must consists (plus further syntax restrictions). The set of theorems derivable from a set of clauses which belong to a production field and are closed under subsumption form the so-called set of characteristic clauses (one of the key notions of this paper).   The author gives several applications in the area of AI (abductive reasoning, prime implicates, truth maintenance systems and circumscription), where his general terminology leads to a unified and systematic treatment. The concept of SOL-resolution defined in this paper (skipping ordered linear \\(r\\)) is a method for consequence-finding which is close to model elimination and generalizes several other consequence- finding methods used so far [see, e.g., \\textit{T. C. Przymusi\u0144ski}, Artif. Intell. 38, No. 1, 49-73 (1989; Zbl 0663.68098)]. The operation of skipping is characteristic to consequence-finding (it selects a specific group of literals and ``protects'' them from resolution cut). It is pointed out that the techniques of reduction and resolution (as defined in the model elimination method) must be used nondeterministically and that some preference methods used in the standard literature (such as OL- resolution) are incomplete. Eventually, it is proved that SOL-resolution is sound and complete for consequence-finding.   By the general, mathematically rigorous terminology and by the completeness result for an efficient (predicate logic) method of consequence-finding, the paper is an important contribution to AI-logic and automatic deduction. Some minor details only: Even in the case of propositional logic, ``\\(C\\) subsumes \\(D\\)'' is not equivalent to the validity of \\(C\\to D\\) (this holds only if \\(D\\) is not a tautology); the restriction to nontautological clauses is also important to the validity of Lee's theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199916$75D9A611-6B58-4F4A-8628-E3730B0D64D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199916$7E442E42-BB5A-4A0E-8B44-8F16835802B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199916$B4C6C428-2EA3-4695-876C-37E0F733FC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199916$A40E0DBD-F918-4065-AC9C-48A377E895EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199916$15561559-8520-4E5B-83D9-13A41627A87E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec3437d2e5585ac4ed8d6d61cdb48645c320fca8","datavalue":{"value":"96250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199916$8EFA7B7C-A2F1-480B-AF1D-A45E5F063CA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199916$F468F34F-1F7F-42FE-95AB-030F414F6CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4f438ae6f0d559642d4357ef8d257191ec20c9b","datavalue":{"value":"SOL-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199916$D366B698-14D0-417E-9310-FF226C32234E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f40ceba587689c887088cba8be3e58e5bfd0a17","datavalue":{"value":"consequence-finding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199916$17AAA6DF-888F-4C23-AE1C-7BCDC4178F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da70f31434c3fc6025e3f4faa10085aa369e58f5","datavalue":{"value":"production field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199916$D4210358-CA82-417B-ACB9-03D27ED6F723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c98e3dc64270ec0de715f8b38eca46cbd549427","datavalue":{"value":"model elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199916$650F1877-3D26-4A8F-A3F7-BE0C28F1814A","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":"Q1199916$9179689F-BF6B-4A2F-9600-10A46A65B96A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5f0ad0fafb9a894a19f76858565daa19b5e7105","datavalue":{"value":"https://doi.org/10.1016/0004-3702(92)90030-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1199916$366B4A6E-DAA0-4CE3-B89A-1ABF1A83D176","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0b9eae9afce21fae78da85ede989d78449e2117","datavalue":{"value":"W1965184317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199916$3E791C8B-918C-410A-B470-AF4C509627F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e987535b4cf569317f73e58b0e19113981066163","datavalue":{"value":{"entity-type":"item","numeric-id":1060864,"id":"Q1060864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$14EC7EF8-5088-4B06-ABFD-CE60CCD3EB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$9F0F9953-5F66-4C43-ACAB-6D6F39D3D481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0658ac50929df729fce77ff4a3731f57c3fa52f9","datavalue":{"value":{"entity-type":"item","numeric-id":3786007,"id":"Q3786007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$BD7709C2-5C5C-4A18-B2AC-B8835608EFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a170af516145ca9c0e5963c08cb024ad4f2af17","datavalue":{"value":{"entity-type":"item","numeric-id":3489523,"id":"Q3489523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$B25B8D7B-C9EE-4D43-8BC1-77621FFA2005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9605f47ad7b379523dc34d70de4abf4fd8e6fa07","datavalue":{"value":{"entity-type":"item","numeric-id":4012181,"id":"Q4012181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$BC2A1F8E-B9F8-40F5-AC19-010D00C8220B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222b186d1a5a394b7366c4c1b9dd69568303895d","datavalue":{"value":{"entity-type":"item","numeric-id":1115207,"id":"Q1115207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$F9BC7E2C-FC75-4598-9211-A957006596E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f927a92bfb7361a8954519f1790a19e0db351e9","datavalue":{"value":{"entity-type":"item","numeric-id":1123640,"id":"Q1123640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$C63A9E55-2F8C-425A-9AC5-7B62BA5878E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd80cfb94807c840c3d6eae9662622c9f67df371","datavalue":{"value":{"entity-type":"item","numeric-id":4012237,"id":"Q4012237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$CC2D4B2A-9F4D-421E-A40A-C092146F0231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f782962b7571552d1e9b00b9cee56f921036ec","datavalue":{"value":{"entity-type":"item","numeric-id":4012182,"id":"Q4012182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$3B68CEEE-2672-4B8E-AA1F-381690D56690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f2d30ff9736e273353ee12998df77eb6b21c13","datavalue":{"value":{"entity-type":"item","numeric-id":917336,"id":"Q917336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$503C6054-2786-4EA4-8388-6378B036F6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f09c8478424162622e2e11cbade44966513eb5d","datavalue":{"value":{"entity-type":"item","numeric-id":5621960,"id":"Q5621960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$437C4693-935B-4CFC-A24A-7E100D08B7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbf5d4c6cedd5848e03816494729378cde53a8e","datavalue":{"value":{"entity-type":"item","numeric-id":2551698,"id":"Q2551698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$17003335-8449-44DB-80A3-BB90D858DF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0457dd2a82e840b759bd2d889fdc59da2ee2167","datavalue":{"value":{"entity-type":"item","numeric-id":3198885,"id":"Q3198885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$13358372-8F18-4FC6-A268-24F74357371E","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":"Q1199916$2C1825DB-95CC-4F55-B035-6E9B3065F011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8586c92c4d90a06cb521bef03111f958a597fe2e","datavalue":{"value":{"entity-type":"item","numeric-id":5574714,"id":"Q5574714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$4B233831-D710-4942-826D-FCE45A9F4803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$B95A068C-C9ED-4C5F-9FEC-7A8A1909633E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$D101EF23-1BBF-4133-92E2-1BCDD1726257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6a0ac8d28dd200088519fb914ea78bd50eb1e9","datavalue":{"value":{"entity-type":"item","numeric-id":2557565,"id":"Q2557565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$6D67539D-1A67-4B13-9A27-259E039DCD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332460cbeb294015a8f58711538d8a310fd2e9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3198867,"id":"Q3198867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$1F864EF2-4CD8-480A-8F61-D7DFE3ED777B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd65dcc2f2789d017c7392c53b3e11ee3c4fa3bb","datavalue":{"value":{"entity-type":"item","numeric-id":1104777,"id":"Q1104777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$69D615B7-A27D-4BD0-A617-264F5C4EF947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d468c466a706e55ee0ac089919fe49c486edb41b","datavalue":{"value":{"entity-type":"item","numeric-id":750134,"id":"Q750134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$7E30D98F-D430-4A27-AD49-FCB149CB21ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac3a55eef82665d7ad7eb4bc7b9c6ea93d04ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1115208,"id":"Q1115208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$C2D69439-E4A8-4163-8260-B8C26475D414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a322072d61e727264c22e3579c7d0b7212edd6f","datavalue":{"value":{"entity-type":"item","numeric-id":5814795,"id":"Q5814795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$B6ACC26C-6FDA-4182-ACD8-0D29B7530FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de81e13d51cff72cceb779e9905964fd69fcb527","datavalue":{"value":{"entity-type":"item","numeric-id":5649439,"id":"Q5649439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$8B4E9BF3-E6D9-4847-9AFD-1CAA56AD8CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$CEEF38C0-EE32-4B62-B40F-768A6CEFD3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5bd4f24e8eb1a084ca4ac4963d45f487b7e5bb4","datavalue":{"value":{"entity-type":"item","numeric-id":1226867,"id":"Q1226867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$9B0F9719-C5D5-4D51-9F2F-0EC59DCA7A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab938ba3d2bb1de7d34dc0f9166735f59a48b21","datavalue":{"value":{"entity-type":"item","numeric-id":1114446,"id":"Q1114446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$A3553853-8611-4BF5-9AA6-2DC96F8C2A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91713032178531fb00dd879e8646d550f1cd4576","datavalue":{"value":{"entity-type":"item","numeric-id":1188904,"id":"Q1188904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$61FFE1BB-8D60-4EAE-BE9D-D92618B964FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2c596f441194f665042523a84d61390b03b68f","datavalue":{"value":{"entity-type":"item","numeric-id":5540882,"id":"Q5540882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$C69E87C2-21EF-4C53-A498-6A24895F6637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d3702098a8243c997806fe750f18bb9bed4be0","datavalue":{"value":{"entity-type":"item","numeric-id":3795647,"id":"Q3795647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199916$39C8D9D2-C817-4591-AFE0-44311A00CCD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a1df75c240dd42fd1f63bfafe8a335a8e405b7","datavalue":{"value":{"entity-type":"item","numeric-id":4012182,"id":"Q4012182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ed16ab5be14f2f3faf7b981c3256bc71e3e73c","datavalue":{"value":{"amount":"+0.9138526320457458","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":"Q1199916$046AB52F-E7E8-47A8-BB25-8F81D05D89ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73355af8bf88fa8e10c3705058fd6c98d1f84f02","datavalue":{"value":{"entity-type":"item","numeric-id":1327159,"id":"Q1327159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f2feacb4b0a5593ac6f8133ed036d5bac0af63","datavalue":{"value":{"amount":"+0.9096360802650452","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":"Q1199916$34D11A6E-3D72-4A9B-AB96-C37EFC5727A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca772cfc8a092814b0b5da7fbfeccdd7569aa7a1","datavalue":{"value":{"entity-type":"item","numeric-id":5187874,"id":"Q5187874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d579762f57ae810aec5e89a1be76bf80cf299795","datavalue":{"value":{"amount":"+0.8056093454360962","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":"Q1199916$6BB95956-E44F-4FFD-8BA3-131F7755820A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec85dbd3f09ba6629cae45e822973c6c0174b85","datavalue":{"value":{"entity-type":"item","numeric-id":2752124,"id":"Q2752124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca18d2ac8152f634a1f65bbd1f0447a099437912","datavalue":{"value":{"amount":"+0.7935582995414734","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":"Q1199916$0E88EC80-F156-4E30-9548-6A1EFEAAFA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6375813c89882f393a4c8763bfe20ff9c75fe9e9","datavalue":{"value":{"entity-type":"item","numeric-id":1922342,"id":"Q1922342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a509e389949cbbdfa822106e37c5a6443f7c20f","datavalue":{"value":{"amount":"+0.7935581207275391","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":"Q1199916$016A636A-9D27-43F1-A343-FC780FEDB267","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear resolution for consequence finding","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_resolution_for_consequence_finding"}}}}}