{"entities":{"Q706513":{"pageid":708362,"ns":120,"title":"Item:Q706513","lastrevid":63677505,"modified":"2026-04-11T14:48:06Z","type":"item","id":"Q706513","labels":{"en":{"language":"en","value":"Relational concurrent refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2132401"}},"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":"Q706513$01827231-00D4-4927-8DC4-EAACE698B1B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b439f3ae7d9f9235de6de867eb2d92c1c487d852","datavalue":{"value":{"text":"Relational concurrent refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q706513$43B5A19F-DE9F-44A1-AA57-1F5DDF578659","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5dd62a3542e6ea1420735e9587eb218b7a53e9b7","datavalue":{"value":"1093.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706513$FF9DDF35-C174-4A3D-8CD5-2D6778EBA1B4","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":"Q706513$2DB2C1D0-26F2-4975-BAE8-388728C7E743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1bbd7b0f1716022bdd3bf8a6eace09ad2456ca","datavalue":{"value":{"entity-type":"item","numeric-id":1193745,"id":"Q1193745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706513$AC5C0711-9491-4A87-92B8-E49C113097B9","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":"Q706513$CB0F4E3E-54D6-4E82-8655-6408B5D0DEDC","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":"Q706513$A1943E2B-B491-45EE-BDE9-0BDE32E4957F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706513$5CF9BEBD-EFBF-480B-902C-5EDEC78AD02B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbdd9d37b31c988b57d9333edc6e7b12690e6c33","datavalue":{"value":"2132401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706513$D511A987-07B6-42B6-90FE-6344BB3AD636","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41be1a5710259495f08038e653d5b5f11ede6317","datavalue":{"value":"Failures-divergences","type":"string"},"datatype":"string"},"type":"statement","id":"Q706513$CB4FB455-6DD0-46F6-B98E-A7F753754949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33d7070effcd96efd33e771c4324c9d5d257857e","datavalue":{"value":"Finalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q706513$ADC608F6-4E08-478B-ACAB-E214776A5A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c35e59984cabf218dfddcc4cee7fb81eefd5016","datavalue":{"value":"Process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q706513$F28200B9-5451-4960-8F67-B71094BECBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e44b0df88d16e48d9a8b09c7f66a0db4b246a29e","datavalue":{"value":"Readiness","type":"string"},"datatype":"string"},"type":"statement","id":"Q706513$23334D43-BD5D-4990-9C1D-80CA7A17B17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d7a91cce9317b5dfedb3fde9933f83259b7348","datavalue":{"value":"Refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q706513$4E475436-58FC-4BAF-BF1A-3C180CABC1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f35d63176770a291ce2bc7d1e66a849a755c3df","datavalue":{"value":"Simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q706513$C5F28441-A779-423C-B29C-1FDE8AD6EF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fafc44265dfa91ca2c1422c4fc2ccc0afa28bf","datavalue":{"value":"Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q706513$EC9E1CB7-86AF-4BE7-AEDA-5D50AA8DD8E8","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":"Q706513$FF6FB2C1-03C3-462F-A231-528A838BAAD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b2dbeddaf5f0a7853aa3592392e7bdbb9314c02","datavalue":{"value":"https://doi.org/10.1007/s00165-003-0007-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q706513$0E82466F-C7C5-4EFE-8467-4360D4E38B0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5300de7fc9b848465ebb3fef9aaccef95005cdb","datavalue":{"value":"W2038167407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706513$C932F7AD-4214-41A1-95F6-5011CB00599D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"948dec87e014710df0ec4619fd7a3f5c67d58c25","datavalue":{"value":"10.1007/S00165-003-0007-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706513$5193E6C7-E86B-44FA-8728-573E2E29ACA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f2080ffe7b6af8141029c0c2703ac6b39c5ffb","datavalue":{"value":{"entity-type":"item","numeric-id":2844822,"id":"Q2844822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"441005274f22393a7b563efd88ac7878a3e736fc","datavalue":{"value":{"amount":"+0.9661701321601868","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":"Q706513$02A4ED58-4B26-44D9-98B5-2FCFE227D8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb5b5d019d5a43135be6d07455aad401149ece6","datavalue":{"value":{"entity-type":"item","numeric-id":736917,"id":"Q736917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0121b0068f7d637539227a6ba601475cfa92c3e8","datavalue":{"value":{"amount":"+0.8937968611717224","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":"Q706513$BCC9A032-2A88-4589-AA0C-37B279C3580F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d3d204268d0bd91baa83a228e6e789ffa5abd07","datavalue":{"value":{"entity-type":"item","numeric-id":5403469,"id":"Q5403469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8194ba569a6fe3a56475cbceff107aa0df61117","datavalue":{"value":{"amount":"+0.8849987983703613","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":"Q706513$1D8BD162-51D3-48F1-980D-38F52D130D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"815382c23cae08035671df1e1793b53e9e019885","datavalue":{"value":{"entity-type":"item","numeric-id":2994488,"id":"Q2994488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"931184730631517d2633384b2a50f5db917f4650","datavalue":{"value":{"amount":"+0.8598771095275879","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":"Q706513$A20C9C5E-23E4-46C7-A7C9-85762E926336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08f04dc3322f523864691f117efa09588a6e53e2","datavalue":{"value":{"entity-type":"item","numeric-id":1019018,"id":"Q1019018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb3bb5241ee5ebaa6817fcb62a68e46f526ff82","datavalue":{"value":{"amount":"+0.8560013175010681","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":"Q706513$7D6C0A12-E9C1-4B49-BF22-3A354A66E202","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational concurrent refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_concurrent_refinement"}}}}}