{"entities":{"Q580998":{"pageid":582765,"ns":120,"title":"Item:Q580998","lastrevid":62924946,"modified":"2026-04-11T09:01:13Z","type":"item","id":"Q580998","labels":{"en":{"language":"en","value":"An experimental logic based on the fundamental deduction principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4018412"}},"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":"Q580998$7AAC9C35-D9E1-4069-987E-800B403FD068","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6669e4c98bb308c36cd70ec0a2a7d3340d5b0c09","datavalue":{"value":{"text":"An experimental logic based on the fundamental deduction principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q580998$7D42724C-E13B-46E2-96C3-F489A7913B28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2fa65a3ff1c2d2e7adda1f9eb2883ff3b971d08","datavalue":{"value":"0626.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580998$ED46D16A-E86C-4D69-BBE8-0839D63DA1E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd515386510ad7a7b288536a5b15d53979996958","datavalue":{"value":"10.1016/0004-3702(86)90011-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580998$217DD43F-3CEC-4C31-AEF6-4CAE5FE8FCB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9153f57b49379c8f42a6fee983336120467fb8fa","datavalue":{"value":{"entity-type":"item","numeric-id":551798,"id":"Q551798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$5C67FA88-785D-4BED-8287-F999CA1E1666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3994b3ea7b242f980d845d7f38f3a45e589bc28","datavalue":{"value":{"entity-type":"item","numeric-id":592710,"id":"Q592710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$5F367597-620B-49F1-A2BF-62E351A097E1","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":"Q580998$18DAA545-D222-4067-8E3B-13F76BF2FC1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q580998$CD507617-45ED-4727-8098-DD7A71DAF985","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"94911004d0f40965401a054fdf5fcbae3f8baccd","datavalue":{"value":"The author describes an automatic deductive system SYMEVAL, without unification, and its applications to various scientific disciplines: set theory, logic programming, natural language analysis, program verification, inductive reasoning. SYMEVAL applies rules, axioms and definitions by replacing expressions by logically equivalent expressions (Fundamental Deduction Principle FDP). The deduction step encodings have the general form \\(C\\to P=Q\\). SYMEVAl uses a logic for expressing logical axioms and the INTERLISP language for expressing rules. The logic satisfies the FDP, treats universal and existential quantifiers in analogous manner and is based on the elimination of quantifiers. The system uses a technique of reducing the scope of quantifiers in order to eliminate them.","type":"string"},"datatype":"string"},"type":"statement","id":"Q580998$886B34C6-2E59-4644-A2EC-0D9485A3D302","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580998$D4E9AFF8-8856-418D-8310-85635ACB02A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580998$722776A3-8F6C-41BD-8EFC-2C11C35353E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80b6ed53b3e7ae327f078dedaaa44657fefd51f2","datavalue":{"value":"4018412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580998$9193D17F-7638-40C9-846E-16F1081D643D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e57aa40ade6f9a0881226959fb4a8d89de08c986","datavalue":{"value":"experimental deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q580998$071A6077-EAE0-4DCD-85DF-3FC29567C011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q580998$B5155706-1EBB-4661-8063-9541DB824A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a4f3e07b6acf2bfd0e8cb7f6345b09cdb102da2","datavalue":{"value":"automatic deductive system SYMEVAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q580998$34397B4C-5E21-4102-9F44-76F3E5DE8EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76ebf4d21e6461aff92bfd16e1ae8f4a6761cc68","datavalue":{"value":"Fundamental Deduction Principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q580998$62334DC5-3391-42FB-B627-FB161C668BCE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1abe44d7226d9c92045519e02ae380a3c14e8800","datavalue":{"value":{"entity-type":"item","numeric-id":1188507,"id":"Q1188507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$80C4CD46-9E96-40C9-AE33-B0078E2F1EC4","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":"Q580998$252BD8D6-B310-4300-8AF1-B81C0EB0E224","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68cfd38f00d641b67d3b74918b089bfceee759bf","datavalue":{"value":"https://doi.org/10.1016/0004-3702(86)90011-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q580998$1789BE60-C56D-4D73-BEEA-87A022A469A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b61641c38a574175b8e67b6dac71cb09d707064","datavalue":{"value":"W1996645107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580998$8C774BFF-756F-4D94-B474-205876BED9E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9a97f42391e8df4ec3c8de320b5dfa2377ec1a","datavalue":{"value":{"entity-type":"item","numeric-id":4088305,"id":"Q4088305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$200F96F1-E3E4-446E-B6CA-3CE5D349BDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e857e95d91a8e9f3746c9aca423c534197fa21d","datavalue":{"value":{"entity-type":"item","numeric-id":1238434,"id":"Q1238434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$066FEA57-7250-4F10-9FC4-C75977FF3D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d41c9fe05012f3b821e621dc4cf7c3fef4fcb9","datavalue":{"value":{"entity-type":"item","numeric-id":3490989,"id":"Q3490989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$39BDEBBE-159F-4A4E-92DB-5F0055E947D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300c690b8ab084793700cf358e4aaa64ce735f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1238641,"id":"Q1238641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$952A8885-29B9-4A20-ACB9-5DA712057580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1b079c7d185126ec0a687c39691da56b5aff96","datavalue":{"value":{"entity-type":"item","numeric-id":1253108,"id":"Q1253108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$2572E964-D45D-4CCD-AE05-EEE46860EB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbdf9e8f9009353d7d1647d7f4563934a2a8c77f","datavalue":{"value":{"entity-type":"item","numeric-id":1136246,"id":"Q1136246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$1F5ACF77-CC44-4715-A4FB-D0A4F5E78046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"547b46f60b0b4d2a38e5c5ed577a26e4c40c339f","datavalue":{"value":{"entity-type":"item","numeric-id":1146017,"id":"Q1146017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$9D6AFC67-9A3A-4C91-B53B-1702198D5F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527ff60d4373db07f2c1fd9958b28775da3b39b0","datavalue":{"value":{"entity-type":"item","numeric-id":3856735,"id":"Q3856735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$A7A7E220-8546-408C-B3C2-6E87308E389E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f4cf5b0fba53a5bbd9d12a65a7dcdc91fab029","datavalue":{"value":{"entity-type":"item","numeric-id":4193000,"id":"Q4193000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$AF506758-D2FA-4A86-8341-4D1E022A9A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8ea372caa817f188e4e943a4cbc2ab55cc9d12","datavalue":{"value":{"entity-type":"item","numeric-id":5549412,"id":"Q5549412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$C95C1BD6-DC80-448F-A301-EB1234F17566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69d65a67bbaaba2f00d3f9b8be7f859d1d02779","datavalue":{"value":{"entity-type":"item","numeric-id":5663381,"id":"Q5663381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$7384E9FE-CE30-46C8-8CD0-7F520F2D145F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8a79af3c28ca6a85273f2cf60e4233483e6da8","datavalue":{"value":{"entity-type":"item","numeric-id":4051550,"id":"Q4051550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$9D850018-0C31-4F03-8E3B-6E546CC50FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$93BFD0CC-449C-4039-B8F0-872727DB8F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f67a5e424a77f523b4935a5a1ff7bca0aa196df","datavalue":{"value":{"entity-type":"item","numeric-id":1131242,"id":"Q1131242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$2BAE6A5B-27A0-4A60-884A-5ED37B96E635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de783043a699ce4983a30e6037759292514f347","datavalue":{"value":{"entity-type":"item","numeric-id":2542509,"id":"Q2542509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$59D84D77-8B1D-45DF-81D9-3DA9D2B1476B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbc93c434a8b7361da879767f9de508229b7afd","datavalue":{"value":{"entity-type":"item","numeric-id":5569442,"id":"Q5569442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$2526DD7C-97D1-4AAC-BB4B-6FE1D6CB1A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e82257b416db4246a715182cdefecc0570e41d","datavalue":{"value":{"entity-type":"item","numeric-id":3279281,"id":"Q3279281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$2D062827-08AD-435D-B0A4-FF0975C99170","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":"Q580998$1E90D29C-8CC0-4D6A-82BF-CE43E8A97CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdaa7fe0fe297c324033f94ca6cf57ec1b5ed812","datavalue":{"value":{"entity-type":"item","numeric-id":4184363,"id":"Q4184363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$BEC9128D-2FB1-409B-B45C-E9D6FE4BA6E5","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":"Q580998$2C5054BE-9426-4415-B641-603B184917A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcbb1222a84f8c1d094e18e4df190a99b5428a01","datavalue":{"value":{"entity-type":"item","numeric-id":3291529,"id":"Q3291529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$20FF7AAC-AC41-465B-83D4-DDEB6425BF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a16c5a22f5ba3bf6a58957686f8d48ab43fe98a","datavalue":{"value":{"entity-type":"item","numeric-id":5619634,"id":"Q5619634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$2FCE96C8-5C69-44EE-AB3C-6BF7946CF47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f325c977c21595a567edfd399ff116dce390cad0","datavalue":{"value":{"entity-type":"item","numeric-id":3956373,"id":"Q3956373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$1777CF7A-7328-47BC-A505-B9926E1A9163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d3f29968c996bb68da1f8ea593f2a057ca04cb","datavalue":{"value":{"entity-type":"item","numeric-id":5623241,"id":"Q5623241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$77D702DD-FB71-48E0-B625-398EDB518243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccb4de56387628febe8bd1d61517a526b8b6401","datavalue":{"value":{"entity-type":"item","numeric-id":4088307,"id":"Q4088307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$26876E1C-526B-4404-9D52-42681CC44483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35614b8b4ded8c7ce96c11809c80a2e2a48dde45","datavalue":{"value":{"entity-type":"item","numeric-id":5588619,"id":"Q5588619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$9BDACDC6-ABAC-46CF-AF53-63D8F383B541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1991f4b547e2ff1c1f581afcf8dbd3668dd60d9","datavalue":{"value":{"entity-type":"item","numeric-id":4062612,"id":"Q4062612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$C092D3E4-392C-4672-BA41-BD98C0B8E78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"157e20f63a7b3fb51ed05cf46b6766f8f2a9fa8f","datavalue":{"value":{"entity-type":"item","numeric-id":4099190,"id":"Q4099190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580998$C835BE69-67EA-4870-A657-7CCFAF47C909","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e6e60bf37f84724ccf90df04b54d320419b88c","datavalue":{"value":{"entity-type":"item","numeric-id":3992431,"id":"Q3992431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f51cbafce452144fb6d821740a15b120fc44b5","datavalue":{"value":{"amount":"+0.7515941262245178","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":"Q580998$9105CFD4-9628-4BB5-B83C-59C8C1102E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66acb868ea1a2aa0d1375cd1f0e361572a721f88","datavalue":{"value":{"entity-type":"item","numeric-id":4040458,"id":"Q4040458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d242aa1716c37b55c586fbf433522ab42f86a3b9","datavalue":{"value":{"amount":"+0.7509880065917969","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":"Q580998$BF0F2A7F-0B82-4B45-A465-E6565D78967A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b822606285ce070526363a622a7dc5d21e1e548","datavalue":{"value":{"entity-type":"item","numeric-id":4331757,"id":"Q4331757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b763670e6f734fb077538668efde00318aecee","datavalue":{"value":{"amount":"+0.7265075445175171","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":"Q580998$2B55A5FF-A71B-497E-9D12-DCCBDD459822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c7206706f5c441b76706999383c5a1494df06f","datavalue":{"value":{"entity-type":"item","numeric-id":3134856,"id":"Q3134856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b763670e6f734fb077538668efde00318aecee","datavalue":{"value":{"amount":"+0.7265075445175171","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":"Q580998$3F893DAC-D732-41A7-9240-D8C9C14CD95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3317123e5c3251d222b5f976bdb77838accc61e9","datavalue":{"value":{"entity-type":"item","numeric-id":3995436,"id":"Q3995436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b278999d73a2d6a9c02c75cfa00812c55bdf1c","datavalue":{"value":{"amount":"+0.725084125995636","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":"Q580998$37A041DB-1C14-4DD3-B58E-505E8D7C1541","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An experimental logic based on the fundamental deduction principle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_experimental_logic_based_on_the_fundamental_deduction_principle"}}}}}