{"entities":{"Q1383220":{"pageid":1393960,"ns":120,"title":"Item:Q1383220","lastrevid":68592024,"modified":"2026-04-13T00:47:07Z","type":"item","id":"Q1383220","labels":{"en":{"language":"en","value":"Applications of category theory to the area of algebraic specification in computer science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1138662"}},"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":"Q1383220$C20144F6-788E-40A3-B76E-B4B063F51F36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cbf7f503a1eaf791eeca39c8a69eecee1837460","datavalue":{"value":{"text":"Applications of category theory to the area of algebraic specification in computer science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1383220$F841E96F-F7D2-4A3D-92C5-E502B10D82C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afde7428c003ba2ee5c78979f82093044a9845b9","datavalue":{"value":"0892.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383220$3C42F81C-FE14-4AB4-A478-47EE88969F40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3a86575824ef396f64ac03b60f1aa584c628dea","datavalue":{"value":"10.1023/A:1008688122154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383220$3F697ECE-0031-4291-A5D5-4E26065EE4EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7932890ff79a7b196908702cdb1b3dc6a332d7d7","datavalue":{"value":{"entity-type":"item","numeric-id":171481,"id":"Q171481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383220$304598C9-3F31-410D-99A6-BFEF716B5E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5462f23d4dcfdded02d7cb0ee37c9e9eab503a1","datavalue":{"value":{"entity-type":"item","numeric-id":910187,"id":"Q910187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383220$7FDEC073-4025-4F50-B450-3C301C3B164B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b219dde9559cc2dbe816c2e2bdcb9870e93cabd0","datavalue":{"value":{"entity-type":"item","numeric-id":2219081,"id":"Q2219081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383220$1C18C386-7FF0-4D5A-ABAF-D3B20E15979C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383220$F41D0CC0-83C9-4168-AA1C-B3E597787B1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a328fa88899aa72e39974cb27adb3422e0e7b54f","datavalue":{"value":{"time":"+1998-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1383220$A9DDDB82-8C81-42B0-BCB2-54027F8D1F3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383220$E29D3587-2AC4-4799-9365-22798CA1F54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383220$DD36F5A4-0118-4FB8-8787-E9CCF6166C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383220$B0F39728-F547-4A6C-A32A-974254FAE029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383220$7270B7D3-7B7D-48C9-972D-19E942D14BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25fe30a6fe5285f54b3a7ea7d7e97ac0b640e4f9","datavalue":{"value":"68R99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383220$0EFAE7CA-5711-4D4F-9A88-A62E6E3D1DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383220$6D0356F1-6487-4935-A0B9-F4EFB8F1A769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e075a5a1ca77ffa965955326fd987018bc8e144","datavalue":{"value":"18A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383220$A48C88C5-DF66-4CE8-98E2-C550568B8E57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d613700a936d0ec1e012fe7d2da3b02cf295ff2","datavalue":{"value":"1138662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383220$9B13C5E2-70D3-4557-BA06-64DA4CD8FDB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383220$68CC39F2-D1FC-4F2D-A555-8FC26D15D095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29548949d2860d1136e2bd2f28d05322efa761c","datavalue":{"value":"specification of abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383220$E8C3A3B3-FE4A-4FAA-8313-FF9EEA0665A0","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":"Q1383220$C908DCE6-CFA6-49EF-9C39-4433A546EE12","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":"Q1383220$C24CB9A8-D0F9-41F7-AB53-9ABBB3669E08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f2b06fe689646e9525cb3b310fe02b7f13a5683","datavalue":{"value":"https://doi.org/10.1023/a:1008688122154","type":"string"},"datatype":"url"},"type":"statement","id":"Q1383220$D110014D-AC06-4F1C-80B3-199C6013EAA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bddbf9775497835ae293634959a652792037fb96","datavalue":{"value":"W2606499858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383220$E5FECF70-5CE4-4625-A9D3-62855441FC02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbac9604e134f4f1ade749b77739ced32c65ff18","datavalue":{"value":{"entity-type":"item","numeric-id":1059405,"id":"Q1059405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"828428119e9f09ce9ffb77cbc2d69569e3316a35","datavalue":{"value":{"amount":"+0.7982692122459412","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":"Q1383220$FC512882-6F4B-444A-ABE3-FF099CC96BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12bf00adc23c221f3e51f9a3b44b266212fe04c2","datavalue":{"value":{"entity-type":"item","numeric-id":4942091,"id":"Q4942091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36ebd8dc6039b5b15f1dac9b386e76b4db5783b0","datavalue":{"value":{"amount":"+0.7711997032165527","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":"Q1383220$0A564B5B-E7D2-47E3-949F-CC4E6EA76178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b18bc727a9da750e583e7912ae3c008039559d6","datavalue":{"value":{"entity-type":"item","numeric-id":1203710,"id":"Q1203710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a071474a3fdd01ebff61c6cfd40dd74b87a68b34","datavalue":{"value":{"amount":"+0.7589606046676636","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":"Q1383220$5FE62522-2125-4FC0-9910-399F0C16D97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93acd6d9164ba4996727ad731f37eada803be4bc","datavalue":{"value":{"entity-type":"item","numeric-id":3999603,"id":"Q3999603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96b05d9c910e1e9ff81439f48f1f1c0b5c9c3d9","datavalue":{"value":{"amount":"+0.7518892884254456","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":"Q1383220$86645EB9-DC21-4591-AAAF-AE23C76543BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Applications of category theory to the area of algebraic specification in computer science","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Applications_of_category_theory_to_the_area_of_algebraic_specification_in_computer_science"}}}}}