{"entities":{"Q2469641":{"pageid":2480384,"ns":120,"title":"Item:Q2469641","lastrevid":57937086,"modified":"2026-04-03T04:04:45Z","type":"item","id":"Q2469641","labels":{"en":{"language":"en","value":"Proofs without syntax"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5232952"}},"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":"Q2469641$14AB6D9B-D440-4895-9C76-D3735B38166C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"406de8a4bc712e54639acddc9a9ccde58b7c0700","datavalue":{"value":{"text":"Proofs without syntax","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2469641$C335D62D-83B4-47C9-A073-B69CE39E5ECA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93e88951f0fdadc735c9a882575bfcc0ca1b54cc","datavalue":{"value":"1130.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469641$94B3820C-0663-4230-A035-9F1D92D3622B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91f5c09b5145beb9895e9a35451f643e912c82f0","datavalue":{"value":{"entity-type":"item","numeric-id":1936109,"id":"Q1936109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469641$49301E69-C01C-4ECA-B3C6-4826AD6D8ED2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469641$36F60D48-FDD3-430D-BA88-8F82A59887DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"193426c294c632a5bf41eddc019d4354003a709b","datavalue":{"value":{"time":"+2008-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2469641$1A005E40-5FA9-4C69-9ECB-A84C01F8B44B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc2daac739b11e03ecb836b767303c77095f041b","datavalue":{"value":"https://arxiv.org/abs/math/0408282","type":"string"},"datatype":"url"},"type":"statement","id":"Q2469641$3CD1D79E-D7C8-48FC-A02E-578FC34BEA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe7863b325d279e3119658994b67c1a228e7120b","datavalue":{"value":"https://projecteuclid.org/euclid.annm/1172614620","type":"string"},"datatype":"url"},"type":"statement","id":"Q2469641$3D68C83F-A830-40E4-9128-13319FC0589B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469641$B8A77FDB-66BC-47A1-BC7B-2FB0D1E8072D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469641$6D627ABF-82E8-4156-A675-17AFA13ADEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469641$BEA8F003-A5B0-4E79-9282-2A10AAAC47D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625e55f1f2a96178239720bc1bbbe7ad21cf0a75","datavalue":{"value":"05C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469641$2B52DB16-5641-4FCF-8C7B-5466FB038585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fd5ba61c492f09082ae88370fa92e256be14e94","datavalue":{"value":"05C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469641$37522425-A67F-4368-8255-FFD86C0697B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a2b1d510a74aa52d1e572460217bd6bd277b44d","datavalue":{"value":"5232952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469641$30AF4299-B47D-43CE-8E8A-F0C2511DA5E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469641$55561F99-4E6A-4296-ACBA-18191DDDAD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d929b80ccb8b36635fc5fed7c5949903b7bcf6c","datavalue":{"value":"combinatorial proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469641$723EE28D-D202-40F7-8179-34EFAC0FFB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58712acbde860c0153062a2693545d5f45b74754","datavalue":{"value":"graph homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469641$D0210731-8A82-49A8-8178-96D1FC4A9397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469641$7D20A6FD-5F26-4D23-AC13-4FDA21A9A848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469641$AC8B02C8-1B7B-42DB-A96E-2BF17E6B7E77","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":"Q2469641$CFCBA7B2-7E92-4D34-A187-E31EC584F905","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a5004d88f22dcbe1d472f4cb66399d33cc7e3e4","datavalue":{"value":"W2106988030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469641$E03AF706-1227-4204-BE21-958AF0F1F291","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8093ebc21644c7c7a1a5bddfa58e06921fad039","datavalue":{"value":"10.4007/ANNALS.2006.164.1065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469641$DBADA4AA-AB99-408D-9F2F-72659A0DEC4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa68709690b3ab21367cba9a41a29d5984c19f88","datavalue":{"value":{"entity-type":"item","numeric-id":1799109,"id":"Q1799109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3780ff92d35e41531c5c8fea332178ef5719fe1c","datavalue":{"value":{"amount":"+0.7961911559104919","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":"Q2469641$B6CC1E76-A2CE-44FD-9C99-8A947B217DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54d202e58b97543f21ee1587184150da90c45a45","datavalue":{"value":{"entity-type":"item","numeric-id":1916365,"id":"Q1916365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b33cd9d262b41da5522fc8156c3b4718325be7f","datavalue":{"value":{"amount":"+0.7693116664886475","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":"Q2469641$AF85848B-EEF6-4C6C-A592-4377D40C632B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96fad5c8bd01d319bab3ffeeed82ebccdbf6d6be","datavalue":{"value":{"entity-type":"item","numeric-id":964500,"id":"Q964500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e0fd4ce1ec998a55b8e475652e323ca3d85eba2","datavalue":{"value":{"amount":"+0.7618273496627808","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":"Q2469641$81DD755B-070B-4745-A9E4-5858129BBE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85a28de9a49c627d5344d4fd033e884b70bacbf","datavalue":{"value":{"entity-type":"item","numeric-id":5111329,"id":"Q5111329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a7c98d95818f99b5f31820309328bd9a0aa5164","datavalue":{"value":{"amount":"+0.74078369140625","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":"Q2469641$4590240E-9F3B-449A-95AA-C9A136EEA4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab583233c0a233034976f5033241d1fe9c8aaff","datavalue":{"value":{"entity-type":"item","numeric-id":2180519,"id":"Q2180519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d1835e9f09e71c7946c49ac87c457eaa436b72b","datavalue":{"value":{"amount":"+0.7400871515274048","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":"Q2469641$43B99823-4F78-4EA0-9A92-2FE2316276E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2469641","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2469641"}}}}}