{"entities":{"Q4246944":{"pageid":6276545,"ns":120,"title":"Item:Q4246944","lastrevid":41849580,"modified":"2025-05-09T01:05:23Z","type":"item","id":"Q4246944","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301731"}},"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":"Q4246944$3F865136-230C-4D53-985E-21391F7E7B3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8575997d65b3d1d9c37516ea5487d76f06ce638c","datavalue":{"value":"0927.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246944$44C9DACA-9988-4B47-8BB0-40B1D506D526","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22141819ed6ddc6c391802e000d0404fc62d4317","datavalue":{"value":{"entity-type":"item","numeric-id":235603,"id":"Q235603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246944$A41012DC-7872-4CE7-B652-81157AAD582D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9662060f48c1b40c59f96ed50a234f67fd4ab56a","datavalue":{"value":{"entity-type":"item","numeric-id":1734524,"id":"Q1734524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246944$126EE28D-636D-4B70-933A-8FF04DD634D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2c35fb8a8597468e70992cceb470233a004c261","datavalue":{"value":{"time":"+1999-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4246944$88FF38EF-6AAE-4DAC-B95F-016E0302E84C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246944$5A38B48D-D213-4168-9A58-7BCE59A4AE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246944$AEE05C69-F516-4E8F-9039-DA7D289E837B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82a2324601cf34e46d46470f5a3ccb8c8bdda048","datavalue":{"value":"1301731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246944$FABC46A6-1CFC-40D1-A241-B1B6CBC0EC95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c9b0538b7ae24eb937b0dc572387fcc84e51c40","datavalue":{"value":"rank 2 intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246944$DC1F9647-4F30-4969-824F-32A4AB20D38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c2ea23fdb04b8089c68d588b9c4c921c2e331a","datavalue":{"value":"nonstandard type assignment system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246944$A8031C98-B5E4-4D61-A5AF-65194297DBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9506f7efd48b18c66b714c58af7851f12419e2ba","datavalue":{"value":"dead-code","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246944$33CCAA59-C67E-4AA2-B165-CEBC26D0F57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fbab1c267e40ec69a5452181d4d3d9994f6dce8","datavalue":{"value":"typed functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246944$2E93B30C-4C3D-4C3B-A3DE-02832A2D9906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec9c19d6a0ae99c3e53f4ffac75623cf3926d4ab","datavalue":{"value":"optimization of programs extracted from proofs in logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246944$E4FDB5C2-3301-4111-A37E-13B5E7C0E532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25ff4a2b89d5edde229e35e6d753aa4d3002d51e","datavalue":{"value":"annotated types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246944$E29DC573-D585-4A46-ABBD-60BFD22146F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e5a9cac1fc4dfac46a88f953f03d9d3357f005","datavalue":{"value":"simply typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246944$9F16399D-C88C-4EF1-9CCE-35D3ABDBD012","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246944$B2FE3475-9C2D-4C5F-BE28-F9DD8F03D970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246944$7787CA9D-CAA3-4ECA-9153-58A36DE5AE8F","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":"Q4246944$2238252E-689B-4EB8-ABD9-4B3E28017C32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a7ee601d942c95e176e43e13850c4c622ec76f8","datavalue":{"value":{"entity-type":"item","numeric-id":1128737,"id":"Q1128737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46fc99d033d16b5b8dd166516eec399cd83d590a","datavalue":{"value":{"amount":"+0.82182205","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":"Q4246944$B0781994-82FF-4FC7-8108-353FD56D9E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1d3878327ed4ee97bdd9fabf0c0998a2404280a","datavalue":{"value":{"entity-type":"item","numeric-id":1939745,"id":"Q1939745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de495765d7559bd007ab86f4e2f0323c5d795179","datavalue":{"value":{"amount":"+0.81761533","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":"Q4246944$3746F3C9-55A6-4E00-BF55-CC7FA8F2AB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbea056455b603cba48c8942bada59fdfe4831dd","datavalue":{"value":{"entity-type":"item","numeric-id":5308736,"id":"Q5308736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c307d86211efa8e5b726349e2e6efa79b9a901c","datavalue":{"value":{"amount":"+0.81073576","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":"Q4246944$58CDAC4B-9F48-4506-85FC-D1F70F35D9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e849b317132b18142ecc577b628547ba295324","datavalue":{"value":{"entity-type":"item","numeric-id":2713364,"id":"Q2713364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48714d796c5fd5be414d50f46083f6f99c8ae4e7","datavalue":{"value":{"amount":"+0.7878056","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":"Q4246944$70676FA1-FC53-4828-85A1-FD7211D10AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f723a645d187a5ddc77952ec4b125a908fc5f094","datavalue":{"value":{"entity-type":"item","numeric-id":5958556,"id":"Q5958556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e36084823fbcf4322da8c45e7ee8274f6d149ec","datavalue":{"value":{"amount":"+0.78488076","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":"Q4246944$6ADF8E2F-65AA-46E0-B0A8-45C111F3E376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1139eb888443f719f66cc0baffe5769259965c08","datavalue":{"value":{"entity-type":"item","numeric-id":4405689,"id":"Q4405689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c0caa2dff93538da2c213add2011f3c8408b6e","datavalue":{"value":{"amount":"+0.78473204","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":"Q4246944$42371C31-61CA-44DB-B2B6-043611F9849E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4246944","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4246944"}}}}}