{"entities":{"Q5944573":{"pageid":8121375,"ns":120,"title":"Item:Q5944573","lastrevid":25468714,"modified":"2024-03-04T22:45:07Z","type":"item","id":"Q5944573","labels":{"en":{"language":"en","value":"Theorem proving in higher order logics. 14th international conference, TPHOLs 2001, Edinburgh, Scotland, GB, September 3--6, 2001. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1654714"}},"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":"Q5944573$7BDB3BAB-2FCA-4081-9355-97CB05DA912B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f17341fbbc8a7bd5dc867f89958d3be78ac95093","datavalue":{"value":{"text":"Theorem proving in higher order logics. 14th international conference, TPHOLs 2001, Edinburgh, Scotland, GB, September 3--6, 2001. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5944573$8F80BEC6-458A-4518-A4F4-6BE7905FD342","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71b0061220ab2d8299bd4726eb44c588c48f53a6","datavalue":{"value":"0971.00027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944573$C51ADE63-C45C-4B28-8BA7-CC5DE15A3365","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":"Q5944573$BCE7E891-3410-4D4A-B4F0-B992DC918B63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a6c7b0a5320eed24c7f2c07c64e6d8f1401b73b","datavalue":{"value":{"time":"+2001-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5944573$A22BFCF6-802F-40EB-BDE7-D96E127AF5D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944573$E29C5A69-ECAE-4C96-A7F4-E55B6D72364C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944573$505E3ABA-AF16-4669-B658-C221461B4922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944573$F380245C-63C2-4C6E-A0D7-3029C551B950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944573$5208BA6C-BAC4-45F1-9C30-47D2D93AC129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944573$42194A2A-C72E-4D90-A7BB-0306FC119119","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eeaa009506dcd7cd7952383262da18c98c9a763b","datavalue":{"value":"1654714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944573$CC92E597-5EDD-4690-A5DC-38EC419AE9C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46b527d61d8125a4a77d64958ad66ce93378194e","datavalue":{"value":"Edinburgh, Scotland (GB)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944573$0FA720FE-21E4-4AFA-B1A0-A71F64168E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944573$56A2D253-EEB3-4734-8798-3866F7B3EF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944573$BF1F3C1E-08C7-46D9-ADAF-FE90449EDAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"494951e3bc25cf339283927238e507125becaa7d","datavalue":{"value":"TPHOLs 2001","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944573$22550CF5-9907-4271-BA9B-B4EC43E6FC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"742acadec2058a1daf33969cf122f1e00d23a668","datavalue":{"value":"Theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944573$247FB319-D5E9-4E91-9B0F-B718E4C60C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cb067f7b7fd6a412bdd4ccb326a4a1cda3e4688","datavalue":{"value":"Higher order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944573$77A3BE24-BC25-4E23-9EE5-8C88D4773B53","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":"Q5944573$FFB0C605-B364-4AC9-9F1B-DD031A914D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5944573$3DF99F93-4F42-4D60-863A-9ECE2F581021","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":"Q5944573$10FF04AB-8C88-42A7-9485-D2393450F61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5944573$4969D024-243D-45F3-8D5A-E496C88C8D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5944573$3BED7B3A-2F36-40CB-8533-29BCAF5074FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5944573$CFA43E52-FE32-4D35-8B64-698825B78481","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":"Q5944573$9526916B-401A-4C7C-8258-00A2677E380D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5944573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5944573"}}}}}