{"entities":{"Q5712301":{"pageid":7741855,"ns":120,"title":"Item:Q5712301","lastrevid":101657039,"modified":"2026-06-06T01:56:53Z","type":"item","id":"Q5712301","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240429"}},"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":"Q5712301$5AC92E28-468B-442F-8F3A-8A18E42F8FFF","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":"Q5712301$17D23578-AA77-493A-96B6-B33312459291","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6c1ff73df0545ba8bd67d27fe2e758cb5bfd125","datavalue":{"value":"1100.68542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712301$38F905DD-27DC-4136-B446-5A4604CE1F98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cec371990f9003fbdabf64bcaf7487ca13372cd","datavalue":{"value":{"entity-type":"item","numeric-id":636366,"id":"Q636366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712301$EC0B3EDB-FF84-4127-A522-6C3E5076A294","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":"Q5712301$4CA1D1FB-AF4A-48D4-9A41-4DF6F1FE9B14","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":"Q5712301$A6EB6E96-D658-495F-B6E7-166967A00253","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712301$8BD085A4-5CC8-493C-95F1-64157036CED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712301$B587307E-CBC6-4368-BB71-DA3D9D1453DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef44efec2caa205b74c8540d6c53dcdda00563a2","datavalue":{"value":"2240429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712301$D17604F9-87A2-44FD-8EF1-18815DF744FF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1242fd1bc940b1d020f91864ca9fbb1cb60e9499","datavalue":{"value":{"entity-type":"item","numeric-id":14421,"id":"Q14421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712301$59053304-AEDB-4529-B4E3-3BA6099AB89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712301$52284441-699B-49B0-9D35-CCC587C556EF","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":"Q5712301$46204D0D-E074-4F44-B540-B012EB0039E6","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":"Q5712301$F89498A2-F757-4FAE-B5A2-0C2FDF9362B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"997116d9ae8d11ec014247094e10ecd25bfd6fed","datavalue":{"value":"W4298423642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712301$295B36FC-DF5D-4E72-8BF5-D1E050247B57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64753b15ba5c5bacf00be58bb5ec49b804bb30d9","datavalue":{"value":"10.1007/B98246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712301$D60045E6-FB61-421E-BF45-8FEF79CF1065","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd4253fccc871044e483c35d08d07d67d9d8b67a","datavalue":{"value":{"entity-type":"item","numeric-id":4511321,"id":"Q4511321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ee297ebb3ba4128fd86dd03eafbfd71cc2d701a","datavalue":{"value":{"amount":"+0.8050675988197327","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":"Q5712301$320E94B0-4B62-460C-AD49-AEF42553BB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6850f32c4cd09c5f2143a5206e88925f5c5e9079","datavalue":{"value":{"entity-type":"item","numeric-id":4823135,"id":"Q4823135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d72d0b2b8dbce9ae3c13cea06496bfd78471bff","datavalue":{"value":{"amount":"+0.8023818135261536","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":"Q5712301$B65D87C3-EF84-4AEC-A171-0012EA9C3E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5eaf3467daf87792271d4a93a843969dd2367f","datavalue":{"value":{"entity-type":"item","numeric-id":3204067,"id":"Q3204067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab8dd2aa428ec041e379ecb5c7eb935ad45b160","datavalue":{"value":{"amount":"+0.796781599521637","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":"Q5712301$F9189AD5-03DB-4DAF-A849-AC8494737109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bcc52073f84fa95c6b793b9b9f30c47c214e3f4","datavalue":{"value":{"entity-type":"item","numeric-id":4399511,"id":"Q4399511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72e1ffea3db22711e33c370b63e11592cb71073b","datavalue":{"value":{"amount":"+0.7771221995353699","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":"Q5712301$77478170-5E78-42A1-9225-308DEB8FB916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b8aadc234fae96afe6628fb7a2659c901b553dd","datavalue":{"value":{"entity-type":"item","numeric-id":2751369,"id":"Q2751369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e05e5b123164b3fd3aba0960802f4915d7861d","datavalue":{"value":{"amount":"+0.7763176560401917","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":"Q5712301$B188BDCA-EF32-4A3A-847B-F4CA18700B4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Types for Proofs and Programs (scientific article; zbMATH DE number 2240429)","badges":[]}}}}}