{"entities":{"Q5898176":{"pageid":7999256,"ns":120,"title":"Item:Q5898176","lastrevid":49965220,"modified":"2026-01-12T08:17:23Z","type":"item","id":"Q5898176","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5071589"}},"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":"Q5898176$3809DA75-AD2E-4595-B944-269604D98A2B","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":"Q5898176$BDB95A25-153B-4072-B754-F8D45F23F081","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46f309e01dc9cfec8301b474669be6bac34dfb04","datavalue":{"value":"1172.68399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898176$DB7B0C78-3617-41C0-AEF4-1559D4252461","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d3de27b8e87489ffeab6e0450a47e4e756ca9a3","datavalue":{"value":"10.1007/11617990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898176$E40D0F66-E707-46E1-88C1-38EA937332B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"614d74f64afaae28ce84dfb41f91fb963f265197","datavalue":{"value":{"entity-type":"item","numeric-id":857882,"id":"Q857882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898176$8638DA77-47BE-45BE-B88A-B4104E028385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5caea5e5b073f451e0baaa49427336612b2275c1","datavalue":{"value":{"entity-type":"item","numeric-id":857883,"id":"Q857883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898176$E238CBF0-792C-40B3-B63C-E0C4DFC2F890","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":"Q5898176$6A66319C-B839-4A11-B3B6-47887E02BAEE","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":"Q5898176$9C33ADAF-2B3E-4589-94F5-D93C2DBC7D52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898176$E1FD598B-D31C-4DFC-9760-ECDEE4FDEFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898176$4A5A9D68-5536-4122-BE93-D9D6795D5F56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8a127fe5d505b6cbd4e700e5075a4dc4a040ea2","datavalue":{"value":"5071589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898176$FA6AC4B7-F7A6-45B5-9C9D-B562CF9E9418","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898176$EAF86111-63F2-4C58-989C-B447F18F9A9F","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":"Q5898176$1CC67F95-9B60-4B35-A776-6559AB1B52C2","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":"Q5898176$8FE2E802-4F03-4811-B76D-5020EEBFDD81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dff5ef2c6a8468f9dd38cd60868a72975ec400a3","datavalue":{"value":"W4300050167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898176$21BAFE8A-FB8C-4352-B571-32667C2DDEDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f49f78ce79e3f09e8799733e1027e4aab21dc99","datavalue":{"value":{"entity-type":"item","numeric-id":3184788,"id":"Q3184788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba9bb816fcbb7973f19337b923eedc50f4b6a110","datavalue":{"value":{"amount":"+0.8501783609390259","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":"Q5898176$F7087E02-FB83-41DD-8462-F5BB3358C287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660a5dcab57a36c769b33e5603ff18369bfd8bcf","datavalue":{"value":{"entity-type":"item","numeric-id":5716916,"id":"Q5716916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bdb0b4126b61b8ae4669fd49ee81314b4b33aa9","datavalue":{"value":{"amount":"+0.8111428618431091","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":"Q5898176$09F07A2D-1A06-4C8B-A4DC-B05419FE7CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93972f99f4ccc3c31ac89dd80f46d521d4edcb66","datavalue":{"value":{"entity-type":"item","numeric-id":5493388,"id":"Q5493388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a889a03b043cfc6a9e8d7ab3e195e33a1d885a8a","datavalue":{"value":{"amount":"+0.781472384929657","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":"Q5898176$5E1C5660-D292-4CB2-BD1C-80F373C454D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5a37b1c080cc6749930416084e59c058a1126e","datavalue":{"value":{"entity-type":"item","numeric-id":2769440,"id":"Q2769440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd0d2c8655908b60eec84b47922cbd991aaa7aa4","datavalue":{"value":{"amount":"+0.7785002589225769","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":"Q5898176$71E8C95A-683E-4CEE-87ED-F185D17172B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8713798982140d4820192ba0dbd970d03dde4b6","datavalue":{"value":{"entity-type":"item","numeric-id":5428882,"id":"Q5428882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543075a2be8f968c7eebd513bb5af3183734fbfa","datavalue":{"value":{"amount":"+0.7699218392372131","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":"Q5898176$C7C14E88-78BE-4EF2-90A3-333A78EDF84D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5898176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5898176"}}}}}