{"entities":{"Q706503":{"pageid":708352,"ns":120,"title":"Item:Q706503","lastrevid":48409024,"modified":"2026-01-04T15:33:54Z","type":"item","id":"Q706503","labels":{"en":{"language":"en","value":"Structural refinement of systems specified in Object-Z and CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2132394"}},"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":"Q706503$8D38BA82-24E5-4136-9130-7A0E8E60E737","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"745e1772da4adbb54f76748316fa931b78f82f87","datavalue":{"value":{"text":"Structural refinement of systems specified in Object-Z and CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q706503$859ADC4C-6A5D-41C4-A54A-5DCC54DA97B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59df62beeba6234c726f5c8387ef658c36b02232","datavalue":{"value":"1093.68602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706503$FD271B11-868C-412E-AC76-FA55AF2AF100","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa5453cc5d3a8f61d68fac093f0c59d6d5be138","datavalue":{"value":{"entity-type":"item","numeric-id":202499,"id":"Q202499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706503$FD2158FD-CD41-4599-A23E-6FE1BE75BCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a643bb4d6b134508bc8c5fad926d147e7d14ff57","datavalue":{"value":{"entity-type":"item","numeric-id":202498,"id":"Q202498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706503$D7F72FA6-6A1C-4932-BA4A-0BC86AE15372","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706503$34E2B72F-D072-4012-B6DE-DEE13C231A07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"831ff43a4969733a7698b320c2210720f63950ea","datavalue":{"value":{"time":"+2005-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q706503$A2BFEB04-5CC8-400A-8E94-C1B87E69E23E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706503$9E42B090-FFA7-4A0B-A1FD-CDFFFFDDC8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706503$462DD1A2-2382-4C2C-A5AB-022BFA8E0D28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"094e9757c91b7031558f372f67fac611a4bec0e7","datavalue":{"value":"2132394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706503$D1CB2764-CBEC-46BB-9779-B5CCA989DCA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5512f94058d449d4f635e1bd17d16ce8d367eb63","datavalue":{"value":"Integrated formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q706503$9A6B9E38-0C0A-40B2-9A8E-1035AD6D1064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfb88bac8c4975203f8913e843dc8010d041ca91","datavalue":{"value":"Object-Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q706503$D620F378-6D04-4069-A2D3-A9FD07444D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q706503$B94D7524-2B40-4D6E-A5CB-D67B5EC8A6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d7a91cce9317b5dfedb3fde9933f83259b7348","datavalue":{"value":"Refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q706503$C87CC82D-F286-43BB-AC8F-E235D540AD40","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":"Q706503$2889D418-2E4C-4202-8006-EC7B717DA278","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"973e13839059a9b23ac0ae37786b900613621195","datavalue":{"value":"https://doi.org/10.1007/s00165-003-0002-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q706503$73E074F0-C1F6-4341-9395-39040D7FF5A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9fa81283807d081204e8491561a931e4f00a81c","datavalue":{"value":"W2116136691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706503$00DBA9AC-9151-4F09-BD59-D87E398F42EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5205856607ab62c3bc2684dc0a33c9f1eb24105","datavalue":{"value":"10.1007/S00165-003-0002-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706503$EEFA7498-4D7F-414B-A279-B8563C18F8BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84990e60a6afb1919e1705ef6d8bb3eec264edf7","datavalue":{"value":{"entity-type":"item","numeric-id":4471918,"id":"Q4471918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb544aadb0e7739c4c59ac8a2a0590398b7c7f3","datavalue":{"value":{"amount":"+0.960486114025116","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":"Q706503$96650150-8AA3-43E9-9D0B-7A7471F2221E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5036f4fcdc5e6744984e85371eeff325b0c173a9","datavalue":{"value":{"entity-type":"item","numeric-id":5943269,"id":"Q5943269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e07e618cb3ebae6744bc769de10be467ec271c","datavalue":{"value":{"amount":"+0.8854857087135315","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":"Q706503$E431DF88-35A1-4773-BA31-298138D67559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b21202bc2b0342fc828731a8a737e849a56dee","datavalue":{"value":{"entity-type":"item","numeric-id":4471913,"id":"Q4471913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e07e618cb3ebae6744bc769de10be467ec271c","datavalue":{"value":{"amount":"+0.8854857087135315","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":"Q706503$4C9479C0-9846-480E-84B3-18517596E2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f45b8b559985aeb61ab66ffc91ade739061b901","datavalue":{"value":{"entity-type":"item","numeric-id":2724177,"id":"Q2724177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f373a4fc9431d58e26c39deeb4da9cc0d3f0f878","datavalue":{"value":{"amount":"+0.8517236709594727","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":"Q706503$6898B3CC-56E4-4F75-B5CB-7C6C867659AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2429cac1cdaa149c76bcc6913063eb2cb903e4cc","datavalue":{"value":{"entity-type":"item","numeric-id":2844831,"id":"Q2844831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f373a4fc9431d58e26c39deeb4da9cc0d3f0f878","datavalue":{"value":{"amount":"+0.8517236709594727","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":"Q706503$16DFAF12-08F5-4774-82FD-30E38AB0383A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:706503","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:706503"}}}}}