{"entities":{"Q1583247":{"pageid":1593987,"ns":120,"title":"Item:Q1583247","lastrevid":72720321,"modified":"2026-04-14T06:58:12Z","type":"item","id":"Q1583247","labels":{"en":{"language":"en","value":"Detecting equivalence of modular specifications with categorical diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1521729"}},"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":"Q1583247$821C3418-2A27-41D4-9683-967A7FBFC2C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a71120c6e1e82470090ada9b428e1fdd1c86155e","datavalue":{"value":{"text":"Detecting equivalence of modular specifications with categorical diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1583247$ABCC5F16-A4B6-4CF9-9E38-105A161CCA8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f9e92c87b30b59f8bb814c7ccc62bdfc7855c38","datavalue":{"value":"0949.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583247$7D9D8A1E-5DC2-4F00-B21D-5E92A0B3C943","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64e53c0dc92fa18c67f31eb87473ddd2459181c4","datavalue":{"value":"10.1016/S0304-3975(98)00232-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583247$7E88F113-9194-480A-83EC-13E41E718AF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69696eaa5721d59ba417f0a3d5ab32eb28275184","datavalue":{"value":{"entity-type":"item","numeric-id":1583246,"id":"Q1583246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$859760C5-DD54-4A57-B2BE-A31CFD5388EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$C6CD1FF8-5F35-41AC-B84D-4A030DD25371","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ccf67db9ec606552e3b39a88e0b26e8e698006b","datavalue":{"value":{"time":"+2000-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1583247$2112C834-0EE3-43AD-8B46-8DB13B7FEE46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583247$6C17C1AC-64B7-46C5-8311-3C788EF404A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9e1c7fe9276dfbfa5413dc928963fab566b6856","datavalue":{"value":"1521729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583247$FE43D728-1A70-45AA-8ED2-C5D52EE826E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcac577fa708dfca6d528e19041fef3607f3d2db","datavalue":{"value":"modular specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583247$6A9E1E52-81F0-476A-B97D-A016AA15BFD5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"feb4e459d2abea7714a32144c0ab27240e9c04c9","datavalue":{"value":{"entity-type":"item","numeric-id":23655,"id":"Q23655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$2CD303DF-ABEB-4C59-B1E4-1F919740ED39","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":"Q1583247$3D750B9F-0E7E-4EDF-B8ED-875F930EB8CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$CCD75099-B93C-4C12-8A19-07C3BF6C6FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92bf9d4a040e5f2508221f42a685ff47ea6349bb","datavalue":{"value":{"entity-type":"item","numeric-id":5096762,"id":"Q5096762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$185B34A7-998D-4D08-AC35-7D7FC4B3E2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1e65078ac556e120790c1619c520cc83c6ebf7","datavalue":{"value":{"entity-type":"item","numeric-id":3695436,"id":"Q3695436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$6A72C4E4-2EC2-4B03-9607-72CE38288440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6919ba84c94face972c4fcbaccdc5058745cefc","datavalue":{"value":{"entity-type":"item","numeric-id":3906394,"id":"Q3906394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$FC943770-FE9F-48E2-9E6E-2A28408F6832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$7501B95E-E210-46FD-9103-82398F0529A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f2e13ee031f0024fbfaebe14a5a4b83f6ddef9","datavalue":{"value":{"entity-type":"item","numeric-id":3984290,"id":"Q3984290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$156FA36B-1459-4309-8EBD-F4AE1A39926C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5b96f78819f16e6da3d0d9f78aaee23839b599","datavalue":{"value":{"entity-type":"item","numeric-id":4302336,"id":"Q4302336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$65F30EF2-1185-4C26-9420-62AE231723D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d88c6e648af1e6ea5f97f3099e54c273c3553ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4302337,"id":"Q4302337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$C5279FBA-8FC9-46B2-9074-25B617816BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6adcf3ae3885ce0e3df37091d3e2c5114768a17","datavalue":{"value":{"entity-type":"item","numeric-id":5586439,"id":"Q5586439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$A2AB569D-7DD4-4749-B2FE-963204002AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1c181b369b174d40b17ae7585ab3312d648473","datavalue":{"value":{"entity-type":"item","numeric-id":5592283,"id":"Q5592283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$C1EC6F77-0236-4504-A94F-D17CFFC0055A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc779c732e6ec778a64a8f3daf9e440b6a85273","datavalue":{"value":{"entity-type":"item","numeric-id":5044722,"id":"Q5044722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$71610754-72F4-465B-BED4-CBA555648A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$271CD5B0-93E3-408E-8991-6B4538E6EC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf65c22bfb8a5399142873d9e1ac0cd7f9ef33c","datavalue":{"value":{"entity-type":"item","numeric-id":4017459,"id":"Q4017459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$75766065-F495-42D2-89AA-EDB9384FA1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca897a8c41bcaa8d142a48f17d1f2b052c9612d2","datavalue":{"value":{"entity-type":"item","numeric-id":3332238,"id":"Q3332238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$3C30A689-2610-4AAC-988A-85DADDD7F7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$93EB5F44-5C59-4AD2-A603-2DC9CDB47198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$6167A0CD-2DEE-46D6-A4C6-C493639CA2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$A7DA4FCE-20DE-45B8-9927-DBAF4B99FAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f170d1bf622491cb6b4b793c7af31a789e14e59","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$B0FF075D-978A-446D-87D9-393FB69C2B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de0d34f5be8ed11ca8d8f96222d1a7b2fb278d92","datavalue":{"value":{"entity-type":"item","numeric-id":5096385,"id":"Q5096385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$CA9AC6C5-E32A-4AA2-B60F-F658AC06A919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0bd80e70dd130246f24fb3da749234f7501d6a","datavalue":{"value":{"entity-type":"item","numeric-id":1183597,"id":"Q1183597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$8C8C4C7A-739E-4D62-8B4F-C64F24C575C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"587b6f997f5f6cb548a8eabdff7b6bc8cc2e9c65","datavalue":{"value":{"entity-type":"item","numeric-id":3470629,"id":"Q3470629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$7FEFEE43-A4F7-4EC9-833E-2F30DB9317E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"818fdddfe8aa20a2513f81442580770b66dc2c0e","datavalue":{"value":{"entity-type":"item","numeric-id":3777431,"id":"Q3777431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$AB154049-D68C-4EA9-879F-8663CCB48B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c64aa77167c6580cd7c8c676f0c865faa32857","datavalue":{"value":{"entity-type":"item","numeric-id":4385539,"id":"Q4385539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583247$A14B2A03-151C-4908-92BD-0E5AE16867BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d8e24e890578ca64a3bae88d4496843ac86ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4510453,"id":"Q4510453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d88cab8236d803c48d13d8a0381bdf6b27f66f9b","datavalue":{"value":{"amount":"+0.9104852080345154","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":"Q1583247$331A03C1-D0EB-4E23-9B5E-FE2162107066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b22668ef2bd66cdbfc2afe6b0d82471d4848e11","datavalue":{"value":{"entity-type":"item","numeric-id":4811557,"id":"Q4811557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d88cab8236d803c48d13d8a0381bdf6b27f66f9b","datavalue":{"value":{"amount":"+0.9104852080345154","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":"Q1583247$E512692D-A369-40F4-9E76-58C2C996634F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41267bf5d8017af6e5df23166fb3a5d9080b0d6f","datavalue":{"value":{"entity-type":"item","numeric-id":5096385,"id":"Q5096385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c5a56b5c33115191eb89c072953810dc40bce6","datavalue":{"value":{"amount":"+0.9027763605117798","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":"Q1583247$BB962DA7-52CD-496A-AB06-D222A7A4C0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86dda3cf414ff1111b461781c71eb8339d187b7d","datavalue":{"value":{"entity-type":"item","numeric-id":4525557,"id":"Q4525557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c9f98484103ba485a1b1a10c2644f552242786","datavalue":{"value":{"amount":"+0.8837005496025085","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":"Q1583247$E721E12E-0762-441E-86FB-D51F3D44B277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc90fe97f2808fe2758ee3d71206327f78bac473","datavalue":{"value":{"entity-type":"item","numeric-id":3718136,"id":"Q3718136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"526c6f6c1c6f303bb7dab70bd4e793dbaf00db7d","datavalue":{"value":{"amount":"+0.8812693357467651","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":"Q1583247$049A4483-B819-4FAE-924A-8720F596BE7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Detecting equivalence of modular specifications with categorical diagrams","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Detecting_equivalence_of_modular_specifications_with_categorical_diagrams"}}}}}