{"entities":{"Q1004066":{"pageid":1005914,"ns":120,"title":"Item:Q1004066","lastrevid":65985207,"modified":"2026-04-12T06:45:36Z","type":"item","id":"Q1004066","labels":{"en":{"language":"en","value":"Fully abstract models and refinements as tools to compare agents in timed coordination languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5522091"}},"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":"Q1004066$D1876FFC-A0A3-44EF-9D15-BD41A7E67F97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc233a91e4e5b16abfeecc49bf3e15c7be7b7123","datavalue":{"value":{"text":"Fully abstract models and refinements as tools to compare agents in timed coordination languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1004066$A523F33C-9AEA-4C1E-A084-1559B1E714E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb772c85062320a762bf318695656b9e75efd000","datavalue":{"value":"1169.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004066$5BB2AA1C-DF47-48A1-9524-71320739B4E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de6de2d481b3ffb287ed97ef6262bfad896a203a","datavalue":{"value":{"entity-type":"item","numeric-id":169891,"id":"Q169891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004066$D4E1BC44-F9AD-4138-B652-32B01DE35D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b5d66823b0ee365eaf73a4cc75db233dfa91aa9","datavalue":{"value":{"entity-type":"item","numeric-id":1004065,"id":"Q1004065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004066$6D3675F3-794C-4282-9751-919CD115A6DC","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":"Q1004066$5F42864A-AD39-4746-BDB8-4D70589CDEA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5283b5da341717bddcc5514d88caea6acf73b725","datavalue":{"value":{"time":"+2009-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1004066$4679D5F8-9240-4B6C-A2B7-04FCB8BE726F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004066$DC96CB98-1ED5-4DFC-BC19-2D42085DAF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004066$83D46462-5222-432F-91BC-F4665D294D23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf7e32fd352e95c5778842408df7b9149cecd639","datavalue":{"value":"5522091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004066$1E452FBF-A368-4995-8EA1-40123E6E1013","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c7406225c2d552006355ff94b7ae765ebdefedc","datavalue":{"value":"coordination languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004066$52E8E7DC-5F4E-42E8-83C0-51956C6BE90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004066$CF9FD684-0F3E-4682-A3C0-382DADF69208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004066$9E064C23-2FE0-40A7-8209-B2EC4006DF39","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc062e2d311aa84366365333d09c3a4e32b41bc","datavalue":{"value":{"entity-type":"item","numeric-id":20934,"id":"Q20934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004066$9AADA847-6BEF-426C-9DD1-4C4E86C92C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004066$3314E72D-9D7F-4580-B4E1-E42C4107B932","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":"Q1004066$9B0B5385-3B8A-4B99-BA19-4FEE062EA0AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0374441a6ee2ab97ef0a3a668d0c219fdc95364","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.09.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q1004066$3EE5C950-2B17-43CF-8ED2-7DA75385F6F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95924b4bca2f3a5fbf732e124a1b1e06c0554297","datavalue":{"value":"W1974644852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004066$2A0015A4-9AC2-486E-AEC0-E13C7746A21C","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":"Q1004066$CD090B6B-FE7B-41B1-8F3F-3E1FAE60B63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004066$3A6B2B90-1374-48A4-AEC9-DB157EC92D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5caf1c089c17478724c92c80ddbae1e7204fe47","datavalue":{"value":{"entity-type":"item","numeric-id":3413368,"id":"Q3413368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004066$69DA51CE-B014-483B-8F5F-3A315C4921E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eece21ee5f735c2580a17912d99a0d76651b555","datavalue":{"value":{"entity-type":"item","numeric-id":4348453,"id":"Q4348453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004066$4363E404-FC08-4886-A5E8-7B6B8978D82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004066$1B1E6515-3E37-4CA6-B581-085CD947CD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004066$8C8CC268-52D6-4BC4-9BD5-CE5796E150B3","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":"Q1004066$87B56C6A-56C0-4064-B3B5-DA88F66A7FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6af56092ac7d59558df3b0b65c04aeb844b4c18","datavalue":{"value":{"entity-type":"item","numeric-id":1341758,"id":"Q1341758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004066$4D32ED79-5E18-406E-8699-A12DE2E33D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a99d72dab4f4357bcb0b3074c547c4522f2ada5","datavalue":{"value":{"entity-type":"item","numeric-id":1025409,"id":"Q1025409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004066$8E62DAD9-9FBB-42D4-B823-80950CBB8DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162ad88a2aef39b6356dfc2373b4f5d2f1931126","datavalue":{"value":{"entity-type":"item","numeric-id":1978482,"id":"Q1978482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004066$8597EEEA-C057-4288-8EEA-7A8E5AE5F183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481ff79151cb529c177a4d2fb58a3fe8d800f740","datavalue":{"value":{"entity-type":"item","numeric-id":5717729,"id":"Q5717729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004066$93012B74-37D6-4BA5-8577-C3E0C42A3FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6890a8fa5f250f96d9f38b112298f38349482594","datavalue":{"value":{"entity-type":"item","numeric-id":2495554,"id":"Q2495554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004066$B98BDE3B-65DC-4358-B759-7417AB84CC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004066$14698B69-745E-41C4-A029-BC2A98C57C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004066$5F2133A8-AB13-49BB-825B-2DCB5550B35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd14157b2f9e5893f7f1b9ec083f9ce38f208b5d","datavalue":{"value":{"entity-type":"item","numeric-id":2724175,"id":"Q2724175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004066$8A0975CF-69DD-4680-874A-2431BBE139ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b91ac14f0f959a35fb31f016caae9158f66041ba","datavalue":{"value":{"entity-type":"item","numeric-id":1806133,"id":"Q1806133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004066$51AAAA77-656A-4A56-9606-D1C72FCA580E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07e6fd81564f1db2d4e7c128b5d4cf1cdfb6a7ce","datavalue":{"value":"10.1016/J.TCS.2008.09.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004066$94E9AC0A-97A0-4879-B3DB-9BCFA3EC5C96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e7c289cf6dd03990311cc40f72c75df241d6058","datavalue":{"value":{"entity-type":"item","numeric-id":3413368,"id":"Q3413368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2f94aaf97c4c9dcee0e86dce5890a7247d80d6e","datavalue":{"value":{"amount":"+0.7246059775352478","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":"Q1004066$15FA4413-E946-4D05-854E-9592EEF81CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55b105b81b943a43996150a3497e473fd02069cd","datavalue":{"value":{"entity-type":"item","numeric-id":4733430,"id":"Q4733430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce976d08212975d57a91a82c6ba6538df54a8db","datavalue":{"value":{"amount":"+0.7148779034614563","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":"Q1004066$7C1D3F2A-E76D-4E71-B534-A1EFF30BDC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3944cdeb91080ea26c2459a3c718cb299a94e16e","datavalue":{"value":{"entity-type":"item","numeric-id":676846,"id":"Q676846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f94a32e89921784dbba2fe17cadec25f2dc47465","datavalue":{"value":{"amount":"+0.7036582827568054","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":"Q1004066$EC60CA24-C2FC-4CF7-8518-4D536C151DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317ecfc49be59afa8f00e3daaee351230a1cd2b7","datavalue":{"value":{"entity-type":"item","numeric-id":5890047,"id":"Q5890047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9887542dc97882947e9cf2557fe6db123a2efbd2","datavalue":{"value":{"amount":"+0.7035325169563293","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":"Q1004066$37AD7ADA-0A71-44DC-9FBA-733BD964960D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1035e87b95d19db024dab9335987636033f361d","datavalue":{"value":{"entity-type":"item","numeric-id":2495554,"id":"Q2495554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebb4ddd1092e5b3a034b491584d1e786a77af729","datavalue":{"value":{"amount":"+0.6956274509429932","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":"Q1004066$33E7C3B7-B89D-4153-953A-99E6264B7D6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fully abstract models and refinements as tools to compare agents in timed coordination languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fully_abstract_models_and_refinements_as_tools_to_compare_agents_in_timed_coordination_languages"}}}}}