{"entities":{"Q541214":{"pageid":542981,"ns":120,"title":"Item:Q541214","lastrevid":62613162,"modified":"2026-04-11T07:16:26Z","type":"item","id":"Q541214","labels":{"en":{"language":"en","value":"A tactic language for refinement of state-rich concurrent specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5904440"}},"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":"Q541214$34634C37-9036-4219-9CAA-BAF4F3CF58D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fd4947dda29d057fd83acf1567690398a574a4c","datavalue":{"value":{"text":"A tactic language for refinement of state-rich concurrent specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q541214$13F9FFA9-6EA2-48BF-AA6A-3AED59DA2E0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62a337b61dc8ccb0e618c2cb0280865d4b3b860b","datavalue":{"value":"1218.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541214$6838A207-3605-44B6-B2C2-D82984862B5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4d150d5bf876b5a829b43934d70c20b18c58f39","datavalue":{"value":{"entity-type":"item","numeric-id":432149,"id":"Q432149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$C5642D87-9165-4A0C-B153-147ED4D71864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$9033E44B-0A28-4138-841C-09E76A201794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"189ef02bdf1a02bbfe00844a63434a369a39330e","datavalue":{"value":{"entity-type":"item","numeric-id":333317,"id":"Q333317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$1FC2506C-3BDF-4926-A1FA-AD0755918E42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$99FB5D07-10EA-45D4-8B7C-BB6C7CED37C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1d636dc02e31c50ff8e96e46630d760ff43fba8","datavalue":{"value":{"time":"+2011-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q541214$06EA140B-051F-45A9-943A-3EB2F45BE64F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541214$26AF1DB0-7BFC-4FDD-958F-1E2CEC61D379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541214$D4F6F9CA-58E1-44DA-9225-10968403862A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541214$71EAEA9F-8B68-47E7-A25C-C693D76FAA04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b523bb179c8592633358383dcd2a28f6441c179","datavalue":{"value":"5904440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541214$11F21761-54CF-4816-B57E-6814D8DB82E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q541214$39F68A51-F6D2-42AB-ADCF-CC1A1059463D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e17a7cb8710771acd5402f91cff6ae2c7d64aa","datavalue":{"value":"refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q541214$6BBA7906-2954-48D8-BEE2-F03636910C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c80ecf21428f980362763aa3ec34b156b15c6fc","datavalue":{"value":"tactics","type":"string"},"datatype":"string"},"type":"statement","id":"Q541214$7F84A1FE-A0CB-4F7B-BE03-3AF06F7019DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4fbd3f1282ca8514ed8fcc69cb6cab9909cb485","datavalue":{"value":"control law diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q541214$BC9E0625-21C4-450F-A33A-D0283B459B1C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d35d778fc1b80756177ab82e8bc9e25b1533e10b","datavalue":{"value":{"entity-type":"item","numeric-id":18468,"id":"Q18468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$C624B4DA-9F96-4FE9-8B6E-476D501D5E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"272b1a9e09e3e0c648f0668682ab92d2e1d0ba63","datavalue":{"value":{"entity-type":"item","numeric-id":22226,"id":"Q22226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$E90078A7-9BBF-4B25-A393-BAA518013BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9189048b3936abda7e80b02cf829681849623735","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$26A221FB-DD7A-4E70-95B6-63689E54B85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"50f64be83cd865b14d65168a98dcda7f24e44b9b","datavalue":{"value":{"entity-type":"item","numeric-id":33627,"id":"Q33627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$44B94DD5-35AE-41D9-8D80-4E94455BDC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bab752e9cf98240487eb3aae10666dc541b36d41","datavalue":{"value":{"entity-type":"item","numeric-id":43692,"id":"Q43692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$D35B054C-B64E-4F78-AB43-42AA525989F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90bfdd1a1f860255fb4bb8fdc7c84fcb47630c66","datavalue":{"value":{"entity-type":"item","numeric-id":14460,"id":"Q14460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$58AAC80E-C438-4FCF-A73C-575EE43B8F60","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":"Q541214$515E5DA9-98F3-4E95-B93F-4B1D4E015A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$EA1BEA84-9EB8-44CF-A729-F435F5D1C1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b2040a476017b43b21bd352cfec0a67d631d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":18467,"id":"Q18467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$B4D40118-5138-4524-82E2-C55C7FDD6430","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":"Q541214$1D06CB4C-9A20-4B58-B94A-6FE37270996C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"419422606be8aeee8dbbdf4c7937b398968eafe0","datavalue":{"value":"https://doi.org/10.1016/j.scico.2010.11.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q541214$AED30440-6C51-49A6-BDD8-3962F69F4EBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1bc7da8e45874601b6a53d5b72c71bcae801d72","datavalue":{"value":"W2033328719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541214$6DDEA356-A910-468F-9525-0E692541AB3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3877a1f64445e2be38ffa92491ece3830dcf80","datavalue":{"value":{"entity-type":"item","numeric-id":916409,"id":"Q916409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$9F5A79FF-9A30-4078-B3AC-BE2F831DB0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03d810ca512b6f14449f91854d88cb7111d9390f","datavalue":{"value":{"entity-type":"item","numeric-id":4370252,"id":"Q4370252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$B6F896B4-9878-4022-90D2-BF601919BE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d477cb1d0b0bee82fdac2c311a16209970b537","datavalue":{"value":{"entity-type":"item","numeric-id":1272759,"id":"Q1272759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$3594BDC4-DF16-4B7C-8980-46332832B116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2afea125cc066f2c6ea296b8495ce1912d0031da","datavalue":{"value":{"entity-type":"item","numeric-id":5716880,"id":"Q5716880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$166D2AEE-2FA3-4D3D-AD4D-EC3F44031F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2179d8546d5ce60e354479db662e7bc4b3f5aef8","datavalue":{"value":{"entity-type":"item","numeric-id":706512,"id":"Q706512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$7F79667E-4A69-4C31-A281-C55F81162718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de6837c1039b580a2b129c1e17dd7bde403e279","datavalue":{"value":{"entity-type":"item","numeric-id":1293891,"id":"Q1293891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$5594B2B9-2129-442A-946E-24264C7D7A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$240D3B9A-9A7E-4E3D-933F-FF66A8793CF8","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":"Q541214$FEDBBA08-B25A-4596-A197-F19C3C35D70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0fc2b92a049797a2eeae17a5385f7a49766c028","datavalue":{"value":{"entity-type":"item","numeric-id":2753391,"id":"Q2753391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$040F76CA-6954-4F9F-BBA3-2493441F515A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa27b9eeac4f099527b52b73cb8424ad87a4149f","datavalue":{"value":{"entity-type":"item","numeric-id":2864359,"id":"Q2864359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$D33A1C49-5BCF-4425-8E73-DD8C1A898AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05959279a106082964d525a3634ca7f8696de27a","datavalue":{"value":{"entity-type":"item","numeric-id":4324959,"id":"Q4324959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$2F5166FE-69F1-4B35-95DF-FD8D0B886E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c621fa8227c39a838853eddce9768e0dfe2aedfd","datavalue":{"value":{"entity-type":"item","numeric-id":1815345,"id":"Q1815345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$E685A9AD-48AE-4AB3-9994-123C14E84239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d643c21de743c556eecfada82b5726fdf88eaa","datavalue":{"value":{"entity-type":"item","numeric-id":4370265,"id":"Q4370265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$42863DC2-3691-4EA3-A44B-915898105AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$E784EF4D-538C-4B76-B685-A07742D4BC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77f245ea8916cb83f592d198c55741e96f6f763","datavalue":{"value":{"entity-type":"item","numeric-id":913482,"id":"Q913482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$8A3B7E94-D9E5-4ED8-A372-BD26F7C597A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e8c273be77bf6b1b19fb6e1124adc2445e066e","datavalue":{"value":{"entity-type":"item","numeric-id":706504,"id":"Q706504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$898085D1-0B89-42CD-A4DD-9785BE3E327A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263b81d6f82aa7bc5c419ca585e86c9e4182e475","datavalue":{"value":{"entity-type":"item","numeric-id":1019016,"id":"Q1019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$52572F18-C519-4FAC-ACC7-17EA9DC42068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777f1902a1127b94884ae1ddc89768860f054a6e","datavalue":{"value":{"entity-type":"item","numeric-id":3789060,"id":"Q3789060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$55ADABE2-31B7-4801-ADC4-00C41CE345F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc019e2b4d5136976181164b24b3484dcfaaead6","datavalue":{"value":{"entity-type":"item","numeric-id":4808845,"id":"Q4808845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$88521BE8-E10F-4DD4-A8A5-5A242041A2F5","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":"Q541214$CB59136F-76C7-4547-B52F-8143B8B2D6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab25ffac4bde52dfb66f30a112eabdbc62a2c0ff","datavalue":{"value":{"entity-type":"item","numeric-id":4494259,"id":"Q4494259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$9AD57985-60A7-423A-BC97-C95D61D1E808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c8bc344dacdb70baef7512cd7077826b691919b","datavalue":{"value":{"entity-type":"item","numeric-id":1309250,"id":"Q1309250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$C6A16698-1781-4AC4-95DE-EE3CB4354E25","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":"Q541214$00C3EC11-9C2E-402D-B796-7ECC69328A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b05a7a4ae1aba0aeda8bce24a91465e6a5c1ed","datavalue":{"value":{"entity-type":"item","numeric-id":2873610,"id":"Q2873610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541214$4D08FA5E-4C7A-417C-83A0-08E027CD82C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c60730a9d60b489d10a3d26e561a067b26301169","datavalue":{"value":"10.1016/J.SCICO.2010.11.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541214$BF005340-850C-4C47-B344-5FB0537EFB04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272e69ebb823cd0d44e5f377dcd388fdffbae4d7","datavalue":{"value":{"entity-type":"item","numeric-id":706504,"id":"Q706504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"205907a7ecb0d0a6f86e87c94691b7ef17f14b07","datavalue":{"value":{"amount":"+0.8203900456428528","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":"Q541214$D3F9C313-2B47-43F8-8289-CD087921A5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e8b2ddb1ca25e4ccf3d8dd0f48c21b334779530","datavalue":{"value":{"entity-type":"item","numeric-id":432151,"id":"Q432151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06af13615f9f6973ccf1836962f5a6dafb3ee750","datavalue":{"value":{"amount":"+0.8116158843040466","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":"Q541214$346343DA-1E53-45F2-9B7B-81938A0466A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd1660bf3cc89c47a306b57005cb6d82a131c223","datavalue":{"value":{"entity-type":"item","numeric-id":706512,"id":"Q706512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad78c1cdd7e84b3c2c6273f271694570e86b50ce","datavalue":{"value":{"amount":"+0.791788637638092","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":"Q541214$10213CE3-802E-4F8C-899C-43C731329CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a3a7bd6f648ff266352564b47deffbfbb84804","datavalue":{"value":{"entity-type":"item","numeric-id":2999326,"id":"Q2999326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b579c0e2157ad4e15621875935a03abd81484168","datavalue":{"value":{"amount":"+0.7902289032936096","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":"Q541214$45C0B917-4980-4EDD-920C-9EE03ED96EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb99281b36575d8c99759595cbc588e24bca74f","datavalue":{"value":{"entity-type":"item","numeric-id":4808845,"id":"Q4808845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27d70541268e925778d8103d6abbd9b0c6f8120","datavalue":{"value":{"amount":"+0.7874860763549805","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":"Q541214$01E62F43-4C45-4D80-9551-090620646395","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A tactic language for refinement of state-rich concurrent specifications","badges":[]}}}}}