{"entities":{"Q911745":{"pageid":913593,"ns":120,"title":"Item:Q911745","lastrevid":65319123,"modified":"2026-04-12T01:46:10Z","type":"item","id":"Q911745","labels":{"en":{"language":"en","value":"Semantic independence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4143417"}},"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":"Q911745$DF5C00D3-7E78-4572-A20A-290E6BAB1994","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b2ccf6aca2bf4c48691f7e48d0683c010096e0d","datavalue":{"value":{"text":"Semantic independence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q911745$C9B68A84-FA6C-434F-828C-7D5445FC5739","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4499c21efa42a6540aa1ad9d1e2b09f177396a65","datavalue":{"value":"0697.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911745$1A3173D7-3CEE-48CC-9AA9-349419A2D531","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7608e239339b2c76c975e0c216e795b3ab4cdc38","datavalue":{"value":"10.1016/0167-6423(89)90014-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911745$48994700-548F-460A-8DED-2D6174B79658","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4c9bd5e841d4bab29501a8da2aade8a8cab81a9","datavalue":{"value":{"entity-type":"item","numeric-id":218983,"id":"Q218983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911745$B649645A-1AA5-45E0-887B-3113D6C8D137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb70dca4df364772ba1a8a49fd3075ccc08e3e3a","datavalue":{"value":{"entity-type":"item","numeric-id":582034,"id":"Q582034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911745$1FA0A096-0BF8-4044-84C0-75E9102AAF77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911745$D3B70A7A-0D41-4EC7-86EB-832318FF273B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q911745$2A9019AA-16DC-4E02-8FFB-73B22A6D62CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"35b93d9c030f6dafa5794d03adbbe1f59d990f14","datavalue":{"value":"The paper studies the possibilities of noninterferring implementations which can achieve a fully concurrent execution of semantically independent assignments (programs). Semantic independence of assignments is defined so that   i) it is a generalization of the Bernstein condition (common variables do not appear on the left side of the assignments);    ii) it implies commutativity of assignments;    iii) it allows the implementation and execution of assignments on disjoint pieces of memory;    (iv) it does not appeal to particular forms of the assignment syntax or of the variable access.    The authors concentrate on the definition of orthogonality and investigate possible relaxations of it.","type":"string"},"datatype":"string"},"type":"statement","id":"Q911745$138A2358-D97E-427F-9A15-52C24AF952A7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a15109437d833303a14fd0218e3039f04ef1e62d","datavalue":{"value":{"entity-type":"item","numeric-id":264537,"id":"Q264537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911745$655132D7-E764-4C71-935C-A6F07BF68BAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911745$0101372D-03F0-477F-B0E7-FD5D85F7833C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911745$F0CD5EE5-6321-4F11-AFFC-5DF3C138C55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911745$BF1F880B-61A6-4760-AB03-2E54D38F1C86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70b3efd4fead21dca8dd1f8a90255d9c2d27cada","datavalue":{"value":"4143417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911745$0B0C1B55-607E-4B0E-86EE-004EB7DC36FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q911745$D3B94BB9-1DCC-495D-A5A4-2BDB6D87C221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c54dd418e6ac7e2a204b5ab615fa0d4842df4845","datavalue":{"value":"semantic of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q911745$C4930C21-9282-43B4-B4CA-6E6F08054EA5","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":"Q911745$9B348A4E-ED55-4A3D-95EA-425462817BD4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c0fee9ac046451756d60764881d69329be00ee8","datavalue":{"value":"https://doi.org/10.1016/0167-6423(89)90014-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q911745$DF145BFA-77B5-4D30-BEDC-98041268B6A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ac66492fdcc4e131f937009f1402ae5a7bce3ee","datavalue":{"value":"W2913346117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911745$E59A532B-0491-441C-A7B7-C98D51E77A6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cc3abc5adb8541e610f0b1335ef11f5f9b0bb1c","datavalue":{"value":{"entity-type":"item","numeric-id":674287,"id":"Q674287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64211cfaf151efe05fd49b12c4c60a817f41051c","datavalue":{"value":{"amount":"+0.7867484092712402","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":"Q911745$A40E4584-BA39-45A8-83F7-3AC67099E379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66e7a787c28fabcfd56c615793b424c96969a781","datavalue":{"value":{"entity-type":"item","numeric-id":3680255,"id":"Q3680255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eec58250d9e35465c5b4abd227fab896d5e9af7","datavalue":{"value":{"amount":"+0.7181735634803772","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":"Q911745$26178963-B83D-4CB2-9DD4-06659667260A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa651633938a31e9b78f73d7ce52267a172d4f4","datavalue":{"value":{"entity-type":"item","numeric-id":4327411,"id":"Q4327411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c52215d59f04586f6be908590009b750d6e0fd","datavalue":{"value":{"amount":"+0.7131708264350891","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":"Q911745$AD358080-915A-4783-AF61-AE5183ADAED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b21998c8f8f036a8db25c1efd27d61c7ec86bd1","datavalue":{"value":{"entity-type":"item","numeric-id":1192605,"id":"Q1192605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b2ba46bf38fd1f66a3b2415831506c3bd0e2b0d","datavalue":{"value":{"amount":"+0.7117241621017456","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":"Q911745$A2A72551-221F-4009-AAB8-256193FC3CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d50ebb4dbc4a66e2a13336890a1dfd1d72ed627","datavalue":{"value":{"entity-type":"item","numeric-id":2956712,"id":"Q2956712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e68baafea306d8df6d203b7ff77fa9fa20a13706","datavalue":{"value":{"amount":"+0.7090031504631042","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":"Q911745$676B052F-42CF-4A15-A64B-59A2820842EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantic independence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantic_independence"}}}}}