{"entities":{"Q5712312":{"pageid":7741866,"ns":120,"title":"Item:Q5712312","lastrevid":48617623,"modified":"2026-01-05T09:57:11Z","type":"item","id":"Q5712312","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240439"}},"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":"Q5712312$B02B77CD-E1B4-44E2-953F-27E8F49FE987","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":"Q5712312$CAE28F1C-D5E8-4897-B28F-42678F2FFA88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14a155a6b4c4f117585cf10a6b83bb16a21b89c9","datavalue":{"value":"1100.03516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712312$52D210DB-6D25-41B0-9EB9-0DFB108D5BC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8135914452c3b1bd839ce74f3161ea4765c65f58","datavalue":{"value":{"entity-type":"item","numeric-id":287276,"id":"Q287276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712312$5424758D-9EBC-48E0-B793-E314FFCF1D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712312$1ACC7D9E-E248-4625-AF29-DA5DD3F88FBA","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":"Q5712312$A0C51BA6-7A7B-4D79-B840-18EBCA97E7B5","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":"Q5712312$AA900E09-8720-4526-A2DB-F3E0AFF305A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712312$D13AA808-0B58-498A-8E16-81DF73752A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712312$1D0750FD-BC3C-4BA4-AC14-DA227B0618F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712312$578C07E8-267E-4DC9-9594-FB7B0190AC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712312$A2339E58-5215-48B4-91A6-61D39254080C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aec9db7adbfaf84b60504c7000c65e7b6b80529a","datavalue":{"value":"2240439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712312$596A6D1E-3002-4E5D-B578-FCC00A0529E5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712312$D49EAA62-EF17-4F5F-9F8D-1FD5B6A0F84F","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":"Q5712312$B9B1769F-38AC-4C36-9C1B-6C892B1D384F","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":"Q5712312$CAC01BDF-D61E-41B2-B392-FE9B8E8AC92D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"997116d9ae8d11ec014247094e10ecd25bfd6fed","datavalue":{"value":"W4298423642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712312$5B7265C9-9241-4FDC-8561-525C7978B9F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64753b15ba5c5bacf00be58bb5ec49b804bb30d9","datavalue":{"value":"10.1007/B98246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712312$5D73F583-FDE9-4A30-A611-3AF79259ECAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceff7222dafdd35672ade5fa367dbdffe968032d","datavalue":{"value":{"entity-type":"item","numeric-id":1948276,"id":"Q1948276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df2fd2fe33792cbb89a4192d1fdcb0432c6fb522","datavalue":{"value":{"amount":"+0.9167696833610536","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":"Q5712312$0DB64F54-D76D-4854-8E74-CE7EDB2B3F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"523f04cb2e34b987f8f0638ca56920c6298ac76b","datavalue":{"value":{"entity-type":"item","numeric-id":5210768,"id":"Q5210768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4057655afc5bdb1eb870e1378fe9add1ba6f6ae7","datavalue":{"value":{"amount":"+0.8052783608436584","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":"Q5712312$3B6814D4-4E54-4A84-B792-18E8F540FC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133fc69f4f4f3ab140a9fd8774c068659797fdf1","datavalue":{"value":{"entity-type":"item","numeric-id":1575931,"id":"Q1575931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"615ebd2e4eedc76e4069357911cd5f5021c496c9","datavalue":{"value":{"amount":"+0.80135178565979","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":"Q5712312$D00C70B5-EBBC-493C-B9A9-D5E08F8E738D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca926648b6e53da805b017264eca5f653bace98d","datavalue":{"value":{"entity-type":"item","numeric-id":5712303,"id":"Q5712303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaee9f120d78525f946b6013378e5b7ed7f19883","datavalue":{"value":{"amount":"+0.7825192213058472","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":"Q5712312$57A57CFE-5550-47C6-8990-56DAFF2BDEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0d7e5f8e13bcfad3b90deb880cccfde5e25fd42","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d7b0d6210f62d7772f142a1bba751c5d8ddf921","datavalue":{"value":{"amount":"+0.780992329120636","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":"Q5712312$1B6024B2-5DDC-4114-A11B-6B78DBA2DF0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5712312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5712312"}}}}}