{"entities":{"Q1398910":{"pageid":1409650,"ns":120,"title":"Item:Q1398910","lastrevid":48149632,"modified":"2026-01-03T19:15:36Z","type":"item","id":"Q1398910","labels":{"en":{"language":"en","value":"Development of communication protocols using algebraic and temporal specifications."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1961807"}},"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":"Q1398910$44F64EEB-70FB-4F34-B27E-AC06D42D060D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3ae9dce05bb1fff7771ad4b641b31df5bceaabf","datavalue":{"value":{"text":"Development of communication protocols using algebraic and temporal specifications.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1398910$E510DD89-EBD4-4DF3-A9C5-932D6C279FAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e6f34412aecc4d5c4fa2627fd17453b9c74b410","datavalue":{"value":"1056.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398910$072929C4-432A-430F-BD1A-88E963F5F41C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c861b2e3499bb82d4fa4af1c09834a72a240373f","datavalue":{"value":"10.1016/S1389-1286(03)00215-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398910$275EE0ED-D0C2-4DDF-AE6A-3EB8FF5DA25D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab64592fb12a8b737bc8b4d8cb62b5218c443fe","datavalue":{"value":{"entity-type":"item","numeric-id":510998,"id":"Q510998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398910$83D7D234-9910-4E31-AE9D-108CA1C0F982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb7f070e6b07a0173f14bde227f02429cbec1ff3","datavalue":{"value":{"entity-type":"item","numeric-id":578897,"id":"Q578897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398910$3D74EB94-1CC8-49B2-BFD5-FF3467C8D02D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5b6d2e589e4e15465d745ed9cba11a5a86e282","datavalue":{"value":{"entity-type":"item","numeric-id":551683,"id":"Q551683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398910$23A44753-70A2-4326-9A07-49BF02F66886","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8675d4e82e5e7ab948eb20cb416d2e93a38ea5aa","datavalue":{"value":{"time":"+2003-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1398910$EFBBD1FE-A841-4F4A-92B6-F1DD66499E4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398910$E9AD7C43-C9CF-4174-8389-0DFADC2E5B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398910$0A690415-B98E-4153-B0B6-300A30E76E8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7b0acaa12b9a9c395fbc14e4d5e5a8e573e7a0f","datavalue":{"value":"1961807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398910$C1777D2F-1967-4414-95F7-F96E89FFE0B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fecf5eda756e77a744595577de2f1d0044e31196","datavalue":{"value":"Communication protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398910$94C056FD-3D8C-45CA-BB36-3078815F4A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7cb17deeadb4485c294ca122c4230bb1c36aa00","datavalue":{"value":"Formal development","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398910$94353028-B3D5-4B7D-8E7E-92977EE01EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d02dd1a2dfa11167160686287ff03893b98091d","datavalue":{"value":"Temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398910$146D9BC6-D48B-4D59-8B2E-1944831FD5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bcc1f7f8e64b27f20ae57873ca5035708d429aa","datavalue":{"value":"Algebraic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398910$CB3C93FF-2866-4639-A926-5B5DBD7B0C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398910$1AEAEFDE-451A-4593-91C8-B0207D86BFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b6076f83f46be0c4964ddd160af63ae559928f","datavalue":{"value":"Stepwise refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398910$4F36325E-6416-48B3-BD34-7A7E902674E1","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":"Q1398910$CC42830A-C9F4-4223-AEB0-1A3724F3F486","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c1e56e16681a784c91d088cfcc246158f680247","datavalue":{"value":{"entity-type":"item","numeric-id":2729667,"id":"Q2729667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc9f22929cd6cb999aa7960abbc3840b86c85907","datavalue":{"value":{"amount":"+0.7896444201469421","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":"Q1398910$1A732167-C4CE-4DA7-B8D2-31C14A45AF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ddef41592952b3a794f4ba2e4feb2f65f021c3a","datavalue":{"value":{"entity-type":"item","numeric-id":3341874,"id":"Q3341874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd9bc96211a0085352ae71b34f0af9acf1e3980","datavalue":{"value":{"amount":"+0.7891209125518799","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":"Q1398910$2D3C6FD2-3289-4324-B463-F28C919880D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1aa0dfc6220dab4ec63596f2eaa2e13529be64","datavalue":{"value":{"entity-type":"item","numeric-id":4208578,"id":"Q4208578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc70a44f7a7da7ce34baed3d8649dcfa386b7cfb","datavalue":{"value":{"amount":"+0.7725930213928223","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":"Q1398910$8566D2F2-472D-4370-9747-A0B3CAD6999A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3518961eacd1dd62db3b9b3f1205b3bdf43a3f3","datavalue":{"value":{"entity-type":"item","numeric-id":2265806,"id":"Q2265806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1521a902736d48c64276ef85d86a358ea5e63645","datavalue":{"value":{"amount":"+0.7617543339729309","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":"Q1398910$0F31775E-13EF-456A-8C14-8814A5A23BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82a214d31cab3b5891cc4c6ce69743c44e0d66e1","datavalue":{"value":{"entity-type":"item","numeric-id":3700808,"id":"Q3700808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"becbf2f818a34de9e033d7b57cbfee3ddbb51a2d","datavalue":{"value":{"amount":"+0.7484582662582397","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":"Q1398910$05328A3C-8886-4CB3-83B1-DA97C6E5527D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1398910","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1398910"}}}}}