{"entities":{"Q4027624":{"pageid":6057383,"ns":120,"title":"Item:Q4027624","lastrevid":55220395,"modified":"2026-02-04T23:41:48Z","type":"item","id":"Q4027624","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 125886"}},"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":"Q4027624$9EDEC0D8-A73A-40BE-8341-C0D9F421DE6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55b2834053015347fa6697d9047069628a56ac46","datavalue":{"value":"0759.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027624$C67960E2-A848-4182-B282-BA1AFB810452","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb313c50586523a1a82ffb573c59952e4111e32","datavalue":{"value":{"entity-type":"item","numeric-id":418199,"id":"Q418199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4027624$A394399D-B4AF-417B-96D7-29B981A60AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee23461be9262b029750fffafa71dd9be63b3f19","datavalue":{"value":{"entity-type":"item","numeric-id":673965,"id":"Q673965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4027624$4D7935C5-F08D-44F4-A2C9-A53003E71877","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e89af0ab63fc0fca1fbd1433809f3667ad4723a1","datavalue":{"value":{"time":"+1993-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4027624$3A6DF3D4-79AA-4A63-B075-65CF57CD67FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027624$F10AB138-1139-4B2D-89F1-8185BE3EA44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027624$1B319D75-6172-4FDD-A276-D3F698A69A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027624$8163790A-6039-498D-A75E-DCBC98D365C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027624$AB67B09B-E52E-4676-AE7C-BE1F3A55F174","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3388107b1a97cc89b103510f1417dfdef3dc4348","datavalue":{"value":"125886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4027624$4E2B34BA-A4A0-493F-AD4C-CEDE69D6EFBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4027624$17441619-D90E-460E-BC97-EA99F9FAD290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29825f2934338cc177887a0481dab189239370aa","datavalue":{"value":"second-order lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4027624$CCA4B247-CBAC-48E8-9517-0A6ABA939971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de3d055264c78dbe5aaa44e69c341de12cdff13d","datavalue":{"value":"bounded quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4027624$A2A20434-9CE1-4F4D-A736-09B862350AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb80a799d8abaa4a717f666fb875d135bb80c259","datavalue":{"value":"normalizing rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4027624$C31C5356-A9DB-4E71-83B7-E08AC0145BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c00dc8fc02b2db4dd4aa0abf6091e409f50607","datavalue":{"value":"deterministic type-checking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4027624$4C93733D-741E-49C2-8DB4-D1BECD914C51","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":"Q4027624$1C1ED05D-665C-4F12-AE2E-992C8E517BE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70732a2c4cdbf3ce7b05f26578afd8a645abc451","datavalue":{"value":{"entity-type":"item","numeric-id":2432054,"id":"Q2432054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22882193676d96b624c2719c400703aa2660105c","datavalue":{"value":{"amount":"+0.86542404","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":"Q4027624$FE9F77B9-7B92-40A8-8204-DD26CD4D6207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dadcc22f297979c84a3782968bf213d23f8d3e4","datavalue":{"value":{"entity-type":"item","numeric-id":4507489,"id":"Q4507489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c36c6eb76149f773b36f1a3e5129f4b5cf6a521e","datavalue":{"value":{"amount":"+0.8645631","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":"Q4027624$8B01C471-73CD-4B60-ADFE-9CB1B6D3C2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2083004ea4bd12dea7c59d8e0ed611fe96555cae","datavalue":{"value":{"entity-type":"item","numeric-id":1094152,"id":"Q1094152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e24bdd9f27a18b7ec32f2f17a2597dc9f0fd95d9","datavalue":{"value":{"amount":"+0.85727763","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":"Q4027624$60DEC4A6-7F3B-462D-9972-E461A39DC89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fb8fbb1e1d68f19302b76a5024a3e28d862ab9a","datavalue":{"value":{"entity-type":"item","numeric-id":5224581,"id":"Q5224581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93a8ac5fd3f136da4b57a2c24b4476fad74e5189","datavalue":{"value":{"amount":"+0.85462785","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":"Q4027624$01EC466E-4CE1-45DF-8BF0-0D451A79099F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc74893b4d21cc9bd5e878bc4c2de882a11e3947","datavalue":{"value":{"entity-type":"item","numeric-id":2695410,"id":"Q2695410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"072890bcdb41c5cddd64cafffa790a7ebbf7d9c7","datavalue":{"value":{"amount":"+0.84943247","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":"Q4027624$872074E4-5D2D-4408-8C06-E9DE9DD9A84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e01d5c948ca883355436ee8382b5190918700b9","datavalue":{"value":{"entity-type":"item","numeric-id":5848179,"id":"Q5848179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad262506272f3b6636875173d23ec123e82a63ca","datavalue":{"value":{"amount":"+0.84746736","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":"Q4027624$556683DF-4A45-43EB-A044-97D5D7286909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce5f0e800ebd86c56a289872953c9119e12a1c6","datavalue":{"value":{"entity-type":"item","numeric-id":1011758,"id":"Q1011758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a50da4c5e128463bdd8e2c89f30ae504a179f5","datavalue":{"value":{"amount":"+0.8434288","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":"Q4027624$9AF0FEF7-44C2-4880-A073-7C2A07DB7045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f29371f29340ab7599f22a7c91c5319d3120fea","datavalue":{"value":{"entity-type":"item","numeric-id":2996166,"id":"Q2996166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"559298e7ff0b5568e2e98a1701e487760b5328c9","datavalue":{"value":{"amount":"+0.8432914","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":"Q4027624$B9705F68-7CCC-470B-8680-41720977F519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa401530e3afa6107283e7baf30024ac0b085c4","datavalue":{"value":{"entity-type":"item","numeric-id":3376920,"id":"Q3376920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"427f56c46456a6e5030c240d4c80ad76f1acecee","datavalue":{"value":{"amount":"+0.8411373","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":"Q4027624$56668F74-7D64-4017-965E-D5E5CE3EA0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cbe594c09ed759941b224f653105f5027c5e699","datavalue":{"value":{"entity-type":"item","numeric-id":4452555,"id":"Q4452555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db2d45d65fdf990fae9b79ffe81cf481d03be1f","datavalue":{"value":{"amount":"+0.84007686","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":"Q4027624$5C1682F7-C1D5-44EC-98E3-5528132238AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4027624","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4027624"}}}}}