{"entities":{"Q2498898":{"pageid":2509641,"ns":120,"title":"Item:Q2498898","lastrevid":73275156,"modified":"2026-04-14T15:14:28Z","type":"item","id":"Q2498898","labels":{"en":{"language":"en","value":"Remarks on isomorphisms in typed lambda calculi with empty and sum types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047217"}},"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":"Q2498898$157BB584-45EC-4BA6-9544-AE41662A662F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f5989b40942b4299a53aba0d08f3b0b54f3ef3b","datavalue":{"value":{"text":"Remarks on isomorphisms in typed lambda calculi with empty and sum types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2498898$A7B5A34B-DCA8-45E4-85F6-EA0706ACAE0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f74dca9afc989edec759632f39e62249f8fff34","datavalue":{"value":"1099.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498898$A140B0E3-2A4E-40C6-8E4C-7AAFA7012400","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9977db334e09ca8242bf594e01c17b98c888abe9","datavalue":{"value":{"entity-type":"item","numeric-id":678838,"id":"Q678838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$9473BBA6-289E-4B91-96EA-DAC68F0F5499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"486d099545b5d657b05fa44bcf3d0c8a1580d678","datavalue":{"value":{"entity-type":"item","numeric-id":476170,"id":"Q476170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$90A7364F-1BF3-4149-9E19-BE954C7EF776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0eb8358d12293577adc3d69d0c5720bdeb6f4c5","datavalue":{"value":{"entity-type":"item","numeric-id":2498897,"id":"Q2498897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$855A357C-3B9B-4CF9-A0D9-940185DFDFE4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$8283448E-45C7-4977-A89C-837C25A347F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2498898$4478AB4F-50DD-447D-8747-BAB7ED4C8B93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498898$E761728A-A7B6-4B30-BA3D-2DEEE609B0F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92609ef61e0772e3f45fc840f7366f687237ecf2","datavalue":{"value":"5047217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498898$E9BC3011-0A52-4122-822D-F18CCC52AEA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c91c7c0e1050145142a02efaff3a9478404799","datavalue":{"value":"type isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498898$08810F9E-B154-4823-AB45-1265CD138ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e345260c42846901e6973bee5fcbaa0fe64187f9","datavalue":{"value":"typed lambda calculus with sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498898$05CA2440-5421-404D-8453-834E19937078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44d42e90d8547fa70fc734ee9688284770ed2274","datavalue":{"value":"Tarski's high school algebra problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498898$09C97A83-462D-4834-96B8-AC30877C72D7","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":"Q2498898$A20B8AAE-CD57-4727-86C4-863436CD0312","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca3473e8ad1753aa37f6739706c3000fd61112b6","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.09.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2498898$3FAE695C-FD72-4C46-A7E2-F463C6E2B9BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0442b4a5b7d6c62093e864353b2c53e478dc6fca","datavalue":{"value":"W1976673631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498898$20BCBB5A-8FDC-4460-8C36-52869443FA98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"173967d8ac91f7de553b282c56bc0a526f447e78","datavalue":{"value":{"entity-type":"item","numeric-id":4945229,"id":"Q4945229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$AC8A61B9-D743-489F-9057-F8E1B7BD0222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482e6c07034c1ee3cb0fbd84fc2baad6e36e38a1","datavalue":{"value":{"entity-type":"item","numeric-id":3452250,"id":"Q3452250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$66C39904-1EFA-4087-8A9E-55BB95329A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd91fe16bf6787b38a2cfa6e724a7fcabfd5b080","datavalue":{"value":{"entity-type":"item","numeric-id":2769425,"id":"Q2769425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$68FBF100-7092-43FB-804B-9A0847B7EFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308895c836b930be70b0ca58cc1956e776eb29fa","datavalue":{"value":{"entity-type":"item","numeric-id":4017461,"id":"Q4017461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$201F5736-1F44-4A66-A146-04B2BD54A8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c3153d8b72d369fcc81ff9be39e3bef639d5d1","datavalue":{"value":{"entity-type":"item","numeric-id":5286078,"id":"Q5286078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$17F88758-1735-4E7A-B784-E1F10DE17879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72724dd7d6c689a7b75cfb5d2b5463f141bcbafe","datavalue":{"value":{"entity-type":"item","numeric-id":1208223,"id":"Q1208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$6D87FFCE-B5D8-4E1D-A2EF-A926B1FF3269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d96d47e70546f90af4113e353ec8a83137be18","datavalue":{"value":{"entity-type":"item","numeric-id":4282805,"id":"Q4282805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$0F235F84-3D37-4A06-8C0C-8A6D4D88CBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2139b24faac29260605061d8111231a2904d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4325974,"id":"Q4325974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$9F4B4D64-A1D5-48A6-9115-DAB58B012C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ec09aca9746bbd4b214f5d52be769c2527c4dcc","datavalue":{"value":{"entity-type":"item","numeric-id":1893735,"id":"Q1893735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$B63B1A9F-BA65-49DD-8D76-A01A550FFBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d29c88e436f4f37cb030b97cb7fae2e14b868a","datavalue":{"value":{"entity-type":"item","numeric-id":5596228,"id":"Q5596228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$4B88513F-5152-499B-9A5B-DBA051D51FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980757a1887430dee9d9b5553072fe78aad5fb83","datavalue":{"value":{"entity-type":"item","numeric-id":4379681,"id":"Q4379681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$AEA6F1C9-C221-44B4-B1BF-B1B661B9DFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6978193f8a234b3fc14a9ae0c9f10fcd6350549","datavalue":{"value":{"entity-type":"item","numeric-id":3689169,"id":"Q3689169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$51C5CE61-9A24-414D-86AA-8F8C3C7FCB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e4de576ebefc67d6c6d5a6131e0f834e10d78f","datavalue":{"value":{"entity-type":"item","numeric-id":918968,"id":"Q918968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$A2C7B358-F878-44AF-82B0-B5807C297766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$321649BE-751D-40C3-B1D7-449DA64BF93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28260042411937e14ed1f0f1602f2d83e583a669","datavalue":{"value":{"entity-type":"item","numeric-id":1434353,"id":"Q1434353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$4E3F7491-9A1D-41A9-A1C4-8CD2A2FE4785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d40e37cc2852313e42b30a846d586a20994f3ad8","datavalue":{"value":{"entity-type":"item","numeric-id":4304554,"id":"Q4304554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$7180FB2C-5840-43EB-B4DF-63AD93AD2D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c730ba20c9991a2568e17ae9a2be1ca0275d298e","datavalue":{"value":{"entity-type":"item","numeric-id":4939694,"id":"Q4939694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$766B801F-610F-46F0-9E1D-048D02FE2E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72dfd29de0e8ac9d9af3948f3b4a79c0a2b2f32d","datavalue":{"value":{"entity-type":"item","numeric-id":4939700,"id":"Q4939700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$71EF2DC0-0B88-454D-A6B1-5E6C3773D51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1f38462fedbfcaea6540f47ec2e9f9e979caa1","datavalue":{"value":{"entity-type":"item","numeric-id":1588080,"id":"Q1588080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$C88CB5DB-A4C0-49E3-A7F0-8B525C8B6093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63fb35d1d0ea78478af246c344bfc2d3193b470f","datavalue":{"value":{"entity-type":"item","numeric-id":4511145,"id":"Q4511145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$E567166B-CD10-4344-9C85-A229577E4059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2db2ba829b037cf2efb18b93f4aa34513a9246","datavalue":{"value":{"entity-type":"item","numeric-id":1838563,"id":"Q1838563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$74E87254-475D-425B-9997-BD5000791946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9b591ca1ee94f5ee2baab81b962ea12b59f911","datavalue":{"value":{"entity-type":"item","numeric-id":4282541,"id":"Q4282541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$C5AE1D18-4643-4C08-A6F4-B81F0F1AD638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2de0f94c3ec0e55334da1e774f49c33c52e7a2","datavalue":{"value":{"entity-type":"item","numeric-id":2758397,"id":"Q2758397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498898$F9F232C3-091B-4E0D-A76F-C43BCFF3BE69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4af82f1ba8de912be29ab5d6402222a535a1c916","datavalue":{"value":"10.1016/J.APAL.2005.09.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498898$EDF075F4-D20C-463E-AD86-5507A9DD2ED7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a5f75b5508f5014b85bd53f056b87a27daea50d","datavalue":{"value":{"entity-type":"item","numeric-id":4924549,"id":"Q4924549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a92f1f3400a1efe178531cde64ccb39239e6b6e","datavalue":{"value":{"amount":"+0.7706812024116516","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":"Q2498898$1CE110AE-695D-4795-B2C4-42D94FDA2239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57af1a9e6af5f362a1215972de3ae257202f301","datavalue":{"value":{"entity-type":"item","numeric-id":4635638,"id":"Q4635638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e693769bfb11a42c402cb02d45d2816d0b4e7c8","datavalue":{"value":{"amount":"+0.7695050239562988","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":"Q2498898$A57BEC82-3511-4859-9D26-2C7BBC977767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73e901229051bd041f2730b01584832bd3077de3","datavalue":{"value":{"entity-type":"item","numeric-id":4017461,"id":"Q4017461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf90d230aa6f44e9541d5b54c5e11458839ce537","datavalue":{"value":{"amount":"+0.7624568343162537","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":"Q2498898$592380C4-4EC3-411D-BFA7-56FEBBC900B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e358532b076d3c4c7bcc86a5f82150aab23d78d0","datavalue":{"value":{"entity-type":"item","numeric-id":2946613,"id":"Q2946613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1a1dc1d36012732333945c0a5a4ac509a60a958","datavalue":{"value":{"amount":"+0.7520025372505188","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":"Q2498898$D25A9456-F07C-441D-A940-3840781B924C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62e324c09dae048cf69fd55bf4e676d247d7e736","datavalue":{"value":{"entity-type":"item","numeric-id":3540197,"id":"Q3540197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c458286ce1da8f63dcc27a07344e1570268e5d","datavalue":{"value":{"amount":"+0.7413318157196045","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":"Q2498898$1808B51C-350A-4465-9E71-28EA1C45B636","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Remarks on isomorphisms in typed lambda calculi with empty and sum types","badges":[]}}}}}