{"entities":{"Q2369295":{"pageid":2380038,"ns":120,"title":"Item:Q2369295","lastrevid":43966539,"modified":"2025-11-18T14:35:07Z","type":"item","id":"Q2369295","labels":{"en":{"language":"en","value":"Theorem proving in higher order logics. 18th international conference, TPHOLs 2005, Oxford, UK, August 22--25, 2005. Proceedings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5022043"}},"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":"Q2369295$EE42C765-FE80-40C3-97CD-BBE760D9DCA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26e1e4ed2085614f2cbc2ebb11dc1b85d1a457cd","datavalue":{"value":{"text":"Theorem proving in higher order logics. 18th international conference, TPHOLs 2005, Oxford, UK, August 22--25, 2005. Proceedings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2369295$2569CB05-3C56-460C-81E0-702DA5B59CEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"117e60aa717e90eb0521fb97f7d57b8c83a0d0c6","datavalue":{"value":"1087.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369295$840C317D-6175-4ADB-B8A7-38BCC0F66A6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60e14ebe752857c79be86072108a2eaa35956999","datavalue":{"value":"10.1007/11541868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369295$BFB2BA8E-DC9E-4AFB-B03B-5F4C854C4915","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":"Q2369295$039260CB-762D-42AB-BAC4-209DADFB513D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9597f413246d561c71f53debbfd7d35f070a971f","datavalue":{"value":{"time":"+2006-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2369295$8ED2F0E4-2639-4195-9716-E3111971CEE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369295$C937008C-CA0C-456F-8D65-19AA68CF6137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369295$9817AB94-2E8E-4D51-97A2-B5B14B48BB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369295$4B933386-B289-4AAF-BED8-2D8755F7B0B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35f6f5819bea1a4e246f5394b66b4ce6266c1b4f","datavalue":{"value":"5022043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369295$7F7EF454-8287-47F9-882C-D683C86ED1E4","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":"Q2369295$F0A9DA03-8909-4DB2-8E77-56C43B66E66B","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":"Q2369295$FA7A9D9F-7E1E-4881-9A05-30CD2E765E86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2fb76490c6ff834c9a8591f6e115d1ade34f149","datavalue":{"value":"https://doi.org/10.1007/11541868","type":"string"},"datatype":"url"},"type":"statement","id":"Q2369295$4CE02FA4-DE67-4327-88AC-8164D6D55010","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c022af1b7546a705f000f89e81f31efc83cfd68","datavalue":{"value":"W2484880499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369295$4529604A-FF07-4500-9F07-6730FF0F0905","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2369295","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2369295"}}}}}