{"entities":{"Q2994488":{"pageid":3005212,"ns":120,"title":"Item:Q2994488","lastrevid":85345367,"modified":"2026-06-03T07:14:14Z","type":"item","id":"Q2994488","labels":{"en":{"language":"en","value":"Relational concurrent refinement: automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6608400"}},"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":"Q2994488$90A219D0-3E6E-41C4-A43F-292FAB26DEC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6146b3f4a663ef6e9f79b0bcac17c34381d667e","datavalue":{"value":{"text":"Relational Concurrent Refinement: Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2994488$2D8B76A6-D85A-4A87-A343-B2F4F31B538C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ae034141c4b0bcaa96f20f840a75b8551cc7a69","datavalue":{"value":"1342.68226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994488$BE4EE347-FE78-44B7-B091-0DF65C1BA964","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":"Q2994488$2D5CF357-5C03-415B-BD65-EC4FBED734F1","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":"Q2994488$12C1343D-FB8D-4164-80A4-52012E93E533","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994488$E02B0682-EFA3-403D-BB91-4C4EBA2147DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54b54adebb79dfabd07c0151545b3468c800875b","datavalue":{"value":{"time":"+2016-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2994488$FD50242A-0852-49CD-87F9-F473BC635B48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994488$F657C03F-7783-4594-A447-D4177E07A227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994488$B74584AC-3C98-480E-8D02-CC3D603B1109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994488$0920E79F-8E94-44B3-99C6-B59A0A8313AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994488$0BCD2E53-9249-461D-BA95-54851A02AEC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"978b7d18c9fe950caf011615eee72c05990d3d7b","datavalue":{"value":"6608400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994488$3E4D7373-E521-4921-9C95-C194EF3A4C1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1657b9e302015499beb20eee5142470398e14a48","datavalue":{"value":"data refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994488$E591AC99-7D1C-49F0-9BF6-ABE8FF68D924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fafc44265dfa91ca2c1422c4fc2ccc0afa28bf","datavalue":{"value":"Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994488$C825ADA5-E960-4667-9EC0-47DCF75AE614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6face949411ba012398a60ca5a40c69df448333","datavalue":{"value":"simulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994488$6CDB2DF1-F4CD-4FE7-872E-6560D647E9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c4b910a935e6cdff74338f0531fcd7505c73e1d","datavalue":{"value":"automata-based refinements","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994488$DDF76E70-A5B6-4F67-B2FD-F8383DCCA246","rank":"normal"}],"P1463":[{"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":"Q2994488$D4C0ECBF-54DF-477A-BCB8-F305BC213D78","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":"Q2994488$004BF0E9-57B8-415E-BCC3-BF15E095D1C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83e10a947164d8f5a72dec12285e8255b856c8b6","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.12.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2994488$A92FB259-9A52-46A2-9C2C-85CB8768354F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71821ccc894e6ea3d96db9f85f1eed36ce9dea42","datavalue":{"value":"W1993758089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994488$6AC66B01-F797-44C7-8876-08F16328EC5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ebd97ebad7f6b6543ac93ba5957bb5f6f50160","datavalue":{"value":{"entity-type":"item","numeric-id":5703804,"id":"Q5703804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994488$5EE3CE7B-6CC0-44DA-9E38-7AF100317CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994488$0283E35B-EF08-4138-A093-18A0F7A65CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e02b727149a0f9dc7254f2e7cd25c2777deb7cb","datavalue":{"value":{"entity-type":"item","numeric-id":3605466,"id":"Q3605466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994488$7E9C8863-F1B2-4B2E-8725-8AE0695ADA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c1064387c1f8691472d4543fac41a25f867c2f","datavalue":{"value":{"entity-type":"item","numeric-id":1019018,"id":"Q1019018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994488$9953F9F8-4B42-4AB8-AEE1-3A0FE490CBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186b08458c2e01a792cc01193f757909785e71ec","datavalue":{"value":{"entity-type":"item","numeric-id":2844822,"id":"Q2844822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994488$B4CD4D9A-EDF0-4A5E-B11B-C472C0FE6620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1d442c4112067361db0e215cf79dc0d9bbd8159","datavalue":{"value":{"entity-type":"item","numeric-id":4737562,"id":"Q4737562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994488$2B83644D-90C6-440F-B136-3E86A83E5B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41784b41e82c7d8df17e662f07c318e13e61df41","datavalue":{"value":{"entity-type":"item","numeric-id":2432234,"id":"Q2432234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994488$414D2F48-43B0-42D9-AC3D-9DCC247518FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a9b9c38c4de3e79a7eb89f1e9152294e70b8c7","datavalue":{"value":{"entity-type":"item","numeric-id":674195,"id":"Q674195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994488$D04EE65C-5666-4E8C-841A-990D0701A3B6","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":"Q2994488$4E5BDF75-6885-453C-B67D-714B21A8A7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388c5e3abed55eae8db7886420a364df03aca78f","datavalue":{"value":{"entity-type":"item","numeric-id":706513,"id":"Q706513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994488$134A83FA-CCCA-4788-9AB0-53B1F82E3E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33330733a5a384fd3143828d072978f325fa1f98","datavalue":{"value":{"entity-type":"item","numeric-id":5403469,"id":"Q5403469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994488$52D420FA-3C0B-41FD-8AF1-583B29662E30","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":"Q2994488$FED7B2E2-2D2F-4D30-AF1A-211999A04639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d643c9519505ce70f954afc2ea3c543e896e9fb9","datavalue":{"value":{"entity-type":"item","numeric-id":578901,"id":"Q578901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994488$86474AE0-D843-4399-8B83-22490EB809ED","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":"Q2994488$B49A4B26-23E8-4AE2-82F5-0C450ECE41D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994488$0ADC79B8-7D2A-4D19-816D-23BFB704262F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994488$75D81B99-E4C9-4154-8438-C689E68E8BE7","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":"Q2994488$2AD581E1-A987-4706-A543-C6B87CD23F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994488$70EBE51D-FB6B-4D1F-8996-24E0C47807EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4108f1f226ed034922bb61db85c2ec4f3f65aeb0","datavalue":{"value":{"entity-type":"item","numeric-id":931436,"id":"Q931436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994488$31729FD0-5D46-457D-8F44-FDF4AB750343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb0c25b2a9eb35a21677ae81a8807ac01107d92","datavalue":{"value":{"entity-type":"item","numeric-id":1376423,"id":"Q1376423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994488$DC324643-B302-443D-9D07-ECE4FD601BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d1339d549b96e80a33fa65a771c80afc759cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4896913,"id":"Q4896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994488$AB5C1929-C43C-4A5D-92DB-B1A9EBB66F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994488$3846D4A3-B4BC-4AE1-9958-6CDFE5A9B7FB","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":"Q2994488$C3426D9E-6579-446A-8FE8-62CC971BEB14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b4ea579a10dce9e2d586e507569091a48fb0c2e","datavalue":{"value":"10.1016/J.ENTCS.2009.12.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994488$64619317-1C32-4E16-BE3C-2E175EE55B2C","rank":"normal"}],"P1643":[{"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":"3364991835208695b3ada0146bf56580bd17f6c6","datavalue":{"value":{"amount":"+0.935931921005249","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":"Q2994488$0818730F-9C67-4058-9305-5F5B9BC378CE","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":"220a66d21fc3e6e8b910a7bd218922758f1054e1","datavalue":{"value":{"amount":"+0.904466450214386","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":"Q2994488$9B98250A-B5E5-4702-8ABD-19D89A4EA5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493cad6f3de1d42c53b0c3cf7ee8b567ee64dde4","datavalue":{"value":{"entity-type":"item","numeric-id":706513,"id":"Q706513"},"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":"Q2994488$FFD391B0-8DB3-4386-8B00-FE6CD2D4DEC3","rank":"normal"},{"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":"0915abed583e97e2d3d6c72ab1e75300c7c14811","datavalue":{"value":{"amount":"+0.8596978783607483","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":"Q2994488$4C3448FD-6C04-4FBB-B00F-9CFE2281DE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca288bbdbca3b84679173dd06195a3f779c86371","datavalue":{"value":{"entity-type":"item","numeric-id":851129,"id":"Q851129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b532f84c94ddede57a02a06cf4deb7f7b75302d","datavalue":{"value":{"amount":"+0.8005825281143188","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":"Q2994488$2E407318-40CB-4BA3-8834-15E825CD36CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational concurrent refinement: automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_concurrent_refinement:_automata"}}}}}