{"entities":{"Q5712324":{"pageid":7741878,"ns":120,"title":"Item:Q5712324","lastrevid":101657246,"modified":"2026-06-06T01:56:55Z","type":"item","id":"Q5712324","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240451"}},"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":"Q5712324$9540CA54-425E-4DBC-8E51-C8223D370025","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":"Q5712324$59536919-74A8-410E-B6F4-77FED6FED822","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0825a9aec0686ea179f64299db7cc6ee7742da62","datavalue":{"value":"1100.68545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712324$82DFAD57-5ACE-4DA9-83DF-A7A491C48605","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2e3774dc3d7288a395dfaa7792296a4e59727f1","datavalue":{"value":{"entity-type":"item","numeric-id":553897,"id":"Q553897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712324$92282F3A-427F-4DF8-A6EE-8774E9723817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b456eca97fafb1433d85c58dba82fee4a5004ff","datavalue":{"value":{"entity-type":"item","numeric-id":801683,"id":"Q801683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712324$D574F088-4163-4FAA-B901-1422C9AEFC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712324$92499934-FE5F-47E8-BE7D-2A3522A896A7","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":"Q5712324$3E89EB18-F9FF-4020-8242-E73F493B3F9C","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":"Q5712324$7ABF3103-9EA8-4499-AF9D-BA92D6C39988","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712324$D641B099-69DD-44EE-B68F-5839F6028241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712324$40D87CBD-6280-404B-94BA-1DA722B31DCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55fa2fe2dde2656c5550249bc8a81b594c9318b4","datavalue":{"value":"2240451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712324$93DB39FE-9A3D-4EA0-B83E-E1A618C23112","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":"Q5712324$32B6AF70-53F9-439B-978D-BD1368A2EAAD","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":"Q5712324$3756D2C5-703C-4F0B-8BC9-E311907E7E84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"997116d9ae8d11ec014247094e10ecd25bfd6fed","datavalue":{"value":"W4298423642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712324$35056845-7968-49DF-8336-79D1C0FF0769","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64753b15ba5c5bacf00be58bb5ec49b804bb30d9","datavalue":{"value":"10.1007/B98246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712324$20285B35-22BA-45C2-8D78-2B7D8ABBC147","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e4ed5da66b9b8d0c38fc30aadf7bbe8801ccb9","datavalue":{"value":{"entity-type":"item","numeric-id":914357,"id":"Q914357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b03d36f5643c45fb2d267d0905dd1ca92a8f9193","datavalue":{"value":{"amount":"+0.8900669","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":"Q5712324$4036EC9C-F1E9-4E61-A05B-0C6965D91F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eab334841c1608213227574ab077d5fc0d9a43c","datavalue":{"value":{"entity-type":"item","numeric-id":5370878,"id":"Q5370878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b162a468d67c62a04bab8e71ddc1861333146f83","datavalue":{"value":{"amount":"+0.88704485","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":"Q5712324$F4F5B30B-37C3-4771-AB75-E8B4A181008F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c63c37bd980ab7e2d18ef81b0e6b787e7e76a36","datavalue":{"value":{"entity-type":"item","numeric-id":756435,"id":"Q756435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1c338718bc91d4b35ff66a7fd4c6a8cab21c7a","datavalue":{"value":{"amount":"+0.88519424","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":"Q5712324$F5D4A8CA-9B2C-4804-803F-9000828ADCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6f76415a446fbd42c606c261fa56ffb5c9a4fa","datavalue":{"value":{"entity-type":"item","numeric-id":3705422,"id":"Q3705422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"372a7220d52acabd4e0494e632a1c75738a4da6c","datavalue":{"value":{"amount":"+0.8827543","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":"Q5712324$3B90770B-288A-4B57-8D64-F3F77CD55787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b71cf434253716a7043a1ac82b2e00512471d48","datavalue":{"value":{"entity-type":"item","numeric-id":3793704,"id":"Q3793704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a0a3954fdfcca926b195342860065619d892717","datavalue":{"value":{"amount":"+0.8811311","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":"Q5712324$9AB1DB71-D94D-4EC3-B096-5DCD606B99FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61e3564cf3644023b49c87415d47d0b19f8f2603","datavalue":{"value":{"entity-type":"item","numeric-id":1318726,"id":"Q1318726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bfda952d8114e8b5ed1309bf7ff235ea2078e92","datavalue":{"value":{"amount":"+0.88113105","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":"Q5712324$2ED6A9C4-9B67-423B-BC52-5CAA8E4929AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11dba2f0aefd8e21577fab8944d1f95576fc2227","datavalue":{"value":{"entity-type":"item","numeric-id":685350,"id":"Q685350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c664da5e10296b74d1576b500c552c69d8417e","datavalue":{"value":{"amount":"+0.8780499","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":"Q5712324$EF1F8C6D-B5DE-4A0D-A3DC-504707DD5962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49db44578b6fa9662d744ba332efb46799dc6c0","datavalue":{"value":{"entity-type":"item","numeric-id":1355750,"id":"Q1355750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e97ed90757eaf2b5fea909678ef5ca9958b269","datavalue":{"value":{"amount":"+0.8762241","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":"Q5712324$26E3E33F-4D26-4665-A5D6-CC823B8AC57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acffe5bcd9a74480cfc72813b429bf2310ce8a02","datavalue":{"value":{"entity-type":"item","numeric-id":2233419,"id":"Q2233419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1029cbdf7de20230d268d41d7aefd478bebec01","datavalue":{"value":{"amount":"+0.8752092","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":"Q5712324$B7C7A47D-A5F2-4F1A-8669-08D6462B05C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7f90919181d7fd39fe7ee9f5f53d1191d927ec","datavalue":{"value":{"entity-type":"item","numeric-id":3507459,"id":"Q3507459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b036c9aaa4d87866b8a476a099f50f2fd675117","datavalue":{"value":{"amount":"+0.87358886","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":"Q5712324$55602D16-CE5C-49B7-98D3-FA7D04FB03E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Types for Proofs and Programs (scientific article; zbMATH DE number 2240451)","badges":[]}}}}}