{"entities":{"Q5897606":{"pageid":7996267,"ns":120,"title":"Item:Q5897606","lastrevid":49965226,"modified":"2026-01-12T08:17:24Z","type":"item","id":"Q5897606","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5071592"}},"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":"Q5897606$02EB655B-9E24-491A-96FC-41567AF1AA79","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":"Q5897606$30CA651E-4753-4E7A-8DB9-80E1F419287F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5656b24f136ef3159c490ef87f1c62dc7959c3a","datavalue":{"value":"1172.68616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897606$B3CFBD32-3DF8-4502-956B-FED257C89728","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d3de27b8e87489ffeab6e0450a47e4e756ca9a3","datavalue":{"value":"10.1007/11617990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897606$0EBFC373-39D7-42FD-9716-A450FB401313","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4695f91e84f51db7c19d41787e60821e6561f914","datavalue":{"value":{"entity-type":"item","numeric-id":2907307,"id":"Q2907307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897606$813B8B0C-BF03-4826-91E9-60DD0DAE93CD","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":"Q5897606$DD68090E-8592-43A1-95F0-06FDFDEA8DBB","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":"Q5897606$3DBDC798-3948-4771-832E-59BD50E91FBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897606$3775FF4F-FEA9-45F0-97AD-9C8DBF429658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897606$E8775417-8C11-4615-90E2-789D0354F195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0863e8f77401912a1f46a81052ba05901a6c171","datavalue":{"value":"11U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897606$653C05D4-AFD0-4A99-BA71-91281657EC23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cd806d17b80491384f3753572424165e15954ff","datavalue":{"value":"5071592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897606$7C8FB805-F93E-4BFE-9516-034E25989350","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":"Q5897606$78E7B233-3B20-4E59-BB35-8B436CDBA193","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":"Q5897606$9A42040F-5BB2-400B-B3C2-22E6999B81F5","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":"Q5897606$90276DA7-4D94-40E0-93FD-9AE2BC8B1E77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dff5ef2c6a8468f9dd38cd60868a72975ec400a3","datavalue":{"value":"W4300050167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897606$C720F012-1D05-4133-BAB3-41F39D58039D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705fd420183d5a0efe6db2a1363bb324a05a63d2","datavalue":{"value":{"entity-type":"item","numeric-id":3726227,"id":"Q3726227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a6902df5ed249b5e37173f67b8e82c2fbfb3735","datavalue":{"value":{"amount":"+0.7359130382537842","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":"Q5897606$F0A5291C-1141-4769-ABAF-59317396A39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ad4c053fd4fe39c501b9b259118832ad25383ee","datavalue":{"value":{"entity-type":"item","numeric-id":2766803,"id":"Q2766803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec26cdc91ce82a1f3af66b45afbee0443421c25","datavalue":{"value":{"amount":"+0.7350689172744751","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":"Q5897606$F0B13284-3C6F-4144-8779-C87FBBAF134F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c51c4a2d64fbabf22dc956ba656b039244d07210","datavalue":{"value":{"entity-type":"item","numeric-id":5039196,"id":"Q5039196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e10592a9f66b60abdfc44337ad681a4105710d","datavalue":{"value":{"amount":"+0.7195117473602295","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":"Q5897606$4F656DD2-7E21-4014-82A0-D31E096F23FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6a26114fa7b22f43acd6fcb25fbdb0cf09b8a34","datavalue":{"value":{"entity-type":"item","numeric-id":4924543,"id":"Q4924543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7da0414be03a6288a1496ff64cf59eaa6ac899f6","datavalue":{"value":{"amount":"+0.7172402143478394","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":"Q5897606$5D85936D-0D31-48AA-AD6C-B2332AA349CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdfd99d9c223eb0f3fc5e26de01873d6f72966b3","datavalue":{"value":{"entity-type":"item","numeric-id":4364399,"id":"Q4364399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24afb25e2acb919814f31bfc854ca83982abdcfc","datavalue":{"value":{"amount":"+0.7164773941040039","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":"Q5897606$F406A8DA-CFAC-40D5-A5C4-092AB0C9D20B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897606","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897606"}}}}}