{"entities":{"Q5013909":{"pageid":7043486,"ns":120,"title":"Item:Q5013909","lastrevid":41184419,"modified":"2025-04-18T20:03:05Z","type":"item","id":"Q5013909","labels":{"en":{"language":"en","value":"Normalization Proof for Derivations in PA after P. Cohen"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438601"}},"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":"Q5013909$5DC1A218-4814-4E45-9473-1F4ECF18F9EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea01a4d57a664e11b90222dba974ca967c4c095b","datavalue":{"value":{"text":"Normalization Proof for Derivations in PA after P. Cohen","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5013909$EF2CADC4-9ECB-47AF-85B0-D5883527290D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5832f3797c0f712656e411e2f0cb16809b948167","datavalue":{"value":"10.1007/978-3-030-49424-7_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013909$8D854EE5-1F42-44D2-8752-80329233D0CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5c32b06bc595cc0428a1baec33ca77fa4107426b","datavalue":{"value":{"entity-type":"item","numeric-id":5013890,"id":"Q5013890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013909$F6BFA646-6586-41F0-AE9D-E511172B0444","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5013909$F25F8135-C8B6-428A-871C-6B1455D57E60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013909$69B7E430-E07C-472C-AC84-C6573D616A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013909$7C2917E2-7ADA-4AC0-B602-995C4843D01A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49b40717a014b516c588b48b1eaa7c6e157256a5","datavalue":{"value":"7438601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013909$3A0990F3-548C-4666-BCA6-53819E9C9A9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013909$0861A4E0-20BB-418F-B8D1-E53E164EB0CB","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":"Q5013909$87461DB7-C4F5-4482-8AC9-11196959D30B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59815a2f08650100e4985c51dd3a7a65736517df","datavalue":{"value":"https://doi.org/10.1007/978-3-030-49424-7_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013909$0217CFAD-E0E5-4E9C-9A49-5366A3DBEF94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48bb5272cb382e6b556338dfc69c517ad05f01ca","datavalue":{"value":"W3048877297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013909$D3DCAD83-C88D-4389-AFFA-36A7AA63748D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013909$23C295C1-A889-4473-AFA2-5A032823B735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d9a69fdba20de6f6ac42d9e2851538bf1de7dff","datavalue":{"value":{"entity-type":"item","numeric-id":2367413,"id":"Q2367413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013909$7E709EAD-BEDE-4BD9-9B6C-DEB9EA619CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013909$F9707236-4DD9-4561-BE3E-10F800F7546A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c813dc3796cfeaeadc0083e9c9b8bb8c20c00bfb","datavalue":{"value":{"entity-type":"item","numeric-id":5770686,"id":"Q5770686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013909$A0A9EA3E-25BD-4253-BA82-7D2D53CE0DAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ded80ef1f98f119951c284cc3f3b9d326fb75c7","datavalue":{"value":{"entity-type":"item","numeric-id":1931341,"id":"Q1931341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa1e8b7473881125204a1e02e64631b8deeb0128","datavalue":{"value":{"amount":"+0.8717411","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013909$F87C6030-EF7D-497B-ABE9-42CA145D413A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1cf405769e2035aaa4917840adc95419c5f9955","datavalue":{"value":{"entity-type":"item","numeric-id":892146,"id":"Q892146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b78d7dd7225116ae91ed09ad078660ca0d3858","datavalue":{"value":{"amount":"+0.8564101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013909$AB5E5EB3-1F82-4DF2-81D8-E6C2850E9637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ad40805ea4b365fe23e4654e855c1864b17b1d","datavalue":{"value":{"entity-type":"item","numeric-id":4387084,"id":"Q4387084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d4e1c0f451fe171e16fbaa65548f5140cc1f9bd","datavalue":{"value":{"amount":"+0.84679776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013909$24A6001E-7FA8-4D34-A965-7FEE20134F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f6ef64db277c87327d0c8ee91d0405d2196570","datavalue":{"value":{"entity-type":"item","numeric-id":5864201,"id":"Q5864201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e567d908965d144db428a9347bdc70378bf85aa0","datavalue":{"value":{"amount":"+0.8460946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013909$F7B3E44A-64BE-49E5-B7AB-AB307C4394D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"350823aa1d64e7b4b83f87f10e1cb162e4cdf9eb","datavalue":{"value":{"entity-type":"item","numeric-id":3819063,"id":"Q3819063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c515f81ebabc24272c275f770596a33ea694231","datavalue":{"value":{"amount":"+0.84506226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013909$FA804904-C9CA-4EA4-AF7D-3B0A9D1CB546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60160024512c73f3c431b760ec9d2b4a9aa14ec","datavalue":{"value":{"entity-type":"item","numeric-id":1342248,"id":"Q1342248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7a0a38e457df64567e9fa86858008c5c5a22939","datavalue":{"value":{"amount":"+0.844697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013909$6E8397AD-827A-4A46-9A76-4701D0144483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677e4347159e9c0e0bdae30ed157d1872628ad0b","datavalue":{"value":{"entity-type":"item","numeric-id":3720598,"id":"Q3720598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0431241a5dccc5700e1f8b407e7769f137ef533e","datavalue":{"value":{"amount":"+0.84458256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013909$C5EFD9AB-3BCA-4508-94F3-8B1A62019E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"042587c6fec10116cea3805097d7c0144d349eac","datavalue":{"value":{"entity-type":"item","numeric-id":4268410,"id":"Q4268410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc830f35d1a5c9696ab2b6b8643157a9400802bb","datavalue":{"value":{"amount":"+0.8419512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013909$567D50D2-15A1-457A-ACE5-68CA2E5D4C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1f80d33d2b711c1786c52beef6916c90b47ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5055708,"id":"Q5055708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4754cf9987c5b1fa628c8b673727b56fefb74e38","datavalue":{"value":{"amount":"+0.8410686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013909$C93E4C55-79BE-4415-960B-99D2933EF708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b3ca5d7bb5b727be1de5d72845cf8d93eed70a8","datavalue":{"value":{"entity-type":"item","numeric-id":4985610,"id":"Q4985610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73007c180dda1074d8b517ef638a9d3758e25a74","datavalue":{"value":{"amount":"+0.840006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5013909$77EFB0A7-DCAF-4A53-9B6E-4D4050FA03F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5013909","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5013909"}}}}}