{"entities":{"Q4865640":{"pageid":6895220,"ns":120,"title":"Item:Q4865640","lastrevid":47394205,"modified":"2026-01-01T15:05:42Z","type":"item","id":"Q4865640","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 845621"}},"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":"Q4865640$97F32CCA-5178-41C4-AB65-9468FF086705","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b41c0aacf2dd6bba14b7e5692d954f9fcf00ec58","datavalue":{"value":"0834.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4865640$6D741E6D-F515-4DBE-8411-D0E960F29B40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd7bcd31c089eea43fd8677a5426b0c7b8e7e1a7","datavalue":{"value":{"entity-type":"item","numeric-id":792318,"id":"Q792318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4865640$1697EF48-E02D-42DF-A2B9-167D333CC21D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84687db4c3cd1657f12335fa69a7be3d95f53981","datavalue":{"value":{"time":"+1996-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4865640$AC5CF9D1-F3CD-4195-AA13-60445FDF9368","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4865640$C01BB49D-59B9-46D6-BD91-12431E5A3B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4865640$A27DBC62-3F40-429B-BBDF-B6C6297BB672","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15174dae06bbf17401f1e42334d43cb4945b9c30","datavalue":{"value":"845621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4865640$66B6F254-E82D-4237-8FFF-0CD0DAA62F41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccbd231bdc0bbe9169713e1f7b296e6e71dc765e","datavalue":{"value":"Kleene realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4865640$E52CCCFB-092F-4CEF-8F17-CBDE9D05AAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880189f3ab141434ac60dc229df6c4a00e086156","datavalue":{"value":"intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4865640$B4DA56B9-6C17-4FA9-A0A2-31B39CB52AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4865640$B5A5E578-E11B-4F25-B0E3-F4F14783E837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4865640$0EC37908-02FD-43AB-9A23-10EC51883F7A","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":"Q4865640$DC0813E9-144E-4B17-B494-6AE3B3BBDDB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9192d321194d539e4b0c90c8f4bb37cb56fcb399","datavalue":{"value":{"entity-type":"item","numeric-id":4215635,"id":"Q4215635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1786401c610ee33ba320436a92f3d83768afa577","datavalue":{"value":{"amount":"+0.779309093952179","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":"Q4865640$AB1A743D-A1E8-4667-9928-B8006D06EA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ec3d686b7e1524012a90132f36b31e908c6409c","datavalue":{"value":{"entity-type":"item","numeric-id":4499147,"id":"Q4499147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e735e879cfc7053a847331e2d5ff8fa42f1f7a7","datavalue":{"value":{"amount":"+0.7780959606170654","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":"Q4865640$7F18FA91-95B1-426E-888A-643011F5D460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0663660b42dee5c9ba91325547a220d5bb451031","datavalue":{"value":{"entity-type":"item","numeric-id":5894815,"id":"Q5894815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a57c6241e0b9d63886dd4b0fb567e49aa46f7e09","datavalue":{"value":{"amount":"+0.7569913268089294","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":"Q4865640$59179075-0CD8-4262-918E-2479980EFE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e180b012ea47dc785fc3662940e4ff286514d6","datavalue":{"value":{"entity-type":"item","numeric-id":4133605,"id":"Q4133605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a57c6241e0b9d63886dd4b0fb567e49aa46f7e09","datavalue":{"value":{"amount":"+0.7569913268089294","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":"Q4865640$8F0FD416-8681-44ED-A916-117034BB69D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692accb3f7a444e19c1bda74f604ab28829a7938","datavalue":{"value":{"entity-type":"item","numeric-id":3007652,"id":"Q3007652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe68fb96fb6387b0323f2d8101fd75f0b1040293","datavalue":{"value":{"amount":"+0.7417756915092468","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":"Q4865640$2921EB36-3749-489B-9A5D-134859CFA98E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4865640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4865640"}}}}}