{"entities":{"Q5897609":{"pageid":7996277,"ns":120,"title":"Item:Q5897609","lastrevid":49965235,"modified":"2026-01-12T08:17:24Z","type":"item","id":"Q5897609","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5071595"}},"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":"Q5897609$4E8DFA5D-B2DF-4B33-9FFA-AE8054564DF1","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":"Q5897609$584A22E7-27E3-4D27-BEF5-EBF36FB296CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2e9b92de34b6fd8930c6f404e84b7a9b6d2dabd","datavalue":{"value":"1172.68423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897609$DFCB32BD-DDEE-4021-813C-38857D109B05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d3de27b8e87489ffeab6e0450a47e4e756ca9a3","datavalue":{"value":"10.1007/11617990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897609$5DCE8AEA-CE2E-4BDA-A42D-69C307AA12A3","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":"Q5897609$37BC39BE-4FA4-499F-B1F0-FED259A643E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d548442b4a406d87bf3c88f91fd13d28828b47b","datavalue":{"value":{"time":"+2006-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5897609$968DE921-0A73-4F88-A52F-2DF0DD6A803F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897609$BC932380-8200-41F5-A65B-0C3745C82AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897609$E6059CF3-4FC6-4687-9EE7-2235111E96FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897609$7F0AE4C1-2B12-49C5-A775-80EE7C0F92BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bc7eb0f462deb89a5bf6af1abf9a96ba13c81d67","datavalue":{"value":"91A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897609$9D982D5F-57FC-4F3C-8FF3-F1F07F741A38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9423234bad918cd6b523d6637658e5d92c1e3c16","datavalue":{"value":"5071595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897609$E46D18F7-1239-4CDA-A540-39E513D835F5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897609$11CF72AE-CE74-43BF-91BA-FC98D4F410A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6575cff51975739d551f57056395ae004f63ff1a","datavalue":{"value":{"entity-type":"item","numeric-id":2503335,"id":"Q2503335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897609$37BDA941-54CE-4495-AFF2-58E45596E41E","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":"Q5897609$3574E4B2-F3C6-4844-A1B0-E75A869498A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f437ef38fb6d956a3d8229d47633390118fab52","datavalue":{"value":"https://doi.org/10.1007/11617990","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897609$FF6FB3FD-D0A1-4071-835D-2D2521F2951E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dff5ef2c6a8468f9dd38cd60868a72975ec400a3","datavalue":{"value":"W4300050167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897609$32BB8636-1F36-43BD-8D43-861DB175FD36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e088cbec1988368e76bc1772341a1c24eb4604","datavalue":{"value":{"entity-type":"item","numeric-id":2753682,"id":"Q2753682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de28b8f7d3ab4bd9f5ae85b1d08c69439cd36e8e","datavalue":{"value":{"amount":"+0.7633297443389893","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":"Q5897609$1DB5F056-8953-4C49-BE30-0E1E36E839E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c255d6a590e5593f65102871d92cc4d27751b6c4","datavalue":{"value":{"entity-type":"item","numeric-id":2503336,"id":"Q2503336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c4f138585c23e64bec8727ad622878abae72d2","datavalue":{"value":{"amount":"+0.7513816356658936","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":"Q5897609$6A177A17-B2BE-4CDA-B682-F1F7186DCFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433a68f0d59c31b22fabad5184270d1ca2e16b6d","datavalue":{"value":{"entity-type":"item","numeric-id":5718566,"id":"Q5718566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e0a0f3f9da5c64fd1a7b36eb12565bc1ff4bf37","datavalue":{"value":{"amount":"+0.7334834337234497","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":"Q5897609$BA6AC7B7-1ED8-4EB2-A953-140A8E56DD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85e4c86c689fac63b242774af3f6893ea59a9061","datavalue":{"value":{"entity-type":"item","numeric-id":5458834,"id":"Q5458834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a94f303ce597664840702ca739d54e7c03d59f13","datavalue":{"value":{"amount":"+0.7179535627365112","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":"Q5897609$7820603C-6E45-4951-B317-4D621BB38713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d314eca77b725a7ecd863408b025bc4d09438404","datavalue":{"value":{"entity-type":"item","numeric-id":2849882,"id":"Q2849882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"696f2590b0c0a1502964212547645952f3fc2b37","datavalue":{"value":{"amount":"+0.7123532295227051","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":"Q5897609$BD4FAE72-90A4-4582-86B5-E852E8A065BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897609","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897609"}}}}}