{"entities":{"Q1322845":{"pageid":1333595,"ns":120,"title":"Item:Q1322845","lastrevid":67173261,"modified":"2026-04-12T15:47:07Z","type":"item","id":"Q1322845","labels":{"en":{"language":"en","value":"Constructing specification morphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 566067"}},"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":"Q1322845$FC706203-026E-4397-A05F-90061DDEF5A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf0e4a4050039077e58580b5d58b29dd39621dd9","datavalue":{"value":{"text":"Constructing specification morphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1322845$D284B1E8-D777-4208-BF39-64165DDC3B39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e4f958446ea1451fddeab26806dd4fbd7653214","datavalue":{"value":"0804.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322845$96C75861-E6B4-4AAB-858C-CCE1030F146F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c13296fd2bb7440aad4fee93fe44efc75bac3bc4","datavalue":{"value":"10.1016/S0747-7171(06)80006-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322845$FC836866-4B19-49C0-BE8B-CAEAB857F20A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83cdf2736633b53c2b52e1429b78600859217893","datavalue":{"value":{"entity-type":"item","numeric-id":760205,"id":"Q760205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$14D420D1-95A0-46F6-87CB-1FCB9541863B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$DC82E8EA-ADA3-453B-9BA3-E97E94B4779A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d761ff453b75a21293ef58d91cb67946213957f7","datavalue":{"value":{"time":"+1994-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1322845$8CE385C9-A510-429A-AB66-05D20630BC5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322845$18C95C64-2BFB-425D-B28A-D52EE683AD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322845$63E237C6-5073-48E5-B12A-EE5E82BAE3D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2069d68c8ee77939732524b009dfdd434c06a00d","datavalue":{"value":"566067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322845$68205DA1-B328-4881-B9ED-2193186FEB4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322845$93B45E03-AD3E-47A0-BE5A-C6859B0FE54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8241f7b74cda1977afc141cc1c92cd7c5a95db0","datavalue":{"value":"software development","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322845$334EA903-B352-4C7F-811B-1910300E6915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7af1f58c335ee3dd38a72a62691390e09c82f1f7","datavalue":{"value":"specification morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322845$D4B454CC-47EF-420D-AACF-F214A379316C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322845$78863378-FE9A-4683-B36D-8BA35E7029B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322845$E0F4BD43-F876-4402-BA54-BB69CABB2B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d9c0e430db329c72b61f0d26eed426c17ca9fef","datavalue":{"value":"source specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322845$6A2D05E8-F766-4F14-B661-BB991FCD5FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a91686b786ccf10b18d57a44c0fa4f9d974b18c","datavalue":{"value":"unskolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322845$0AEAC832-7F4F-4180-9789-D381370E94D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fff620748fc1300e8daf7bf54e7bd8d057610ef","datavalue":{"value":"connections between specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322845$E6168BBF-B953-4D75-B101-065B039A79E7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$2552FCBE-966A-42DC-9307-295414C64D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7abd31d6fb75aff91f2dc8613d5ee6026ea07be","datavalue":{"value":{"entity-type":"item","numeric-id":34463,"id":"Q34463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$3C53CB96-5818-40A1-91B0-3F28DE6218D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$14D30732-C892-4AAC-B5AC-C7BD5B5EE658","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":"Q1322845$19CA531A-2C17-4931-8A64-02C7CC74805F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"993a0290c8b5d5862b3c4459907f50d914c2e0e5","datavalue":{"value":{"entity-type":"item","numeric-id":3763565,"id":"Q3763565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$FECD8D1A-E507-493E-8B89-3A07101A5A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a962d0a7be8a0ba0ddc1bcd8d1ce60fa548737","datavalue":{"value":{"entity-type":"item","numeric-id":5670174,"id":"Q5670174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$637FBE01-36A3-4A09-A7AF-377326732BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"715a321cfec84df9fa9f2ee50c176f70cf073ba7","datavalue":{"value":{"entity-type":"item","numeric-id":1059063,"id":"Q1059063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$C310CF21-67A8-4478-9128-9E8D934D3B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810521b66dcaf77930b207eb0e5ca579b224f2bf","datavalue":{"value":{"entity-type":"item","numeric-id":3995131,"id":"Q3995131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$F881260B-B080-4F91-B38B-282FC189DFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$DC63C1CF-E38E-4AEE-A596-B7C6ADAEC66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$5F330297-D22F-4A46-A23A-BA5508A2F7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$BB4F6B7F-5DC6-4B09-8935-77CB2449AE3C","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":"Q1322845$ABD67D4A-6E0E-4E58-8095-2117B1C66874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b333869fe483ea43fd2b8640b2fdfa1360b3169","datavalue":{"value":{"entity-type":"item","numeric-id":1243118,"id":"Q1243118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$8B9896A7-ABD8-4A69-BD6F-9C1ADAA7B876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d763c7e8290a5cd6e50548716b378f22c4aa37","datavalue":{"value":{"entity-type":"item","numeric-id":2547494,"id":"Q2547494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$A3BADE8F-330E-4732-A74F-4D1EB99566CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d284688897c74b3e0cbeb95e2bfa0408f9c5fd","datavalue":{"value":{"entity-type":"item","numeric-id":772219,"id":"Q772219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$603BFD83-E670-4CC5-9E64-0449A28F2D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ad21c4a3a098255dd2efb1e77599202b4348a9","datavalue":{"value":{"entity-type":"item","numeric-id":3690194,"id":"Q3690194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$AEE6765C-CA8B-4492-830E-2432F0C7A1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ad2ed6b7262bc4aaf760dd16acb7d192abb88c","datavalue":{"value":{"entity-type":"item","numeric-id":3777497,"id":"Q3777497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$49F9444E-35A8-46EA-9F1D-F24FEF9B7377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e522894023168ae81946c07c47abbf4e9f6dcf","datavalue":{"value":{"entity-type":"item","numeric-id":4040458,"id":"Q4040458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$EA690894-B166-4703-86B4-77DA4B40A0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aeaa612994b5e9a2092feccaf55cd8c93f37bbc","datavalue":{"value":{"entity-type":"item","numeric-id":920968,"id":"Q920968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$819691B2-7D31-44A8-8587-B35C86E4C94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed7396d33acb5bffa89e4a8552f1e6bdaea2114","datavalue":{"value":{"entity-type":"item","numeric-id":3996676,"id":"Q3996676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$965D9869-72BE-41AB-85D5-BF0E82E69BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f2e9eda5633627f3277aa943a0eb055885cf8cf","datavalue":{"value":{"entity-type":"item","numeric-id":4725720,"id":"Q4725720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$18C6DF37-8B1D-473B-87CD-319F0278E24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fb92aa97215cd52dfc07da2e9bd2fd28ab427e","datavalue":{"value":{"entity-type":"item","numeric-id":1090100,"id":"Q1090100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$994307FB-77A2-4DFF-91BB-350898978CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$5A735F60-9374-4107-8E78-72DC39E335C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c457a44db8d6cfb2913d7e4e5d365ae0053f7bd","datavalue":{"value":{"entity-type":"item","numeric-id":3939266,"id":"Q3939266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$59303B13-6D4F-40A1-90E6-00059C91F74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926824938ac14585600323bdc816e7df4cbb9602","datavalue":{"value":{"entity-type":"item","numeric-id":1062770,"id":"Q1062770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$722A4703-F9E3-44AE-B2F4-586C23BACEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6659e15c68598875fe893d50af295f9d2c1d304","datavalue":{"value":{"entity-type":"item","numeric-id":918221,"id":"Q918221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$3225EC01-473E-4A58-BE46-268F9F828181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddc2813de1c5da7a28b3192ddb59b2ddc84628b","datavalue":{"value":{"entity-type":"item","numeric-id":3780495,"id":"Q3780495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322845$C7A69959-7820-4B28-B18E-47F8FBB010D6","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":"Q1322845$B3DC4CBA-7452-4276-9598-7BA3F449F9E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e61a5fd5683ed4d015ea3c5284bb2f8904d57ff7","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(06)80006-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1322845$569FB87A-277D-4013-AA5D-9979D070650F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b74cf6ec13a56062b1b5332c487a0391e91736dc","datavalue":{"value":"W2046489718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322845$D1FBDB8E-7CAF-420C-AC23-33082895B72D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271f579549c0e91d8b244a5d762a7ae9cecd96b5","datavalue":{"value":{"entity-type":"item","numeric-id":1389688,"id":"Q1389688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed6a1937ba57d43e3eed1d794681ae194f88b495","datavalue":{"value":{"amount":"+0.7674161791801453","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":"Q1322845$6239753E-F9E0-439F-B9D8-BDE582D69109","rank":"normal"},{"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":"1d1ed1e225d92de944c338f29f44eb8b6f2bab59","datavalue":{"value":{"amount":"+0.7556408643722534","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":"Q1322845$A39E70B2-1F2F-4F69-8A4C-6A429246DC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acdc20cbc7435370cb8a3fdaebe58b8f1106679b","datavalue":{"value":{"entity-type":"item","numeric-id":4390387,"id":"Q4390387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6fa4367e51770ce9cbcd2df07eb72d720ada7a","datavalue":{"value":{"amount":"+0.7490649819374084","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":"Q1322845$A4F19914-F2BA-4898-83A7-F362C8F90592","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructing specification morphisms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructing_specification_morphisms"}}}}}