{"entities":{"Q6567719":{"pageid":14178874,"ns":120,"title":"Item:Q6567719","lastrevid":55703650,"modified":"2026-02-17T21:20:11Z","type":"item","id":"Q6567719","labels":{"en":{"language":"en","value":"Importing mathematics from HOL into Nuprl"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876666"}},"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":"Q6567719$1CBD1C66-3532-4919-8F58-7B7288E26031","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91fec37d2ee051f032dbb4a57f0664f4c26fa46f","datavalue":{"value":{"text":"Importing mathematics from HOL into Nuprl","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567719$0B8A57CA-86B9-4E23-BCA6-DC2351AD2060","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00ab2b55c389c8296c71b2a14aaca914a120a978","datavalue":{"value":"1543.68419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567719$2E21BE78-2E7C-4372-B577-9D4C90F9363B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d008c0652adbb92fc29f999e1cff965654b89fb0","datavalue":{"value":{"entity-type":"item","numeric-id":1917067,"id":"Q1917067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567719$058C753E-C471-4C35-8930-E28EFD6EE84E","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":"Q6567719$40F3DD32-ED65-42EF-B0BD-A90105E3A521","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567719$8CCFDFA1-DF37-4B9E-A6B2-7C61E4B462D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcba1a43887a815931e8e2eb30f5bbcee5749c59","datavalue":{"value":"7876666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567719$1C951860-0E17-4796-B4AB-A75F5ECB3E54","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":"Q6567719$242BDB7A-D17B-44C6-A5F5-C213BDE8A121","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567719$E97820CD-4DED-4FA1-9EC1-639CC3A9C1C0","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":"Q6567719$28A5A6AC-90E5-4329-B14E-548B7CC941EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6865693541f5bc45c0d517a1263aad887cbf5ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5210799,"id":"Q5210799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567719$C847332C-7BB6-48C9-84E5-6585A793B943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8adee1b69e596c9aee895d2338b3ad4b2e31314c","datavalue":{"value":{"entity-type":"item","numeric-id":4281475,"id":"Q4281475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567719$C5E46B3A-A83A-483F-A63C-AC40D8AEE9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567719$13984F3A-83B3-4A56-B1BE-D166827FB78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f248b795b8fd08a553455fc9d1a16ce59991b8e1","datavalue":{"value":{"entity-type":"item","numeric-id":1309243,"id":"Q1309243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567719$75935287-3211-4167-AF90-490F7D48E200","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e98f5318bfa5bdb6dcb9e52de32352e8b3710cd5","datavalue":{"value":"10.1007/BFB0105410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567719$3E1C7CA4-08A8-4F9C-A022-B870FA43C9BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f2455c9872822fab6d8bb0ea3a402ab12360ee","datavalue":{"value":{"entity-type":"item","numeric-id":5234717,"id":"Q5234717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6eca722bcc4a068158f81f191995cfbeb46161","datavalue":{"value":{"amount":"+0.8234940767288208","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":"Q6567719$49AC9670-6F45-472B-8ECE-C0418CAC4C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d619869ad0302d9b9fe0d70f22451dd60a21bf06","datavalue":{"value":{"entity-type":"item","numeric-id":2782486,"id":"Q2782486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a9f06ea0624a4fba03f43b6bdfefd9b2acc9da4","datavalue":{"value":{"amount":"+0.8123054504394531","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":"Q6567719$AD68D94C-F67F-442B-BFA2-BD55A3047EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b7f4e39126d140b1fb7374f494c75cfd56020b6","datavalue":{"value":{"entity-type":"item","numeric-id":4790669,"id":"Q4790669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd445bbee90adfb38ba3cb50fb45019546508de3","datavalue":{"value":{"amount":"+0.7948768138885498","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":"Q6567719$55426DAE-F5EB-4CA0-9EB7-D6E51ADC2092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2740de1b98a7d9aa5a10e33e29be5347f5c1c062","datavalue":{"value":{"entity-type":"item","numeric-id":4375633,"id":"Q4375633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4b7fd3ff8fdb0dc8e19e04132aae5ba8fd47fe","datavalue":{"value":{"amount":"+0.7841309905052185","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":"Q6567719$BB07143E-A8E2-4456-8E67-87F8BB1ABE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"939cd2c4229824b8a14b7f16dc661ddbc20c89e4","datavalue":{"value":{"entity-type":"item","numeric-id":5747657,"id":"Q5747657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c5b51d6e225d64194b29572abc4137a5dfdfe58","datavalue":{"value":{"amount":"+0.7663564682006836","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":"Q6567719$3BBCF626-119E-45D0-937A-A180C331295D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6567719","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6567719"}}}}}