{"entities":{"Q5712325":{"pageid":7741879,"ns":120,"title":"Item:Q5712325","lastrevid":48617653,"modified":"2026-01-05T09:57:13Z","type":"item","id":"Q5712325","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240452"}},"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":"Q5712325$480CFA88-F244-42BA-BEFB-31AA62E5085A","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":"Q5712325$7474024A-081E-45CD-AA2C-C7FB836DE17D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc951b26d7ae54d21abbc27488cd5a5ae64ae119","datavalue":{"value":"1100.68546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712325$C1D58468-6E84-49C4-A5FA-D5132C79AD3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d31e496bca92cc6ce2d8d2fbd9fe1acfa896bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2364698,"id":"Q2364698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712325$45CD761E-E581-4E8F-A4DF-65B77AC0253F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76aea849f9d31d470a57d9a5c902b7b2098fef91","datavalue":{"value":{"entity-type":"item","numeric-id":2392479,"id":"Q2392479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712325$13E74D8E-225C-4426-96D7-E55E848A066E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d72c052d6a5ad7a719f388761353f23640a4e3","datavalue":{"value":{"entity-type":"item","numeric-id":1725925,"id":"Q1725925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712325$96B4984D-FD58-4514-9CC5-6DFB61C7AF54","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":"Q5712325$0D3C0A46-FBF8-46D0-9D0A-4642C376A6CA","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":"Q5712325$C6332AFE-A387-46F7-BB9D-24F402162C4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712325$234F1543-9F4E-4FE1-B46B-10254C4E61C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80d971e72be5ba115f717a395914b1cb3b3fcc4e","datavalue":{"value":"2240452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712325$D17B6379-8482-4317-9089-853BAF000231","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0043252eab773bb3d2cd954b74fc157019506249","datavalue":{"value":{"entity-type":"item","numeric-id":19435,"id":"Q19435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712325$479EC744-49F4-4129-A7D2-E6A14A7EF6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712325$43461994-A08A-42A0-AE44-1CBE5B2AC357","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":"Q5712325$9296B435-03F4-489C-9C91-F917EEF89224","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":"Q5712325$72A978BC-8732-4046-BEA8-D7E4C1A3D819","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"997116d9ae8d11ec014247094e10ecd25bfd6fed","datavalue":{"value":"W4298423642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712325$3EBB9282-55F4-4C69-802A-AE0499F398AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64753b15ba5c5bacf00be58bb5ec49b804bb30d9","datavalue":{"value":"10.1007/B98246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712325$23AC6ADE-CE60-4A18-9115-6EE3FEF9E034","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde91441ac9e10a466a7ee95aae27d587fcf5a64","datavalue":{"value":{"entity-type":"item","numeric-id":2890506,"id":"Q2890506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ac182024319408d8777ea98ccf82ea93e20222","datavalue":{"value":{"amount":"+0.7101147770881653","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":"Q5712325$92E5B407-251C-42C2-B785-BBB254338AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f145aa3183c11f3ed76154d07cc5a82ee28a8ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3612438,"id":"Q3612438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48ed60c46001e6f44ddc00be39f5a82d2d628e3f","datavalue":{"value":{"amount":"+0.7055143117904663","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":"Q5712325$FCF33F98-E58B-49D7-BE8D-1C039C678963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c36df903b15296a499edb98fefc122f3cef0cd","datavalue":{"value":{"entity-type":"item","numeric-id":5897607,"id":"Q5897607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de89689cfffc2121a18f706d385d70662245df00","datavalue":{"value":{"amount":"+0.6820477843284607","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":"Q5712325$5EE5CED3-C8BC-4D7F-B135-7DC23E126DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cd985b300cb968791061164bfb369ee9626c562","datavalue":{"value":{"entity-type":"item","numeric-id":3000600,"id":"Q3000600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e0c8183e0cfaa538ce015ba8f100bcb61a58cd","datavalue":{"value":{"amount":"+0.6771864295005798","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":"Q5712325$EC9460C8-3AF8-4FA2-B52C-35D20819EBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce84887953fea95566a05af0f9ca26fd3351445","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf05519a6f9fa8b5b19695506238a2735dcd542","datavalue":{"value":{"amount":"+0.6747674942016602","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":"Q5712325$9C8C66AF-1622-44A9-A3A9-1FD8D83D48B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5712325","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5712325"}}}}}