{"entities":{"Q5712304":{"pageid":7741858,"ns":120,"title":"Item:Q5712304","lastrevid":48617605,"modified":"2026-01-05T09:57:11Z","type":"item","id":"Q5712304","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240432"}},"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":"Q5712304$64406975-638D-4367-BAE5-F55ADCCEFA1D","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":"Q5712304$1907607C-AD62-48B5-BAED-98117B88B158","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a0887338613789bcd5d28d5de4116c30e6a9126","datavalue":{"value":"1100.03512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712304$2971145C-959C-4B27-A65E-A34E201EEC0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712304$ED8EE626-35D7-45C2-92B1-D8F2641D5EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7086b371037f8c6a4118ffbbe29f86ca9e6f2148","datavalue":{"value":{"entity-type":"item","numeric-id":596036,"id":"Q596036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712304$8669DB26-1350-4CB0-B2C2-6E39A7DC1603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7fe2e34ceb1a5a0fc819d5b27ac5700ee0e0306","datavalue":{"value":{"entity-type":"item","numeric-id":737108,"id":"Q737108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712304$9E0CA04C-7391-4919-B973-9DCE73DF07C3","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":"Q5712304$E065F324-D91A-4A9E-A369-EADC7F43E7E2","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":"Q5712304$56A0B2E2-C38F-44B3-837B-9282C5E511FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712304$D941C73C-6FC0-4C21-A67F-2CA89F604DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712304$5F847BAB-7B74-4851-A7AA-89BBE07DB6FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28a65a77deb3419124a5ca493373f871f2b8c4c9","datavalue":{"value":"2240432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712304$17F6D4C6-07A3-4E9F-8052-886A67613856","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":"Q5712304$5E913E28-32F7-4D8B-8B47-CBAAA6BE2950","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":"Q5712304$F4A4E8EB-8032-48EF-BA79-76AED26460E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"997116d9ae8d11ec014247094e10ecd25bfd6fed","datavalue":{"value":"W4298423642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712304$D041E2BF-8913-49C8-86DD-A4DC92E870B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64753b15ba5c5bacf00be58bb5ec49b804bb30d9","datavalue":{"value":"10.1007/B98246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712304$89BCDEAE-D2DF-4494-88AE-1B1BFB92039A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65474d4e4b6e3f33d2bad3708187db1cb078cdbe","datavalue":{"value":{"entity-type":"item","numeric-id":1577477,"id":"Q1577477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3836c1731b6a05bf10811ee663e88dccf76a47aa","datavalue":{"value":{"amount":"+0.8006733655929565","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":"Q5712304$3F1A479C-BF11-481F-84ED-A9DD4D86D115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b318658d3424354548d2470cb44344aae9784ee8","datavalue":{"value":{"entity-type":"item","numeric-id":1295429,"id":"Q1295429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3bc2fa96054692b71330fe12f77ec9dd9e5f3a","datavalue":{"value":{"amount":"+0.763965368270874","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":"Q5712304$E635DD8C-4D7D-4042-877E-AE0E4808BB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b988be082eae34c04d1409362088435530f5759d","datavalue":{"value":{"entity-type":"item","numeric-id":4501154,"id":"Q4501154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3bc2fa96054692b71330fe12f77ec9dd9e5f3a","datavalue":{"value":{"amount":"+0.763965368270874","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":"Q5712304$890257D8-56BA-4611-A24C-236FF78AFEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc74f430ce3dec0b291c49fe8109ee37bfcbd0f","datavalue":{"value":{"entity-type":"item","numeric-id":2946566,"id":"Q2946566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e21c3c149323a892fb3cb4eb2cda00fd76b19886","datavalue":{"value":{"amount":"+0.7550975680351257","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":"Q5712304$83BA1B8A-CFDF-4759-8029-5DEB12EB4361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd74f842a46aafb6bbb8a79aa6ee975a990ef8de","datavalue":{"value":{"entity-type":"item","numeric-id":4436023,"id":"Q4436023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d671578f53c160b602f56a02538ba71f0c1bbee","datavalue":{"value":{"amount":"+0.7517526149749756","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":"Q5712304$CD7C0597-9387-4B84-AE09-F3EE235D19A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5712304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5712304"}}}}}