{"entities":{"Q5712313":{"pageid":7741867,"ns":120,"title":"Item:Q5712313","lastrevid":101657147,"modified":"2026-06-06T01:56:54Z","type":"item","id":"Q5712313","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240440"}},"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":"Q5712313$81D8517C-DCED-49AF-ABCB-B343F86B0DC9","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":"Q5712313$CB20FFA5-AF42-46E1-B90F-3D66F991D3B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66b04ccd9783abb07793b8d0906b076e0943f0c3","datavalue":{"value":"1100.03511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712313$9061062B-6D09-48FE-BC21-6368A12FBEE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34ec3c43a787f0ce2af2cba920d22bbfe00fbaa4","datavalue":{"value":{"entity-type":"item","numeric-id":673141,"id":"Q673141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712313$45D66468-41CC-4D1A-8211-9F02E18BE5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc9ea3edf0950b7709b905c390f4109373f089e","datavalue":{"value":{"entity-type":"item","numeric-id":235594,"id":"Q235594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712313$46BDF5AE-994B-43D9-82AE-CDBE4C0D3CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712313$A746B765-EE25-4613-B227-3D5A4E72CB6B","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":"Q5712313$81C1BBA3-8ADA-44E7-9D1B-818EF3C42127","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":"Q5712313$398338E3-EA7F-4F1F-8061-FE775D3FEC2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712313$1CA4D42D-20E7-4404-8FE8-64CCC4C171CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712313$2A78F732-181F-40B3-964B-99286625D238","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96fa15b579efb749255238c6ae5477bf811f62cd","datavalue":{"value":"2240440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712313$57490714-763D-46A2-BE91-FA0C811D5C3E","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":"Q5712313$D0D82C66-FDBC-4E06-BAAB-57C72E07E53D","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":"Q5712313$B3447C4D-8313-4027-8215-8F0945A35AA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"997116d9ae8d11ec014247094e10ecd25bfd6fed","datavalue":{"value":"W4298423642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712313$8691B578-42C1-4DA9-84E6-59D7B7D7530B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64753b15ba5c5bacf00be58bb5ec49b804bb30d9","datavalue":{"value":"10.1007/B98246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712313$E0D52089-7028-4716-84EA-CA65204C11E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ed0e9da3b7e384c91b754c94587bcf4f13bba1","datavalue":{"value":{"entity-type":"item","numeric-id":1575259,"id":"Q1575259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb3c288a1ed3f6ece3c56fb79027661e2fd6c01f","datavalue":{"value":{"amount":"+0.8523980379104614","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":"Q5712313$67F305E3-4784-4A57-841E-932E803978B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f417e1745742706e9fc598b5a871bec2b4c4d5","datavalue":{"value":{"entity-type":"item","numeric-id":5448641,"id":"Q5448641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb3c288a1ed3f6ece3c56fb79027661e2fd6c01f","datavalue":{"value":{"amount":"+0.8523980379104614","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":"Q5712313$E82692A9-D08F-4F92-B014-D9D10214CC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f2b7d688dc677daa038f6a042bf4a8dadd1c27d","datavalue":{"value":{"entity-type":"item","numeric-id":930872,"id":"Q930872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"796b5099f0fdbb8ef53b122acc19799d6d11c3fa","datavalue":{"value":{"amount":"+0.8022499084472656","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":"Q5712313$8C5BA0C2-05BD-4D82-A38E-A001653767A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cec1a05aff9c338da28a8afb04d752f015e3ec4e","datavalue":{"value":{"entity-type":"item","numeric-id":3221961,"id":"Q3221961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b68b95b3f0d4fd4c9aa6ae18738c90b7acb65c4","datavalue":{"value":{"amount":"+0.7861045002937317","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":"Q5712313$67D6A1AB-6AA8-4527-81FC-218C6418E614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03cdde44b5a1f6800250cdbd644ea2ee417b4245","datavalue":{"value":{"entity-type":"item","numeric-id":4448355,"id":"Q4448355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b896a257fe907171fd71b244808306b46360d879","datavalue":{"value":{"amount":"+0.7752109169960022","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":"Q5712313$B5FFFF2B-1C68-48CC-A177-11ED692629E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Types for Proofs and Programs (scientific article; zbMATH DE number 2240440)","badges":[]}}}}}