{"entities":{"Q5935933":{"pageid":8112735,"ns":120,"title":"Item:Q5935933","lastrevid":101992712,"modified":"2026-06-06T03:16:05Z","type":"item","id":"Q5935933","labels":{"en":{"language":"en","value":"Industrial applications of software synthesis via category theory -- case studies using specware"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1612574"}},"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":"Q5935933$660D7704-1EFA-4DE1-9EDE-4C4CC899945D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3f1bce79f76a003914e9640ba2b9f09937ac93a","datavalue":{"value":{"text":"Industrial applications of software synthesis via category theory -- case studies using specware","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5935933$A980AA53-8FC2-4692-9B41-54F360110C08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"217a4aea8e99f4ca7cafb9ec36726dbf7dce6a3c","datavalue":{"value":"0963.68559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935933$DE67D0C5-60B9-49CE-A5A1-821B7269CD47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7369ac2db1f5721129c696e4da64b0708307cb38","datavalue":{"value":"10.1023/A:1008759623876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935933$88F63A38-6522-4D0C-B8F7-4A4A41974B5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcbe10a5fdb94bc84c83e33679ac5fc8287e6a8e","datavalue":{"value":{"entity-type":"item","numeric-id":185909,"id":"Q185909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935933$DB8725B0-8355-4620-B681-A00A4E9985D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87efb9ebdeb9f7f3b34cf8e674550e67b6366a3b","datavalue":{"value":{"time":"+2001-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5935933$B02E28CF-4800-4B9A-B150-983571410BBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935933$32D8650C-648E-4C1E-A20E-4C10E6676ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935933$23F6A4AB-0C79-4D4A-9757-043625990D43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3965b0b8a26eb387c0e172e751643e0e47a7684","datavalue":{"value":"1612574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935933$7031FA01-5992-437B-8FA4-ACADD81F08F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935933$5ADEA2DA-B83C-4662-AA9C-6A5494EC35FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d875f1b7e5ed9bbd09b8d83e72b3a0bc266a2946","datavalue":{"value":"software synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935933$B7A5D6AD-4738-49F3-B82D-B9AE6BB18E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1545110826a738df87f908dfea74600385325a24","datavalue":{"value":"specware","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935933$E039FDE0-87E4-4884-9260-0EBED2532F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"875324be110d712f0a9b33d503ad34f0a8134c01","datavalue":{"value":"systems engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935933$74E2C5F8-1470-441C-A83F-ED09387B7BA0","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":"Q5935933$FE549F64-2EE8-4568-8CBE-B271975F0605","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":"Q5935933$48ACFF8D-BB69-468A-A6EE-DA737CDB679F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbafb47f84c59db4968261fd385e64b6f93d428c","datavalue":{"value":"https://doi.org/10.1023/a:1008759623876","type":"string"},"datatype":"url"},"type":"statement","id":"Q5935933$E520D10E-A17C-4721-86FD-D733C40AF237","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0a2a02c9c79f209278212dfdd4a35d1b7b4a3e7","datavalue":{"value":"W1534437842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935933$D3573065-4071-4944-B03E-AB5FAD8C832C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa53bcf73205f0b3242454deebac71c41a675b7c","datavalue":{"value":{"entity-type":"item","numeric-id":2767196,"id":"Q2767196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935933$C93A5408-C915-496A-A136-EB5AB021FC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61dd5c7e48c7d1fd9a5481b264ea95740338df9e","datavalue":{"value":{"entity-type":"item","numeric-id":2185662,"id":"Q2185662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935933$5A596DA2-C0C6-4160-8FBE-3ABCE267EF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115486ae6590d2a72be4a95e53699381c9882908","datavalue":{"value":{"entity-type":"item","numeric-id":933890,"id":"Q933890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935933$F3252224-7CCB-4CDA-818D-4CC63E452BFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6250cff584a9657f700c09e279afe5bb2518b13","datavalue":{"value":{"entity-type":"item","numeric-id":2767197,"id":"Q2767197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049d28f883740a06f6e705f9142c0e0ea6832c3e","datavalue":{"value":{"amount":"+0.8461570739746094","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":"Q5935933$7B89A4E0-7D88-49DB-8CB4-42A41F529539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5acb3daf4c21262fa9fc7d4fc08a52aff1f7777e","datavalue":{"value":{"entity-type":"item","numeric-id":1383220,"id":"Q1383220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049d28f883740a06f6e705f9142c0e0ea6832c3e","datavalue":{"value":{"amount":"+0.8461570739746094","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":"Q5935933$DFD68D40-320D-4153-94BF-4BE8F2972F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f32fb5dfb39c81b8efad90a5030520c8aaa7efa","datavalue":{"value":{"entity-type":"item","numeric-id":289772,"id":"Q289772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b550500df7eceff7a5aaa0c770493c6f7555da93","datavalue":{"value":{"amount":"+0.7435106635093689","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":"Q5935933$6C9B97E8-8EDC-4539-BDEA-889F49AED37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4762a320672a97515ea7a6509db78ef7b2c79264","datavalue":{"value":{"entity-type":"item","numeric-id":3160259,"id":"Q3160259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea0993a4ee0a74fc2ae70ec1381a679d2c8986c","datavalue":{"value":{"amount":"+0.7406954169273376","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":"Q5935933$FD11A07E-C89E-4C7C-87C9-3D0085C64CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314b081c239b2b1304e6ad46c61a84b3b422736a","datavalue":{"value":{"entity-type":"item","numeric-id":4499220,"id":"Q4499220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f08c34cffe27b89e37a9f261eb2962132813637","datavalue":{"value":{"amount":"+0.7150837182998657","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":"Q5935933$45F529FC-8DDA-47E4-8F6F-CFA87513CA97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Industrial applications of software synthesis via category theory -- case studies using specware","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Industrial_applications_of_software_synthesis_via_category_theory_--_case_studies_using_specware"}}}}}