{"entities":{"Q5862337":{"pageid":7891888,"ns":120,"title":"Item:Q5862337","lastrevid":55400782,"modified":"2026-02-17T15:38:39Z","type":"item","id":"Q5862337","labels":{"en":{"language":"en","value":"Higher-Order Logic and Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7485770"}},"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":"Q5862337$068BA32F-DCD1-42FD-BED7-ACCC0A3D8AF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43d829a717f69c7de82c31ead60e49b9b199ba5f","datavalue":{"value":{"text":"Higher-Order Logic and Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5862337$1C27030C-FFD8-4245-B124-7819717870B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7acecc6d014f398c9ea0aa5bdc7e59d9df8435d","datavalue":{"value":"10.1017/9781108981804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862337$07882165-F18B-44CE-8A97-9EDEA1B06E8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"acee27211c540e6d5c2366514874b0c468da47fb","datavalue":{"value":{"time":"+2022-03-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":"Q5862337$062FD753-B0BA-4434-8F85-270CE7280512","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862337$2C136162-5562-4427-917C-94FE14B9C1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862337$30CFF705-ACAA-48DB-BE5F-7994553B8DFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c091172169945a5025dfcd57075682811c4cf40","datavalue":{"value":"7485770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862337$73400301-0CC1-4DE8-8EC3-ABE665407CB4","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":"Q5862337$66C41611-2F3E-437C-AF85-0AC905ECA8F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41e92515f2c1a33c6778522d5ab49e2966a83439","datavalue":{"value":"https://doi.org/10.1017/9781108981804","type":"string"},"datatype":"url"},"type":"statement","id":"Q5862337$A63AAA47-8232-4A14-A2F9-750C32481397","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"551456657c91f9fba9ddcba563ff1da231cc3f32","datavalue":{"value":"W4220739050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862337$B5186E0F-8426-4F1C-B0AF-46F309506A52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a83851fc7bada4ff1890c0abd85929cc725f54c6","datavalue":{"value":{"entity-type":"item","numeric-id":6481058,"id":"Q6481058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862337$8EAB40CC-E7C2-40D7-9C9A-C69BC067B41E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56491fc49d1028195cb7228b1ed3b7afdcd41704","datavalue":{"value":{"entity-type":"item","numeric-id":2751367,"id":"Q2751367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8056bbd18397815d8076ebceb05c6ffac4b0067","datavalue":{"value":{"amount":"+0.8044092655181885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5862337$B4A1A109-9A9E-49AD-9E48-130EFCC065A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b764ff8255aa31144656f6da0b0ff71ba2b9d396","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5295a8ab36b34c1b178daf9fddd6f4afe030363c","datavalue":{"value":{"amount":"+0.7621742486953735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5862337$D71D5DBE-6B5A-4B86-A8C9-E0B8928F0709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3f23e38aa82c58759ac894ed50ff84e11dac6b","datavalue":{"value":{"entity-type":"item","numeric-id":4919678,"id":"Q4919678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a844f9434b2bbca1dcd8c55dc28f4cb67556cd4","datavalue":{"value":{"amount":"+0.7590949535369873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5862337$5F787AC5-BA23-4383-9DF5-B9EE8FFBD1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14a30b91634bb54d047e7fccbb8bee462919cde","datavalue":{"value":{"entity-type":"item","numeric-id":946569,"id":"Q946569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20acc6c54a74c27e6569b319328bc15bef48ac88","datavalue":{"value":{"amount":"+0.7589629888534546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5862337$176FDAF5-B962-4B33-8C1A-AD33E4C54000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a5459415acc6ab60a7d5aefc6930c4ba2f9a348","datavalue":{"value":{"entity-type":"item","numeric-id":4328795,"id":"Q4328795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e1e5eba99bdc6aef0d4ad0b9ba1d09f60412b29","datavalue":{"value":{"amount":"+0.7503337860107422","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5862337$1D529047-5155-48C1-ADD7-B8FBB4B744BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5862337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5862337"}}}}}