{"entities":{"Q5712320":{"pageid":7741874,"ns":120,"title":"Item:Q5712320","lastrevid":48617644,"modified":"2026-01-05T09:57:12Z","type":"item","id":"Q5712320","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240447"}},"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":"Q5712320$F813998C-A3B2-4E61-9A35-E29D58F458F8","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":"Q5712320$25E7C124-9C76-407B-91C7-314556BA6894","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7427a8effd9ccd6392aaa46272f1bfac53e017b","datavalue":{"value":"1100.68615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712320$564C1DB5-AACE-437A-9C2F-B5B4BC659444","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f597a37daf8add8e5ca5ed6483cea4cb6a2d651","datavalue":{"value":{"entity-type":"item","numeric-id":928665,"id":"Q928665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712320$EE5B795A-C1F2-4EB9-9E26-C8167F05E2E2","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":"Q5712320$D170DEE8-3A5C-4D23-B507-3FF87AE23465","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":"Q5712320$5342EDA6-B655-4E0D-BAE8-9D7B38742F53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712320$641BF9AD-0562-422D-B358-DA77BB165989","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06029449e3a02a248cb81586a86e664f922ecca0","datavalue":{"value":"2240447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712320$60E9581C-1803-4826-8DCA-99642549FB61","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712320$787261B0-F7C9-4E4C-A671-82CE96C53601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712320$26A2005A-3464-4E3B-A71D-93DBDBBFD331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aeef25d5839625565921d83cf1c652bf6f2fbf6","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712320$62F03B2E-B2DF-4A6B-8037-37E7E18EF7DA","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":"Q5712320$39292A8F-6C0F-4C25-AD0B-510035E0F44E","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":"Q5712320$1391CDB6-CB8A-4092-939C-BF9C58A9A0B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"997116d9ae8d11ec014247094e10ecd25bfd6fed","datavalue":{"value":"W4298423642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712320$897C49AA-18FC-452D-825F-E6EC1BB6977A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64753b15ba5c5bacf00be58bb5ec49b804bb30d9","datavalue":{"value":"10.1007/B98246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712320$E7C44CA4-B824-499C-8408-B77B47DDBDBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2facb9784a7170c9a092f64762e607a4c929eafe","datavalue":{"value":{"entity-type":"item","numeric-id":3062061,"id":"Q3062061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91ebc863e8281100e51c16ace5d2469af55ab1f9","datavalue":{"value":{"amount":"+0.8878100514411926","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":"Q5712320$72F56135-F464-42BB-9B3F-451D8355C231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5adebce8da741bcd5685a837c61ec3dbc058bc7","datavalue":{"value":{"entity-type":"item","numeric-id":2352487,"id":"Q2352487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f3c3b11055768cae785a341a3b5231f0c6dc16","datavalue":{"value":{"amount":"+0.8405349850654602","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":"Q5712320$BACE6A74-B04F-495E-925D-95F51D922E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987159d38f1ec1454d19703a075c6da6101a37e2","datavalue":{"value":{"entity-type":"item","numeric-id":5756774,"id":"Q5756774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ed87b6f2e58669cfd0ceedeaf8f869a96c848d","datavalue":{"value":{"amount":"+0.8311392664909363","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":"Q5712320$7D78324C-F303-433C-AA33-A90547632DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7c1a54ab27e12e93b5f88592fad38e53df67ad","datavalue":{"value":{"entity-type":"item","numeric-id":3638251,"id":"Q3638251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ea7b5d1f8ed5d86fe1d4d55d1c5bd16ba36bf86","datavalue":{"value":{"amount":"+0.8217378258705139","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":"Q5712320$5C8F101E-1FE0-4172-8C0F-D6F4BF258752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d5c10f469ebd8973e02cfaae23e4767153b3bb7","datavalue":{"value":{"entity-type":"item","numeric-id":2723411,"id":"Q2723411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5a2eb6a135497259961992954e4d965b6d368b7","datavalue":{"value":{"amount":"+0.8175859451293945","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":"Q5712320$ABF0996A-8199-4BDD-A9B0-8FB5788484D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5712320","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5712320"}}}}}