{"entities":{"Q555790":{"pageid":557557,"ns":120,"title":"Item:Q555790","lastrevid":62716698,"modified":"2026-04-11T07:58:45Z","type":"item","id":"Q555790","labels":{"en":{"language":"en","value":"ASM refinement and generalizations of forward simulation in data refinement: a comparison"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2174902"}},"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":"Q555790$3E97683E-1E32-46C1-AFD6-1488E3E0438A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b321c8b00963743097cf72058336cab3ac8e55f","datavalue":{"value":{"text":"ASM refinement and generalizations of forward simulation in data refinement: a comparison","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q555790$397E2524-855C-4B67-A5A1-63A6F728F60F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5fe72174e9545717712a137856748ea63a56a77","datavalue":{"value":"1080.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555790$1E6D4E08-398F-4C4F-A461-C3D64E55353B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"905b270720daed71689fc357ca726e36dc429907","datavalue":{"value":{"entity-type":"item","numeric-id":539220,"id":"Q539220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$A3644D19-FDF2-45DE-B99D-88507D0019EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$008522B5-C18E-4D42-BA82-71166C588032","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f82118ca2793d21263f8941982493899f6fa842","datavalue":{"value":{"time":"+2005-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q555790$022EB2D5-0F25-4FBA-9388-64B2F1B5D0F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555790$B77AE9C2-E726-4AF4-A5B3-F42D50A64D70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d404523784044adcd98ea673951aa3711465c430","datavalue":{"value":"2174902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555790$4CFE51B6-9B9F-429F-B347-E6DF3B26E0E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33154430b108da244c63c8208caad1bc873bfeed","datavalue":{"value":"Abstract state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q555790$F4BA19FB-BFF7-4F08-AD77-59D2309E23F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d7a91cce9317b5dfedb3fde9933f83259b7348","datavalue":{"value":"Refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q555790$4A9145BC-3F93-441C-AA61-AE73F20F0580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be38e138daf7a6575bc9a340ecf63151601fff3d","datavalue":{"value":"Data refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q555790$5263E974-F5D6-4E70-8ABA-9C980B0D995B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67720db460794d76d6e59ab2d221c3e383431bf5","datavalue":{"value":{"entity-type":"item","numeric-id":16618,"id":"Q16618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$F9677D55-FDD8-4B01-8FEF-75A36D9FAC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"06784b521f7335b906c8b43dc84006cfbf66f9d2","datavalue":{"value":{"entity-type":"item","numeric-id":40435,"id":"Q40435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$0B8D9B60-1118-4B1E-B909-64150D0FDB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$AE3328EA-4022-4371-BB93-F4344C337DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7aa47621b17d0cd88eea4f1397181a4d6b8f672","datavalue":{"value":{"entity-type":"item","numeric-id":22029,"id":"Q22029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$41369412-ABB5-413C-9566-615C1EF8F662","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":"Q555790$DB72ABBD-A09B-4F81-A6EB-FCDA2F38C95E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fc6188c7eb5da4740cfa43a32c0a1947b96c0aa","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.11.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q555790$B4770EDB-2862-4843-80A2-2069278E761C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd80e691c4d08f61142282765ec6cef47f4ffe25","datavalue":{"value":"W2048884567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555790$4E1CBCD2-5BB8-4CFB-B833-4B791C3F4EA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$06A1E7C4-009D-406B-BB99-2885550FD302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10dbdc5acbf2573a22c35f16aae307ad18a5ea1e","datavalue":{"value":{"entity-type":"item","numeric-id":4494250,"id":"Q4494250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$E03D7799-F4A2-4364-95C3-C47C1D69A1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a7a8faf60be76979d48d806fb07c9b8e53a682","datavalue":{"value":{"entity-type":"item","numeric-id":4268493,"id":"Q4268493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$21F11D4E-FEB6-4776-BC55-2BB7F4828521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff2d0a0210042cb25a9bbe411987b099990fd91","datavalue":{"value":{"entity-type":"item","numeric-id":3976026,"id":"Q3976026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$50CC0BB7-212B-4234-86E4-B56AC7B5A46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ef08ce0f6a92f1d79d16ab6cdfd62d2d7e7e612","datavalue":{"value":{"entity-type":"item","numeric-id":706516,"id":"Q706516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$BA0C5E4E-8AFA-490C-B5DB-B15C74D8933D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce85ed64aa6e3bb3be37240176665ec5968eccf2","datavalue":{"value":{"entity-type":"item","numeric-id":4839029,"id":"Q4839029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$C76184F2-3863-4A5B-9FFC-9FD5E875D87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02255c7569a65108facc7ff2d5bebfa15cfb3973","datavalue":{"value":{"entity-type":"item","numeric-id":2753665,"id":"Q2753665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$6DE5C8A7-0FB6-4CB3-819B-A2CFE6F6461A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$8CF30666-C0C0-4815-BC0B-BFA8EBF74517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f6c194330051269cbb2031658aa6b4220e257c","datavalue":{"value":{"entity-type":"item","numeric-id":4702189,"id":"Q4702189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$69AB1A8F-FAC2-4FD3-94A6-8104BD27B497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a73e45d8a02c02a1a7e4eee577edcddc70f907","datavalue":{"value":{"entity-type":"item","numeric-id":2724177,"id":"Q2724177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$0033F12D-F26C-4A78-9592-5121A9A345F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e943aacfa12238a08e6d9c6f0a9b643ebea50fe","datavalue":{"value":{"entity-type":"item","numeric-id":4413670,"id":"Q4413670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$201AF593-25EC-4CAA-AE43-C4A7E4352F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d7d6836dc1a6ba39f6068b378565d8232ba3c8","datavalue":{"value":{"entity-type":"item","numeric-id":4436964,"id":"Q4436964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$04C0C6F6-0916-4D63-85B6-65294C8DCADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9613ae9804ab4d6c1a4bf2f77f2d5228a33e","datavalue":{"value":{"entity-type":"item","numeric-id":4873985,"id":"Q4873985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$EC7D8EED-68F7-4A11-9F29-E88A4D0C727B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a080b074196bf11d4837ba9c75e22e80835817","datavalue":{"value":{"entity-type":"item","numeric-id":3713577,"id":"Q3713577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$D6FC5666-1CF3-4B87-827F-9E7B5C8CBD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$4F7E9E72-70F2-492B-AE40-F80D866B3B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$21769D88-5E9E-40BA-987A-7F33ACFE2726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f20b55cf3bc328f8589f330f96a951a3345ac7","datavalue":{"value":{"entity-type":"item","numeric-id":4524764,"id":"Q4524764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$6DEE8470-716E-4DC2-B332-18A12AACEBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1502ae2bd07e62b3e44b4e1b5d5bfa15055a9895","datavalue":{"value":{"entity-type":"item","numeric-id":2702600,"id":"Q2702600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$403C89A9-6A98-4598-9939-95834E1FC71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$612BB52C-D11E-4AFB-82BE-D9BE58113870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555790$B9C498B1-6B98-40EC-A551-7E1CC1E138C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7267ce466150621d723d1573253a05756e42d311","datavalue":{"value":"10.1016/J.TCS.2004.11.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555790$356BBB7B-7072-464A-A4F3-5AE5BC0820DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19b1075ccf2d7ea292d196dc4831843b25c595dd","datavalue":{"value":{"entity-type":"item","numeric-id":706516,"id":"Q706516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a214d040c14493fce95ce9e6bd2f60d6de0b073e","datavalue":{"value":{"amount":"+0.8226237893104553","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":"Q555790$E068CF0A-F92D-4508-B152-930C86C4A14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"695f150397cea89bf437d5a9c337e07a0278c5e7","datavalue":{"value":{"entity-type":"item","numeric-id":5403462,"id":"Q5403462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"574a61fd515eb7fac323bb72649f38c2d7b3e86c","datavalue":{"value":{"amount":"+0.8111467361450195","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":"Q555790$0E23FA9B-C9AA-476E-9C54-44EAFAA2634F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a1c3b6c51c985ca777e78820e477952b8f786c","datavalue":{"value":{"entity-type":"item","numeric-id":4436965,"id":"Q4436965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58fef69995d6b2cfb95351a29ba7bd60f0ff2f7","datavalue":{"value":{"amount":"+0.7961344122886658","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":"Q555790$BB682B6C-D7B4-4A32-8A37-84D040AFDF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8824ecfcacd1eec65de8241fc53a433b9f084482","datavalue":{"value":{"entity-type":"item","numeric-id":541210,"id":"Q541210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efc7d8d55130948205dfae3b6f37a95134b78892","datavalue":{"value":{"amount":"+0.7903828620910645","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":"Q555790$C474F8F1-D289-466A-8ABB-7BF301F43617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce179260ab0ff47ebfaac8a048ddf1066fa268ec","datavalue":{"value":{"entity-type":"item","numeric-id":3713577,"id":"Q3713577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4049099d5310379d5b6cf7033331717cc54b7065","datavalue":{"value":{"amount":"+0.7759149670600891","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":"Q555790$8BBB3D37-865F-4458-9F6E-9E06756CE550","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ASM refinement and generalizations of forward simulation in data refinement: a comparison","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ASM_refinement_and_generalizations_of_forward_simulation_in_data_refinement:_a_comparison"}}}}}