{"entities":{"Q2482845":{"pageid":2493588,"ns":120,"title":"Item:Q2482845","lastrevid":50342888,"modified":"2026-01-13T20:53:33Z","type":"item","id":"Q2482845","labels":{"en":{"language":"en","value":"A sequent calculus for limit computable mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267337"}},"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":"Q2482845$AA48C770-5E0C-4FF0-B063-841889D4142D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"790271104cdeec5d6655d1cab26755c01ab973e5","datavalue":{"value":{"text":"A sequent calculus for limit computable mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2482845$38E908F5-A51E-44C7-9188-EFDC83EF6D92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c82d42acc7e51f53266cb5d7870e964084a36ef0","datavalue":{"value":"1135.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482845$A913DCDA-1B2F-4E0C-BECD-7B9243992BBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482845$66AE3F3B-1A88-44E6-8038-390334A52927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b293349db5b1a008c9f278c97d504e3ea82fdb1","datavalue":{"value":{"entity-type":"item","numeric-id":736822,"id":"Q736822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482845$7C6190C7-8E13-4BE0-8712-53E863C28251","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482845$50123B3F-7FEE-4CDD-A84F-80B5DC4194BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2482845$CDA9720F-8368-40DD-9CB6-B3DDB8E27E71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482845$50CD6D60-7061-4AEA-8CDC-D7EC763F173D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482845$0F43DE32-B2DC-434C-BF23-72BE470DED5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482845$3E337630-C40A-448B-9A20-F6C1910EFC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482845$89920FB4-D8EE-4632-9EF1-2686812FF5BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b29ec03161c4a1c86e7074b9d1a7537c9234b36","datavalue":{"value":"5267337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482845$697B9B15-B65D-40B0-ADBD-AF38BAA76A7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f01a6254f35d44b5497fd58b1547d759a6a51209","datavalue":{"value":"limit computable mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482845$DBFC655B-2FE3-4C6A-B838-D6FFA9E8D72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482845$F2E2361D-33C0-4EA0-A262-A84EAC0C87CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482845$AC4136B7-46EC-464C-8B60-129511799271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482845$23CE83B2-0FD9-49BA-9593-537ED3C5CF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482845$ECF37DFC-5404-4623-AF48-897659BD75B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482845$C89D12C2-E738-4585-B4EE-B02759FDE172","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":"Q2482845$5282E741-643B-4918-A445-2147B924ACD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d40d68dd17a6ccbf97fc1924c80b370415e7bec2","datavalue":{"value":"https://doi.org/10.1016/j.apal.2008.01.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2482845$53C23344-0C6B-4379-9040-D49846EFA453","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"593ba4d232150dd91abb1612ae541877367308f1","datavalue":{"value":"W1970356442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482845$460261B6-3678-413E-83DC-4E6230095118","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0ff6666acbb1cc7d6ad148ec9dfbf5eed967f3","datavalue":{"value":{"entity-type":"item","numeric-id":3498443,"id":"Q3498443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482845$1C04DE81-0AAA-40FF-AD54-26259ADC1E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371d2399f50a6aebcc2fc70e10f9c3ee27554be0","datavalue":{"value":{"entity-type":"item","numeric-id":4836058,"id":"Q4836058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482845$888315DE-59A1-4135-9A2E-A8F6B0C58B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401ab33857e7fb277e12b8a3b6bce01ce53020df","datavalue":{"value":{"entity-type":"item","numeric-id":4420735,"id":"Q4420735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482845$4EF06FD3-20C0-4E74-A1EC-9E8D7B4329CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cd92bc594a70587812e6426ffd718547d0b6aad","datavalue":{"value":{"entity-type":"item","numeric-id":5704025,"id":"Q5704025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482845$C51F47A7-A219-4A2D-87CE-587190CBB1E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47f766d35a336dc3b65157d25ce89d9b237acfc7","datavalue":{"value":"10.1016/J.APAL.2008.01.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482845$9EFC0D90-9896-474E-A755-B2CB550ACDE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb9fe95ae2313d2d4fa1553573be070f106b348","datavalue":{"value":{"entity-type":"item","numeric-id":4736394,"id":"Q4736394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8697708f37cd1e90efadf0c35cb461cc787d17ce","datavalue":{"value":{"amount":"+0.7583321928977966","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":"Q2482845$766A666B-953A-4AC8-A966-B391AC595623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3fd93d64187ca53d6800947951b8442bea684ee","datavalue":{"value":{"entity-type":"item","numeric-id":4411811,"id":"Q4411811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48feaac9c4fb2a2a085f5cd4ee336a377601352","datavalue":{"value":{"amount":"+0.741829514503479","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":"Q2482845$403DA20E-9E69-4059-A985-94D3EB924F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67844e8064ae6855677dd54db484e6fe04293348","datavalue":{"value":{"entity-type":"item","numeric-id":2915710,"id":"Q2915710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a54d80377a77c12bd7868aec69bf52a58abdecfb","datavalue":{"value":{"amount":"+0.7231294512748718","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":"Q2482845$43DBC9C3-E49A-4894-84F0-55125B766F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78eafef59b3a0ef7b87587a9e17a2707764708ed","datavalue":{"value":{"entity-type":"item","numeric-id":4546091,"id":"Q4546091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2348b6a47379914b7799b0db836edcd7ad0db9fa","datavalue":{"value":{"amount":"+0.7156535387039185","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":"Q2482845$65372926-2960-4814-85A9-3276977D8D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8494cd6330f32b72f914cc05d9e143b7e3f9d459","datavalue":{"value":{"entity-type":"item","numeric-id":636360,"id":"Q636360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2348b6a47379914b7799b0db836edcd7ad0db9fa","datavalue":{"value":{"amount":"+0.7156535387039185","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":"Q2482845$0303DD7F-63BC-4FD6-A3C4-B444CBE77401","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2482845","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2482845"}}}}}