{"entities":{"Q1819255":{"pageid":1829997,"ns":120,"title":"Item:Q1819255","lastrevid":73027941,"modified":"2026-04-14T09:29:56Z","type":"item","id":"Q1819255","labels":{"en":{"language":"en","value":"Theorem proving in higher order logics. 12th international conference, TPHOLs '99. Nice, France, September 14--17, 1999. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1385385"}},"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":"Q1819255$87711AC0-FB86-4EE4-9DAF-1E243B58AA4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e40091843fe56a9ecaba0d8d3ae3b660dc7203c2","datavalue":{"value":{"text":"Theorem proving in higher order logics. 12th international conference, TPHOLs '99. Nice, France, September 14--17, 1999. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1819255$B77FEA49-D586-4B1A-BA61-6B9C78F77409","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a02e374aac3fab1d571abc45731146ddd3d309f","datavalue":{"value":"0929.00038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819255$E62F0BF5-A15D-4373-A9EB-DE5FB2ED4FAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbd90f9ab05b9a546dd9f346116f11e378e47324","datavalue":{"value":"10.1007/3-540-48256-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819255$13B20B2D-1F7A-428A-88BA-BF7E7FC7FA80","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":"Q1819255$81691B92-3835-42EA-86E6-27E274DEB3B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce0f1d7076f00885dcda5c95cdbb1d1a7452f6c5","datavalue":{"value":{"time":"+2000-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1819255$C5B8E978-B5A8-416F-8A6C-D1B7FF285E65","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"129ae58f8d638c38227037cdaed84de2bcfcb301","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference (11st, 1998) has been reviewed (see Zbl 0898.00030).  Indexed articles:  \\textit{V\u00f6lker, Norbert}, Disjoint sums over type classes in HOL, 5-18 [Zbl 0942.03013]  \\textit{Berghofer, Stefan; Wenzel, Markus}, Inductive datatypes in HOL -- lessons learned in formal-logic engineering, 19-36 [Zbl 0947.68128]  \\textit{Santen, Thomas}, Isomorphisms -- a link between the shallow and the deep, 37-54 [Zbl 0942.03011]  \\textit{Pfeifer, Holger; Rue\u00df, Harald}, Polytypic proof construction, 55-72 [Zbl 0942.03012]  \\textit{Matthews, John}, Recursive function definition over coinductive types, 73-90 [Zbl 0944.03009]  \\textit{Capretta, Venanzio}, Universal algebra in type theory, 131-148 [Zbl 0947.08001]  \\textit{Zammit, Vincent}, On the implementation of an extensible declarative proof language, 185-202 [Zbl 0949.68139]  \\textit{Syme, Don}, Three tactic theorem proving, 203-220 [Zbl 0944.68162]  \\textit{Ambler, Simon J.; Crole, Roy L.}, Mechanized operational semantics via (co)induction, 221-238 [Zbl 0954.68093]  \\textit{Staples, Mark}, Representing WP semantics in Isabelle/ZF, 239-254 [Zbl 0944.68163]  \\textit{Schneider, Klaus; Hoffmann, Dirk W.}, A HOL conversion for translating linear time temporal logic to \\(\\omega\\)-automata, 255-272 [Zbl 0943.03008]  \\textit{Grobauer, Bernd; M\u00fcller, Olaf}, From I/O automata to timed I/O automata. A solution to the ``Generalized Railroad Crossing'' in Isabelle/HOLCF, 273-289 [Zbl 0952.68128]  \\textit{Xiong, Haiyan; Curzon, Paul; Tahar, Sofi\u00e8ne}, Importing MDG verification results into HOL, 293-310 [Zbl 0969.94503]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819255$1994B3E0-3951-44FC-8945-581D2DDE0CC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819255$33189B47-9513-4EBD-B0C3-ADC32F8E7285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819255$F42FB220-C4CE-49E2-8332-522D2D5BC627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819255$66965B8A-F664-4E5D-AD25-D27D8C30B507","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d49c3f6993725dec3d955b39e2bb7c834d8332d4","datavalue":{"value":"1385385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819255$F77F5E87-75AC-4872-9C6F-170E649DB2C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d304b4b3ae8abf4d1d2c0dde4937be342358fff","datavalue":{"value":"Nice (France)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819255$D11F2958-5F38-4D53-8ACC-5B33C26459DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819255$CCFB499F-941E-42CE-939F-3C3E849DE596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819255$775FF039-D308-4249-8436-E951EDAA6A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7a437fe24bfe49ba3ad23dd4909bd309e505bbb","datavalue":{"value":"TPHOLs '99","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819255$905B5026-4E60-493C-AD58-0358AC77DA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cb067f7b7fd6a412bdd4ccb326a4a1cda3e4688","datavalue":{"value":"Higher order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819255$59310190-8A94-4331-BE18-4DA476BF76A4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819255$7F17B27B-6BDB-46E1-89BF-94E0A4239B7D","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":"Q1819255$7984835A-6746-4C88-AB64-D1013CFB78B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"898e5d50a1926caf3028c3a324b768722cafeed1","datavalue":{"value":"https://doi.org/10.1007/3-540-48256-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1819255$93113A8B-9E1D-47DA-AA6B-7D76C789A621","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6444e09a84a3d389e1236de609215460d741f77a","datavalue":{"value":"W4298072213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819255$4A804944-66DB-4888-99D7-9BEC9D8D5B9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem proving in higher order logics. 12th international conference, TPHOLs '99. Nice, France, September 14--17, 1999. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem_proving_in_higher_order_logics._12th_international_conference,_TPHOLs_%2799._Nice,_France,_September_14--17,_1999._Proceedings"}}}}}