{"entities":{"Q5898170":{"pageid":7999233,"ns":120,"title":"Item:Q5898170","lastrevid":49965202,"modified":"2026-01-12T08:17:23Z","type":"item","id":"Q5898170","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5071583"}},"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":"Q5898170$88E9DC00-9B31-494B-B152-DA566560ADFA","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":"Q5898170$8CD22368-811D-498E-ACAF-F2025885F940","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17a6ad331772216027c7d129b36886916bf87423","datavalue":{"value":"1172.68623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898170$E3D65057-CB22-400F-B0D2-0128C0FB74C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d3de27b8e87489ffeab6e0450a47e4e756ca9a3","datavalue":{"value":"10.1007/11617990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898170$46F0F04F-7111-4311-A81C-81FE04BF7158","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7eb816b28b9c1f72e9b0af72e4651889c7844f4","datavalue":{"value":{"entity-type":"item","numeric-id":287278,"id":"Q287278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898170$46EC89C9-5FEA-4294-9D41-8FF92CC51BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f9740203aefff41b182d94540a09e0a78f60d61","datavalue":{"value":{"entity-type":"item","numeric-id":1810902,"id":"Q1810902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898170$B01B0B28-BF6A-438F-A0B2-875F34C16510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fcc0863f3310792433a26fbf0220fe6380173d","datavalue":{"value":{"entity-type":"item","numeric-id":651318,"id":"Q651318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898170$22EEBFAC-DC0F-4F9B-B817-CA909175EA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99729ea5fbac2e397c47743039765083a0ae1bb2","datavalue":{"value":{"entity-type":"item","numeric-id":205581,"id":"Q205581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898170$FA9D17C0-B960-48B6-93B5-A42D9656B68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac4df35058372f3a5a3fcca829b7e7ac017dc13f","datavalue":{"value":{"entity-type":"item","numeric-id":476171,"id":"Q476171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898170$33D576BC-D9E7-4695-8212-C91BBEDAC3B3","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":"Q5898170$C35B56FC-F4FF-43CE-92AA-D0F158F5F12D","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":"Q5898170$FFF07D9F-361C-4EA1-AF5F-BAAD0C89D31F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898170$CA50C2EA-ACEE-40E1-99E9-7F23D88BFCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898170$6EB736C8-0906-4181-8A3C-D6FECA5B2F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898170$E86F7977-17FE-4034-B0FF-7A73BFEFB3DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"962d18b1438585011e32dd92660f4a9ab82576b6","datavalue":{"value":"5071583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898170$D89235BB-9103-4104-AF28-1E50AAE4EAFF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7bb1c7eafdbb853d5fe04051d89b8463fa8b943a","datavalue":{"value":{"entity-type":"item","numeric-id":18827,"id":"Q18827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898170$13335721-4D5E-4EAE-BE7B-9CD8D2D61A1E","rank":"normal"},{"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":"Q5898170$7ECE8C59-BE05-42CA-895E-E6E095F2CDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c2ac6c1c15bd263207487c53115a7cc6abe2547","datavalue":{"value":{"entity-type":"item","numeric-id":19033,"id":"Q19033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898170$B17911FA-EA25-49B0-AFF7-9EDCE77B6D6D","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":"Q5898170$4EBE6920-3656-4461-82B4-7DFDE3722E67","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":"Q5898170$FFA34404-59DC-4E53-8AAC-E1BE6D31D381","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dff5ef2c6a8468f9dd38cd60868a72975ec400a3","datavalue":{"value":"W4300050167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898170$AA3C7DD6-35E7-43BC-B043-DBAD211061DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ceb510b3e90efbecbc30c0b99eb588c2a195ac","datavalue":{"value":{"entity-type":"item","numeric-id":5302917,"id":"Q5302917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c0645a51423bef41aebba01c4ecd0868b708aeb","datavalue":{"value":{"amount":"+0.8373587131500244","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":"Q5898170$C2C4AE53-BE05-4828-AAA4-349052AB2FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29d979b92df3c9d315b3bbfd1f00240aa5f2f432","datavalue":{"value":{"entity-type":"item","numeric-id":5200135,"id":"Q5200135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6632a04a624174c2865a892fa246a829880e62de","datavalue":{"value":{"amount":"+0.7947179675102234","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":"Q5898170$FBCB5A90-1847-4CCC-A2AD-16DB960B3502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40693402bf32242541623ec033c7fc4105596af8","datavalue":{"value":{"entity-type":"item","numeric-id":3398150,"id":"Q3398150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edf13c07693d7a1a163c9dc29df0c6842da12b56","datavalue":{"value":{"amount":"+0.7824773788452148","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":"Q5898170$415CA403-264A-4B5F-AE10-AE62BBCFDE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8765455f47c23034c27ee2f480aba8423f0e947","datavalue":{"value":{"entity-type":"item","numeric-id":5460267,"id":"Q5460267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bac5ebcad44b76a3f306c0a31cb1f662f5fc42a","datavalue":{"value":{"amount":"+0.773871898651123","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":"Q5898170$93F77E98-06FD-4A13-8A9B-D89E0428D555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"782c7d103ecaf08aea699fc8c0a6c9a2863246bd","datavalue":{"value":{"entity-type":"item","numeric-id":2907334,"id":"Q2907334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c50b0c0865a2b69b924be21f059243ebdad7bd","datavalue":{"value":{"amount":"+0.7727035284042358","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":"Q5898170$8372248E-9147-403E-99FA-BD6B2D8A9DB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5898170","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5898170"}}}}}