{"entities":{"Q4392352":{"pageid":6421951,"ns":120,"title":"Item:Q4392352","lastrevid":89435012,"modified":"2026-06-04T17:21:36Z","type":"item","id":"Q4392352","labels":{"en":{"language":"en","value":"Automating the refinement of specifications for distributed systems via syntactic transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1160147"}},"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":"Q4392352$66D572D1-3E09-41D8-A5E0-A277E95B146A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"427a7673662b8879a55c0b264697219bd6df803b","datavalue":{"value":{"text":"Automating the refinement of specifications for distributed systems via syntactic transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4392352$7A2C4A8E-D3F8-4D34-989A-088586954FF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c85814621253c9b88059a313040ba4433f54dff","datavalue":{"value":"0897.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392352$298D8283-394D-4130-B359-EFB395A992D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30c7e7683571ca88935f3f33883f8d872cecf826","datavalue":{"value":"10.1080/00207729708929473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392352$BC7111DA-8EFA-4E16-A7C4-5DB1686A9E46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2081e4d5abe5c999dc65e69553b1dbf43b4b3046","datavalue":{"value":{"entity-type":"item","numeric-id":248920,"id":"Q248920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4392352$433583CA-9D5D-42D6-B287-3E9EE4DB8F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae3d6ae19e8cd307a6c62e2b444beb186f950518","datavalue":{"value":{"entity-type":"item","numeric-id":4392351,"id":"Q4392351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4392352$408D47F3-50A2-4A19-B86A-775CDDC2F57A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9a35e2bd47b5723ea7f89e86786c75df3dbb16e","datavalue":{"value":{"time":"+1998-06-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":"Q4392352$9E4F9D9D-6649-47E2-A8E3-44345A20C90B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392352$C350E630-E741-4F0E-93A6-063385517FA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73f2215a87261fb7dabcff9fe15c5ce668f33ab9","datavalue":{"value":"1160147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392352$17CCA746-0BAB-47C4-A3A5-126710422890","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc67deef0725787b54ad1a261646ceef9a929e3f","datavalue":{"value":"refinement problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4392352$C82DEA5F-09FB-4278-9FA8-00880FB34FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"083927b0c0b9ecfb1f8ca4b3fe45d13f51939f08","datavalue":{"value":"syntactic transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4392352$915B0E1B-2696-47BD-A2A2-099A647C7E58","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":"Q4392352$C35C5F09-2567-41E4-BF7C-857F7BBEBC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"786a5236ac94f9692f521c02ac8270dab6d23cde","datavalue":{"value":{"entity-type":"item","numeric-id":29799,"id":"Q29799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4392352$CC0A4FE5-93D0-4B03-87B1-1551DE2572EF","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":"Q4392352$1E4DB25B-27DC-4A43-AD99-A8038865D136","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f708411ad329027684ef45a34cfd085e2375ae8b","datavalue":{"value":"https://doi.org/10.1080/00207729708929473","type":"string"},"datatype":"url"},"type":"statement","id":"Q4392352$3E31FF60-5CAC-4A10-A284-D4B940AFC770","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f87aa9fc24c93a37631890e9a965c5a0e0d6f4b","datavalue":{"value":"W2164129192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392352$B8C62537-74F9-462A-8D01-881144E437BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3a3deac8aeed628e59655f72ead0119db0047cc","datavalue":{"value":{"entity-type":"item","numeric-id":4023588,"id":"Q4023588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4392352$363B5B79-775D-4E14-9FDA-3C6B2A9D8679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4392352$0E98B2BC-B6A8-43CF-AC5F-8938D87B7FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d444be6a5a5b9e0b68d42e9bd593ab81f7e6f11","datavalue":{"value":{"entity-type":"item","numeric-id":1124322,"id":"Q1124322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4392352$8D5C344A-178A-4E49-AE3E-EDB77B0C7579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4392352$5C345FF4-A916-4A3D-A2A1-CEDD58172EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8cc8fd8a900153d75da092dd2dd47192ec8db16","datavalue":{"value":{"entity-type":"item","numeric-id":4727413,"id":"Q4727413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4392352$17904E77-6BAC-4019-8F8D-17D0C7BE1AC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d28953bd0f0c2d8508713f8e55254124cfc990d","datavalue":{"value":{"entity-type":"item","numeric-id":6544798,"id":"Q6544798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4392352$F6DAFA54-34E5-418F-906A-04A09D0A4B33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73addd806c33cf8f0426b083b8e1178d27fe6993","datavalue":{"value":{"entity-type":"item","numeric-id":5493258,"id":"Q5493258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cdb9ab079b416d915f9fb75f6350d990522c60b","datavalue":{"value":{"amount":"+0.7164346575737","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":"Q4392352$B4561B0A-DDB6-4930-855D-7756567372DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe3528af2edd751e3642e41265ecc0b8bd32705d","datavalue":{"value":{"entity-type":"item","numeric-id":4825544,"id":"Q4825544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3921cec0ab27c402ee082e97bb5861325dadc3d","datavalue":{"value":{"amount":"+0.7125154733657837","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":"Q4392352$12C6404A-8499-423C-B767-7EE13F7BCD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d45779b99e7723e20b9f409c3ac84e4a9848c3","datavalue":{"value":{"entity-type":"item","numeric-id":4494258,"id":"Q4494258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"498a0e319438b9ba39a746299bc966c3034cb3f6","datavalue":{"value":{"amount":"+0.7063068151473999","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":"Q4392352$87F7DB9B-606B-497E-B4E9-0E449522C5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15c910b7acf1ae14d7e9b289aff78d96dc86b326","datavalue":{"value":{"entity-type":"item","numeric-id":4923542,"id":"Q4923542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"822e2d19a7f81703e53b126babc42f7e47d59282","datavalue":{"value":{"amount":"+0.7005660533905029","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":"Q4392352$D5318F04-43FF-4A4B-B82C-EE660D346305","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automating the refinement of specifications for distributed systems via syntactic transformations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automating_the_refinement_of_specifications_for_distributed_systems_via_syntactic_transformations"}}}}}