{"entities":{"Q5712302":{"pageid":7741856,"ns":120,"title":"Item:Q5712302","lastrevid":101657048,"modified":"2026-06-06T01:56:53Z","type":"item","id":"Q5712302","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240430"}},"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":"Q5712302$6461584B-F01D-4070-A4E5-0145D2A3713C","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":"Q5712302$8015AECD-2111-4A7D-8433-36B0AEFD1FC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f8f9acaaed2f1ac721e3c9639df9558d2fca41e","datavalue":{"value":"1100.03514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712302$A46455F1-5D3B-4EFE-8283-1DA79D4811A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e9298254f76a7358264f9011f9bda765fe2714a","datavalue":{"value":{"entity-type":"item","numeric-id":857911,"id":"Q857911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712302$DFB68E6E-7EEB-4F52-8A7C-A17025F5FF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b1829080916ca34a6287f584b653442826b5b3","datavalue":{"value":{"entity-type":"item","numeric-id":930883,"id":"Q930883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712302$31F98245-9C2E-4CF5-A5F1-AA3B220CB518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ededf455668b12324b97fced421af3583ca8fdb8","datavalue":{"value":{"entity-type":"item","numeric-id":2844064,"id":"Q2844064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712302$C56998BA-5D56-48D8-9F49-BB0A04FC8A5B","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":"Q5712302$71597055-7748-452F-86CC-BCB149CC9FD8","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":"Q5712302$0D5C923B-71B0-4AAC-8238-0B4CC7891A6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712302$ADF00B22-CCD5-4FF7-80D4-51AFF721A65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712302$71CE4172-8965-4C79-B5CC-B7C0B05899D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712302$444408CD-A48B-41DB-B33A-B50C451F18D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712302$A524D8BD-CC37-4785-BE7C-9136215C78FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a707bb87818ceab7dc37c99ba88b18121f30610f","datavalue":{"value":"2240430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712302$F8692173-5F83-456D-AFD0-4366F7EC7D6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b87846a8f27416548b5feca7e917f63a56531f","datavalue":{"value":"Rewriting-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712302$D4C0F21D-B4A6-4BCB-B2A8-1346F46BD330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b6f999d95ff8c21d42c74db6f102df64501e26","datavalue":{"value":"Lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712302$FD3CE4B1-639D-40E5-BAB4-FAD4EAB173D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"691427ea4e85c15dceaccd8b50dca081b2e358ed","datavalue":{"value":"Object-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712302$DE86CB69-A425-4AB1-9AC9-3EEECFCB1755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33147f6c81593a1d061edb5f31d8d43cc1fb6abb","datavalue":{"value":"Pattern Matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712302$3CFE9FDD-FCBD-4615-A32F-8975DF790848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3353688522912c9ddb545f5bdfc6ef6738e35cff","datavalue":{"value":"Fixpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712302$5055CA6B-294C-4705-B30B-B77B56B034B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8b812cba1d3e58a4a56d022cbfa90469629807e","datavalue":{"value":"Type Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712302$A6FCF5ED-4445-428B-8DD3-4D35F2BB509C","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":"Q5712302$9823929E-6805-490A-9F04-00432641C93F","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":"Q5712302$B0A31F85-35B5-49A7-86B0-817BF28AF634","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"997116d9ae8d11ec014247094e10ecd25bfd6fed","datavalue":{"value":"W4298423642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712302$923FBC76-4E1C-481B-9E41-F716E38046CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64753b15ba5c5bacf00be58bb5ec49b804bb30d9","datavalue":{"value":"10.1007/B98246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712302$071B577C-2884-4019-BB73-BD7B319DF17F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42808a161fe6902106a77106d0ee554c67dc7553","datavalue":{"value":{"entity-type":"item","numeric-id":2851046,"id":"Q2851046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff95725aec1a7f74a90bc5682f397b56dff69e47","datavalue":{"value":{"amount":"+0.8561115860939026","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":"Q5712302$A9F5A7FE-5D8B-4C58-817E-7F19A005D297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8068ca63b8e35f9862f18e281bdb86d496bad05e","datavalue":{"value":{"entity-type":"item","numeric-id":2720293,"id":"Q2720293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3606b0ba1ebf7ae9d8f4fc06197e92f13afe6a09","datavalue":{"value":{"amount":"+0.8405295014381409","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":"Q5712302$EE73827B-53AC-4DA9-8627-F1A16BCC0A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd397cb05dee6db9f8a74735a3c3400aa91f014","datavalue":{"value":{"entity-type":"item","numeric-id":2848117,"id":"Q2848117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3606b0ba1ebf7ae9d8f4fc06197e92f13afe6a09","datavalue":{"value":{"amount":"+0.8405295014381409","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":"Q5712302$928F39A6-0D6C-4596-8842-709616EA42BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dae14d1f98a742f9c607eaff2cba9a0d69e3844","datavalue":{"value":{"entity-type":"item","numeric-id":2769430,"id":"Q2769430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7dade7eb0a5041dd8b7812ca3263cee453f608a","datavalue":{"value":{"amount":"+0.832750678062439","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":"Q5712302$2C574298-6DB5-497D-8C3C-76F7BE360ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c2dec59b2fa3cd662fb4c67300976d3fbdd873","datavalue":{"value":{"entity-type":"item","numeric-id":5308094,"id":"Q5308094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7dade7eb0a5041dd8b7812ca3263cee453f608a","datavalue":{"value":{"amount":"+0.832750678062439","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":"Q5712302$4F39F197-4BD9-4E4C-B66D-C6FE01D30BD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Types for Proofs and Programs (scientific article; zbMATH DE number 2240430)","badges":[]}}}}}