{"entities":{"Q5897608":{"pageid":7996274,"ns":120,"title":"Item:Q5897608","lastrevid":49965232,"modified":"2026-01-12T08:17:24Z","type":"item","id":"Q5897608","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5071594"}},"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":"Q5897608$164FB84D-F4C8-4B8B-9E93-128FC85B64D2","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":"Q5897608$FEA9ED4E-364D-41AD-AE61-E021CE41F6B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3921a9620d59142fd53830a8dd4457386f69580","datavalue":{"value":"1172.68400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897608$33BA4256-1D00-4AD1-AB9F-7EB1FCD67377","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d3de27b8e87489ffeab6e0450a47e4e756ca9a3","datavalue":{"value":"10.1007/11617990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897608$D16ED702-B0F5-4E36-B705-CABD33609A05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d605bf636092c6de0dea1a69b2e6f518667bba3","datavalue":{"value":{"entity-type":"item","numeric-id":1582324,"id":"Q1582324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897608$E0E53131-54FA-40D0-91C7-DF54EB963869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d75dcb945540c248584601b42ebed5a2d66b5a","datavalue":{"value":{"entity-type":"item","numeric-id":470024,"id":"Q470024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897608$21550597-1D14-42C1-B60E-581C95291EC1","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":"Q5897608$709657C7-6AD2-4915-AEB0-0AFEC5B8B3D1","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":"Q5897608$EC1F0230-7F60-44FA-A5E7-8471571DE694","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897608$28608C86-3DAA-468E-9B94-65AE37BDE2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897608$9B7A092B-B1B9-4496-A68C-DBB93848B714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897608$E8B192C5-7C57-407C-9D74-AE1A06D64475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897608$02E077A2-8345-4F1F-B1D2-E014A438BB8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ebfb6f784f516b15c33a9260b999f0c50a1124f","datavalue":{"value":"5071594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897608$524E4453-E944-4FE8-BC3F-D40B7C17B2D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce63d9106f2c1c934cab3902cda6a895f70e9488","datavalue":{"value":{"entity-type":"item","numeric-id":15060,"id":"Q15060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897608$7798B55A-8C43-47B6-B718-C4DC65D0615B","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":"Q5897608$7F3A9FE5-E046-4E95-A27B-EE82667A2606","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":"Q5897608$E44B14C7-7A89-49EB-90D5-FD0301BB0160","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dff5ef2c6a8468f9dd38cd60868a72975ec400a3","datavalue":{"value":"W4300050167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897608$9D7EF3EA-B2EE-42C7-A0CF-1075661BE1F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8b9f7343efe63e57ddd2bd2ef0ae5831271484","datavalue":{"value":{"entity-type":"item","numeric-id":2324018,"id":"Q2324018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fed1009bc020b15516837300516c311300153be","datavalue":{"value":{"amount":"+0.7261078953742981","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":"Q5897608$0A1E375D-37CE-4B2E-82C3-E98E64859754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f9701f7d2f4a57cfd9729cb405e6ce215c0899","datavalue":{"value":{"entity-type":"item","numeric-id":4880526,"id":"Q4880526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"538fa75fdc8b96f3c9d0f9e9715a7bada1e166d0","datavalue":{"value":{"amount":"+0.7244724035263062","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":"Q5897608$DDED2F23-94CD-4009-8D5F-86EFAC882A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b192e62cb80426c9f80cefc79bf866e47579f47","datavalue":{"value":{"entity-type":"item","numeric-id":5458345,"id":"Q5458345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"015a884dd68b57532ee726e8c9d2ad24f58f4ed4","datavalue":{"value":{"amount":"+0.7226759791374207","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":"Q5897608$A4EC6388-4BCF-4CCE-B45A-567856E213F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fae250c062bfbc6e25bde488425d7d800ddfb94","datavalue":{"value":{"entity-type":"item","numeric-id":4281611,"id":"Q4281611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49b1cfdc6d497f2cbc86993db0421526a6df8fad","datavalue":{"value":{"amount":"+0.718585729598999","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":"Q5897608$7266CB39-C023-4752-9E95-3A846127E661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07d8fc44cec4a6a83ecc74864cbfb16e65195c39","datavalue":{"value":{"entity-type":"item","numeric-id":4721629,"id":"Q4721629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ddb98a18101ee518ee6361b4239155dd3094c72","datavalue":{"value":{"amount":"+0.7167653441429138","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":"Q5897608$7E63A66E-F174-428F-93F5-570B9329F335","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897608","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897608"}}}}}