{"entities":{"Q759473":{"pageid":761322,"ns":120,"title":"Item:Q759473","lastrevid":64121136,"modified":"2026-04-11T17:46:56Z","type":"item","id":"Q759473","labels":{"en":{"language":"en","value":"Semantics of interference control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3881853"}},"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":"Q759473$51A0DECB-8F49-4CD8-A1EE-608B5251E4D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b41bb834601f0646fb91457ee53be8a2addf0631","datavalue":{"value":{"text":"Semantics of interference control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q759473$A1507316-2081-4EC2-8D62-AA3EEFBAF016","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a18ef91efc6f75ce10e933cbca6bf047a84787ef","datavalue":{"value":"0553.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759473$8D7EFA60-FFEE-4CD8-ABB5-BFE075A36D4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c4b73069971736eed9c869e1e8ca82d44875b62","datavalue":{"value":"10.1016/0304-3975(82)90123-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759473$BED51EC4-3DB6-4B78-A300-BA43F9EC9418","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":"Q759473$99D5324F-FCA6-4AC1-88D1-E23A1033E574","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q759473$F0F3D02C-FB03-4D97-8DDD-99B75A594837","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f87c702a1872f9fc4fc192cc5b71971a7af38f9","datavalue":{"value":"An approach to syntactic control of interference described by \\textit{J. C. Reynolds} [Conf. Rec. 5th ACM Symp. Princ. Programming Lang., 39-46 (1978)] is shown to be sound using a denotational semantic model.","type":"string"},"datatype":"string"},"type":"statement","id":"Q759473$4C0C7AC5-FB7A-4E4B-AAF4-D3E39A2E194C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759473$36584737-7F2F-427C-9EC4-783E5ECACD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759473$C373E055-B5F1-4AEC-84C7-B0D0EC31EA89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15e6afe9f7053132cd850a966ad56cf590da1178","datavalue":{"value":"3881853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759473$14DDD994-878E-40E1-A148-CD03B7B4CD2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"675a0b562f01077afc8e48db31d2c7c4f5657444","datavalue":{"value":"implementation flexibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q759473$A5BEBD83-D375-4546-8173-D67DC7666C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c173617b433668f543c58949c5642c8d81d93022","datavalue":{"value":"determinacy of concurrent execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q759473$C598C2DB-844C-4898-9BC0-C63FB91485FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q759473$FFFC38AA-23A6-47D5-B494-5585EA83DC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bc9a6aec75050c4a2aa6cbb017a8bba03869d8a","datavalue":{"value":"syntactic control of interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q759473$4AE82396-5F70-4B19-87B8-E4625A8CC961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48b824fbca184a387c241410abf330c4174139c4","datavalue":{"value":"denotational semantic model","type":"string"},"datatype":"string"},"type":"statement","id":"Q759473$7D08326B-F521-40FA-8788-522FA48C7E7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"482a4cb474e5ce23a1233ad885cb07253d993741","datavalue":{"value":{"entity-type":"item","numeric-id":418808,"id":"Q418808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759473$F2359710-B7D0-42F5-8FFB-E45D9E5EEBB9","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":"Q759473$CEA1F25A-C63F-4A7D-A986-FBAE4A5788C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c39fd6535759f593be8a1a624cc71e109dbb2ae8","datavalue":{"value":"https://doi.org/10.1016/0304-3975(82)90123-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q759473$892617B4-7664-494B-AA7A-E28A1F000B0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b00dc102d882a389b0d849f1d0b8414ef480aee7","datavalue":{"value":"W2085787139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759473$A216B244-B699-4357-8CB3-9AEDA094E3A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbfbae7f3af0a4568d5900068d085401f43ab2ac","datavalue":{"value":{"entity-type":"item","numeric-id":1232295,"id":"Q1232295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759473$66324CAF-1260-41E6-885B-3CC8D441D611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97558af1147bf1da17aeb8d7f9212fe1000d9538","datavalue":{"value":{"entity-type":"item","numeric-id":3911367,"id":"Q3911367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759473$AA546E04-C2E9-4FD0-94D3-8A7426F0051D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d75f5a3e1354ae2fd8ae553df8cd8ed47767bf","datavalue":{"value":{"entity-type":"item","numeric-id":3860813,"id":"Q3860813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759473$E2C89CA7-54B2-42FD-A721-13E3361D200E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759473$B171772D-DC5B-4257-AABD-6248A2440FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b4246bf332d45c90c410b55aa43c4af6aee470","datavalue":{"value":{"entity-type":"item","numeric-id":5626277,"id":"Q5626277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759473$0283E2DA-D1A0-46BA-9101-B84AC953632A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c29ffb51cbd2980402aa47f3b9ad9f47c5d519","datavalue":{"value":{"entity-type":"item","numeric-id":4772697,"id":"Q4772697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759473$AEFC7172-2C19-4635-B573-F43D24343FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381491cff3b69e06c0c0e98db657501f3cc96724","datavalue":{"value":{"entity-type":"item","numeric-id":4133080,"id":"Q4133080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759473$7B1C381C-BD21-44F8-B76E-09030C602B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573bf50881a638b8d1bc1330f0a3383e6e028b45","datavalue":{"value":{"entity-type":"item","numeric-id":4072829,"id":"Q4072829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759473$CCF3F2F9-1338-4731-A8DE-DE9A17A9D847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340b1a67b2cb88bc1a79812f682d43444abf5b93","datavalue":{"value":{"entity-type":"item","numeric-id":3932278,"id":"Q3932278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759473$77CCF761-DA6F-4B62-9847-0579DCDC3150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759473$8996955A-78E9-46CA-8473-6E170732EB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f32f04e00e542f620002f68c4a452e6a1aeb65","datavalue":{"value":{"entity-type":"item","numeric-id":3914393,"id":"Q3914393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759473$CEFBCE1D-EDE9-4453-A40F-05296BF89DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a001930126d104b8b49c0b2ec84f801eb1b908","datavalue":{"value":{"entity-type":"item","numeric-id":2542188,"id":"Q2542188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759473$AE9D4170-7185-4FBA-A130-1DAD2EBA0E98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb590c01ed52bebf7a1e5c531409b675e75fc77","datavalue":{"value":{"entity-type":"item","numeric-id":4222775,"id":"Q4222775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c8330cd803859ddeac62169bbf0cad08a7fa15b","datavalue":{"value":{"amount":"+0.8028374910354614","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":"Q759473$3968DD65-93EF-476F-9C6E-6A71ACC05AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01edba4ed38d353d002634ec28fce9720240e5d7","datavalue":{"value":{"entity-type":"item","numeric-id":5716838,"id":"Q5716838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8157773de6087e0952777942ebafa41ff2c944b5","datavalue":{"value":{"amount":"+0.8021817803382874","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":"Q759473$6F33F0AE-70C8-4B32-90E4-CA830DD8E109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8304f6508e8201c36cad96c8d30934dbffd4bdd","datavalue":{"value":{"entity-type":"item","numeric-id":1575885,"id":"Q1575885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b258f5d3d9aba00e5dab81ba17f5fca9abd5245","datavalue":{"value":{"amount":"+0.7975970506668091","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":"Q759473$D577B9DB-8988-4824-9F1D-FA5B40AB3905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"211adca1c20c6808f066fba938689f00fbc2a498","datavalue":{"value":{"entity-type":"item","numeric-id":1101435,"id":"Q1101435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58b814949da905800f5f184e293baa18771d0e6","datavalue":{"value":{"amount":"+0.7975964546203613","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":"Q759473$48509694-43CF-4E0E-A021-78FDD6C20405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fb0c22ebb30b3dc810ab168c9f6542895f5c664","datavalue":{"value":{"entity-type":"item","numeric-id":4286528,"id":"Q4286528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8623d8fa33250f98655b4735858d095a7836c5dd","datavalue":{"value":{"amount":"+0.7761955857276917","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":"Q759473$960E2A7D-7E0C-4905-B60E-7C9AEA86C1A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics of interference control","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics_of_interference_control"}}}}}