{"entities":{"Q4364371":{"pageid":6393970,"ns":120,"title":"Item:Q4364371","lastrevid":46511841,"modified":"2025-12-24T22:50:25Z","type":"item","id":"Q4364371","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1088024"}},"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":"Q4364371$A8D0FB74-B003-4FB5-AF27-949A2AA96A20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8542fb107a8219b9fca54d074f85c4c4663eb1c6","datavalue":{"value":"0884.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364371$205AAB0C-A9B8-4E92-910A-5027CE569BC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d4ec5efe6a019f0f43d27add0ac0e9917393300","datavalue":{"value":{"entity-type":"item","numeric-id":218988,"id":"Q218988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364371$FB94C98D-E95E-4ABE-B95B-5A0ACEDFC5DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"642c03e106b7580fbefdce7150af6960573fd3b8","datavalue":{"value":{"time":"+1997-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4364371$77F87DB2-E6BA-4E59-8E8C-ABE7CE539A35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364371$81FF928F-3532-4C6D-A948-3C70B0A25429","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"878db27740dc98cfd98f145b1d34828698495205","datavalue":{"value":"1088024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364371$F6213E3A-98A7-4F3D-BBBC-D02DDF741C1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"791efadf0d34930138cd00634aa1a29975d9d8df","datavalue":{"value":"higher-order abstract parameterized data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364371$513E3EFD-5EA4-489D-A307-21132D211C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e23d7b00d71007493ec01ddcdfa4d719359cde6","datavalue":{"value":"parameterized higher-order equational specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364371$82438E84-B68B-467E-B5AB-A8DF70CAE8C9","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":"Q4364371$8594FAFF-9880-414C-97F4-D19C8EC01993","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"927b8e404dc7ecc23e06ab2cf2c90d88a36a9ae7","datavalue":{"value":{"entity-type":"item","numeric-id":4847374,"id":"Q4847374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e8ac21296173d72cda2d437bfbf951624c91593","datavalue":{"value":{"amount":"+0.8285781741142273","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":"Q4364371$F7D8398E-8F9D-4DD3-90A9-3289DE6E80C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c076049921ba69fdc841933c89532c018c305b6","datavalue":{"value":{"entity-type":"item","numeric-id":3809236,"id":"Q3809236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b707c702c299c495cc8f9a985fdf48af6779c1","datavalue":{"value":{"amount":"+0.7900075316429138","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":"Q4364371$D6599AF1-6822-46DA-8D34-9BBF0A0EA324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd1ef40a1613bffb59dbc7a2d130026c42fea38f","datavalue":{"value":{"entity-type":"item","numeric-id":1323357,"id":"Q1323357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa997f3e4fca6f31151c9796c4ec88993d199478","datavalue":{"value":{"amount":"+0.7869850993156433","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":"Q4364371$1AC4D6FB-66FD-4C47-96FE-2A5317233CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5129704de13777968bdb120db00d55ae91eb69ff","datavalue":{"value":{"entity-type":"item","numeric-id":4493910,"id":"Q4493910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e97005cc7208e9e4aff7a050ba6e2f20afac700","datavalue":{"value":{"amount":"+0.7799306511878967","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":"Q4364371$6C348350-C88A-40FC-83B3-A1FAD34485F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4364371","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4364371"}}}}}