{"entities":{"Q5712306":{"pageid":7741860,"ns":120,"title":"Item:Q5712306","lastrevid":41258292,"modified":"2025-04-25T14:42:38Z","type":"item","id":"Q5712306","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240434"}},"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":"Q5712306$80E8B9A8-5B80-4037-8F0F-BBE33C1D9489","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e79d8390cbcfcf48f52ba5d0f093f0e583d1f11","datavalue":{"value":{"text":"Types for Proofs and Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5712306$1FA06ECD-9736-4E6B-8F27-0B9DE3AF8D2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14fffa3c1d8a71884d81c4bc05837ef12c1fc8fb","datavalue":{"value":"1100.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712306$98D77946-6D1A-4244-8971-9B11E827C7E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e85d980a71ba2f21f2ab5dfb6106cc1a8d5441ea","datavalue":{"value":{"entity-type":"item","numeric-id":531323,"id":"Q531323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712306$1ECCA95A-CAC3-450D-B405-A5226C7A6BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84ce645d51675861424cd68ee78a78f79548c49a","datavalue":{"value":{"entity-type":"item","numeric-id":234589,"id":"Q234589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712306$6BECB687-CF19-4F9D-8538-249715697843","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712306$74497F46-3B01-4BC2-96BC-E6EBF0BE2605","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17dc618a5d162b46bae90491d12c35966ac89444","datavalue":{"value":{"time":"+2005-12-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5712306$87F3609E-0205-420B-88B1-198F2B8687D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712306$B649C609-9BF1-46CB-8B98-9480D9DB12F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712306$D05AEDB7-F0B5-4D37-9472-DFD03AD53DE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29a6c66ba4c7452cf5666e11bf9c82b11997b3a8","datavalue":{"value":"2240434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712306$2B918778-D4A5-4530-9557-8CA177C801B9","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":"Q5712306$C8E54184-4F9A-4D63-90C7-60723091172A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fee6d0668cbb8bb1384b720d0f9cea12732a7fa","datavalue":{"value":"https://doi.org/10.1007/b98246","type":"string"},"datatype":"url"},"type":"statement","id":"Q5712306$FE127679-382B-4C6D-AFD7-B221FDEA3C7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"997116d9ae8d11ec014247094e10ecd25bfd6fed","datavalue":{"value":"W4298423642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712306$9EDDA1F3-4B7B-4001-B73B-13C4EE9BCF21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64753b15ba5c5bacf00be58bb5ec49b804bb30d9","datavalue":{"value":"10.1007/B98246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712306$EA40A269-DF94-4553-A892-55E7CF8DCCE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"957d6e73c5ca80a70a69879dbab8e8cbbaecec21","datavalue":{"value":{"entity-type":"item","numeric-id":3079528,"id":"Q3079528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b974587d2403b2aae3608d12d738b32f515c58","datavalue":{"value":{"amount":"+0.9323813","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":"Q5712306$713BFA90-9675-47A7-A046-69BC3BA761CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e1d2e18d23a1cd5172ef12d076d3526d58075a5","datavalue":{"value":{"entity-type":"item","numeric-id":2327349,"id":"Q2327349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af34c29de1cbfc1b3b2a4a6d22c2d03f60cf6ec1","datavalue":{"value":{"amount":"+0.8752618","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":"Q5712306$DDDEDF18-451F-4F6B-A385-A90686341396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48fe565da84884387dc53ff7f672344dbc5008c0","datavalue":{"value":{"entity-type":"item","numeric-id":942137,"id":"Q942137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d66776d3b24f09313fd83899fcfa2bf3712b6f64","datavalue":{"value":{"amount":"+0.86999947","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":"Q5712306$F4F6FA95-1FFF-4B4E-91CA-6DAA4B64661E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821053c5a3a8c175a7e21446a81201ad4a83da98","datavalue":{"value":{"entity-type":"item","numeric-id":5277827,"id":"Q5277827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd418f60f83e0affb84adfbf97859867ae3525da","datavalue":{"value":{"amount":"+0.8662957","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":"Q5712306$61DB39A1-4380-47FD-BA40-24DC229D0E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5a2714ad33dad28e05a706dee85a5f9a2b54111","datavalue":{"value":{"entity-type":"item","numeric-id":2915670,"id":"Q2915670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c08bbcebf81b99fb344d5c007cdd55846f49a267","datavalue":{"value":{"amount":"+0.86465144","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":"Q5712306$58C88A78-B8C3-4FAE-B021-69B2C7A118B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bef20e2f37b9a5a8aa3edd174a549314ad9b6ca","datavalue":{"value":{"entity-type":"item","numeric-id":4911176,"id":"Q4911176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff63f304598304bc1ec6d6477e6c9cd50beb919f","datavalue":{"value":{"amount":"+0.864384","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":"Q5712306$36946704-AD92-4C90-973D-31EF04393AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f486b9f4171899a84de2bb417dbb8564a40f7680","datavalue":{"value":{"entity-type":"item","numeric-id":3564340,"id":"Q3564340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c96a8f4cb5c95d0589a1e254e9cf0e81b56bbf0","datavalue":{"value":{"amount":"+0.8606664","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":"Q5712306$2829C22B-DF26-4003-9004-E305F12E29D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb61421949138f827da30373a9145f186bcd2a97","datavalue":{"value":{"entity-type":"item","numeric-id":1024802,"id":"Q1024802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493ffb12ff708496ab9ddd7adb276897a8ee6a9d","datavalue":{"value":{"amount":"+0.85454625","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":"Q5712306$23124A0C-A6B5-4803-8845-E6F0FE927CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df42ba26a42fe78fbcbc00090b1e861eb90944c","datavalue":{"value":{"entity-type":"item","numeric-id":1764368,"id":"Q1764368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"180af0ab50236245423c5ac6e18a5233599e6274","datavalue":{"value":{"amount":"+0.8534986","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":"Q5712306$93FF8BA1-AFD8-4C58-BA3E-0C2ABECD57B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4899bccf91708c9ddf1efc49b96e6be61f98ee3b","datavalue":{"value":{"entity-type":"item","numeric-id":2819193,"id":"Q2819193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb62f93536caa320f7ca1e0ae872c0ca1ad5ceb0","datavalue":{"value":{"amount":"+0.8527549","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":"Q5712306$C62D253D-BE55-4D7A-A8BF-E96558057083","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5712306","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5712306"}}}}}