{"entities":{"Q4222925":{"pageid":6252526,"ns":120,"title":"Item:Q4222925","lastrevid":46602972,"modified":"2025-12-25T04:42:32Z","type":"item","id":"Q4222925","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231604"}},"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":"Q4222925$CE3C93DC-F1FC-46F1-A4A4-9889E242E3C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08e8addfb2c428b14cccf46146d045c9c2d007d0","datavalue":{"value":"0925.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222925$D6881620-3C52-4561-B90E-64E28FD3BBC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26760a556f7239e743cebed6c99bdd92225174cc","datavalue":{"value":{"entity-type":"item","numeric-id":2704323,"id":"Q2704323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222925$ED8401D6-25C1-4AB4-A402-AB1D6790C098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dd042ad138bf8d7014aacd608dfa44161d3d348","datavalue":{"value":{"entity-type":"item","numeric-id":2936241,"id":"Q2936241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222925$9C209871-6ABB-497B-A92E-A9E07760D733","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0568f48c55e62ce7d58fe24349be3b52a52a8928","datavalue":{"value":{"time":"+1999-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4222925$03294E8A-FB6E-4713-84A9-E246FCEE27DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e09e54f989217da69883b933b59e8abdf6b7a826","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=10#10002","type":"string"},"datatype":"url"},"type":"statement","id":"Q4222925$05A421D6-18F2-4B08-878D-61612B4E6139","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222925$00D79B9D-8E5C-4E0C-A0E1-DCE4239CEBCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"957c5f4027b6140e394e71618cdcea3d96e40554","datavalue":{"value":"1231604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222925$2751555E-24B5-45AE-9F02-A4A68DE4D7AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f5f3f69bf8718b5dee1f4edca89821ca8af368d","datavalue":{"value":"simply-typed functional programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222925$9B09F0F7-87D3-41F0-9968-2E31D27325E7","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":"Q4222925$7C7799F7-F127-4BE0-9000-87285FB98BAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2479d05552d9b1e285b08fd1d127a1c16e451529","datavalue":{"value":{"entity-type":"item","numeric-id":2915708,"id":"Q2915708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d633bd353b23671e259a17e188a3b5c429b34d14","datavalue":{"value":{"amount":"+0.7644635438919067","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":"Q4222925$1E9D0762-CDBC-45CB-BF31-2F3E99147837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c9ced6938c34c0a2b503c3a3b3421018d94bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1575889,"id":"Q1575889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e91db191747f12fbd9fd3752d3abaae5c220f5d","datavalue":{"value":{"amount":"+0.7468962073326111","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":"Q4222925$321E1DCA-86C3-41B9-AC06-0E1B555F05A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"777459213348351f89923332367f94851441950f","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188a821f6037eeb2875460b795e41958aeae4812","datavalue":{"value":{"amount":"+0.7445645332336426","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":"Q4222925$CD2F20EB-2A12-4E73-B328-B8C603364803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5382aead0fa5c8a0205b1bc26de14b9d794e4a1c","datavalue":{"value":{"entity-type":"item","numeric-id":964003,"id":"Q964003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47c2e7fd2e116dd97096973b9472b66af2dea72e","datavalue":{"value":{"amount":"+0.7406723499298096","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":"Q4222925$1A3D4815-3848-4CA0-80C9-54F4E268D7A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4222925","badges":[]}}}}}