{"entities":{"Q6567729":{"pageid":14178884,"ns":120,"title":"Item:Q6567729","lastrevid":55703740,"modified":"2026-02-17T21:20:15Z","type":"item","id":"Q6567729","labels":{"en":{"language":"en","value":"A mechanisation of computability theory in HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876676"}},"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":"Q6567729$D016E090-5443-4BFB-B1CC-FDC15348CFF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9f392472b7b8158194d4db076fc64af5bc0f075","datavalue":{"value":{"text":"A mechanisation of computability theory in HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567729$54780B50-8C4D-437D-BC5D-33BACBC1C86B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbd25484bcf91a94109208d63a6b0624e49bbffd","datavalue":{"value":"1543.68427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567729$7997A0AA-87A0-437E-9E07-90580DECAA7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ab65e9357853cf11628062544561542c4e93d2a","datavalue":{"value":{"entity-type":"item","numeric-id":4945206,"id":"Q4945206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567729$7207FD8B-9CA5-46D1-B938-A341EC0CDA74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567729$7B7AC515-8555-45DB-A980-6F26C5E220FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567729$6266F538-C479-4A6B-A89F-CD2A5054F520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c4d23e479455dfbfef69cdefa2e2eb3970b9f40","datavalue":{"value":"68Q04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567729$976203C6-728D-4703-8D94-1709119AE292","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e16d0b720bda5a8ffbe62844232a092692ad01ec","datavalue":{"value":"7876676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567729$5F4CD6D7-70BB-4DDA-ADA8-3D1E02A6B75B","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":"Q6567729$358E54EB-0BB4-45A0-9580-316B788B5B7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d13be93326fe439d9ba63c1d8fc97ba3bcf3655","datavalue":{"value":{"entity-type":"item","numeric-id":3893911,"id":"Q3893911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567729$FAA1077B-206E-41F5-8407-458A2C4523B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567729$91DC23CA-E41C-427F-940F-0C2D300B3706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84bb99210fcc9b5282870c32fda47e82c20e574e","datavalue":{"value":{"entity-type":"item","numeric-id":6083695,"id":"Q6083695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567729$6DE5BA7C-9D78-4896-893C-B5C836B8B6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777f1902a1127b94884ae1ddc89768860f054a6e","datavalue":{"value":{"entity-type":"item","numeric-id":3789060,"id":"Q3789060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567729$BA245BD6-F4F0-4BB8-9E01-8EBEC145E58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567729$24242E62-FE3F-405D-A076-1C7605B9854B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e20b4d2dce2d832ffa506c04ff8f894d3e699cbc","datavalue":{"value":{"entity-type":"item","numeric-id":3992696,"id":"Q3992696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567729$73E64EF4-89F1-44BB-9007-D4928FEF777E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7051ae1a6ebca1603687f3e04fd026d7544a898","datavalue":{"value":{"entity-type":"item","numeric-id":3698786,"id":"Q3698786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567729$16CD81AF-8A96-46A0-AAEC-B3E83B1CAFA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29877529d84298f69b36731cd2d05571b0615df1","datavalue":{"value":"10.1007/BFB0105420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567729$D87EF509-7A15-4ED5-BA0E-536F56D33A5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c9ec596e7693236baa0e9261b42e03bd85065da","datavalue":{"value":{"entity-type":"item","numeric-id":3088013,"id":"Q3088013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25b0faa52e32e3d3d08844cff4b89f6339bece10","datavalue":{"value":{"amount":"+0.8983646035194397","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":"Q6567729$0BBF712A-E283-45A5-8B8D-971BEFFCD774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"140576b4d917f46ec7f3bf2c1b3333b3f2b3c316","datavalue":{"value":{"entity-type":"item","numeric-id":5327342,"id":"Q5327342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab58124f26dc8153dfd1d88f3945fd61dc9f56a3","datavalue":{"value":{"amount":"+0.8461630344390869","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":"Q6567729$5DDF2DC9-D23E-4A79-BEB5-C92A247FAA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bbb218983d2f81330dc0466a32020cb97799b1b","datavalue":{"value":{"entity-type":"item","numeric-id":853738,"id":"Q853738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c3fd9c92fe11ce865e06a4f8312d61ccc40f726","datavalue":{"value":{"amount":"+0.7395042777061462","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":"Q6567729$2C5CB65E-6302-4AC1-B61C-5A0D7B14E41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc1d1515252f1e141ce433dfa3fdaab20d66b46","datavalue":{"value":{"entity-type":"item","numeric-id":3709921,"id":"Q3709921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"875c59b51f788a14fdac88f9ed86b2a45899c63b","datavalue":{"value":{"amount":"+0.726017951965332","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":"Q6567729$53E167FF-4EF4-4DE5-A9A0-AF04D7EA03CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0d8051ea290f1808aa3c6c4c511ea5dd89c1056","datavalue":{"value":{"entity-type":"item","numeric-id":2102949,"id":"Q2102949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086d5b6971d75a4d44902e69f344724becf0e6fd","datavalue":{"value":{"amount":"+0.7237136960029602","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":"Q6567729$EC75C637-5C4D-4E90-9768-DF4935F4285E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6567729","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6567729"}}}}}