{"entities":{"Q3035275":{"pageid":3045991,"ns":120,"title":"Item:Q3035275","lastrevid":49350148,"modified":"2026-01-07T00:26:51Z","type":"item","id":"Q3035275","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4134034"}},"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":"Q3035275$D6525DFB-F9BF-47EA-9DF8-64A488563EE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ddfa21d6865ab7febe846bc57989e08ef802798e","datavalue":{"value":"0693.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3035275$36657ED2-48BB-46FD-800A-95FE3AA0730B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52e93a0cd05b273179f9b07d27a043ad61db98b3","datavalue":{"value":{"entity-type":"item","numeric-id":860831,"id":"Q860831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3035275$1FF8480A-E827-4B1E-B888-50636FA1A194","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3035275$86CA0E6E-890B-4570-A427-3FD80E2F70F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3035275$E863F17D-60E0-4C45-91FC-3E07657502FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3035275$42D77DB5-2D59-4F21-89AA-CC28306F6495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8afe3c5a9fa0449dca60371c176beebeb6e1d999","datavalue":{"value":"05C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3035275$B9F2D9D5-3FE0-4D39-81FE-143ECEEB3CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3035275$7505C85A-602B-455F-AD05-E2A411B089E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3035275$D277B9C2-601C-4588-A329-E13B1D535058","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2da8d151c2ceaf2a4a36cb0de3ac1c96ef750912","datavalue":{"value":"4134034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3035275$A6DDC027-7127-4E1D-AD9B-6803145F5502","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa425cc211dbbfc9a34341131aa952d49646170","datavalue":{"value":"No Counterexample Interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3035275$6334FBB4-4E51-4ED8-A5EE-C8C4D07D3780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"784fa6a0818beb12b57ba3a65bd28cb56acc2963","datavalue":{"value":"Infinite Ramsey Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3035275$90834B22-4C62-42AF-9B99-A49ED681D77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deea26dd0528ecf7413577f859cb1ec1fac3c6de","datavalue":{"value":"fragments of PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3035275$DF80237B-4731-4C78-9DFE-1D7E5C12AFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3035275$95C38706-1733-45CE-B75E-1611C1B39A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7971be77e059dabd1cfa6fe89acb85956e6d4c5f","datavalue":{"value":"implementation of the NCI in Ketonen's proof checker EKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3035275$BFC027F6-02D8-4FF0-82BB-B41D258195D1","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":"Q3035275$C5AF2FC5-D4B1-423B-9CCE-C2B56D7887C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52fef0194659ec0a8fb9dce1a61b90bff6bf8e0a","datavalue":{"value":{"entity-type":"item","numeric-id":4031465,"id":"Q4031465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"424072464655c1f0facb92f9f6f4e9107f249a1e","datavalue":{"value":{"amount":"+0.7863185405731201","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":"Q3035275$B0E9A01E-250A-49E7-9134-B82711EC3142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4bea6548967ead448de1d634292fb7a7c2c67d9","datavalue":{"value":{"entity-type":"item","numeric-id":1904403,"id":"Q1904403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ab0604e9607352ae2d44562dda4872e91b2e8e","datavalue":{"value":{"amount":"+0.7818345427513123","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":"Q3035275$AFCB96AA-917C-42F0-9F2F-300981CCA1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"985e263b1ed9e38682253c5fe9c98576a9cbc404","datavalue":{"value":{"entity-type":"item","numeric-id":5740680,"id":"Q5740680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48c9d09af940bf6f79d772caec499d5cb994b47","datavalue":{"value":{"amount":"+0.7727875709533691","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":"Q3035275$9AFD2985-8FC6-45AA-8364-100D1DC1AA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f072dcc93454753bc9f43ca36a2eacb0dcd52a","datavalue":{"value":{"entity-type":"item","numeric-id":3353014,"id":"Q3353014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25c223bb8bfacb555ea7537fbf9a1b40d90f6f2","datavalue":{"value":{"amount":"+0.7661508321762085","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":"Q3035275$54698085-354D-48E2-81ED-38C656A62FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a895dc54639ab21cc7b6646ac9a56d087397622","datavalue":{"value":{"entity-type":"item","numeric-id":1327381,"id":"Q1327381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b2406c869dc32ecc7f6a9564770ad16be5ec896","datavalue":{"value":{"amount":"+0.7614597082138062","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":"Q3035275$48BF7425-8E26-4EE4-9CDD-31961E539C0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3035275","badges":[]}}}}}