{"entities":{"Q1882807":{"pageid":1893549,"ns":120,"title":"Item:Q1882807","lastrevid":73052631,"modified":"2026-04-14T09:56:37Z","type":"item","id":"Q1882807","labels":{"en":{"language":"en","value":"Timed CCP compositionally embeds Argos and Lustre"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2105179"}},"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":"Q1882807$C059A7B6-1332-4D35-B752-4A591B472D04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"118eb3eaabb689104fd1bcbc40a7d2aa3f386e2f","datavalue":{"value":{"text":"Timed CCP compositionally embeds Argos and Lustre","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1882807$1EC03EEF-720C-48AD-98FE-7AE600C56051","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5b9d4c673d523a5a238caee5740b2ffc3eddb96","datavalue":{"value":"1084.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882807$EE8185FB-410E-4853-A03E-62664800CB9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd4b76f0953196f6fe39bfffcac9dd860fc56e60","datavalue":{"value":{"entity-type":"item","numeric-id":236458,"id":"Q236458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882807$41FAC8DA-3B75-4F63-9DCF-9C0139923EED","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":"Q1882807$76D5D8DB-6343-4389-9735-10228A6674C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"221b8cdf103f88fa9a30fbc31f4b00396bad2596","datavalue":{"value":{"time":"+2004-10-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":"Q1882807$B8B31C69-E7CD-4A36-8B62-E5C3511691F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882807$C05291E5-634B-41EC-A8B9-201A76A582CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b39eaa0a73fdaf098628c4e5dc2aa1e071f332bd","datavalue":{"value":"2105179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882807$2ACDCE4F-AEE6-43F9-B319-65C591BB7FFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c69eac94585f2016bed6c092219b33310e453699","datavalue":{"value":"Engineering design languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882807$FDC2AF7B-C682-45C1-823B-0872981C507C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a0764b12b3b4864ac2c37a24296cdcd85f10330","datavalue":{"value":"Synchronous languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882807$1B7C285D-DB19-45F9-A960-2DEF83671BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49392b486c9c83adb01ff946f2bdf90fd937ec98","datavalue":{"value":"Expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882807$C28EF141-5EBE-4124-B3D6-C8D5ECD85D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e508a81f31d9659e6e85873ea18d721421d4d41","datavalue":{"value":"Compositional embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882807$E4E2F87D-3FD0-4B34-B2BA-C47CBCD270E6","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":"Q1882807$6101045D-BFB1-43A0-BD01-3F8CE52F87C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"433418f862be1fbac7c0417ea3cfad3853658b55","datavalue":{"value":"https://doi.org/10.1007/s00165-004-0041-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1882807$318EE009-8898-440E-ABE1-D2F9461285EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"991ae2006dbc11e60a34834d082ceed2b42d63d5","datavalue":{"value":"W2159977857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882807$7D0CF6A1-7F14-4A38-97FB-953A098635B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90c11272975d3c30fa841cc321ff2f0e4b086575","datavalue":{"value":"10.1007/S00165-004-0041-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882807$47F2D22C-748D-4790-B125-AE968006B239","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b727743dac5c18eb265e113f2901934c047284b","datavalue":{"value":{"entity-type":"item","numeric-id":4499205,"id":"Q4499205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad62cfa6a9c31abcc6d0f91c2f4ba1a161d49f69","datavalue":{"value":{"amount":"+0.9054598808288574","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":"Q1882807$BD241DA0-A5E8-43E2-997C-B6076662BE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdeeef953f5f084c2c7ca4f6ebac77f08545f1b9","datavalue":{"value":{"entity-type":"item","numeric-id":2867965,"id":"Q2867965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"787a56793f60158aa9f74ec22fb7707eff89be2f","datavalue":{"value":{"amount":"+0.7687211036682129","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":"Q1882807$D2186393-C1C0-4A4F-B485-755091359DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fdc43cfb0045fe54a9dbb63721a23bf9fa17f76","datavalue":{"value":{"entity-type":"item","numeric-id":5712290,"id":"Q5712290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2961ea78e201f25f9d6ccf7783d00474e0486f9f","datavalue":{"value":{"amount":"+0.7662435173988342","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":"Q1882807$413FC30E-1F4B-49EB-ADF0-D3F86FAA8DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8e0571904626da0b9de0b1a0a146bb175b82335","datavalue":{"value":{"entity-type":"item","numeric-id":1854359,"id":"Q1854359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3299da0efa55781b42a66b0c9d02ee747c46385a","datavalue":{"value":{"amount":"+0.7650657296180725","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":"Q1882807$BB830CB0-223A-4E67-A0BD-FF96D9D5F321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6278d1a4340f415234d3b53a6106d806f92d37c","datavalue":{"value":{"entity-type":"item","numeric-id":679325,"id":"Q679325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5363a42e6c579897a213e9299c261f5db56c3133","datavalue":{"value":{"amount":"+0.7645642757415771","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":"Q1882807$F70F06AC-D50F-49B7-9B29-BEFA64D42940","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Timed CCP compositionally embeds Argos and Lustre","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Timed_CCP_compositionally_embeds_Argos_and_Lustre"}}}}}