{"entities":{"Q5712305":{"pageid":7741859,"ns":120,"title":"Item:Q5712305","lastrevid":48617608,"modified":"2026-01-05T09:57:11Z","type":"item","id":"Q5712305","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240433"}},"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":"Q5712305$E6D18A7E-0CFD-4F88-B161-722913F78EF0","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":"Q5712305$3F818B94-0376-4AFA-8B70-A3725E385E02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"308f136244b11b3f339e3f6a56deb11303febd53","datavalue":{"value":"1100.03513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712305$63D63945-DCCD-4A57-8544-48AC0BEAB4ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712305$F0326119-1873-4CFF-913B-516F78C8EFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2bf00b2fa3a5538b0429f832c8bf0163860a958","datavalue":{"value":{"entity-type":"item","numeric-id":1275624,"id":"Q1275624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712305$A0C32326-C304-4F18-8694-26E744ADE9D4","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":"Q5712305$83752D93-46C2-4ABB-BF85-0623CC9890C2","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":"Q5712305$D1387BEC-625D-4505-B8F8-F2E8549F2BB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712305$CF36F7EB-B8C0-49A3-A4FA-373B14B9A0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712305$1F647F02-AB58-4084-B053-943E17AB24BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e34a94422cea2658a77916dc52044f02dbcdce09","datavalue":{"value":"2240433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712305$28A445B7-E9D6-437E-B05D-ACEDDFAF9CD0","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":"Q5712305$21B709D9-7E04-4771-9653-7DBAAA8DAF34","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":"Q5712305$54B94C6C-2006-437A-B0CE-A22F36BFCE69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"997116d9ae8d11ec014247094e10ecd25bfd6fed","datavalue":{"value":"W4298423642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712305$4EA4C3A2-1ECB-486D-ADB1-906310655C5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64753b15ba5c5bacf00be58bb5ec49b804bb30d9","datavalue":{"value":"10.1007/B98246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712305$A5288B09-8C91-4D88-B5D1-DF3F00B809FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd2ce30c56fe90e419d4d52c0a9f5280bf898d86","datavalue":{"value":{"entity-type":"item","numeric-id":2946641,"id":"Q2946641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"921dd0910fa7f75a8e7861720279fcabdb16a9c5","datavalue":{"value":{"amount":"+0.8187474608421326","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":"Q5712305$11493360-D2C0-4C59-9FB9-B7F80130F898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"957c00e6d110bfb073eb1c56e06367d0d4f3e2df","datavalue":{"value":{"entity-type":"item","numeric-id":4457465,"id":"Q4457465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c3fefd6632bd6ed4f033e6d7bcb35e06b323b5","datavalue":{"value":{"amount":"+0.7818236351013184","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":"Q5712305$35739DA1-4337-40D4-94A5-E79CE352D6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e61470031e19b978baad8de644fb73af3dbbd46","datavalue":{"value":{"entity-type":"item","numeric-id":2723897,"id":"Q2723897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38921ed44c7f198000b07bf535a216390e2322aa","datavalue":{"value":{"amount":"+0.7678858637809753","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":"Q5712305$8F11C1EC-B635-406D-9BAE-298539480626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe141363dd9c7092b04d31f82a14c5ec11d3b540","datavalue":{"value":{"entity-type":"item","numeric-id":3527295,"id":"Q3527295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baa4f81d6c7978edfc885ec64647899e5d54f5eb","datavalue":{"value":{"amount":"+0.7418730854988098","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":"Q5712305$4E17A353-7E44-4F5D-B37B-DE82E8C5BBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b366c6b332c393ba63cc53f80458cfffbf4b8e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1853595,"id":"Q1853595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6c509ac5f4b5491363cba99ba2f602f9f51ee5c","datavalue":{"value":{"amount":"+0.7399117946624756","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":"Q5712305$2BFD9FC0-D2A4-47F1-8E96-15B7A00F4EC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5712305","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5712305"}}}}}