{"entities":{"Q4896529":{"pageid":6926108,"ns":120,"title":"Item:Q4896529","lastrevid":40895358,"modified":"2025-04-13T21:17:31Z","type":"item","id":"Q4896529","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937388"}},"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":"Q4896529$02E319D3-8996-4A4C-9C99-3A8940F93426","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c865bb6824cd261147633d8dad0f39a70c7045ee","datavalue":{"value":"0859.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896529$EF6AB72B-81BC-4430-940F-532B15944BAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1fa6a2864e6107a0c5fd4cc024d37e026a73f0e","datavalue":{"value":{"entity-type":"item","numeric-id":382420,"id":"Q382420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4896529$4B99E4D3-998C-43E6-9135-E0EEF2E00768","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18c3bb1a11dba9f99423cf053a5921485bdadd22","datavalue":{"value":{"time":"+1996-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4896529$A66C311A-D653-47CC-AD8C-86CA58B27D44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896529$6876A0FA-E11B-4D46-8DD7-61347F8D377D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a95644e3e1a3be2f21eb31d82e6586cf4ab01774","datavalue":{"value":"937388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896529$85E0A4FA-1411-4CFE-BA27-001B9278A75E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896529$00278DB1-550C-478F-BABE-DC62170A3CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f91050ae40ec483f231e3956c5ecd134e23377ae","datavalue":{"value":"Girard's system \\(F\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896529$FD8CA3D8-30CA-460E-B45D-0FE50055C9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7589ef2cad103239280b196961fc5bbc9f7377f4","datavalue":{"value":"second-order typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896529$8BBEDE34-D8B0-45ED-9F29-6E20777690E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"491e8725c8651263a210dc15dfabf985196b0a39","datavalue":{"value":"product types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896529$FEAA3E05-CE84-4B4B-AEC0-1CD0995916C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d87afdbc793e19f695324257ff1e71b2efc85ccc","datavalue":{"value":"terminal type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896529$F11874F8-4BDF-4D7E-B66F-0BBFEF798BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53fdeed5704ac6449c47a837de8fb2e700668d51","datavalue":{"value":"coherence spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896529$B5EF924F-A404-4BD7-A636-D2F22270721F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896529$F95BDEF5-0444-4C9D-A9F9-63E4A86F7BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7722a5f5ded246b5dc06a196a93011dc08ed6bfa","datavalue":{"value":"PLF-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896529$820F6C84-0F4E-48A3-8A10-0E40EC8A2BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f26e2adf703f611f6b3eb5df4a134ad3120e9d","datavalue":{"value":"PL-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896529$6555B0D1-54BD-454B-93D6-700FDEF9F9C3","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":"Q4896529$5F6150E1-6662-4701-ADDC-AA2E92C7E210","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c097eca35bc531bbbb108f2dacb4adb59289e5","datavalue":{"value":{"entity-type":"item","numeric-id":3768869,"id":"Q3768869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81ab1655b85678af18b066586a103c89d0f7cbbf","datavalue":{"value":{"amount":"+0.9241187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4896529$77C6FAA5-3DEB-420D-ACD5-9BAAB6413653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53facd2fa443e736e0cad757fe7e0f6d3112630d","datavalue":{"value":{"entity-type":"item","numeric-id":3768870,"id":"Q3768870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f73dcd7763820f0fb7b55f302e12aaea41755ab7","datavalue":{"value":{"amount":"+0.9237892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4896529$77396C96-4AB4-4346-87A0-7B6253D38F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a75480b427d538bec9553fe2521913bdff9a8e","datavalue":{"value":{"entity-type":"item","numeric-id":2333669,"id":"Q2333669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db4afa473eb410acc9e580d08cc1865a5888a9db","datavalue":{"value":{"amount":"+0.9199495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4896529$90BECFE1-B09C-4870-8D52-77E1831FEC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656736a0c8119672175ff38c7b9d1d8d6ce696b2","datavalue":{"value":{"entity-type":"item","numeric-id":5150148,"id":"Q5150148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"597175b66bc5e85327da5382facd1a1a8e05d26c","datavalue":{"value":{"amount":"+0.9193635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4896529$8C5F1E7E-ECAD-4738-8589-164E193B414E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8b78ad67ea637acfdde64e29d61878b7e4aac2","datavalue":{"value":{"entity-type":"item","numeric-id":3024851,"id":"Q3024851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4465614018f6c94a2d352c87d99c0db099ad793","datavalue":{"value":{"amount":"+0.9147671","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4896529$AE5B8B48-DE0C-4314-AA6D-1D74D02DD5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26e42780fdf3b064b30090722a815b62e5068dee","datavalue":{"value":{"entity-type":"item","numeric-id":673121,"id":"Q673121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ebb2f13aae5bd5f144a5d8615be0b5809019de5","datavalue":{"value":{"amount":"+0.91156757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4896529$95D135DC-7E47-4791-8F2D-FB98551B2663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4276c47496adab515b99c82f7e9e8dd90c676d7","datavalue":{"value":{"entity-type":"item","numeric-id":4279260,"id":"Q4279260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d685f900523a7a6a12bcff479f2a47b2424c8ca0","datavalue":{"value":{"amount":"+0.90419453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4896529$95B85F9E-6888-4080-9B53-1992C772E1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e1623f7f4c5195959d7385b82a4961d3c19c9b","datavalue":{"value":{"entity-type":"item","numeric-id":2368980,"id":"Q2368980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8154baa3efd2fd52d5b60dbe2da95ee9245d02e8","datavalue":{"value":{"amount":"+0.9034006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4896529$D4CB2872-1C9D-4B92-AA73-037C45B23B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a916bff82606d186bf162c2298133ff9a02a746c","datavalue":{"value":{"entity-type":"item","numeric-id":1260643,"id":"Q1260643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"111f5b18d07f79c2194354ab3eb5172314780955","datavalue":{"value":{"amount":"+0.90139085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4896529$D877D2E2-A72A-4187-85B3-432B5E952BF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4896529","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4896529"}}}}}