{"entities":{"Q5712307":{"pageid":7741861,"ns":120,"title":"Item:Q5712307","lastrevid":101657093,"modified":"2026-06-06T01:56:54Z","type":"item","id":"Q5712307","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240435"}},"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":"Q5712307$0116EBD5-A93A-4C58-AD24-FE3D4C13089A","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":"Q5712307$5884D480-B303-4A46-A3C4-229241D3C0F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b85b1e917c400188a2c772ec3cda57d4b6bd8aba","datavalue":{"value":"1100.03515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712307$04BFBF1F-B79A-4056-95DB-C22D1AB00857","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0a8f67a7203ff5cdeef2bd4736ab7f6f290a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":202167,"id":"Q202167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712307$3F93DE85-85B3-4E18-A9E8-08D76E1085BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712307$A1C1C5A0-BD70-4706-B16E-76AFADF4A5CB","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":"Q5712307$3757B01E-8B5F-433E-BFD1-7FC40171C7D1","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":"Q5712307$8505AF6E-DD4D-4EEA-B676-6576A04AA1C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712307$72C74EF4-2363-4D7E-8221-8B48BD7FEE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712307$4C229B16-8DB3-447B-8CAE-371346BACDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712307$D036010E-FCA1-48C1-BF13-0A71B29528D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4e96c81374b4fa1180f944bab27f8cb122f3c8b","datavalue":{"value":"2240435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712307$F7B73FFC-3A9F-4FA7-8536-61FCBBE151EB","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":"Q5712307$EC346792-53C7-42CC-A9C2-484266C8A069","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":"Q5712307$07FDBADC-8162-4B81-8A0E-91C4E5299B62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"997116d9ae8d11ec014247094e10ecd25bfd6fed","datavalue":{"value":"W4298423642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712307$808F4737-87A3-4B9A-8474-2056E9FB226A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64753b15ba5c5bacf00be58bb5ec49b804bb30d9","datavalue":{"value":"10.1007/B98246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712307$A32B4396-E603-4587-91CA-8B35C3F53012","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0acb101caf711151f31c2701eee28a11adec539e","datavalue":{"value":{"entity-type":"item","numeric-id":2851091,"id":"Q2851091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2840e6d8e4306dc441e695837ad6446450982140","datavalue":{"value":{"amount":"+0.8344135284423828","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":"Q5712307$FCE077C7-CB4D-4710-BE48-0C97760ADB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f32f30dd3f2a256638a3933b340079570b7052","datavalue":{"value":{"entity-type":"item","numeric-id":930871,"id":"Q930871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e2023f6acad30682730d8478861e7f9f00765a","datavalue":{"value":{"amount":"+0.8097013235092163","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":"Q5712307$6650F425-7BF9-4FCE-A40F-EA3F153DA81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39208f8c9e9f74c27f37ffded3604a402852b56a","datavalue":{"value":{"entity-type":"item","numeric-id":4600774,"id":"Q4600774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb989a8c0d5f15eb97c0b62dbccc0c470586c8a4","datavalue":{"value":{"amount":"+0.8088182806968689","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":"Q5712307$35AAD9CE-F6BB-4E3C-8FB6-AE07268C77FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e609082a6969eaeba45bff67d00e487953599e5c","datavalue":{"value":{"entity-type":"item","numeric-id":2789043,"id":"Q2789043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d139538539fc27a9c0dc9f5d2b90488b02001bc","datavalue":{"value":{"amount":"+0.8068618178367615","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":"Q5712307$7E97A5F3-2999-4D11-8462-4DD11D500DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8666ed9331dd0b79d5048e10e8d9eb901e034449","datavalue":{"value":{"entity-type":"item","numeric-id":5055999,"id":"Q5055999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a23e9e788261ef2143613af9dbaa6f788539ed","datavalue":{"value":{"amount":"+0.801821768283844","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":"Q5712307$D73A074E-1332-46DC-A91E-77F23F0FE5B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Types for Proofs and Programs (scientific article; zbMATH DE number 2240435)","badges":[]}}}}}