{"entities":{"Q3829551":{"pageid":5859457,"ns":120,"title":"Item:Q3829551","lastrevid":54470291,"modified":"2026-01-27T01:05:07Z","type":"item","id":"Q3829551","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4104952"}},"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":"Q3829551$31521496-78C4-4496-9586-D6E59639F0D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6acecf59d5ff989781d3105a549ceb05bcde1528","datavalue":{"value":"0675.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829551$25A4A078-63A3-404A-9AA1-952557F6C08E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3829551$F101D789-B612-4D85-B76F-0BF070AA4412","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829551$496970C9-D304-41DB-8F86-491D7D570403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829551$DB0E8247-8982-43FE-AC00-FE26E9B7309D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"80931d057452ecc032f2d5088e7a41d514d934e3","datavalue":{"value":"18B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829551$EA1629A4-E822-4608-8D6A-019EC114E667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829551$5B0A7EDB-0470-4545-9D1F-1529B282DA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829551$D8679FDB-1703-457C-8F3A-777C5BEF0BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829551$8E936969-DB95-4B96-B2E7-81E56624009E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4edf7011b4961c2bc154aa4656de97c97de26a7","datavalue":{"value":"4104952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829551$9EBDC34D-B06D-4AA2-BB93-86B724D0A053","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9965f07bd0d218da74f07eae3d2f6ec449865cb4","datavalue":{"value":"categorical version of G\u00f6del's ``Dialectica interpretation'' of higher- order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829551$22B411A9-5ED6-4F3C-97ED-65D6F86457D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94cb2b2356aa3cc554e93374787919095103b209","datavalue":{"value":"relations on objects of a basic category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829551$8E428319-8CFA-4F5F-B607-1AA49E461EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9f9b54c1fecb6547ef0c2c89fe07d203215684","datavalue":{"value":"categorical model for intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829551$F84C8C30-3F1D-4121-944D-BFB2AF70D906","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"737ab82ccfec8813eb7c5978dce0ad4af9a0b6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1591339,"id":"Q1591339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3829551$F76908C4-4D81-480E-8904-17CC0EA49A10","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":"Q3829551$F875AAA1-726A-4145-8266-5B82F7D76D29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11fea1be8e9359792518416240c6de9e1b757b09","datavalue":{"value":{"entity-type":"item","numeric-id":998318,"id":"Q998318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd49a5c7800434709a27123cc264fdcbb57ad56e","datavalue":{"value":{"amount":"+0.8583232760429382","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":"Q3829551$4FDD6A65-0ED8-41B7-9511-F68AD1C85ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44da6fdf482e7a85ebbfc665187c8b30b36fe28c","datavalue":{"value":{"entity-type":"item","numeric-id":3093861,"id":"Q3093861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8231cb237be0be8e9b31b9381d1b6e17144ef619","datavalue":{"value":{"amount":"+0.8413196802139282","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":"Q3829551$EA1E5D7C-1C48-4F40-B6CA-DB17C83482FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b12a70e171aa93ffed5cf0d73a3a8845579c419","datavalue":{"value":{"entity-type":"item","numeric-id":5298120,"id":"Q5298120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f20602c75f545b31ee83114e0b6226e9e803159","datavalue":{"value":{"amount":"+0.8329254984855652","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":"Q3829551$D1A3091D-FE04-479F-B693-9E2527E92F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57cfc6803eeecaf4dc3eba35d3a9d24d9ce1b912","datavalue":{"value":{"entity-type":"item","numeric-id":5892514,"id":"Q5892514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5909e5e9276b6da59b3f53bf5197e45e5db69618","datavalue":{"value":{"amount":"+0.8148953318595886","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":"Q3829551$A5973980-BF94-4783-9634-BB2A6DD72349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"558885ddb4a759c2f8a250a5ed72231c2c7ac996","datavalue":{"value":{"entity-type":"item","numeric-id":5145350,"id":"Q5145350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9f45b5ca511ee72371c88094d70106b235e8fb","datavalue":{"value":{"amount":"+0.800070583820343","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":"Q3829551$81E956ED-BC84-46B3-A700-24E7C9410732","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3829551","badges":[]}}}}}