{"entities":{"Q3110202":{"pageid":3120918,"ns":120,"title":"Item:Q3110202","lastrevid":51407930,"modified":"2026-01-18T02:59:25Z","type":"item","id":"Q3110202","labels":{"en":{"language":"en","value":"Proofs and computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6000862"}},"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":"Q3110202$30974675-AA36-4759-8FEC-0E0EAEF3E4A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec4756ec6a3481e24d5e9f1be2945b3b310bdc0f","datavalue":{"value":{"text":"Proofs and Computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3110202$BBEDB0D1-6D4F-4420-8B27-41722D99D0EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"326cf2b3fa598eb2adb7305857dd7391c43c22c6","datavalue":{"value":"1294.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3110202$C71906C0-56EC-42EB-98FF-0997CC722774","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d64ae9c591c1690bf4050ebe7f18799a733883f3","datavalue":{"value":"10.1017/CBO9781139031905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3110202$E1541B67-448A-4289-A886-F4BAC2A808E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3110202$CA0E1B42-447F-4F57-B219-ACA9D4D5E9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8d91eb383cd112a6f423cf65f9ae246ca32dde7","datavalue":{"value":{"entity-type":"item","numeric-id":1084099,"id":"Q1084099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3110202$5C060C79-EE12-403C-A20E-E8CC77702157","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c16e0eeef530b0f383903918789ff63ba236294e","datavalue":{"value":{"time":"+2012-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3110202$BA48BDE2-3C33-4963-AD0A-E7434D88870F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3110202$437C64BB-0903-4167-BA53-53317AB6978E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3110202$96546B9F-F5BA-4A6D-A17C-EE19D8DB06F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3110202$EF15ABAC-7AD1-4E0E-95CE-25819468747E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3110202$45E618C3-E71A-4549-998D-E3363CBA00F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3110202$83D1DA9E-FE0D-42AF-8BCA-974936BB0322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3110202$D0F7D0CD-7C49-462A-A3D8-8561D19EB0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3110202$BCEEDB2D-5481-452F-85F7-5F688EEDC931","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"271d706670f97830812398ad24e928f75afe258f","datavalue":{"value":"6000862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3110202$D09F2AB6-4D63-4D79-A28B-0927A09E7FBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d5d120f1aff5d0532718fc6266a1de1fe34d17a","datavalue":{"value":"connections between proof theory and recursive function theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3110202$033F9644-321C-4A30-A5D8-92ACFA66CD74","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":"Q3110202$6881ECB6-4DF8-4FB0-8C65-C7B898633BB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe3451f2be53de0b68814b2f19e71b78600eb799","datavalue":{"value":"https://doi.org/10.1017/cbo9781139031905","type":"string"},"datatype":"url"},"type":"statement","id":"Q3110202$920D9D5E-6D83-44E3-9900-062DF656234E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cfea86888ec08740afb7876841da100e00cb87b0","datavalue":{"value":"W4205623740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3110202$E6E03A28-E4DC-4EB4-A21E-B4C8779C0E3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75d5087b8325fa1c328b14556878a27ebf226c3","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068636f6c1bd6ca030aac0618ff10a35e764659c","datavalue":{"value":{"amount":"+0.83856600522995","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":"Q3110202$C9B9F2FA-C7AB-440F-AA04-B6D0C5E05B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4477e180b771717860b6be03e98fe5bc4fbbeb31","datavalue":{"value":{"entity-type":"item","numeric-id":625290,"id":"Q625290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4650dc8d13185accbf4085fcc4b83d157dc4b2f5","datavalue":{"value":{"amount":"+0.823260486125946","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":"Q3110202$93BB5D49-AC40-42D8-B910-34B57103D004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f8b43632a74871928026a433cbf5f381d55edc7","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27c5196d7310a2464a26ef75e3c50475068d771","datavalue":{"value":{"amount":"+0.8122943043708801","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":"Q3110202$B2410721-5E7D-4C2F-9A4A-425F814DFF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a89dc3f8b9c614d3c47ec807c896f5b07eb80c1","datavalue":{"value":{"entity-type":"item","numeric-id":3138828,"id":"Q3138828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b71528ccf41f7a033417a1b7aa1d4f68b6db9dd","datavalue":{"value":{"amount":"+0.8000232577323914","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":"Q3110202$E302A16B-B0D1-4854-9BF7-EA1DFD5FEF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4596f4b9e3d72e9595f49910610584394c88f846","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29face00e67a5d2d755e6e26f65aea868aca7d5","datavalue":{"value":{"amount":"+0.7915798425674438","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":"Q3110202$DB5C071B-2893-40FA-A8FF-460948EF7127","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3110202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3110202"}}}}}