{"entities":{"Q5195264":{"pageid":7224836,"ns":120,"title":"Item:Q5195264","lastrevid":92113349,"modified":"2026-06-05T00:54:05Z","type":"item","id":"Q5195264","labels":{"en":{"language":"en","value":"Initiality for typed syntax and semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106500"}},"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":"Q5195264$B20E9486-C05A-4314-951E-4AA0C8897914","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77a14b56d2476c844b616cfb24e0bee70a943c51","datavalue":{"value":"1451.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195264$D14877E3-D1C4-4523-B832-7F9BC7E16C10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebdd912b169a139b5481c76e8978f5a1ad20396","datavalue":{"value":{"entity-type":"item","numeric-id":2319988,"id":"Q2319988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195264$81D8C509-95DA-4D51-9CD6-74DD2C731D7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e86f4a04633c16a30a7b65e0a3f44b477c2fa3c","datavalue":{"value":{"time":"+2019-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5195264$B90D4A0C-A1E2-4ED6-9F38-83571E9A6256","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60cbe3e86f7dfc0755f2968d53115fdf6781dc6a","datavalue":{"value":"https://arxiv.org/abs/1206.4556","type":"string"},"datatype":"url"},"type":"statement","id":"Q5195264$24C68908-490D-436C-BF49-26ACC560F1DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195264$D933E470-D350-44F0-8A45-2B639B39B751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195264$CAF8C7F4-D0BE-4A8B-80F0-738A84D994B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195264$36B4FED5-E995-4CB0-88DF-29F68A2A5489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195264$FB15EF01-89B0-4496-AC3A-E8B299876790","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0617aba6275a8d29f8e9b35efa78e475345675c","datavalue":{"value":"7106500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195264$11A6FB83-87AE-4FCC-B314-DFB3506A7F4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e460a7cb7b85c54d9a9377aa7a58f5caf8936c76","datavalue":{"value":"relative monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195264$6EFFDDEF-3069-439D-ABDB-1D3BD2BDDA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195264$8CF60759-17AB-479F-B0B2-46750B57C82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017b09619e648d42f88d6aeab76471f5a0b02cec","datavalue":{"value":"initial semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195264$7F5D3965-430D-4940-BB5A-2868D43EA1C7","rank":"normal"}],"P1463":[{"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":"Q5195264$ACD4C9E3-9053-4BFD-83B6-EDEBD623B6D7","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":"Q5195264$9E9C4895-E9A6-4B53-BAAA-6B0D7ACD6D4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e371936c63b30fff0cd34fe495a85d860a533b1","datavalue":{"value":"W2774361034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195264$56BFDB52-4E35-4E34-9F28-FE7DA70F0393","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5127e539948f856f0ff22a94d6ac58b5f1b15afb","datavalue":{"value":{"text":"Initiality for Typed Syntax and Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5195264$8F86DFBB-FFD8-4EBE-8ED6-555DE70FF244","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a37f688ad8795086b1586a4fad97ba264924ecb3","datavalue":{"value":"10.6092/ISSN.1972-5787/4712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195264$9D41F822-A992-4E3D-AA7D-BDFD82A12596","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93509e17828976e09a61fd4ac19decab76c73283","datavalue":{"value":{"entity-type":"item","numeric-id":2915022,"id":"Q2915022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e2fddfa5903a510382e9232bb3ab0368107bc4","datavalue":{"value":{"amount":"+0.9501804113388062","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":"Q5195264$CE088B97-061B-48EE-AC95-2015A0D93AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5b3ebae18d1b2e386d2528f6903ed57988a4316","datavalue":{"value":{"entity-type":"item","numeric-id":2887056,"id":"Q2887056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18cd45bfcbfd1002abce3f41337f85392f169fc1","datavalue":{"value":{"amount":"+0.896661102771759","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":"Q5195264$DD29A745-CC7B-4026-902E-4E6C8D08B2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9332ae91f3d1f6976a83c9c1e2cbc2bfea85cd1","datavalue":{"value":{"entity-type":"item","numeric-id":5376643,"id":"Q5376643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46395b84842a36f40f738bc254f4a062f360b8c4","datavalue":{"value":{"amount":"+0.8848533630371094","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":"Q5195264$46B9B22A-D130-4A6F-90DB-4307609A7091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5e9318dc02545f8c9ca0d7f04632564ba0ade6","datavalue":{"value":{"entity-type":"item","numeric-id":5741555,"id":"Q5741555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2afd67ecfd4c862bb94ecd535a086b6a50e75e0b","datavalue":{"value":{"amount":"+0.8149778842926025","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":"Q5195264$C25AF022-6D8A-4506-BA65-9E9D4B210AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e96f86b1d42820e56e89a9c5aff7e04de83089f4","datavalue":{"value":{"entity-type":"item","numeric-id":5195243,"id":"Q5195243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286c19252f733c5f150bed39b2d09b950941c13c","datavalue":{"value":{"amount":"+0.8141404390335083","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":"Q5195264$FC2C87DD-3C35-4CE3-A779-97682515FA6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Initiality for typed syntax and semantics (scientific article; zbMATH DE number 7106500)","badges":[]}}}}}