{"entities":{"Q2884994":{"pageid":2895719,"ns":120,"title":"Item:Q2884994","lastrevid":79515059,"modified":"2026-05-06T14:05:35Z","type":"item","id":"Q2884994","labels":{"en":{"language":"en","value":"Hyperincursive proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6037091"}},"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":"Q2884994$3AFED9BB-474F-41A4-9064-DDBC21FC75D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d9defe1e097534775398feb3be95890aa9a3acc","datavalue":{"value":"1238.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884994$3EFB6F4D-2EAC-41E3-9F4E-9198B325764C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfb6f61ad3ee691ae73eece09c4d9710230dde1f","datavalue":{"value":{"entity-type":"item","numeric-id":2753614,"id":"Q2753614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884994$43B14A79-0E87-4915-91CA-9E73D499173A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59c77f9a8b23c994c57efbed811891089ca76628","datavalue":{"value":{"time":"+2012-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2884994$ACBCD0CE-BD60-46D6-9D86-8B814BE1AD83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3266af8539c1df1a2672dcfd0d0ed53395c0c42f","datavalue":{"value":"http://www.metalogicon.org/rivista/2007ld/Grappone07ld.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2884994$D10E4D62-C301-4A72-9027-994A0392371A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884994$C7DCE1E4-3B7E-4DD3-9146-AB57E2EC6B51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e022b56c89306c2edce38bbfbce5746f7199263","datavalue":{"value":"6037091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884994$E8317589-FE84-4D06-85D2-D046A41C0030","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":"Q2884994$B54EE2E1-5C94-434E-B00B-CBC06D348086","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6b6d923d3a25bb55780a00741778dc0a7c5f069","datavalue":{"value":{"text":"Hyperincursive proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2884994$168F8D3B-00AB-4F51-8210-0F24A31549FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fa9ee2beb845c98a985960ea17a8e548daa2e35","datavalue":{"value":{"entity-type":"item","numeric-id":6769700,"id":"Q6769700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884994$85488400-CF65-4B92-BBF5-6F64B78D12D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc908b5a67bc17bd2b3b9d7e3d3d9681aac12d3","datavalue":{"value":{"entity-type":"item","numeric-id":3781734,"id":"Q3781734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360557bbfdd1fb9616a1ef22d736510feab88386","datavalue":{"value":{"amount":"+0.7399143576622009","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":"Q2884994$63B71B5E-BF53-4C54-B4BD-4FB113E3B3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17d9bb7915d81cb4450b046015695692bdc0457","datavalue":{"value":{"entity-type":"item","numeric-id":3469081,"id":"Q3469081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a94df1b9c24523a905c0f916d44b61b3152f09","datavalue":{"value":{"amount":"+0.7206410765647888","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":"Q2884994$7AF1CD13-887F-4DAA-996A-234CA48B8CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a61a1fcb87b25a45cb977364794737a271e69d38","datavalue":{"value":{"entity-type":"item","numeric-id":5894725,"id":"Q5894725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3477388b60e5176c7f66d509b62d3be8e4d2dd0f","datavalue":{"value":{"amount":"+0.7181704044342041","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":"Q2884994$FCFBD758-12C7-45F5-851B-F9FED29F4D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39bb720b7c1477bdd9fa3da132be1b604f98822c","datavalue":{"value":{"entity-type":"item","numeric-id":2721238,"id":"Q2721238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f1a68d26e17a3ffd56b39333795402727cd05b","datavalue":{"value":{"amount":"+0.7154030203819275","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":"Q2884994$0B3A3C6C-81D1-4352-8F4E-29068EF0CB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8cffc23e28741b245b0f435c2b5b2b9463170c6","datavalue":{"value":{"entity-type":"item","numeric-id":3804238,"id":"Q3804238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bddb79216c891f9d328540062306df75bf991079","datavalue":{"value":{"amount":"+0.7135829925537109","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":"Q2884994$73E15B0E-3312-49A5-9449-79BEDE6B3D52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hyperincursive proof theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hyperincursive_proof_theory"}}}}}