{"entities":{"Q5897607":{"pageid":7996270,"ns":120,"title":"Item:Q5897607","lastrevid":49965229,"modified":"2026-01-12T08:17:24Z","type":"item","id":"Q5897607","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5071593"}},"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":"Q5897607$83F4C35E-240A-418A-AA1F-10364ED93E11","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":"Q5897607$A13D8D09-E43B-47EA-BFF7-F7605E252A9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2a21adea778d2743ba64c33ad1a080473ea55d8","datavalue":{"value":"1172.68548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897607$83637A62-8C97-4D7D-ADE1-AE2EB9414586","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d3de27b8e87489ffeab6e0450a47e4e756ca9a3","datavalue":{"value":"10.1007/11617990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897607$CF7D463F-0A9D-4C5A-9415-D15EF94B56FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76aea849f9d31d470a57d9a5c902b7b2098fef91","datavalue":{"value":{"entity-type":"item","numeric-id":2392479,"id":"Q2392479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897607$A1C66996-537D-4E3B-A558-D62BA2885E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf9b9433afdaa3bce08573cd7c29109f6ce51eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1401949,"id":"Q1401949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897607$3779DC16-88E5-4A37-828D-07D1E59C2476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d72c052d6a5ad7a719f388761353f23640a4e3","datavalue":{"value":{"entity-type":"item","numeric-id":1725925,"id":"Q1725925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897607$F4657032-AC8A-4C3E-B203-5867C2D930CA","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":"Q5897607$C7288C26-D857-41C9-9BD8-666DC65657D2","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":"Q5897607$9CBEDB1D-5B96-4636-BD88-1EC6CA02D558","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897607$3752AFFD-C00C-473D-8612-4A524948CCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897607$8DFE6B64-A1CE-46B5-A053-1A7F8C042924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897607$5AD534AA-EB94-4BD2-80B5-E75BD714831F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897607$20F6F888-6731-4C88-94A6-331A6190D48E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a06502ffa20a9724d706247629762c7a4ff438c","datavalue":{"value":"5071593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897607$DC051313-2E71-4EC2-89A5-41BA73DC8210","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":"Q5897607$BB7008F5-678E-43A5-B548-A09C1502DC8C","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":"Q5897607$CEB4A829-26D9-4632-8232-1B734FE431AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dff5ef2c6a8468f9dd38cd60868a72975ec400a3","datavalue":{"value":"W4300050167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897607$E3709DD1-6AD4-47A5-9291-84D56D11B9A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c8377e506182330634e2c485af866ac2976d484","datavalue":{"value":{"entity-type":"item","numeric-id":4938611,"id":"Q4938611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f30fdd5b6dd90544bfbc81503bd87f169b47faa9","datavalue":{"value":{"amount":"+0.7551849484443665","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":"Q5897607$2CB1719D-16C4-43C2-81BA-D260F8B18AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536e3048b328ddd10eac7c42a6aa451866a22382","datavalue":{"value":{"entity-type":"item","numeric-id":4487272,"id":"Q4487272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ea1da0c2208a4e9e205663af785ec0b38479142","datavalue":{"value":{"amount":"+0.7495588660240173","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":"Q5897607$AF79F842-D32B-4E24-B6CE-B790A74D8652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a299ada1677cb50f9badc2dfb747cce9998463ae","datavalue":{"value":{"entity-type":"item","numeric-id":3026376,"id":"Q3026376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d830ecee0d5126bd8ca25016259cd9552aaba3","datavalue":{"value":{"amount":"+0.7462071180343628","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":"Q5897607$F2629D8C-F446-4C11-B21E-D2BC9A2B12F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce84887953fea95566a05af0f9ca26fd3351445","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72c6feb4547732abcc61005c686a539dab668c3","datavalue":{"value":{"amount":"+0.7452905178070068","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":"Q5897607$2E000C3A-4D40-4280-BE57-0387FF6D4834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4dbbb61aee5ca268a41ef6ff88791da938557e","datavalue":{"value":{"entity-type":"item","numeric-id":4783334,"id":"Q4783334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d359d7eb69c74bc5f4fe7b22f09eb48c66edb918","datavalue":{"value":{"amount":"+0.7412084341049194","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":"Q5897607$EE0CE860-C5BD-4717-BAB3-031A563097FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897607","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897607"}}}}}