{"entities":{"Q1823013":{"pageid":1833755,"ns":120,"title":"Item:Q1823013","lastrevid":49306288,"modified":"2026-01-06T22:43:27Z","type":"item","id":"Q1823013","labels":{"en":{"language":"en","value":"The foundation of a generic theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4114096"}},"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":"Q1823013$517E2671-229C-4166-9D40-29E3084B58B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84bcadb12718ea4ef8bbfb9ac0754a02c815769d","datavalue":{"value":{"text":"The foundation of a generic theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823013$641E6F78-F2C4-4DF0-91DB-5A1D8E9B2817","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58eb07dcae8998be46ca8a1ab8d1425d7052e4f2","datavalue":{"value":"0679.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823013$C2911F0E-22D2-428E-BFB5-D1DD6C4459B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adb98fd39084ac793ba425e8c728d6f62101ffb0","datavalue":{"value":"10.1007/BF00248324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823013$6C74E788-4F72-40E8-B271-9927D3ABB492","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$DB6BFD6B-65F4-4BBA-99C0-748B4AA3AEA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1823013$B9AA9910-3266-4862-B484-D6E3E0BA763F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"24d4054d9e67e518b3a4c12d86cc7eee18614810","datavalue":{"value":"The logical framework of the interactive theorem prover ISABELLE is laid down. ISABELLE is constructed to support a variety of logics: Martin- L\u00f6f's type theory, Zermelo-Fraenkel set theory, intuitionistic and classical sequent calculi. It is implemented in Standard ML.    To meet the needs of a generic theorem prover like ISABELLE a higher- order logic or meta-logic is established to build proofs in those various object-logics. On the meta-level ISABELLE incorporates intuitionistic higher-order logic to ease proofs by deductions, i.e. rules are represented as propositions and combined to yield proofs.    Natural deduction, object-level backwards proofs with examples from propositional and first order logic both of them in classical as well as intuitionistic form are highlighted as practical applications of ISABELLE. Theoretical issues like sound- and completeness are shown to remain valid. Advantages over LCF, AUTOMATH and an earlier version of ISABELLE - ISABELLE-86 - are considered with respect to computational complexity of proof constructions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823013$DCCC5F41-3CFE-454C-AB1A-C4025C2B35D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823013$11FBBD2E-BFF7-4DD7-91B5-8EFD3D6E9319","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c02dbd958ba69b48830a0e6c37c7d27ad984926","datavalue":{"value":"4114096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823013$37FCB3FE-EAD2-49AA-92ED-27B2ED5D3382","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef4df05cac79032f2b2e48d102b37f33b8e0dd95","datavalue":{"value":"meta reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823013$8ACE9F06-0D21-41D5-BC5B-0A28CEF2D322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd5e640143d97b736be60c5040f4374a126b75b","datavalue":{"value":"higher-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823013$BDB99C42-9F3A-4BAE-9AF9-CBBEA77DF5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823013$030F6E0B-9806-4391-8AE2-E5C0CE73BC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823013$E02CFA0A-8042-4319-9344-5B2C2CF1BA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f8ca6f67bcc526dc6bbd7d2c3fecb3490aee050","datavalue":{"value":"ISABELLE","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823013$68213CC8-2CB6-4825-BB58-98A152A11EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db8947a984d2fb923ad5e97244c9b88d39f98dec","datavalue":{"value":"Standard ML","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823013$B1EF0F97-ED33-4190-BB93-C68A1C60D334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823013$BF0F9D36-9A4E-4A40-AF9B-1450E98C5AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5ef65a64ed2128194a82dc20f744211e7d7bfd","datavalue":{"value":"LCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823013$442E0501-930D-4EF5-AAD8-F3459C608D86","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"43d204e912d0bb574fd6272345d113da265ae481","datavalue":{"value":"Q57382729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823013$26A90398-873C-4992-AD8A-83F2DB016706","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$CE73357D-068B-4403-97CD-9439036839C2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$6D865AB8-FF6E-4B71-99BC-F3135A59433E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bab752e9cf98240487eb3aae10666dc541b36d41","datavalue":{"value":{"entity-type":"item","numeric-id":43692,"id":"Q43692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$6A716E08-C42E-40AF-A07D-477736C4D2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$8CAA9D96-3218-432F-9321-6B45FA629E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$C1B35C94-CCB2-4E70-A5C9-04FD1B06A4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$68B83C71-B5EF-4417-ABB5-17946980709C","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":"Q1823013$3141F4C6-CE52-4544-91C5-A756EEF6C66C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b58e334bbf84629d414ca7d6688164e5524fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4726218,"id":"Q4726218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$9006BE41-65D5-4FA4-9CFB-0E33907FCA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c9f2843640e7eabb53dcf6b38d2e418915c6350","datavalue":{"value":{"entity-type":"item","numeric-id":3343471,"id":"Q3343471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$E6089F6F-FC23-42D3-B03D-67EC0490332C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7c99e107348aa82bd1ed9ca721c57c6ffc4f86","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$D9EE6C5A-8F1C-44A7-BD1D-6FBC0F6CAAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4940bde6c86f5a2dc83eeffbb64613d3e4fcbc7","datavalue":{"value":{"entity-type":"item","numeric-id":3996818,"id":"Q3996818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$2C138DC0-B6C2-4494-A86A-9B490815F6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$F9428951-4C24-4453-A22A-14FB1765023E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1f1b83769fefedef94f42bd5222af507a657b","datavalue":{"value":{"entity-type":"item","numeric-id":3703866,"id":"Q3703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$A365FB81-0E2F-4578-8206-0CF1980CA104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$43826439-E393-44AF-917C-17BBEBAF8A0C","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":"Q1823013$80554C3B-85C8-4F09-AF54-5FA917C9605E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$BFC8F3FC-80AC-466D-AB19-D689B620527C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$5320FE22-CBE9-4274-90B0-D45F7B1EB1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6e4007f1a18ec00a797b71db40197a7a1913e45","datavalue":{"value":{"entity-type":"item","numeric-id":3030230,"id":"Q3030230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$C93A8169-0839-4F18-A6D2-774E0D779E2A","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":"Q1823013$242E9533-A78A-4B06-8689-F2BA77349287","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":"Q1823013$A040FE9C-B55C-4B54-9216-91AC8DCDBE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c91066f858fa64a799af591825e0694228fffb","datavalue":{"value":{"entity-type":"item","numeric-id":4122841,"id":"Q4122841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$B40135F0-A2D5-463B-BA3A-CBC98FE69E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$8F925792-6C5B-47EE-B573-3B3165184D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ee172cf1bbc62eabf7dd1b43feaebcac6a2fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3886868,"id":"Q3886868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$693BB2F4-813D-44C9-91D4-A80E00545EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bd6fdad25e36998ceb580f40c70d0e0fd67a3b","datavalue":{"value":{"entity-type":"item","numeric-id":3722468,"id":"Q3722468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$90A1D87C-00DA-4318-A26A-4AE3A03A4611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c980747852309ad02e34011dae7b1195dd483e00","datavalue":{"value":{"entity-type":"item","numeric-id":3690258,"id":"Q3690258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$0489769E-36C0-4D0B-AAB0-63D831E1F0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96310a9c72bc22486ece60af1982afb0e77d8790","datavalue":{"value":{"entity-type":"item","numeric-id":800719,"id":"Q800719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$7CE23082-4FB2-4D11-886B-E0DF63C810B9","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":"Q1823013$62392106-2EB2-423A-8E57-CBB9EDDDEB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777f1902a1127b94884ae1ddc89768860f054a6e","datavalue":{"value":{"entity-type":"item","numeric-id":3789060,"id":"Q3789060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$32E73C50-3656-49DA-A06D-82E3E41BBB05","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":"Q1823013$EF485472-9009-421C-B242-0D0E0515A3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$724A38B8-696B-497D-890E-60A6CF1A3403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$E90ED379-B273-4A66-A79A-E71E5411D94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eb01be856bbca6fe8a76df11d296752ae0a70af","datavalue":{"value":{"entity-type":"item","numeric-id":5187275,"id":"Q5187275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$9A040434-74C9-408C-966F-11F3CC3330F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$DD37D2A4-55AE-4FB7-AA22-2B1D48D83732","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":"Q1823013$649CA33D-ABDB-479E-9608-42DF0DA697DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8aa91c4a25127242fbd0312c544462443894c6","datavalue":{"value":{"entity-type":"item","numeric-id":3283891,"id":"Q3283891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823013$710AA6F8-DA62-4E10-AB45-074536EEE21F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"497bd77b34790fadb8429b8b7b4805b20cb51eb5","datavalue":{"value":"https://doi.org/10.1007/bf00248324","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823013$8BD4CD58-5484-4D90-8FFA-7136FA4CD468","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b6c3b328947cee683a1c25f2e64ff0e1ced8586","datavalue":{"value":"W1995955735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823013$C5C3C0CC-5471-44FB-916A-5EDD1628A3C0","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"4cc9829ce654e0eda86c1126476f36ad0207bbb9","datavalue":{"value":"journals/jar/Paulson89","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823013$FC80E6E2-6500-4B12-B7A2-88788F38FE30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef914c5d16ae991870856bd539a5283395a477b7","datavalue":{"value":{"entity-type":"item","numeric-id":3543647,"id":"Q3543647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d9c92bd96724e6804f3a46148a2be533658362","datavalue":{"value":{"amount":"+0.8979174494743347","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":"Q1823013$3EC6726B-F2F5-4634-9B76-025DAC60C5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"619d07d39ad50d8b9a4d0bfcd8121f291b2fc77d","datavalue":{"value":{"entity-type":"item","numeric-id":4364537,"id":"Q4364537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff304d95cbfcda0a81f6f4924ac2f73d9acbb139","datavalue":{"value":{"amount":"+0.8717142939567566","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":"Q1823013$9C630F0B-FE94-4E4A-A197-7C529FB25510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed8aba500f89cbf727442fbde664c82a20d58a91","datavalue":{"value":{"entity-type":"item","numeric-id":2108191,"id":"Q2108191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e498fd9e6704a15863db136758a344db8d9bfc6","datavalue":{"value":{"amount":"+0.8322917222976685","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":"Q1823013$4762E095-B743-4D98-97CC-6A6059C01A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0c7def7fd5deb231bff8d8be464a0bc81aae1ad","datavalue":{"value":{"entity-type":"item","numeric-id":4012874,"id":"Q4012874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59cb605335f7889854f097d195b10aa1843815e2","datavalue":{"value":{"amount":"+0.8069844841957092","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":"Q1823013$E3FEA400-373F-4E50-B9B3-97AA0D759E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de72a55ad8714891c24ede823c98f307f17fcba8","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59cb605335f7889854f097d195b10aa1843815e2","datavalue":{"value":{"amount":"+0.8069844841957092","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":"Q1823013$545CBD60-EA5A-4331-BA81-E92A7CBADFAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1823013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1823013"}}}}}