{"entities":{"Q3839066":{"pageid":5868971,"ns":120,"title":"Item:Q3839066","lastrevid":54498011,"modified":"2026-01-27T11:21:46Z","type":"item","id":"Q3839066","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189292"}},"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":"Q3839066$E5F92834-3CAE-4EA3-ADA4-545CFE872D57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fc53451ad6c1a4665cde2dffa698d30ab42a1b9","datavalue":{"value":"0922.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3839066$FE4DACEA-BDDB-4F46-ABAD-9A695FEA43AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd247c0acecb03dbb649b71faee6e9ab6d53c45c","datavalue":{"value":{"entity-type":"item","numeric-id":864503,"id":"Q864503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3839066$11751C33-7B4D-4B1B-9091-8BB0F0AE01BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"614d74f64afaae28ce84dfb41f91fb963f265197","datavalue":{"value":{"entity-type":"item","numeric-id":857882,"id":"Q857882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3839066$5B644378-C56A-4699-8A41-370B02C8F6BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2bdecfb638e9226478c4c6b1c8a292946f5e983","datavalue":{"value":{"time":"+1999-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3839066$83F91A4A-5645-481B-8C5C-A65A491B71E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3839066$C16E8972-5E2B-43B6-ACAA-EC0F8D577B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3839066$EFC75A0F-42D9-4C9E-B32E-136D17E23F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3839066$2120D5C0-372B-4FF0-915E-57F4F9DD8936","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb2242b81d608eeb974e67f470b96a8b68a93d7c","datavalue":{"value":"1189292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3839066$1188DA48-B0EF-4FD3-AEF7-BCEA80D3819D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c83e01d2fb8ba8ff12e55fc78e34e43b5755d56","datavalue":{"value":"guard condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839066$0D472994-A0C8-4BB9-A1E4-AFD1AF2C23D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a1a198b6b8fe017c5e373c70756c2f81eccb339","datavalue":{"value":"co-inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839066$B4DC6CCC-296F-4E3A-B119-2E4D6B933B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba0abf238195b222d8be7383574a852b5cb220f4","datavalue":{"value":"infinite objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839066$E02CFCF6-8FD4-40E9-B095-0ACB62EA4417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839066$33BE66FF-91AE-4EFB-AD3E-E3E8A6CCF2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0483404e535a38641df4ccab16a3f350087aebd","datavalue":{"value":"p.e.r. semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839066$EAC03660-7DE5-4E64-AA19-569A1588187A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a60d687a6856dc38e7d2ffdba03189874c89a918","datavalue":{"value":"constructors","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839066$547B1556-2D43-4637-BF0F-F7B10504E22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86e893a4a7addf8e22f8e3fcc6df8ecc660c5c40","datavalue":{"value":"simply typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839066$52679287-7ACC-4445-8CB6-E8B9A82187C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84b0c369ca68b77ffbfa4b1d4d8dc233d67683e4","datavalue":{"value":"totality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839066$614E0DB2-070D-476B-8E61-5858D7DDD37D","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":"Q3839066$43A09C2E-9B57-4AAD-B97C-401A76B78257","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3061c25d6f2c9d8be47fee4dfab609b514b4579a","datavalue":{"value":{"entity-type":"item","numeric-id":5144643,"id":"Q5144643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11d887c618031a22071ec2b801ba20886bac124f","datavalue":{"value":{"amount":"+0.7309629321098328","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":"Q3839066$C63FD814-F60C-4E3C-B0D8-760061091A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9892fc98bbefb0a9f2ddd559807aca5e8db6622b","datavalue":{"value":{"entity-type":"item","numeric-id":2949454,"id":"Q2949454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1c3362df4446726413113a4a3ba63cafc76d6e","datavalue":{"value":{"amount":"+0.7223114967346191","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":"Q3839066$B9140D6C-3CF6-412D-AEEF-BD63125C227E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6922a340f259f222c652fb9237b5b015ff20319","datavalue":{"value":{"entity-type":"item","numeric-id":2974778,"id":"Q2974778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a3cccf7ab9a342d1e935d2e2f15d3c3bc722f0","datavalue":{"value":{"amount":"+0.7179100513458252","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":"Q3839066$49C513A9-5AD6-4A48-8F07-77D58A74D55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e91f3c71700e6aec69ea6437247aba418d9dada1","datavalue":{"value":{"entity-type":"item","numeric-id":5168889,"id":"Q5168889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e6e2f55a3256322f60ddb48f45c245c3cd7aef","datavalue":{"value":{"amount":"+0.7155777215957642","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":"Q3839066$A60AFE94-B434-4DD3-9D91-E73A8EC6C07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314ffd1a8a0317aa2d60e5bb7cb67fb338fc2441","datavalue":{"value":{"entity-type":"item","numeric-id":3498444,"id":"Q3498444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9658e47c8360df6f4905d794dc17ef22a3f0e10","datavalue":{"value":{"amount":"+0.7115919589996338","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":"Q3839066$3B142FF0-BF2F-4F67-A0A2-A2E1C56187BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3839066","badges":[]}}}}}