{"entities":{"Q4202948":{"pageid":6232549,"ns":120,"title":"Item:Q4202948","lastrevid":47184976,"modified":"2025-12-31T22:53:04Z","type":"item","id":"Q4202948","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 408803"}},"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":"Q4202948$4C5384F1-50E6-4C4F-AD72-5BAA0D8C754C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2e0a9d94a7cc344fb6a304c7e05be837315722a","datavalue":{"value":"0783.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202948$C969FCED-D3D1-4FAA-90D5-6BA731C569FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1016c7e6217ba6f9fc4fe7e518f619aad78f491c","datavalue":{"value":{"time":"+1993-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4202948$D7A08B18-1E9F-4370-94CA-86A45BEEFFA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202948$40663C48-0A7C-4B58-B125-16F7128F7CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202948$5731853E-1CEE-46DA-A743-6582ED0CEDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202948$7571B707-0463-4F84-BBB5-5209FDB359D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcfbccded1c9bc43f9af02ebe51e285468bb300a","datavalue":{"value":"408803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202948$694DE642-5A1A-42CA-8F65-98B37DB56893","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddcb3b464aa1e6fc0a83ceaadfd15a4bee8da325","datavalue":{"value":"equational specification of algebras of types and combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202948$069875E7-650F-41DF-B022-84643782AF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2a3c28c189d0858396870c0af5fd27eff28f8e9","datavalue":{"value":"initial model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202948$4AB6AE6C-F724-4542-8B2A-5D4F939E48F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f978db9191abb77eb54851bb7d4538360bd31763","datavalue":{"value":"type assignment calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202948$6DBE2B8D-0ADF-445E-91ED-97BA962A8E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28c58056d29ddf1f381fd1a5ee2ece302774265c","datavalue":{"value":"equational calculus for type specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202948$C3C47730-A193-46B4-B9D9-C7170319C340","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac0321a6b6d5d899ea1927f671b46847c41412c0","datavalue":{"value":{"entity-type":"item","numeric-id":671656,"id":"Q671656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4202948$3066F957-8313-4E6A-AC59-95D077DD585B","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":"Q4202948$DE3CDECD-C947-4F41-B365-9BF67CA11FFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98dc4fb4f8470bf3139adb0da9242cfdc057ad56","datavalue":{"value":{"entity-type":"item","numeric-id":1098613,"id":"Q1098613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78791f62d18a52e074793a7fdd5afd983cef57fe","datavalue":{"value":{"amount":"+0.7714561223983765","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":"Q4202948$A75148BF-C815-42F1-8B24-22ABF580681F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7eba7b04dd5f01cda67c9197e6febeb9fa4a63","datavalue":{"value":{"entity-type":"item","numeric-id":3028333,"id":"Q3028333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e33511d0275534553862b6cbe104a0051f4a37dc","datavalue":{"value":{"amount":"+0.7699167728424072","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":"Q4202948$5C58BE91-CCED-47B5-8B8C-34D050CBAE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"105ed4cc62d9941d898f9a1461df34b8c0f49b35","datavalue":{"value":{"entity-type":"item","numeric-id":1102736,"id":"Q1102736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c58b2a7ea5d2585824876abf3b0b21c1898f76a","datavalue":{"value":{"amount":"+0.767013430595398","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":"Q4202948$D868A9A9-C464-49F1-9C47-4A8CA3F0526F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47c81d5d895c6268fdbf094a460d0fcf408f7af","datavalue":{"value":{"entity-type":"item","numeric-id":3142162,"id":"Q3142162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a3ba8addf125b843b3c8ca55d18f599f2ab8bb","datavalue":{"value":{"amount":"+0.7601408958435059","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":"Q4202948$6E5D06AE-B3A0-4FCF-8880-C61CAA75998F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f5fc84df065ea961925d80b5c14cbba80d5d3ff","datavalue":{"value":{"entity-type":"item","numeric-id":5881172,"id":"Q5881172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"871f7f4a17f210970281b3b73c994194c11a9ec1","datavalue":{"value":{"amount":"+0.7483832240104675","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":"Q4202948$5E7F161E-5D70-4C9A-AB3F-ACCD81FBE073","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4202948","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4202948"}}}}}