{"entities":{"Q1346603":{"pageid":1357342,"ns":120,"title":"Item:Q1346603","lastrevid":68661522,"modified":"2026-04-13T01:16:00Z","type":"item","id":"Q1346603","labels":{"en":{"language":"en","value":"Properties of concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 741021"}},"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":"Q1346603$0F6953B0-8D73-4608-849D-C558554C62F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28171e0a2e7c6bd7885d69502e8d6327be697869","datavalue":{"value":{"text":"Properties of concurrent programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346603$C7A311B3-7AE9-4B6D-AAA4-7354E895A5EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc060dec9372b246a1f6d2d7dfdf04495c258c92","datavalue":{"value":"0828.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346603$47154163-B4CB-4F92-BB9E-B7058319B26B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de517f76a809d70be48e2de6fb62f606062eabf8","datavalue":{"value":"10.1007/BF03259388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346603$C92BEDC1-A64B-4DE9-9601-B57B6FBA602B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"613df68fa62667b65d3e5e1997bd8d1766de280b","datavalue":{"value":{"entity-type":"item","numeric-id":239148,"id":"Q239148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346603$90F564CD-AAFD-4E1B-AB6E-03000793CA79","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":"Q1346603$12329622-5275-4493-929E-BC237425F301","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"105cd52c1072aef79a48ec029075a51ef3a83a4a","datavalue":{"value":{"time":"+1995-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":"Q1346603$DF768D12-B776-494D-B12B-6F72DFDEFB7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346603$40FD54CF-6D1A-4D32-BBF2-A53F9E2EBC6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f571b753dfe40332f314f3b060f45bc99849bfd","datavalue":{"value":"741021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346603$A93D22FB-F3B4-497D-924D-BBA8399DCDF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346603$927A1479-9A4C-403D-8633-D6CC06A22A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346603$81F2D1C4-5F18-4932-A43F-67F90B922D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346603$A167C5E2-BCCA-47A5-8621-0276AA9F521B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecdd198aac53c50b8c6ef3dfe82b58567246b1a9","datavalue":{"value":"unity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346603$BA263FA1-D5C8-4378-A6D5-A3E694BF1544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346603$DF4E7CD2-E61D-455F-A418-5B67C247E1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1e2f733564c5cd640d3a3618935cc0aa1d6a385","datavalue":{"value":"Hoare triples","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346603$DDBC7C25-1342-4AAE-9AD4-E9275FE10FFF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346603$897C0A47-73E2-4BF7-B31B-BA1AE7AE22A1","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":"Q1346603$95B1F607-C770-41F5-885E-F2CCBC75EA88","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346603$6260FC28-AFB5-498B-BF7D-C07A84888BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346603$64C67885-C59C-4D14-B32B-55EFB6FEF48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346603$C39F3926-54E7-4C49-A7B5-56C67497CC35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748f6a47c16e273a36ffd4b2c28187782f70da16","datavalue":{"value":{"entity-type":"item","numeric-id":3700826,"id":"Q3700826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e8e6c34c0fda4bc82d5139bf96c416a24aa7ea6","datavalue":{"value":{"amount":"+0.90974706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346603$E0742648-0BFA-4072-83EF-F78BDA83BF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42195be785fa91a3e292ccbe9ace899a80eb5312","datavalue":{"value":{"entity-type":"item","numeric-id":3318086,"id":"Q3318086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80dc064c7d011888def3002e065aee39a531cc1a","datavalue":{"value":{"amount":"+0.9034741","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346603$164F719D-FFC6-4622-BFB6-2367A1323589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9470cb73aafb36012de1733037380371e7266d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4040941,"id":"Q4040941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb41cb42a66140f8a88abec5ee87eb236cdf12a","datavalue":{"value":{"amount":"+0.89915085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346603$F8974698-5304-4A08-B931-FEA5C72FD68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af272da3ba9449765f5159a2e23beddcfb119601","datavalue":{"value":{"entity-type":"item","numeric-id":3766818,"id":"Q3766818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d760b672fad59b460158a8396f360601f35d48","datavalue":{"value":{"amount":"+0.897851","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346603$3052398A-CAC7-45BE-BA0C-8EC55F8087D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b3029ca65beec297dc41e9de63300346466c08","datavalue":{"value":{"entity-type":"item","numeric-id":3994894,"id":"Q3994894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec87a225beaeb7b21cefc4d340faedae1efc91c1","datavalue":{"value":{"amount":"+0.89409894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346603$3F0CAF7A-BFC4-4475-86BC-DE455B95C987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5ddf3fbcba7a8cf1e31b34b75d4fd65f671bf3","datavalue":{"value":{"entity-type":"item","numeric-id":3992668,"id":"Q3992668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec87a225beaeb7b21cefc4d340faedae1efc91c1","datavalue":{"value":{"amount":"+0.89409894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346603$A47BDFC9-7A40-4E95-BA26-E3062B74A3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cac68c520580691309e7181a62be2c5da95c423b","datavalue":{"value":{"entity-type":"item","numeric-id":4286729,"id":"Q4286729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec87a225beaeb7b21cefc4d340faedae1efc91c1","datavalue":{"value":{"amount":"+0.89409894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346603$858EC6B2-469D-45DD-AD1B-1BC31F2C29C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c3543ca4a0e1498c802706b4e0348631f6aee54","datavalue":{"value":{"entity-type":"item","numeric-id":1094866,"id":"Q1094866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c22b7bdc5a86114e96589e59aa36550032334f75","datavalue":{"value":{"amount":"+0.88996166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346603$6D9F82FF-1A3C-4B46-9AC4-B7B7CC1C7BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b0d22a9f60cf08b25e63a7bbb05320d3e51ea36","datavalue":{"value":{"entity-type":"item","numeric-id":4261078,"id":"Q4261078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f811e27890015943272316b89a8178ce528315","datavalue":{"value":{"amount":"+0.88973355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346603$E66846A6-5E28-44CD-AB2E-50B8CE6A88BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Properties of concurrent programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Properties_of_concurrent_programs"}}}}}