{"entities":{"Q4002004":{"pageid":6031830,"ns":120,"title":"Item:Q4002004","lastrevid":55151017,"modified":"2026-02-04T04:14:25Z","type":"item","id":"Q4002004","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 51623"}},"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":"Q4002004$D63FF0DD-8B3D-4913-A867-F7FC57EF6083","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c27f1447bac9e6200cfe132f3b5fb224449e6221","datavalue":{"value":"0744.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002004$086FC221-6420-4269-85B4-C0A25EDE0B9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3757c450e8ea3891f056e58fdb032b2670ff909f","datavalue":{"value":{"entity-type":"item","numeric-id":175049,"id":"Q175049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4002004$D17BDB7A-E740-4AFA-BEF2-57C0B1C0B7AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a36a1bb338826b5fff6c870b4eb6d68a03b885b9","datavalue":{"value":{"time":"+1992-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4002004$CB89E1F7-301B-42D7-BAD5-2B300188D110","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002004$43DEDC44-4F3C-4797-92B4-5E67DF277173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c062103713bbaad5cf8d3fcfa14d43e9ef183341","datavalue":{"value":"41A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002004$42C8D067-6CCC-4C37-A47F-0C6534CCAE6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90eb9ffa2ebc2c016f1a8c3087f5dc8e83f3f68c","datavalue":{"value":"51623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002004$B85ED561-E07D-4132-A0D1-62BD3B09DE2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d487f19789a0b7a0b887216b8d095098f4c5c5ad","datavalue":{"value":"logical analysis of proofs with higher-types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002004$6FEF765D-C353-4278-8CCD-B3D8BA3F66D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c641f37354a79e782c7e580dd78d748515aab37","datavalue":{"value":"a-priori bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002004$CFE46B84-FD8A-45B4-A8B5-2A9DC6D2857F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b84f3daf8e8ec671c2d12787f1264514c92ea524","datavalue":{"value":"continuous functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002004$1951DF49-F04B-435A-A08B-B0B6F4C33EBF","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":"Q4002004$50DF7DF0-BC5E-4435-8DC2-AAF3CA53A820","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef8c7c71686daf0ead2b8fcf22a23614a05ca602","datavalue":{"value":{"entity-type":"item","numeric-id":4293278,"id":"Q4293278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08571383bdd022222c4ab9133e467dc6f308d1ce","datavalue":{"value":{"amount":"+0.7110304832458496","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":"Q4002004$ECD19D9D-EC75-41AD-B779-7738637C54F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f778378613b2e7cedf1708013dd55035a162ec82","datavalue":{"value":{"entity-type":"item","numeric-id":4032661,"id":"Q4032661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03bf900dc33b89fb437e6289fd458dac30d4b45a","datavalue":{"value":{"amount":"+0.708320140838623","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":"Q4002004$6A32D5E5-D81F-4C22-9B66-9BAB2D4260C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cde846d761fdf2b9f88bda66a1a64fbcd5d7914d","datavalue":{"value":{"entity-type":"item","numeric-id":688431,"id":"Q688431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"397f3a83946e4911a88ab23340d1526a00d67cfd","datavalue":{"value":{"amount":"+0.6857357025146484","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":"Q4002004$7E47C404-05D0-46BD-9BE9-36CB42853F6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4002004","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4002004"}}}}}