{"entities":{"Q2385813":{"pageid":2396556,"ns":120,"title":"Item:Q2385813","lastrevid":43997481,"modified":"2025-11-18T21:12:41Z","type":"item","id":"Q2385813","labels":{"en":{"language":"en","value":"Types for proofs and programs. International workshop, TYPES 2006, Nottingham, UK, April 18--21, 2006. Revised selected papers."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200866"}},"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":"Q2385813$E33D804B-8ED7-4CF5-B84A-07CFD5947AC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30d6eba2189814c18567ab88f5c9b8d822c7a0d6","datavalue":{"value":{"text":"Types for proofs and programs. International workshop, TYPES 2006, Nottingham, UK, April 18--21, 2006. Revised selected papers.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2385813$FABBD4A1-DAFD-4CDC-8FF7-F2D65BC3DD45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"955e4b3fe0cb8374a53f3b6dc3a2e09b2ee56234","datavalue":{"value":"1120.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385813$5F448BE0-5C9F-471A-A300-B8DE0883CC49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59e944f551a2e1664562deb9ef55d3db18bd4ec8","datavalue":{"value":"10.1007/978-3-540-74464-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385813$C52078F3-7D03-4846-A497-5057C70B1D1B","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":"Q2385813$D88663A8-F598-4C34-A8DC-3F03CC29369D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51896fa873714969935123455cbe182d69a8f4bd","datavalue":{"value":{"time":"+2007-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2385813$11A842AC-4761-4F3D-BE85-740E9361E257","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385813$74B1644C-08D0-4552-9891-8BB6D5B6121A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385813$8D2889C8-2270-4BB6-B38E-58306A1A353D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385813$DCD2DC83-24A7-4DAB-B039-85991B5CA165","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef4aba7a1eea017a91421db1ce9c457709fe030f","datavalue":{"value":"5200866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385813$2EC72D83-964C-496E-97E7-E5F8E48A3A96","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":"Q2385813$300759E4-FC75-418C-9C93-EF015080FFAD","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":"Q2385813$D1D01C80-EACF-46A6-B2E2-FEBD0F5D2A1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d10f74563ff8ea881fb738d3e230ca527aa0036f","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74464-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2385813$292695BD-7B30-4374-9F9A-13F0D0A6D8E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58557a147b89553aaf476be1b000fd32bcc9cdce","datavalue":{"value":"W4300362878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385813$E499C5BC-AC10-4169-B39A-57BC2B1EA2C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2385813","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2385813"}}}}}