{"entities":{"Q5951525":{"pageid":8128327,"ns":120,"title":"Item:Q5951525","lastrevid":47718289,"modified":"2026-01-02T12:44:41Z","type":"item","id":"Q5951525","labels":{"en":{"language":"en","value":"A legacy recalled and a tradition continued"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1686111"}},"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":"Q5951525$22111E86-DE91-48B0-B256-DAFA43C7DB42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f59fbca2f70ebf0a10499801c1d4497309071f5b","datavalue":{"value":{"text":"A legacy recalled and a tradition continued","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5951525$6605A977-7CFD-4F30-A817-C338CFAC87DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e33b2f13e989206c7e78be2bffb88d8ceb9d8d44","datavalue":{"value":"1006.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951525$C605E022-9395-4A83-AE02-4A0113089EA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16b2acb678c3af8eb137f5a390cae532ec1d90f4","datavalue":{"value":"10.1023/A:1010683508225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951525$FF3B90FD-69B1-49A2-87A5-C7ED3484AC63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d6b82b9079c2450783e93894264166058742523","datavalue":{"value":{"entity-type":"item","numeric-id":220719,"id":"Q220719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951525$A4EBA6F5-5D47-40CC-84E9-D75CA2C8DA54","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":"Q5951525$4480E1D2-258F-474C-82A3-6745DD907FEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd23d86f8a62e2a287b0d3c845d667edeacbe3e6","datavalue":{"value":{"time":"+2002-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5951525$D8D787CC-D07F-4C54-BE9E-D1640FEB5676","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951525$B2A90439-5CC2-4B66-A916-74BE8BC35916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951525$51A6263A-CACA-43BA-A5CE-35B16666F23E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a13989713d2c0ed8d58617c80c9f75e6a8887cde","datavalue":{"value":"1686111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951525$6E0560AE-9649-437F-AEC8-D7E51352EBFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7659bb8879fdc0319bd5c16763d4231270b7b686","datavalue":{"value":"condensed detachment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951525$13784ED5-C38C-4BF3-BF27-00D764AA774B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43cca7e8db51e510ddabcd42bdff8dfdef3d690","datavalue":{"value":"single axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951525$545C72B9-B1F0-42A8-8551-3762121DC4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951525$7D701EB6-C793-4194-889B-823973336FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eb1201819afdcbae4b07b7df090e86908fc1e15","datavalue":{"value":"open problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951525$25C8244A-349C-447C-9908-330DD11D8842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6a08f0c8091662f6e22177d7f6d7723da40f4c9","datavalue":{"value":"sentential logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951525$0A7E6CAB-DD4C-47F1-8BE3-338754AC9FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"921f8e7300bf7792752dfe144dc11b5d8a0f3bab","datavalue":{"value":"sentential calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951525$BE12F99C-3457-49B4-BDB2-475D0A1F5C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55caf05c57404ab910cf1d6d785d791abcc73ea3","datavalue":{"value":"formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951525$4D62186D-AE25-4F4D-82C1-9502CCFD0533","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":"Q5951525$5246F7BA-4F11-425F-90B7-AB7A395F4E01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fceee6da5ed9a280b4aa5a634d2d23e1715ff7d","datavalue":{"value":{"entity-type":"item","numeric-id":1869612,"id":"Q1869612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c0a1b679f33ab46c6d23a65895d3119ed9ac0e","datavalue":{"value":{"amount":"+0.7405532002449036","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":"Q5951525$CAE312F6-C2C4-4255-B9E7-9DFFDC63A6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b83d319799b1035c95c29ad3c49a32b5c20f8b","datavalue":{"value":{"entity-type":"item","numeric-id":4373015,"id":"Q4373015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c0a1b679f33ab46c6d23a65895d3119ed9ac0e","datavalue":{"value":{"amount":"+0.7405532002449036","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":"Q5951525$5C5550E0-70B2-4E2D-A4E8-B0AC866002FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e30e04c2bf822e6fc0b28ad58ddbb0fc8547caf","datavalue":{"value":{"entity-type":"item","numeric-id":5331452,"id":"Q5331452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b448837b1d1dcd1229e0b95e570619ee3fd32ec","datavalue":{"value":{"amount":"+0.7232542037963867","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":"Q5951525$06479A9E-CE77-4288-8DA0-B78E8AFDE89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27c115c87800ff78afacf69737fff282691b60e0","datavalue":{"value":{"entity-type":"item","numeric-id":5951529,"id":"Q5951529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc93ecde3644e70328c1ea3082d3573abe54321","datavalue":{"value":{"amount":"+0.722034752368927","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":"Q5951525$F88D2D15-E0F7-4426-B615-BA670361DD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ebcb8743ce63c272b18f0bce9321d7ad70e1c12","datavalue":{"value":{"entity-type":"item","numeric-id":2767041,"id":"Q2767041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad9b60455cdc786c0f2eb3cfd14dffd8907258a","datavalue":{"value":{"amount":"+0.7110481262207031","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":"Q5951525$D0A33607-FCA3-4298-B0AD-5F0AE0694B4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5951525","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5951525"}}}}}