{"entities":{"Q1857312":{"pageid":1868054,"ns":120,"title":"Item:Q1857312","lastrevid":69364506,"modified":"2026-04-13T06:30:27Z","type":"item","id":"Q1857312","labels":{"en":{"language":"en","value":"Executing formal specifications with concurrent constraint programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1870099"}},"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":"Q1857312$3B238F3E-6C52-4E7D-A800-155DB076D539","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e7e727406efefe42dcf96cb8e220df45f7d0b0b","datavalue":{"value":{"text":"Executing formal specifications with concurrent constraint programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1857312$52BB8F73-42CD-4E9E-98DF-26C27E82177F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"203323757cd773b1ca9454c6a76959b3c8e00bcc","datavalue":{"value":"1034.68696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857312$1BB4F764-DD87-48A2-A832-C46403EB7145","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0ca39fc6c5ecc59eb97d369209b9c084db44178","datavalue":{"value":"10.1023/A:1026554217992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857312$0F73E42B-5A3E-4392-B9D9-2F4E1F75D97A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ceea12ef68cbd6c132af648259bcea29f07c27db","datavalue":{"value":{"entity-type":"item","numeric-id":1857310,"id":"Q1857310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857312$BCEFC47D-BB7D-417D-BDE4-3A6C313231B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aafa68fdbd9aab7de8f372c41bc63d703b38518","datavalue":{"value":{"entity-type":"item","numeric-id":811373,"id":"Q811373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857312$738FE681-9918-450B-9E3C-0C21F6489EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4979ddbf790af3a7f3c206f4503fd603948377c","datavalue":{"value":{"entity-type":"item","numeric-id":1857311,"id":"Q1857311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857312$8E7B670C-78BE-44C2-88DB-7358B5163C56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcbe10a5fdb94bc84c83e33679ac5fc8287e6a8e","datavalue":{"value":{"entity-type":"item","numeric-id":185909,"id":"Q185909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857312$137AE458-4DB2-4F83-A044-F646EEB9BBD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9a6bf7c8c9a70357d4c9fdf08598811d107086f","datavalue":{"value":{"time":"+2003-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1857312$5583E7A6-28F5-4F02-8693-054B447EA6AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857312$3C018541-9D36-41B4-A3EE-698596D28CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857312$8A044B9E-764E-4B98-9E31-7BE22FB40EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857312$DDF75E63-B086-49E2-9A41-DD41D0293E6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adbd732a6f89f54a33ee100d174adc43ee75208e","datavalue":{"value":"1870099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857312$8CBC31CA-A7E4-43DA-8FAC-5D704C45C484","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857312$372F6C0D-161F-4E7E-96A2-0A23D638E685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb461c6e1e1f540b48b23a25b8c1660be3e582a4","datavalue":{"value":"model-based specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857312$10B6FFAA-C287-4552-A1FC-1D1067B7D5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec2a5c0aedb726fa0342984da34f2afe9161b9bd","datavalue":{"value":"precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857312$66AB8F5D-3994-4485-8FB8-4CFC3AC56B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d8ce56ee8b42110050dbf827609bd4d689ad8ef","datavalue":{"value":"postcondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857312$2783170B-7802-40FA-BB87-0122CB8FB57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935988cfed4c83c572bd5d706bc07ae9e3a3eb4e","datavalue":{"value":"executable specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857312$54418FD7-6543-4589-8E1C-FDF518B4ABBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"424e88e59afbbf28c1f77f72ded6467a424eeb21","datavalue":{"value":"concurrent constraintprogramming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857312$49AFE087-409A-451E-8155-4E74A56F71C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d10283cb0f62402b7951a4756dbeb2bd05f1415","datavalue":{"value":"C++","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857312$6BC44E9C-5E51-4C3F-B2D3-32A4E9CCF830","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857312$B929969C-6D1F-40D4-BA52-C4DC6A7E1FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e312142cae88d90a183ea896054e812ea7e86a85","datavalue":{"value":{"entity-type":"item","numeric-id":16927,"id":"Q16927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857312$12A151BF-348C-4A9A-86CE-4E2D4FCA3840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857312$B8CF35D2-7C13-425E-AC06-5AB73CA468CF","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":"Q1857312$389DC861-224A-4684-995E-D67175464714","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"826e4d548767912dd67376072ed3b82bcb337356","datavalue":{"value":"https://doi.org/10.1023/a:1026554217992","type":"string"},"datatype":"url"},"type":"statement","id":"Q1857312$A094A6C4-D536-4CBC-A935-478C88C6A04D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bdc7b006ab0dc94b1c2f401e347d2ab831ec77b","datavalue":{"value":"W1544972275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857312$849D0652-5027-4C7F-AA4F-4518C255C647","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7be2bde040378e076aac99d561c037ba8335e8b","datavalue":{"value":{"entity-type":"item","numeric-id":4923526,"id":"Q4923526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b161ced5f52d45ee388e03404d8cc1b4fbf661","datavalue":{"value":{"amount":"+0.7360556125640869","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":"Q1857312$FBB0B900-9230-4219-A33A-C6B24763A027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c9a1bea6e1fb0c3661fdbdc63647620fab261f","datavalue":{"value":{"entity-type":"item","numeric-id":2736349,"id":"Q2736349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24692a86f7bae1173c4236c87157420af926c29e","datavalue":{"value":{"amount":"+0.7116813063621521","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":"Q1857312$C0D93EDD-92F5-4D30-8DD8-FF5DA78ADE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae6bddd1e1a58e69523a39f5c0698e24598d3c6","datavalue":{"value":{"entity-type":"item","numeric-id":4686605,"id":"Q4686605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c5741865cd1a08dee1945ba59787f1e8029a3e","datavalue":{"value":{"amount":"+0.7060075998306274","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":"Q1857312$EBE2605A-3503-4AA3-A297-B5581826752B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"347113fc3c90422b9f577651d03c98860c0253b1","datavalue":{"value":{"entity-type":"item","numeric-id":4823428,"id":"Q4823428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8eef762ded2f8f156426d5baed396f302d18211","datavalue":{"value":{"amount":"+0.7059882283210754","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":"Q1857312$3708B52F-5C21-47FF-8BD9-3FC9C729A7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1dd8c3f732e533efef7aa102b90dd0cd7f8e6ff","datavalue":{"value":{"entity-type":"item","numeric-id":4938428,"id":"Q4938428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63484696ae51677f5162c3c5af075ab8479138e1","datavalue":{"value":{"amount":"+0.7043958306312561","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":"Q1857312$612397F0-B58F-4C09-871D-9809FFF81D72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Executing formal specifications with concurrent constraint programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Executing_formal_specifications_with_concurrent_constraint_programming"}}}}}