{"entities":{"Q2640596":{"pageid":2651339,"ns":120,"title":"Item:Q2640596","lastrevid":49464091,"modified":"2026-01-07T05:09:27Z","type":"item","id":"Q2640596","labels":{"en":{"language":"en","value":"Uniform proofs as a foundation for logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4187799"}},"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":"Q2640596$A8ABC158-265F-4A47-91DB-9CD6DB1658AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f401a9ac656d1e4be08eaa32dde21459f910353","datavalue":{"value":{"text":"Uniform proofs as a foundation for logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2640596$5499F43B-2663-47E5-85DC-E5F68AAB1EBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15d3da46a39c421e65aa862d4fef25239d63ac8a","datavalue":{"value":"0721.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640596$1548EBF2-3F09-403B-B6B6-B81F4E53B0EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72581a377b2cf024fdeb785053f80f666800e008","datavalue":{"value":"10.1016/0168-0072(91)90068-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640596$A4303223-104D-4956-8476-46B3CA08E55C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ecd7a1ce09de973ac2a089dc3090ce1b049c899","datavalue":{"value":{"entity-type":"item","numeric-id":617714,"id":"Q617714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$C6CAECE8-BEAE-4842-ADE4-99B11DB4C0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$7A543C94-0C24-480A-AB5D-898212EAF13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$00A82763-ED25-4F58-A13C-6767B8EF52AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$966B246C-AECB-4A3D-8223-5A2AC565C106","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$D3EFC917-0C87-4258-A9EF-F2885BE78095","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2640596$A49AB5E0-B67E-4F71-845C-E13E95B6442A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b28ffb834efaab60a26b30f1393969b4f165209","datavalue":{"value":"Cut-free Gentzen-type systems for first and second order classical, intuitionistic and minimal logic are considered. A uniform proof is a derivation in which (viewed bottom-up) a succedent rule is applied whenever possible: if the succedent of a sequent S is non-atomic, then S is a conclusion of the succedent rule. If uniform proofs are complete for a class of sequents, then the proof-search for this class can be done in goal-directed manner by analysing non-atomic goals and expanding atomic goals using unification in a PROLOG-like manner. This justifies the definition of an abstract logic programming language as a triple \\(<{\\mathcal D},{\\mathcal G}>\\) such that uniform intuitionistic proofs are complete for the sequents \\(X\\to G\\) with finite \\(X\\subset {\\mathcal D}\\) and G in \\({\\mathcal G}\\). Four abstract logic programming languages are considered. First order Horn clauses \\({\\mathcal H}_ 1\\) (with a definition equivalent to the familiar one up to equivalence), higher order Horn clauses \\({\\mathcal H}_ 2\\), first and higher order hereditary Harrop formulas \\({\\mathcal D}_ 3\\) and \\({\\mathcal D}_ 4\\) (with suitable definitions of goals). \\({\\mathcal H}_ 1\\), \\({\\mathcal H}_ 2\\) are Glivenko classes (i.e. classical validity of \\(X\\to G\\) in the corresponding language implies intuitionistic derivability), while \\({\\mathcal D}_ 3\\), \\({\\mathcal D}_ 4\\) are not. \\({\\mathcal H}_ 1\\) is Herbrand universe for \\({\\mathcal H}_ 2\\), and \\({\\mathcal H}_ 2\\) is Herbrand universe for \\({\\mathcal D}_ 4\\), i.e. it is sufficient to use the \\(\\lambda\\)- abstraction of formulas in \\({\\mathcal H}_ 1\\), \\({\\mathcal H}_ 2\\) in substitutions for higher order quantifiers. A survey of implemented applications of this approach seems to show that they are more diverse than known applications of other systems based on automatic or interactive proofs in higher order intuitionistic logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640596$A73ED818-F26C-4AAD-80F6-DE22D48E445F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640596$4FA85C09-2DAF-4175-934A-F01DB3417BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640596$DDFE8740-09D5-488C-95CB-98438907996A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640596$D7D2CF72-C949-4338-A75F-767B80DDEA49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55bac97229d33d35508978fd34f8853f3489f53e","datavalue":{"value":"4187799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640596$F15BEA2B-D70B-474F-9168-226F418DACAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d572583382707197b06f21020c9f3ba51ccf51e8","datavalue":{"value":"Cut-free Gentzen-type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640596$F57F1E54-9975-4DE5-8858-2275F03615B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce2a3682890778c91b74d0bf80ce479b7227e79","datavalue":{"value":"uniform proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640596$20E9C0CC-4A63-4F23-97DD-D6EF95D9166A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640596$6DE415B4-2270-4101-B653-8D1381100DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640596$3F7DC9B4-30DB-4D58-8DF4-3886412DB233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57947b3ddb0d7c24946e911b0ff55d88eaa4fa22","datavalue":{"value":"abstract logic programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640596$44176C35-A59B-4CE7-8285-C5EC2DE3707E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640596$6F713BFF-20F6-48A5-A329-250800E728E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"238fd742794dc216acaf8927bacad7686033de68","datavalue":{"value":"Harrop formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640596$FF720276-1F00-47B5-996A-BBBBB0C12FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9302b11e024572bcddd76740f52fe0acfd13d82","datavalue":{"value":"Glivenko classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640596$0676F0B5-8B80-4AC1-B307-EDB2E8C57C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b28556cc87db6d65020982562b393f6fbdb98277","datavalue":{"value":"Herbrand universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640596$81A6FE32-E252-46A0-90EA-C73F8D70FEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63f9d5a90d3444dd5f650aaaa12b5948967e9df1","datavalue":{"value":"survey of implemented applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640596$7BF3701B-54F4-4422-A6A3-31E592FBCDA1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$65D73543-8D42-41FB-894F-053260C7B702","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"166a294686241ebc6cb0e4abbc6516896a5f5a71","datavalue":{"value":{"entity-type":"item","numeric-id":33170,"id":"Q33170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$864030EB-8740-44FC-8D9F-E694BC226D86","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":"Q2640596$D0E13E2A-2E91-4E70-ABE0-EC07B2E70BA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$ED7EEFE4-4909-4265-9F6F-E3906B09857B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e2b13fd5a27d330f592699f5bb5ff339813ded","datavalue":{"value":{"entity-type":"item","numeric-id":3789101,"id":"Q3789101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$9CCD7B00-9A4A-43C0-AA41-EFC2696B2BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$268B70ED-F895-45C8-96DA-F65765288CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$FA135319-0990-4523-81EE-9D6D8A72D90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5caae54559776415a2ad5202e81ba505f1f0765","datavalue":{"value":{"entity-type":"item","numeric-id":3696485,"id":"Q3696485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$D1E55390-CCE0-46CD-B278-B9E38F49BD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5cc23fc87ed42f4d807d8eab34960d1789ca77d","datavalue":{"value":{"entity-type":"item","numeric-id":3782842,"id":"Q3782842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$AE07FEB1-E144-4C16-AD7C-B913FF03B3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$9FD07BD1-EE98-4CD7-A565-57BD3FD9BF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f052a64cf669c48b098163e065f113a757924c","datavalue":{"value":{"entity-type":"item","numeric-id":3278334,"id":"Q3278334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$8E993B9F-101A-42F7-9F02-B9FFFC664831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$3A7E058D-AA13-449C-B6EA-32EE0B5F7B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d0de0ba52048b2594da38e4815945e3a42363a","datavalue":{"value":{"entity-type":"item","numeric-id":1251063,"id":"Q1251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$93D37B35-38E2-4CC4-A516-3D9CFC044062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a4fa4292d3e7cd41676b00b24428c34cfc910c","datavalue":{"value":{"entity-type":"item","numeric-id":4730754,"id":"Q4730754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$77DDF9CE-EC7F-4BC2-AE76-02037F2A526F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4413667b942f6f696a49dd6b29a6b1aae331dd9f","datavalue":{"value":{"entity-type":"item","numeric-id":3751042,"id":"Q3751042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$745F7EBE-8806-4DBB-80C0-3A23203E18DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fd1a91c3916e16b2e5046efbe49fbef163b180","datavalue":{"value":{"entity-type":"item","numeric-id":3495673,"id":"Q3495673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$1A17B93B-88B2-4FB4-83BB-C0757A5B4E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8d7dcc337f0f7083d889ef5fbd195dbcbfcdc2","datavalue":{"value":{"entity-type":"item","numeric-id":4720797,"id":"Q4720797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$7397A56E-D1F8-4D6C-8166-D9D1FCEDB312","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":"Q2640596$5CDE6822-0250-4E69-9A1F-EA2D2012F264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b5ec7b36ab9f9a9396a2be7f7246c57825af23","datavalue":{"value":{"entity-type":"item","numeric-id":3742689,"id":"Q3742689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$8EBFBFDE-F2A7-44E5-9B23-E674B3BD1B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$DD8ECD3D-67B6-4FFB-A4AA-A4FF5B654767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640596$222442C4-5D9A-4EBE-B2A7-5D911883BC25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad654cbc3d3fd4f21ff222ba43f6260ac0b7071","datavalue":{"value":{"entity-type":"item","numeric-id":5941199,"id":"Q5941199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa8d6b469700d6b88febba99eddad9a7991d54e","datavalue":{"value":{"amount":"+0.8487028479576111","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":"Q2640596$CBE65617-B915-465A-98DA-A8E306293F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dac20f065715347c44d6430c9e8b0a7e73aa2d2a","datavalue":{"value":{"entity-type":"item","numeric-id":4286216,"id":"Q4286216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa8d6b469700d6b88febba99eddad9a7991d54e","datavalue":{"value":{"amount":"+0.8487028479576111","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":"Q2640596$62763EDD-C330-40CD-B14C-A5A43994A3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2cf38afce0735c00befb4dff53c39e111244570","datavalue":{"value":{"entity-type":"item","numeric-id":1311397,"id":"Q1311397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0518fdfe27d2506a11459101ad7a20230a33c3a","datavalue":{"value":{"amount":"+0.8284895420074463","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":"Q2640596$71169991-2202-45D0-88B3-62112683FCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7710689999062aba102967f0498074b1d8198c12","datavalue":{"value":{"entity-type":"item","numeric-id":2956724,"id":"Q2956724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0518fdfe27d2506a11459101ad7a20230a33c3a","datavalue":{"value":{"amount":"+0.8284895420074463","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":"Q2640596$E00217C9-1677-429A-B725-47A303546459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef7c9abfa574d2e2737a98c2950b91f83c13688","datavalue":{"value":{"entity-type":"item","numeric-id":1188837,"id":"Q1188837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c007960b45e63cb110a498333cfdbf337d351ff7","datavalue":{"value":{"amount":"+0.8237953782081604","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":"Q2640596$23A06908-37D5-4571-8787-D2C40C51ABAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2640596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2640596"}}}}}