{"entities":{"Q4733863":{"pageid":6763440,"ns":120,"title":"Item:Q4733863","lastrevid":49319968,"modified":"2026-01-06T23:12:05Z","type":"item","id":"Q4733863","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4120168"}},"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":"Q4733863$DD15C156-81FA-4D16-B2C0-6DC28C2F704B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba0a1edf376af4f11647b5fdef8f940f35acb27a","datavalue":{"value":"0684.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733863$932749B1-937B-4360-BA2E-D7D59AD5D845","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadd7c9edb175c39860a7070bf646e2e9cc896ac","datavalue":{"value":{"entity-type":"item","numeric-id":165871,"id":"Q165871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733863$798BE61D-7F83-4B9A-BCF8-EEF9E462B0D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q4733863$8C023B8B-BBC3-4A49-B5B1-1F3B6F7A64EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733863$821CC978-03DF-443E-83D0-312301E86BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733863$06D45569-8F04-44E0-A527-2A679B2329D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733863$0921450D-1D49-4085-96DD-D1BCDB620B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733863$E3623F0D-880D-48C9-96BA-85994E13150F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733863$A8D8E99D-A0FE-4148-AAC2-62B339A8DAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733863$4C3BB825-476A-4EE8-9E18-5F768AE9E71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733863$D3FD41C5-7D91-49B0-B856-80C46EB4BE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733863$C13B4DFF-C706-4F9B-96CA-94021C045702","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a64edffe58d7952e07dc319bb1e90e68dac182ae","datavalue":{"value":"4120168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733863$A1A89E4B-1C6F-41C9-A125-767E22B7636D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be6b2d728826766843ffe70e4f5317530af8cf70","datavalue":{"value":"calculi of dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733863$9515B575-10DE-4E9A-8747-F3FCCE2D8A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c30ac6e06a2a88feac7ee1bf71e687161e1581f","datavalue":{"value":"contextual categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733863$84698DA3-AEBE-405F-977C-59942034DC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733863$66F07B0C-9445-4BF1-956E-EF996FA08D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f5eabe7c41b96917fe1a113ef23895b7a2cfd3c","datavalue":{"value":"polymorphic lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733863$A740ABE5-F9FF-4E64-8DE7-5D3D783E9CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f10c0b33f400a851432daf66a3650c100efb8ac4","datavalue":{"value":"term model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733863$DD2997E0-68C5-4260-A909-67E6356297ED","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":"Q4733863$E2F499AE-36ED-425F-8594-4A3E837C50C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5348f7970ff00c39fd4396ee481e25d5114de055","datavalue":{"value":{"entity-type":"item","numeric-id":4006238,"id":"Q4006238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e072e173a3deca001e6dcd7aef07fd7b367a3991","datavalue":{"value":{"amount":"+0.8225072026252747","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":"Q4733863$3E0B188A-B800-4C6A-87AE-DC991E05A5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718ddf24aca222678c69eebcd41c61f56bc43624","datavalue":{"value":{"entity-type":"item","numeric-id":2253180,"id":"Q2253180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc44369b506ab132d65f5cddec60022ffce5b25d","datavalue":{"value":{"amount":"+0.8188574314117432","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":"Q4733863$BC8D1AC8-1F01-4D1C-B461-E3890E5C8490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd75c0f20a555b7a642851d75866cc0cbf50928f","datavalue":{"value":{"entity-type":"item","numeric-id":5096258,"id":"Q5096258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e6d5663ebb19da705b6a00ca0ebb4c0b7d12ac","datavalue":{"value":{"amount":"+0.8174368143081665","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":"Q4733863$28C95401-9965-4778-B095-402506EC293D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e923df3bf9608d52d0b963a0f393bb430f783da4","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a41d1e73ad33967adbf2b5fba1a13be4fbbb66","datavalue":{"value":{"amount":"+0.8025222420692444","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":"Q4733863$326BBB92-F3F4-471E-B4EE-E34EAE241816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8183e2cf7c92527d06dc8bcff56a29a674d63f","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a41d1e73ad33967adbf2b5fba1a13be4fbbb66","datavalue":{"value":{"amount":"+0.8025222420692444","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":"Q4733863$06F7CBD2-A0AE-4D6C-A915-59FF114E6B3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4733863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4733863"}}}}}