{"entities":{"Q4530460":{"pageid":6560052,"ns":120,"title":"Item:Q4530460","lastrevid":47921716,"modified":"2026-01-03T02:26:54Z","type":"item","id":"Q4530460","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1748575"}},"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":"Q4530460$9A4DD0B4-AA0A-423D-BCD5-68BE10281E3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c6932cd814d54c5a6bb47a74c7e458974e6e122","datavalue":{"value":"0997.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530460$E973734A-3709-4B79-9E79-3CD07B05082E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83e27abfd115acb68e497ec6f5ee331c823ff2d8","datavalue":{"value":{"entity-type":"item","numeric-id":1074341,"id":"Q1074341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530460$81F5FD7F-C739-4704-ADDE-553546D34835","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6e97f824546b3447b15b77d52f9f484532dcf8f","datavalue":{"value":{"time":"+2002-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4530460$301ECE09-7676-4E2A-B4B4-A2E5DB621C5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530460$9147487F-617D-4124-B61C-AF7E2FE2C970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530460$B26C217E-0F06-4671-B63A-852B8CF09B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530460$B5BCA55B-C1FC-4380-BEEC-E20755740123","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d40de56c5f9e78662ab7ee0992de1f3bdf749a16","datavalue":{"value":"1748575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530460$0D4AEBF1-20ED-4F09-80DD-7937691ED7B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530460$5AE1089A-16ED-4B45-AE49-9C6967516A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bd34074526ff9d5d53722d72ef57f42fa801ea2","datavalue":{"value":"cut-free proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530460$13582B3C-E4DE-425C-8371-F0D2667A9844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24d315864f474bfd80feb086355d2a2070514d5b","datavalue":{"value":"length of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530460$0F666E9A-8824-453D-BA5F-22AA252F3E13","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":"Q4530460$D2BD299F-3C0E-4402-93D3-4603BB8E7511","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3987f987c61a53d441911f6d6995e2961a38dc4a","datavalue":{"value":{"entity-type":"item","numeric-id":2253866,"id":"Q2253866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d486d0aa279aa7f42d0de8f8cf4bff24bfc7add","datavalue":{"value":{"amount":"+0.8149714469909668","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":"Q4530460$6727905C-D8F5-495C-B884-4905D2F2A8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86f03f236bca73a7a1f1ff66f7ba7911a4c07a58","datavalue":{"value":{"entity-type":"item","numeric-id":1183598,"id":"Q1183598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1720550cc3843452d7511f00331dde07b6f4064d","datavalue":{"value":{"amount":"+0.8097759485244751","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":"Q4530460$5C0F797E-2FD3-458F-A51F-EAF32DC329BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750d093e8fb33f817a0b544ea58b5a93ef7660d8","datavalue":{"value":{"entity-type":"item","numeric-id":4524785,"id":"Q4524785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faddde5eb2ccfd10db632f99177f4300b313bed4","datavalue":{"value":{"amount":"+0.7938390970230103","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":"Q4530460$829BDFFF-AFB8-4FCB-A153-BA05AEF9D3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cfe35f01597c59a79d7085293ee38ec71a3c4d2","datavalue":{"value":{"entity-type":"item","numeric-id":5927981,"id":"Q5927981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faddde5eb2ccfd10db632f99177f4300b313bed4","datavalue":{"value":{"amount":"+0.7938390970230103","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":"Q4530460$9138608C-8207-4F45-A3A9-3C7E0955BC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0248a02bdcd65163fe9b559e3498d6bb3ebc853","datavalue":{"value":{"entity-type":"item","numeric-id":3997615,"id":"Q3997615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74675b738b6f681c28284811123c31e79c5f1b2d","datavalue":{"value":{"amount":"+0.7871115207672119","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":"Q4530460$E62168D7-5B50-47FA-9274-C11D10328EF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4530460","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4530460"}}}}}