{"entities":{"Q2276054":{"pageid":2286797,"ns":120,"title":"Item:Q2276054","lastrevid":43803669,"modified":"2025-11-14T15:14:35Z","type":"item","id":"Q2276054","labels":{"en":{"language":"en","value":"Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22--25, 2011. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5938154"}},"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":"Q2276054$DCCC6D26-0A00-463C-85AA-D1C459A99134","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"804ba18233e90b999fe12f5258189e516c3a2536","datavalue":{"value":{"text":"Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22--25, 2011. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2276054$A59E9C5E-8416-40CC-9BD1-457C2C12CDF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1d211a10081d5ea41ee7b8602370f5d201683f1","datavalue":{"value":"1219.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276054$ABBBCF6E-5F4D-4435-854E-5B973C3D74AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40a33cf4f22023eb7b86a1bc3e6a86ff65a8bf28","datavalue":{"value":"10.1007/978-3-642-22863-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276054$D7115E1F-8CC9-4B10-A981-01ACAF7C27AD","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":"Q2276054$F9EB45E9-BD31-4E0F-9D66-D911AB9F8A9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c62537b66b4d3041533080c1635f32ec5ef45193","datavalue":{"value":{"time":"+2011-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2276054$4767A600-B791-4C4C-8712-977EF064003F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276054$132A515A-BAD0-4920-A187-6225484F0272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276054$A14E998D-B262-4932-ADA6-49F4474704A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276054$7F80EF6C-3664-4432-9280-89DDE7A46E02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b01089791de9c81aefa2560384d6debc5b7c6e1d","datavalue":{"value":"5938154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276054$182C43A0-4B79-41BD-A0A5-673E6A5C4B43","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276054$4C4E6381-C2E1-43BA-831A-C3C6A81173E5","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":"Q2276054$47620389-81F9-434F-8E51-2F42E8CFEC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276054$17D73694-73B0-4576-85F9-B7B5C1AB1A71","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":"Q2276054$E46793B8-F4FA-4680-845C-A8C6DE172E78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40f14f59dfbf79e9f0cda655bed9830abd31d362","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22863-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2276054$EFA9CB9E-65A7-45DE-B48E-0E59B8827494","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e48137e8a00e1c789e31a6a99c108c5bc5cb1a6","datavalue":{"value":"W2481963721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276054$4A080114-8FB5-4DD5-A144-93331095AB83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2276054","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2276054"}}}}}