{"entities":{"Q1770367":{"pageid":1781109,"ns":120,"title":"Item:Q1770367","lastrevid":43320015,"modified":"2025-07-24T16:53:35Z","type":"item","id":"Q1770367","labels":{"en":{"language":"en","value":"Verification and refinement with fine-grained action-based concurrent objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153167"}},"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":"Q1770367$BC574C12-CECB-4B48-9D74-C4E251BDC454","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"409d0c2bf5adf30fb1ea6a69b7f7b4a500f98dd9","datavalue":{"value":{"text":"Verification and refinement with fine-grained action-based concurrent objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770367$78FD7F13-0C05-44B8-B642-C7EEE2267245","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3853b77fb1ffa08650f51808374367d0383d5896","datavalue":{"value":"1070.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770367$47D98629-BCD7-4DDE-9EF4-B2385C3150D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf12918d2cd53d62a4016b87062f1f8d045787a4","datavalue":{"value":{"entity-type":"item","numeric-id":706514,"id":"Q706514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770367$155DC431-DDE9-450A-A598-1BB1832E3C0F","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":"Q1770367$A52BADEF-C5EE-4F09-86E7-C083E6B71F97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1934d792c26a5fadc4b54d2e40cc5c88366797ca","datavalue":{"value":{"time":"+2005-04-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":"Q1770367$E2EA2AAF-F4BA-4D04-8501-30C5AA8E2F8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770367$B0C00A7F-4242-49C6-A124-30BDBE2E6F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770367$EAEAA385-273E-4FBF-955A-773F24F03CA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"600888142b52d4c056f032f60abe61ecc044e8e6","datavalue":{"value":"2153167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770367$09327253-BBAE-4812-88AC-24EF2C004ECA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60a8831f4a7e291b3096d9dd75a36d73483d0688","datavalue":{"value":"Object-based concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770367$1732FDFE-BAE5-4F8F-B922-20A12ED0AB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d88405bf659359feb7c34cf795ac4cf54ee2ab6d","datavalue":{"value":"Actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770367$86DCF242-CB14-4E4D-8369-A33FE0067E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770367$6F8C8C5A-3798-4D1B-A450-458E7934E264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d7a91cce9317b5dfedb3fde9933f83259b7348","datavalue":{"value":"Refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770367$91B0341F-B604-49E0-9F35-CF9E31301D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28e33ea1d7d75e30c2ef78bc80b4df884a6ed8af","datavalue":{"value":"Weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770367$3EBA34BF-892F-45F3-8203-CA50858D1D14","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8aacea0a9351896895369459a514caaba4adcf21","datavalue":{"value":{"entity-type":"item","numeric-id":15864,"id":"Q15864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770367$049B0A0B-72BE-41DE-B38E-6FC08289867D","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":"Q1770367$E502A183-1459-4CE4-90F4-0EFE2D0D6846","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0adf40d227a28ffa453a9c4ba107aa9caa1faac","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.09.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770367$865C54FD-90E6-4800-81C8-65DF1C0B6473","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10a6e8475978b2f78019da25afff1f0cd00f8410","datavalue":{"value":"W2134071399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770367$37F5469D-7835-47CC-A0CB-8E82515217E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69aa9e100c0e3e2f63d67ab0234724f0c2f66211","datavalue":{"value":{"entity-type":"item","numeric-id":909434,"id":"Q909434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770367$6AC77A63-7767-4B71-A79E-8301E0BD4C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d1a489a915eb0527895b0215c40edd406260f92","datavalue":{"value":{"entity-type":"item","numeric-id":1333406,"id":"Q1333406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770367$0F66F33C-AD3E-4F90-A04E-FAC0E42EACCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c98cc858adbcfbb6e765f12701b07e47a767e76a","datavalue":{"value":{"entity-type":"item","numeric-id":4251097,"id":"Q4251097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770367$DA715CFD-C410-4220-905F-1527EE6606CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee2139784beb744ed920bc6de2d69d745825c2a","datavalue":{"value":{"entity-type":"item","numeric-id":4522244,"id":"Q4522244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770367$7615BDDB-55A5-4DFA-BCAB-DC773627AF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5869411367b87b416b81a5d2bac7dac0c277fe2","datavalue":{"value":{"entity-type":"item","numeric-id":5959857,"id":"Q5959857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770367$7392EE72-2AC0-437E-86FE-996BF6457D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a06529bb900544b6e529cc5e1c84ccce58c07f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5897130,"id":"Q5897130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770367$8DDAC3B6-B034-4852-9F51-C7DD0CC78125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cbb62769dc9f7bd7ac0942f9482f6e602e3d07a","datavalue":{"value":{"entity-type":"item","numeric-id":5930074,"id":"Q5930074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770367$3F9FD8BA-3122-4265-8C4C-4973BFDF467C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"570836713b54cff0952823b3608b08aa5614f05e","datavalue":{"value":"10.1016/J.TCS.2004.09.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770367$47094C3F-2C5A-4686-BA15-62E0D37C7693","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2654bd68a14f85c4682fbc643aa1bc798c85b4f6","datavalue":{"value":{"entity-type":"item","numeric-id":4697197,"id":"Q4697197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50373b1d1b82561630340547091056edbdb78ba","datavalue":{"value":{"amount":"+0.9181352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770367$1632F28E-12A9-4333-8AF3-CF73E6626788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78c1fc4f1978dd67168006452caf409541ca834a","datavalue":{"value":{"entity-type":"item","numeric-id":2819855,"id":"Q2819855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b472a4f4c9f502def197f160772814a302a8758","datavalue":{"value":{"amount":"+0.9174708","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770367$82D5580B-71E1-473A-9C1A-A75CB136123E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e035fc28d7d87e05f75a6c27e06d2ade0e4c6c2","datavalue":{"value":{"entity-type":"item","numeric-id":2870197,"id":"Q2870197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37adfbab28e0f11c283ebf3207348c2b15f0188d","datavalue":{"value":{"amount":"+0.9040882","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770367$19BFAA55-8BDA-4D08-AA7E-FEEC636E01AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb906b7819af3215c442ea0a6017f05602f2584e","datavalue":{"value":{"entity-type":"item","numeric-id":2351261,"id":"Q2351261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9032973dfa2f415561c97f64982ea8258cb97a89","datavalue":{"value":{"amount":"+0.8999984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770367$4C07B083-B4C2-4771-9056-7F885CC3CFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73aa956461db413f72cdeee1ee17f5e4e0399068","datavalue":{"value":{"entity-type":"item","numeric-id":5901614,"id":"Q5901614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45722f87bc96700c914be4df718c303aafe5c0e6","datavalue":{"value":{"amount":"+0.89408153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770367$93F76291-38F3-43DD-BC86-8473AD5D6346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ffe5efef8cc77431d78920e1883b0d0cb7f530","datavalue":{"value":{"entity-type":"item","numeric-id":1854357,"id":"Q1854357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffaa43d64aa0b240d5ba38c4ab55bcafbe86e403","datavalue":{"value":{"amount":"+0.8829671","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770367$0988F66B-9C03-44CE-9228-F352BA13E709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d41ee4f28489e03ddc16a1d1d8777b5ebe5b024","datavalue":{"value":{"entity-type":"item","numeric-id":3460058,"id":"Q3460058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4faa21490369d3b6221d9e13738d637db987c6c0","datavalue":{"value":{"amount":"+0.8829274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770367$68EAA31D-48DA-4D17-9828-A8B6B0EACD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a5f7e31f9b1bf2898f94b7fb1aa41d4152ddef5","datavalue":{"value":{"entity-type":"item","numeric-id":1951610,"id":"Q1951610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8edca0f710c3c8a53a06a25597f4f6d02b2f30e6","datavalue":{"value":{"amount":"+0.879141","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770367$BC2179DF-CA00-45F8-B580-2AFAF9613712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6931d0398142a517ff7f7b58b2877ec065cf5fad","datavalue":{"value":{"entity-type":"item","numeric-id":5925821,"id":"Q5925821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c03b0ab068dd5606da210313348d7c8a950f5867","datavalue":{"value":{"amount":"+0.8788792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770367$B3725DD0-D675-4571-88B9-C3814B2BBBF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1770367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1770367"}}}}}